Dialnet EstructuraOrdenadaDeLos3anillos 7172433

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 9

This is a reprint of the paper

Estructura ordenada de los 3-anillos


by Lorenzo Acosta
published in Lecturas Matemáticas
16 (1995), pp. 1–11

ESTRUCTURA ORDENADA DE LOS 3-ANILLOS*

Lorenzo Acosta
Universidad Nacional de Colombia, Bogotá

Abstract. We present the well-known order structure of the 3-rings, using only ring
operations and avoiding the use of idempotent elements.
Key words and phrases. p-rings, Boolean rings, distributive lattices, Post lattices,
idempotent elements.
1991 Mathematics Subject Classification. Primary 06D99. Secondary 16A32, 16A45.
Resumen. Mostramos la bien conocida estructura ordenada de los 3-anillos, uti-
lizando únicamente las operaciones del anillo y evitando el uso de las descomposicio-
nes de sus elementos en términos de idempotentes.

Introducción
Se sabe desde hace mucho tiempo que los p-anillos tienen una estructura de retı́culo
de Post (ver [B], [B-D]). Para determinar esta estructura el instrumento fundamen-
tal lo constituye el retı́culo de Boole de los idempotentes del anillo. En efecto, puede
probarse que si A es un p-anillo y x es un elemento de A, entonces x tiene dos ex-
presiones en términos de los idempotentes de A. Por un lado, x puede expresarse
de manera única en la forma
p−1
X
x= ixi (expresión disyunta)
i=1

* Este trabajo fue presentado en el XII Encuentro de Topologı́a realizado en la sede de la


Universidad del Valle en Santafé de Bogotá, en octubre de 1994

Typeset by AMS-TEX
1
2 LORENZO ACOSTA

donde los xi son idempotentes ortogonales de A. Por otro lado, x tiene una ex-
presión única de la forma

p−1
X
x= x(i) (expresión decreciente)
i=1

donde los x(i) son idempotentes de A tales que x(i) ≥ x(i+1) para i = 1, ..., p − 2.
(Aclaremos aquı́ que si a y b son idempotentes decimos que a ≤ b si ab = a).
Teniendo en cuenta estas descomposiciones, podemos definir un orden en el anillo
A que extiende al orden del anillo de sus idempotentes, de la siguiente manera:

x≤y si y solamente si xi ≤ y (i) para i = 1, ..., p − 1.

Puede probarse que (A, ≤) resulta un retı́culo distributivo que, en la categorı́a de


los retı́culos distributivos con mı́nimo y máximo, es el coproducto de un retı́culo de
Boole con una cadena. En otras palabras, (A, ≤) es un retı́culo de Post (ver [B-D]).
Debido a la manera en que se definió el orden, todas sus propiedades se deducen
utilizando las expresiones disyunta y decreciente de los elementos de A. El propósito
de este artı́culo es mostrar la estructura ordenada de los
3-anillos sin utilizar explı́citamente estas descomposiciones en términos de idem-
potentes. En otras palabras, se quiere mostrar una definición del orden utilizando
únicamente las operaciones del anillo. Especı́ficamente, se mostrará que

x≤y si y solamente si x = x2 y 2 + (x − x2 )(y − y 2 ).

De la misma manera se encontrarán expresiones explı́citas para los extremos supe-


rior e inferior de dos elementos.
El trabajo que aquı́ se presenta para los 3-anillos, puede evidentemente hacerse
para un p > 3, pero los cálculos son bastante más complicados.

1. El anillo de Boole asociado a un anillo conmutativo

Enunciaremos aquı́ algunas propiedades conocidas de los retı́culos y los anillos de


Boole y la forma en que a un anillo conmutativo cualquiera puede asociársele un
anillo de Boole.
Recordemos, primero que todo, que un retı́culo es un conjunto ordenado en el
cual todo par de elementos {a, b} posee una mı́nima cota superior, notada a ∨ b, y
una máxima cota inferior, notada a ∧ b. Si el retı́culo tiene mı́nimo, éste se notará
m y si tiene máximo, éste se notará M . Se dice que el retı́culo L es distributivo
si a ∧ (b ∨ c) = (a ∧ b) ∨ (a ∧ c) para todo a, b, c ∈ L. Esto es equivalente a que
a ∨ (b ∧ c) = (a ∨ b) ∧ (a ∨ c) para todo a, b, c ∈ L, luego en un retı́culo distributivo
las operaciones de sup e inf son mutuamente distributivas.
Dado un retı́culo L con mı́nimo y máximo, se dice que un elemento a ∈ L es un
complemento del elemento b ∈ L, si a ∨ b = M , y, a ∧ b = m. Cuando el retı́culo es
distributivo el complemento de un elemento es único en caso de que exista. Se dice
que un retı́culo distributivo con mı́nimo y máximo es de Boole si todo elemento tiene
un complemento. El ejemplo tı́pico de retı́culo de Boole es el conjunto P (X) de las
ESTRUCTURA ORDENADA DE LOS 3-ANILLOS 3

partes de un conjunto X, ordenado por inclusión. En este caso M = X, m = ∅,


A ∨ B es la reunión de A y B, A ∧ B es la intersección de A y B y el complemento,
A0 , de A es el conjunto X − A.
Por otro lado un anillo B con unidad en el que se satisface x = x2 para todo
elemento x ∈ B, se llama un anillo de Boole. Puede probarse sin dificultad que
todo anillo de Boole es conmutativo y que 2x = 0 para todo x ∈ B. Si se define en
el anillo de Boole B la siguiente relación

x≤y si y solamente si x = xy

tenemos que (B, ≤) tiene una estructura de retı́culo de Boole, donde el mı́nimo es
0, el máximo es 1, el complemento de x es 1 − x, x ∧ y = xy, x ∨ y = x + y + xy. Es
más, la categorı́a de los anillos de Boole es equivalente a la categorı́a de los retı́culos
de Boole (ver [B-D], [A2], [H]).
Nota 1.1. Si el anillo B no tiene unidad, la relación de orden definida arriba sigue
dando a B una estructura de retı́culo distributivo, pero sin elemento máximo (ver
[B-D], [A2]).
Sea ahora A un anillo conmutativo con unidad. Un elemento x ∈ A se llama
idempotente si x = x2 . El conjunto Ip(A) de todos los idempotentes de A es cerrado
para el producto pero no para la suma, por lo que no es un subanillo de A. Sin
embargo, si modificamos la suma definiendo

a ⊕ b = a + b − 2ab,

(Ip(A), ⊕, .) tiene una estructura de anillo de Boole y, por consiguiente, es también


un retı́culo de Boole.
Ejemplos.
(i) Sea A = Z3 × Z3 , Ip(A) = {(0, 0), (0, 1), (1, 0), (1, 1)} y como anillos de
Boole Ip(A) ∼= Z2 × Z2 ∼ = P ({0, 1}).
(ii) Si A es un dominio de integridad, Ip(A) ∼ = Z2 .
(iii) Si A es un anillo de Boole, Ip(A) = A.
Otro hecho bien conocido es que si el anillo de Boole B es finito, es isomorfo a un
anillo de partes y, por consiguiente, su cardinal es una potencia de 2.

2. Idempotentes en los p-anillos

En este parágrafo se definirá la noción de p-anillo y se hará la deducción de las


expresiones disyunta y decreciente de las que se habló en la introducción. Estas
expresiones se utilizarán más adelante para definir el orden en un p-anillo y para
calcular el cardinal de un p-anillo finito.
Definición 2.1. Sea p un número primo. Un p-anillo es un anillo A en el que se
satisfacen las identidades px = 0 y xp = x para todo elemento x de A.
En otras palabras, un p-anillo es una Zp -álgebra asociativa en la que xp = x para
todo elemento x.
Nota 2.2. Es un hecho conocido que todo anillo en el que xn(x) = x para todo x,
es conmutativo y por consiguiente los p-anillos son anillos conmutativos (ver [B],
[J], [L]).
4 LORENZO ACOSTA

Ejemplos.
(i) Los 2-anillos con unidad son exactamente los anillos de Boole.
(ii) Zp es un p-anillo.
(iii) Si A es un p-anillo y X es un conjunto cualquiera, el anillo AX , de las
funciones de X en A, es un p-anillo.
Sea ahora A un p-anillo con unidad y supongamos que para x ∈ A existen x1 , ..., xp−1
Pp−1
en Ip(A) tales que xi xj = 0 si i 6= j y x = i=1 ixi . Para encontrar los xi
en términos de x se establece el siguiente sistema de p − 1 ecuaciones con p − 1
incógnitas:
x = 1x1 + 2x2 + ... + (p − 1)xp−1
x2 = 1x1 + 22 x2 + ... + (p − 1)2 xp−1
...
p−1
x = 1x1 + 2p−1 x2 + ... + (p − 1)p−1 xp−1
que matricialmente se escribe
1 2 ··· p−1 x1 x
    
 1 22 ··· 2
(p − 1)   x2   x  2
= .
··· ··· ··· ··· ··· ···
 
1 2p−1 · · · (p − 1)p−1 xp−1 xp−1
Nótese que la matriz asociada al sistema es la matriz de Van der Monde, que, para
p primo, es invertible y su inversa es
1 ··· 1 1 1
 
1  2p−2 ··· 22 2 1 
.
p−1 ··· ··· ··· ··· ···

(p − 1)p−2 · · · (p − 1)2 p − 1 1
Nota 2.3. Si p no es primo, la matriz no necesariamente es inversible en Mp−1 (Zp ).
Por ejemplo, en Z4 dicha matriz es
 
1 2 3
1 0 1
1 0 3
cuyo determinante es cero. Tenemos entonces que el sistema tiene solución única y
cada elemento de A tiene una expresión disyunta única.
Ejemplos.
(i) En los anillos de Boole la descomposición de un elemento tiene un solo
término.
(ii) Para un 3-anillo A, tenemos que x en A se puede escribir en la forma
x = a+2b con a y b idempotentes ortogonales. Para hallar a y b establecemos
el sistema
x = a + 2b
x2 = a + b

de donde a = 2x + 2x2 y b = x + 2x2 . Un cálculo directo nos muestra que


en efecto a2 = a , b2 = b , ab = 0 y a + 2b = x.
ESTRUCTURA ORDENADA DE LOS 3-ANILLOS 5

A partir de la expresión
Pp−1 disyunta de un elemento x de A, podemos construir otra
de la forma x = i=1 x(i) , donde los x(i) son idempotentes del anillo tales que
Pp−1
x(i) ≥ x(i+1) para i = 1, ..., p − 2. En efecto, podemos definir x(i) = j=i xj y ası́

Xp−1 p−1
X p−1 X
X p−1
(i) (i+1)
x x =( xj )( xk ) = xj xk = x(i+1) ,
j=i k=i+1 j=i k=i+1

de donde x(i) ≥ x(i+1) . Además,

p−1
X p−1 X
X p−1 p−1
X
x(i) = xj = ixi = x.
i=1 i=1 j=i i=1

Puede probarse igualmente que esta descomposición como suma de idempotentes


decrecientes, llamada expresión decreciente de x, es también única.
Ejemplos.
(i) En un anillo de Boole las expresiones decreciente y disyunta coinciden.
(ii) En el 3-anillo A, si la expresión disyunta de x es x = a + 2b, entonces su
expresión decreciente es x = (a + b) + b. Es decir que x(1) = a + b y x(2) = b.

3. Cardinal de un p-anillo

Mostraremos aquı́, con ayuda de las expresiones disyuntas de sus elementos, que
un p-anillo A es finito si, y solamente si, su anillo de idempotentes B = Ip(A) es
finito. En este caso, si el cardinal de B es 2n entonces el cardinal de A es pn .
Sea A un p-anillo y sea B = Ip(A) el anillo de Boole de sus idempotentes. Debido
a la expresión disyunta de los elementos de A, existe una biyección entre el conjunto
A y el conjunto H = {(a1 , ..., ap−1 ) ∈ B p−1 |ai aj = 0 para i 6= j}. Claramente A es
finito si y solamente si B es finito. Supongamos ahora que B es finito. B resulta
entonces isomorfo a P (X) para algún conjunto finito X. Si X tiene n elementos B
tendrá 2n elementos. Puede probarse sin mayor dificultad, usando inducción sobre
p, que el cardinal de A resulta ser pn . Como ilustración veamos el caso p = 3:
B es isomorfo a P (X) para un conjunto X de n elementos y A corresponde
biyectivamente con el conjunto H = {(U, V ) ∈ P (X) × P (X)|U ∩ V = ∅}. Fijemos
ahora un subconjunto U de X de cardinal k. El número de subconjuntos de X
disyuntos de U es precisamente el cardinal de P (X − U ), es decir 2n−k . Como el
número
Pnde subconjuntos U de X de cardinal k es (nk ), tenemos que el cardinal de
n n−k
H es k=0 (k )2 = (1 + 2)n = 3n .
En resumen tenemos el siguiente teorema:
Teorema 3.1. Sean A un p-anillo y B su anillo de idempotentes. A es finito si y
solamente si B es finito y en este caso, el cardinal de B es 2n si y solamente si el
cardinal de A es pn .
6 LORENZO ACOSTA

4. Orden en los p-anillos

En este parágrafo recordaremos cómo se define el orden en un p-anillo a partir de las


expresiones disyunta y decreciente de sus elementos y enunciaremos un teorema que
resume las propiedades de este orden. También se encuentra la extensión booleana
libre de un p-anillo.
Dado un p-anillo A se define una relación de orden entre sus elementos de la
siguiente manera:

x≤y si y solamente si xi ≤ y (i) para i = 1, ..., p − 1,

donde xi y y (i) son las componentes de las expresiones disyunta de x y decreciente


de y respectivamente, y el orden de la derecha es el orden en el anillo de Boole de
los idempotentes de A. Esta relación extiende naturalmente el orden de Ip(A) ya
que si x e y son idempotentes su expresiones disyunta y decreciente son triviales.
De ahora en adelante el signo ≤ se utilizará para designar esta relación de orden.
Algunas de las propiedades de este orden están dadas por el siguiente teorema:
Teorema 4.1. Si A es un p-anillo entonces:
(i) (A, ≤) es un retı́culo distributivo.
(ii) 0 es el mı́nimo de A y p − 1 es el máximo de A.
(iii) x es inversible si y solamente si x ≥ 1.
(iv) x es idempotente si y solamente si x ≤ 1.
(v) El orden restringido a Zp es 0 ≤ 1 ≤ 2 ≤ ... ≤ p − 1.
(vi) La aplicación x → x + 1 es un isomorfismo de conjuntos ordenados entre
[j; j + 1] y [j + 1; j + 2] para j = 0, 1, ..., p − 3, donde
[a; b] = {x ∈ A | a ≤ x ≤ b}.

Teniendo en cuenta la propiedad (vi) y el hecho que, de acuerdo con (iv), Ip(A) =
[0; 1], podemos concluir el siguiente corolario (ver [A1]):
Corolario 4.1. La extensión booleana libre de (A, ≤) es B p−1 donde B = Ip(A).

5. El orden en los 3-anillos

El objeto de este parágrafo es mostrar una definición del orden en un 3-anillo


utilizando únicamente las operaciones del anillo y sin recurrir a los idempotentes.
También se encontrarán expresiones explı́citas para el extremo superior y el inferior
de dos elementos y se demostrará el teorema 4.1 para el caso de los 3-anillos.
Lema 5.1. Sea A un 3-anillo. La aplicación x → x2 de A en Ip(A) es un morfismo
suryectivo de conjuntos ordenados. Por consiguiente, si x ≤ y en A, entonces
x2 = x2 y 2 .
En efecto, si x e y son elementos de A, tenemos las siguientes implicaciones:

x ≤ y =⇒ x1 ≤ y (1) , x2 ≤ y (2)
=⇒ (x + x2 )y 2 = x + x2 , (x − x2 )(y − y 2 ) = x − x2
=⇒ xy 2 + x2 y 2 − x − x2 = 0, xy − xy 2 − x2 y + x2 y 2 − x + x2 = 0
=⇒ x2 = xy − x2 y + xy 2 .
ESTRUCTURA ORDENADA DE LOS 3-ANILLOS 7

Ahora bien, el miembro derecho de esta última igualdad queda invariante al multi-
plicarlo por y 2 , de donde obtenemos x2 y 2 = x2 .
Teorema 5.2. Sea A un 3-anillo. Dados x e y elementos de A, las siguientes
afirmaciones son equivalentes:
(i) x≤y
(ii) x = x2 y 2 + (x − x2 )(y − y 2 )
(iii) y = x + y − x2 y 2 − (x − x2 )(y − y 2 )

Demostración. Evidentemente (ii) y (iii) son equivalentes. Veamos ahora que (i)
equivale a (ii):
(i) =⇒ (ii): En la demostración del lema anterior vimos que si x ≤ y entonces

xy − xy 2 − x2 y + x2 y 2 − x + x2 = 0,

y, como x2 = x2 y 2 , tenemos que

x = xy − xy 2 − x2 y + x2 y 2 + x2 y 2 = x2 y 2 + (x − x2 )(y − y 2 ).

(ii) =⇒ (i): Si x = x2 y 2 + (x − x2 )(y − y 2 ) entonces

x2 = x2 y 2 + (x − x2 )(y − y 2 ) − (x − x2 )(y − y 2 ) = x2 y 2 ,

de donde x = xy 2 . Por lo tanto (x + x2 )y 2 = x + x2 , y, (x − x2 )(y − y 2 ) = x − x2 ,


lo que equivale a x ≤ y.

Teorema 5.3. Sea A un 3-anillo. Si x e y son elementos de A entonces x ∧ y y


x ∨ y existen en A, y además

x ∧ y = x2 y 2 + (x − x2 )(y − y 2 )
x ∨ y = x + y − x2 y 2 − (x − x2 )(y − y 2 ).

Demostración. Mostraremos únicamente que x ∧ y = x2 y 2 + (x − x2 )(y − y 2 ),


dejando la segunda parte del teorema como ejercicio para el lector. Sea z = x2 y 2 +
(x−x2 )(y −y 2 ). Para ver que z ≤ x calculamos, de acuerdo con el teorema anterior,

x2 z 2 + (x − x2 )(z − z 2 ) = x2 x2 y 2 + (x − x2 )(x2 y 2 + (x − x2 )(y − y 2 ) − x2 y 2 )


= x2 y 2 + (x − x2 )(y − y 2 )
= z.

Por simetrı́a se obtiene también z ≤ y. Sea ahora w una cota inferior de x y de y.


Veamos que w ≤ z. Por el lema 5.1 tenemos que w2 = w2 x2 = w2 y 2 y entonces

z 2 w2 + (z − z 2 )(w − w2 ) = x2 y 2 w2 + (x − x2 )(y − y 2 )(w − w2 )


= w2 + (x − x2 )(w − w2 )
= w2 + w − w2
= w.
8 LORENZO ACOSTA

Probemos ahora el teorema 4.1 para el caso p = 3:


(i) El teorema anterior nos dice que (A, ≤) es un retı́culo. Falta ver que es distribu-
tivo:
x ∧ (y ∨ z) = x2 (y ∨ z)2 + (x − x2 )(y ∨ z − (y ∨ z)2 )
= x2 (y + z − y 2 z 2 − (y − y 2 )(z − z 2 ))2 + (x − x2 )(y + z
− y 2 z 2 − (y − y 2 )(z − z 2 − (y + z − y 2 z 2 − (y − y 2 )(z − z 2 ))2 )
= x2 (y 2 + z 2 − y 2 z 2 ) + (x − x2 )(y + z − y 2 − z 2 − (y − y 2 )(z − z 2 ))
= xy + xz − xy 2 − xz 2 − x2 y − x2 z − x2 y 2 − x2 z 2
− x2 y 2 z 2 − (x − x2 )(y − y 2 )(z − z 2 ).
Por otro lado,
(x ∧ y)∨(x ∧ z) = (x2 y 2 + (x − x2 )(y − y 2 )) ∨ (x2 z 2 + (x − x2 )(z − z 2 ))
= x2 y 2 + (x − x2 )(y − y 2 ) + x2 z 2 + (x − x2 )(z − z 2 ) − x2 y 2 x2 z 2
− (x − x2 )(y − y 2 )(x − x2 )(z − z 2 )
= x2 y 2 + (x − x2 )(y − y 2 ) + x2 z 2 + (x − x2 )(z − z 2 )
− x2 y 2 z 2 − (x − x2 )(y − y 2 )(z − z 2 )
= xy + xz − xy 2 − xz 2 − x2 y − x2 z − x2 y 2 − x2 z 2
− x2 y 2 z 2 − (x − x2 )(y − y 2 )(z − z 2 ).
Tenemos entonces que x ∧ (y ∨ z) = (x ∧ y) ∨ (x ∧ z), de donde (A, ≤) es un retı́culo
distributivo.
(ii) Sea y en A. 0 ∧ y = 0, de donde 0 ≤ y. Además, 2 ∧ y = y 2 + (2 − 1)(y − y 2 ) =
y 2 + y − y 2 = y, luego y ≤ 2.
(iii) Si x es inversible, de x3 = x deducimos x2 = 1. Entonces x ∧ 1 = x2 = 1 y ası́
1 ≤ x. Recı́procamente, si 1 ≤ x tenemos que 1 = x ∧ 1 = x2 y ası́ x es inversible.
(iv) Si x es idempotente, x ∧ 1 = x2 = x, de donde x ≤ 1. Por otro lado, si
x ≤ 1, x = x ∧ 1 = x2 , luego x es idempotente.
(v) Evidente.
(vi) Veamos primero que ϕ : [0; 1] −→ [1; 2] : x → x + 1 está bien definida. En
efecto si x está en [0;1] entonces x = x2 , y, (x + 1)2 = x2 + 2x + 1 = 1. Ası́ x + 1 es
inversible y entonces pertenece a [1;2]. Como ϕ es claramente biyectiva solo falta
ver que respeta el orden. Sean x e y en [0;1] tales que x ≤ y. Entonces x = xy.
Calculemos ahora
ϕ(x) ∧ ϕ(y) = ϕ(x)2 ϕ(y)2 + (ϕ(x) − ϕ(x)2 )(ϕ(y) − ϕ(y)2 )
= (x + 1)2 (y + 1)2 + (x + 1 − 1)(y + 1 − 1)
= 1 + xy
=1+x
= ϕ(x),
de donde ϕ(x) ≤ ϕ(y).
ESTRUCTURA ORDENADA DE LOS 3-ANILLOS 9

Bibliografı́a
[A1] L. Acosta, Extensiones Booleanas libres de retı́culos distributivos, Lecturas Matemáticas
15 (1994), no. 1, 1–8.
[A2] L. Acosta, N. Bateman, R. Isaacs, S. Monsalve, M. Ospina & C. Ruiz, Una aproxi-
mación booleana a la topologı́a general, 4◦ Coloquio Distrital de Matemáticas y Estadı́stica,
Universidad Nacional de Colombia, 1987.
[B] A. Batbedat, p–Anneaux, Faculté des Sciences de Montpellier, 1968–1969.
[B-D] R. Balbes and P. Dwinger, Distributive Lattices, University of Missouri Press, Columbia,
1974.
[E] G. Epstein, The lattice theory of Post Algebras, Trans. Amer. Math. Soc. 95 (1960),
300–317.
[G] G. Grätzer, Lattice Theory, W.H. Freeman and Company, San Francisco, 1971.
[H] P. Halmos, Lectures on Boolean algebras, Springer, Berlin, 1974.
[J] N. Jacobson, Structure of Rings, American Mathematical Society, 1964.
[L] L. Lesieur, Sur les anneaux tels que xn = x, Séminaire Dubreil–Pisot (Algèbre et théorie
des nombres) 19 année, 1965–1966, pp. 1–8.

(Recibido en noviembre de 1994)

Lorenzo Acosta Gempeler


Departamento de Matemáticas y Estadı́stica
Universidad Nacional de Colombia
Bogotá, COLOMBIA
e-mail: [email protected]

También podría gustarte