.

GRAFO DE DIVISORES DE ZERO

DE UN ANILLO

RODRIGO B OTELLO MARABOTTO

Departamento de Álgebra

Universidad de Granada. 2015

Grafo de Divisores de Zero de un anillo

RODRIGO B OTELLO MARABOTTO

Trabajo de fin de máster

Universidad de Granada. 2015
.

Dedicado a mis padres y a mi hermana

.

6 de julio de 2015 Curso 20142015. TRABAJO FIN DE MÁSTER

Agradecimientos

A Pascual Jara por toda la ayuda recibida.

ii

6 de julio de 2015 Curso 20142015. TRABAJO FIN DE MÁSTER

Introducción

En el estudio de anillos y álgebras (conmutativas) una de las herramientas esenciales es la aritmética

de sus elementos, lo que permite aproximarnos a su estructura; las nociones generalmente estudiadas
son las de elemento invertible, divisor de cero, elemento regular, elemento nilpotente, elemento
idempotente, etc. Cada una de estas nociones nos aporta información; por ejemplo, la existencia
de un elemento idempotente nos asegura que nuestro anillo descompone como un producto de
dos anillos, que son ideales del anillo original. Los elementos nilpotentes nos definen un ideal: el
nilradical, y los anillos con nilradical cero son subanillos de un producto (posiblemente infinito) de
dominios. Por otro lado, al estudiar un subanillo del producto de cuerpos nos aparece el radical de
Jacobson. En los dos casos anteriores el anillo es un producto subdirecto de dominios o de cuerpos,
respectivamente. Los elementos regulares podemos invertirlos, formalmente, obteniendo el anillo
total de fracciones, un anillo en el que se embebe el anillo original y verifica cierta propiedad de
maximalidad.
Los elementos divisores de cero no tienen construcciones similares; una cierta invarianza al pasar al
anillo total de fracciones y un cierto control mediante ideales primos asociados son las propiedades
elementales de los mismos. Sin embargo estos elementos deben aportar información sobre el anillo;
por ejemplo si el cero es el único divisor de cero, entonces tenemos un dominio de integridad. Para
casos no tan triviales, conviene desarrollar una teoría. Una aportación a esta teoría es debida a
[Link], quien en 1988 introdujo el concepto de grafo de divisores de cero de un anillo conmutativo.
Su propósito era asociar la teoría de grafos, que trabaja con objetos intuitivos, con la teoría de anillos,
que es mucho más abstracta, y así poder obtener un beneficio mutuo entre las dos. Desde entonces,
muchos matemáticos han trabajado para obtener resultados en este campo.
Queda claro que el estudio del grafo de divisores de cero nos aporta una información adicional en
el caso en que los divisores de cero son abundantes. Al estudio de este grafo, sus propiedades y a las
propiedades que determina en el anillo es a lo que está dedicada esta memoria.
Esta memoria está organizada en cuatro capítulos. El primero trata de introducir las nociones básicas
de divisores de cero y el grafo asociado y estudiar sus propiedades más elementales. En él hemos
utilizado el conjunto de divisores de cero no nulos como conjunto de vértices, limitación que nos
lleva a dedicar la memoria al trato con grafos finitos, anillos finitos y anillos próximos a estos. Una
extensión de esta teoría pasa por considerar otro tipo de vértices, por ejemplo ideales, pero hemos
preferido recoger la teoría clásica y dejar estas variantes para desarrollos posteriores. No obstante, los
desarrollos que se obtienen en la teoría clásica son de interés por sí mismos y muestran claramente
cual es el alcance de la misma.
En el capítulo dos estudiamos coloraciones a la Beck, basándonos en el trabajo original, planteando
iv

la conjetura que motiva parte del mismo, introduciendo los elementos necesarios, y acabándolo con
un contraejemplo que prueba que la misma es falsa. No obstante, es posible obtener familias de
anillos para los que la conjetura es cierta, mostrando la potencia de la teoría en ciertas clases de
anillos.
Queda el problema de determinar si la relación anillo-grafo es buena. Es claro que el grafo es un
valioso invariante, por esta razón será de interés determinar qué grafos son grafos de divisores de
cero y cuando tengamos uno de ellos, es de interés construir un anillo cuyo grafo de divisores de
cero sea el grafo dado. El hecho de trabajar con grafos cuyos vértices sean elementos (divisores de
cero) de un anillo, nos permite hacer una construcción eficiente, que por la complejidad de la misma
solo describimos en este texto de forma muy somera.
Una vez que se conocen las líneas maestras de la teoría de grafos de divisores de cero, en el capítulo
cuatro mostramos otras construcciones similares para anillos e incluso para módulos. Cada una de
ellas requeriría un desarrollo como el aquí realizado, sin embargo por la limitación de espacio de
esta memoria solo hemos descrito algunas de estas construcciones y mencionado algunos de los
resultados elementales sobre las mismas.

6 de julio de 2015 Curso 20142015. TRABAJO FIN DE MÁSTER

Índice general

Agradecimientos I

Introducción III

I Grafo de Divisores de Cero: Propiedades básicas 1

1 Definición y Propiedades básicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
2 Invariantes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7

II Coloraciones 9
3 Definiciones básicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
4 Anillos con número cromático 1 y 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
5 Anillos de número cromático finito . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
6 Coloraciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
7 Derivados de una coloración . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
8 Elementos separables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
9 Coloraciones con número cromático bajo . . . . . . . . . . . . . . . . . . . . . . . . . . 30
10 El contraejemplo de la conjetura de Beck . . . . . . . . . . . . . . . . . . . . . . . . . . 31

III De grafos a anillos 33

11 Recuperación de anillo desde un grafo de divisores de cero . . . . . . . . . . . . . . 33
12 Cuando Γ (R) ∼
= Γ (S) implica que R ∼
=S . . . . . . . . . . . . . . . . . . . . . . . . . . . 37

IV Extensión de la teoría: Otros grafos asociados a anillos 39

13 Grafo total asociado a un anillo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
14 Grafo total generalizado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
15 Grafo anulador de un anillo conmutativo . . . . . . . . . . . . . . . . . . . . . . . . . . 46
16 Grafo de divisores de cero generalizado para módulos . . . . . . . . . . . . . . . . . 47

Bibliografía 49
.
Capítulo I

Grafo de Divisores de Cero: Propiedades

básicas

En este capítulo definiremos los objetos sobre los que vamos a trabajar, los grafos de divisores de
cero, definidos como se utilizan actualmente por Anderson y Livingston en [8], y enunciaremos sus
propiedades básicas.
Después, veremos algunos invariantes de interés para la teoría.

1. Definición y Propiedades básicas

Definición 1.1 (Grafo de divisores de cero)
Sea R un anillo conmutativo, Z(R) el conjunto de sus divisores de cero y Z(R)∗ el conjunto de sus
divisores de cero no nulos. Llamaremos Γ (R) al grafo de divisores de cero de R, que es el grafo simple
que tiene:

Como conjunto de vértices los elementos de Z(R)∗ .

Existe una arista entre dos vértices diferentes x e y si, y solo si, x y = 0.

Dada la definición, podemos observar que en general, para un anillo cualquiera, su grafo asociado
no será necesariamente finito, y puesto que los casos en los que el grafo es finito es cuando se
puede dibujar (y por tanto computar con sencillez), nos van a interesar estos especialmente. Por
eso, veremos cuando el grafo asociado es finito.

Teorema. 1.1. (Cuando el Grafo es finito)

Sea R un anillo conmutativo. Entonces Γ (R) es finito si, y solo si, R es finito o R es un dominio integral
(en cuyo caso Γ (R) es vacío). En particular, si 1 ≤ |Γ (R)| < ∞, entonces R es finito y no es un cuerpo.
2 CAP. I. GRAFO DE DIVISORES DE CERO: PROPIEDADES BÁSICAS

DEMOSTRACIÓN. Supongamos que Γ (R)(= Z(R)∗ ) es finito y no vacío. Entonces existen elementos
no nulos x, y ∈ R con x y = 0. Sea I = Ann(x). Entonces I ⊂ Z(R) es finito y r y ∈ I para todo
r ∈ R. Si R es infinito, entonces existe un i ∈ I con J = {r ∈ R|r y = i} infinito. Para cualquier
r, s ∈ J, (r − s) y = 0, por lo que Ann( y) ⊂ Z(R) es infinito, una contradicción. Por tanto R debe ser
finito. 
Otra de las propiedades que se observan con mayor facilidad es la conexión del grafo, es decir, si
existe un camino entre dos vértices cualesquiera. En caso de que esto sea así, interesará conocer el
llamado diámetro del grafo, diam(Γ ) = sup{d(x, y)|x e y son vértices distintos de Γ } donde d(x, y)
es la longitud de un camino mínimo entre x e y. El otro invariante de interés será el girth de Γ ,
girth(Γ ), que es la longitud del ciclo más pequeño del grafo. El siguiente teorema pondrá algo de luz
sobre estas cuestiones:

Teorema. 1.2. (Conexión, diámetro y girth)

Sea R un anillo conmutativo. Entonces Γ (R) es conexo y diam(Γ (R)) ≤ 3. Mas aún, si Γ (R) contiene
un ciclo, entonces girth(Γ (R)) ≤ 7.

DEMOSTRACIÓN. Sea x, y ∈ Z(R)∗ distintos. Si x y = 0, entonces d(x, y) = 1. Luego supongamos

que x y es no nulo. Si x 2 = y 2 = 0, entonces x −x y− y es un camino de longitud 2. Luego d(x, y) = 2.
Si x 2 = 0 e y 2 6= 0, entonces hay un b ∈ Z(R)∗ − {x, y} con b y = 0. Si bx = 0, entonces x − b − y es
un camino de longitud 2. Si bx 6= 0, entonces x − bx − y es un camino de longitud 2. En cualquier
caso, d(x, y) = 2. Un argumento similar sirve si y 2 = 0 y x 2 6= 0. Por tanto podemos asumir que
x y, x 2 , y 2 son todos no nulos. Por tanto, existen a, b ∈ Z(R)∗ − {x, y} con ax = b y = 0. Si a = b,
entonces x − a − y es un camino de longitud 2. Por tanto, podemos asumir que a 6= b. Si ab = 0
entonces x − a − b − y es un camino de longitud 3 y por tanto d(x, y) ≤ 3. Si ab 6= 0, entonces
x − a b − y es un camino de longitud 2. Luego d(x, y) = 2. Por tanto d(x, y) ≤ 3 y el diámetro de
Γ (R) es meor o igual que 3.
Además, sabemos que si un grafo cualquiera Γ tiene ciclos, entonces girth(Γ ) ≤ 2diam(Γ ) + 1, obte-
niendo la parte del teorema que faltaba. 
Por ser diam(Γ (R)) ≤ 3 sabemos que, dados x e y en Z(R)∗ , distintos, ocurre uno de los siguientes
casos:

x y = 0.

xz = z y = 0.

xz1 = z1 z2 = z2 y = 0.

En cuanto al girth, se conjetura que girth(Γ (R)) < 5 ó ∞ y se puede precisar aún más si R es
Artiniano:

6 de julio de 2015 Curso 20142015. TRABAJO FIN DE MÁSTER

SEC. 1. DEFINICIÓN Y PROPIEDADES BÁSICAS 3

Teorema. 1.3.
Sea R un anillo conmutativo Artiniano. Si Γ (R) contiene un ciclo, entonces girth(Γ (R)) ≤ 4.

DEMOSTRACIÓN. Supongamos que Γ (R) contiene un ciclo. Sabemos por [9, Theorem 8.7] que R
es un producto directo de anillos locales artinianos. Primero supongamos que R es local con ideal
maximal no nulo M . Entonces M = Ann(x) para cierto x ∈ M ∗ [14, Theorem 82]. Si existen distintos
y, z ∈ M ∗ − {x} con yz = 0 entonces y − x − z − y es un triángulo. De no ser así, Γ (R) no contendría
ciclos, una contradicción. En este caso, girth(Γ (R)) = 3. Supongamos ahora que R = R1 × R2 . Si
ambos |R1 | ≥ 3 y |R2 | ≥ 3, entonces, podemos elegir ai ∈ R i − {0, 1}. Entonces (1, 0) − (0, 1) −
(a1 , 0) − (0, a2 ) − (1, 0) es un cuadrado. Luego en este caso, girth(Γ (R)) ≤ 4. Por tanto podemos
asumir que R1 = Z2 . Si |Z(R2 )| ≤ 2, entonces Γ (R) no contiene ciclos, una contradicción. Por tanto,
|Z(R2 )| ≥ 3. Dado que Γ (R2 ) es conexo, existen elementos distintos x, y ∈ Z(R2 )∗ con x y = 0. Luego
(0, x) − (1, 0) − (0, y) − (0, x) es un triángulo. Por tanto en este caso, girth(Γ (R2 )) = 3. Y ya tenemos
que girth(Γ (R)) ≤ 4 en todos los casos. 
En la demostración anterior se observa que un anillo finito R tiene girth(Γ (R)) = 4 si, y solo si, se
verifica una de las siguientes proposiciones:

R∼
= F × K para cuerpos finitos F y K con |F |, |K| ≥ 3.

R∼
= F × A para F un cuerpo finito con |F | ≥ 3 y A un anillo finito con |Z(A)| = 2.

Además, se puede observar que girth(Γ (R)) = ∞ si, y solo si, se verifica una de las siguientes
proposiciones:

|Γ (R)| ≤ 2.

|Γ (R)| = 3 y Γ (R) no es completo.

R∼
= Z2 × A para A un cuerpo finito o un anillo finito con |Z(A)| = 2.

También se puede observar que el grafo linea de n vértices solo es realizable como Γ (R) si n ≤ 3.
Lo siguiente que nos va a interesar observar es cuando Γ (R) posee un elemento adyacente a todos
los demás, y en particular cuando es completo o estrellado.

Teorema. 1.4.
Sea R un anillo conmutativo. Entonces existe un vértice de Γ (R) adyacente a todos los demás si, y
solo si, R ∼
= Z2 × A donde A es un dominio integral o Z(R) es un ideal anulador de R.

TFM: Grafo de divisores de cero Rodrigo Botello Marabotto

4 CAP. I. GRAFO DE DIVISORES DE CERO: PROPIEDADES BÁSICAS

DEMOSTRACIÓN. Supongamos que Z(R) no es un ideal anulador y que 0 6= a ∈ Z(R) es adyacente

a cualquier otro vértice. Entonces a ∈ / Ann(a) = I, dado que de no ser así, Z(R) = I y sería un ideal
anulador. Por tanto I = Ann(a) es maximal entre los ideales anuladores y como consecuencia es
primo. Si a no es un idempotente de R, a2 6= a, entonces a3 = a2 a = 0, puesto que a es adyacente al
vértice a2 , lo que implica que a ∈ I o que a2 ∈ I lo que implica que a ∈ I en cualquier caso puesto
que I es primo, y eso es una contradicción. Por tanto a2 = a, lo que implica que R = Ra ⊕ R(1 − a).
Esto nos permite asumir que R = R1 × R2 con a = (1, 0) adyacente a cada otro vértice. Ahora si
1 6= c ∈ R1 entonces (c, 0) = (c, 0)(1, 0) = (0, 0), por lo que c = 0 y R1 = Z2 . Además, R2 debe
ser un dominio integral, puesto que de no serlo, existiría un divisor de cero suyo b 6= 0 tal que
(1, b) = (1, b)(1, 0) = (1, 0) lo que es absurdo, pues (1, 0) es adyacente a todos los elementos de R.
Por tanto R2 es un dominio integral.
La otra implicación es trivial. 

Cabe destacar de la demostración que si un elemento a es adyacente al resto, entonces, o es idempo-

tente con Ra = {0, a} un ideal primo de R o el conjunto de divisores de cero de R es Z(R) = Ann(a).

Corolario. 1.5. (Caso Noetheriano)

Sea R un anillo Noetheriano conmutativo. Entonces, existe un vértice de Γ (R) adyacente a todos los
demás si, y solo si, R ∼
= Z2 × A, donde A es un dominio integral Noetheriano o Z(R) es un ideal primo
de R. Si además dim(R) = 0, entonces R ∼ = Z2 × A, donde A es un cuerpo o {0} es un ideal primario
de R.

Determinaremos ahora el caso finito:

Corolario. 1.6. (Caso finito)

Sea R un anillo conmutativo finito. Entonces existe un vértice de Γ (R) adyacente a todos los demás
si, y solo si, R ∼
= Z2 × F donde F es un cuerpo finito o R es local. Además, para algún primo p y un
entero n ≥ 1, |Γ (R)| = |F | = p n si R ∼
= Z2 × F , y |Γ (R)| = p n − 1 si R es local.

Lo siguiente que vamos a determinar es cuando el grafo es completo.

Teorema. 1.7.
Sea R un anillo conmutativo. Entonces Γ (R) es completo si, y solo si, R ∼
= Z2 × Z2 o x y = 0 para todo
x, y ∈ Z(R).

6 de julio de 2015 Curso 20142015. TRABAJO FIN DE MÁSTER

SEC. 1. DEFINICIÓN Y PROPIEDADES BÁSICAS 5

DEMOSTRACIÓN. Supongamos que Γ (R) es completo pero existe x ∈ Z(R) con x 2 6= 0. Podemos ver
que x 2 = x. En caso de que no sea así, x 3 = x 2 x = 0 de donde se deduce que x 2 (x + x 2 ) = 0 con
x 2 6= 0, por lo que x + x 2 ∈ Z(R). Si x + x 2 = x, entonces x 2 = 0, una contradicción. Por tanto
x + x 2 6= x lo que implica que x 2 = x 2 + x 3 = x(x + x 2 ) = 0, dado que Γ (R) es completo, lo que es
una contradicción. Por tanto x 2 = x. Como en la demostración del teorema [1.4.], obtenemos que
R∼ = Z2 × A y en este caso A ∼
= Z2 . 
Este hecho lo podemos visualizar como un caso particular de la relación natural asociada a la adya-
cencia en el grafo:

Corolario. 1.8.
Sea R un anillo conmutativo. Para x, y ∈ Z(R) definimos x ∼ y si x y = 0 o x = y, y definimos
x ∼∗ y si x y = 0. Entonces:

La relación ∼ es una relación de equivalencia si, y solo si, Γ (R) es un grafo completo.

La relación ∼∗ es una relación de equivalencia si, y solo si, Γ (R) es un grafo completo y R 
Z2 × Z2 .

DEMOSTRACIÓN. Se deduce de los teoremas [1.2.] y [1.7.]. 

Veamos ahora el caso finito:

Teorema. 1.9.
Sea R un anillo conmutativo finito. Si Γ (R) es completo, entonces se verifica una de las siguientes
proposiciones:

R∼
= Z2 × Z2 .

R es local con char(R) = p o p2 y |Γ (R)| = p n − 1, donde char(R) indica la característica de R,

p es primo y n ≥ 1.

DEMOSTRACIÓN. Para un cuerpo F , el grafo Γ (Z2 × F ) no es completo salvo que F = Z2 . Por tanto,
supongamos que R  Z2 × Z2 . Por el corolario [1.6.], R debe ser un anillo local con ideal maximal
M . Por tanto, char(R) = pm para algún primo p y algún m ≥ 1. Si m ≥ 3, entonces R tendría
divisores de cero no adyacentes, contradicción. Por tanto char(R) = p o p2 . Dado que M es un p-
grupo, |Γ (R)| = p n − 1 para algún primo p y un entero n ≥ 1. 
Ahora veremos cuando Γ (R) tiene exactamente un vértice que es adyacente a todos los demás.

TFM: Grafo de divisores de cero Rodrigo Botello Marabotto

6 CAP. I. GRAFO DE DIVISORES DE CERO: PROPIEDADES BÁSICAS

Lema. 1.10.
Sea R un anillo conmutativo finito. Si Γ (R) tiene exáctamente un vértice adyacente a cualquier otro
vértice y no hay mas vértices adyacentes, entonces R ∼ = Z2 × F donde F es un cuerpo finito con |F | ≥ 3
o R es un anillo local con ideal maximal M verificando R/M ∼ = Z2 , M 3 = 0 y |M 2 | ≤ 2. Por tanto
|Γ (R)| es p n o 2n − 1 para cierto primo p y entero n ≥ 1.

DEMOSTRACIÓN. Si R  Z2 × F , entonces R es local con ideal maximal M por corolario [1.6.]. Luego
M = Ann(x) para un único x ∈ M . Sea k el menor entero positivo con M k = 0. Entonces M = Ann( y)
para cualquier elemento no cero y ∈ M k−1 . Por tanto M k−1 = {0, x}, y |M k−1 /M k | = 2, de donde
R/M ∼ = Z2 . Si k ≥ 4 entonces |M k−2 | ≥ 4. Por tanto, para cualquiera a, b ∈ M k−2 − M k−1 distintos,
a b ∈ M 2k−4 ⊂ M k , de donde ab = 0, lo que es una contradicción. Como consecuencia M 3 = 0 y
|M 2 | ≤ 2. 
Para acabar veamos cuando Γ (R) es estrellado.

Teorema. 1.11.
Sea R un anillo conmutativo finito con |Γ (R)| ≥ 4. Entonces Γ (R) es un grafo estrellado si, y solo
si, R ∼
= Z2 × F , donde F es un cuerpo finito. Recíprocamente, cada grafo estrellado de orden p n se
puede realizar como grafo de divisores de cero de un anillo.

DEMOSTRACIÓN. Supongamos que Γ (R) es un grafo estrellado y R  Z2 ×F . Por el corolario [1.6.] y el

lema [1.10.] podemos suponer que (R, M ) es un anillo local con |M | = 2k para cierto k ≥ 3 (Dado que
M es un 2-grupo y |Γ (R)| ≥ 4) y |M 2 | = 2. Sea M = Ann(x) y elijamos a, b, c, d ∈ M ∗ − {x} distintos.
Entonces a b = ac = ad = x puesto que M 2 = {0, x} y no hay otras posibles relaciones entre divisores
de cero. Por tanto a(b − c) = a(b − d) = 0. Como Ann(a) = {0, x} entonces b − c = b − d = x. Por
tanto c = d lo que es una contradicción.
Para la vuelta, solo hay que observar que si F es un cuerpo finito, entonces Γ (Z2 × F ) es un grafo
estrellado de orden |F |. 

6 de julio de 2015 Curso 20142015. TRABAJO FIN DE MÁSTER

SEC. 2. INVARIANTES 7

2. Invariantes
Una de las consecuencias mas útiles de nuestra teoría reside en la gran variedad de nuevos inva-
riantes propios de los grafos que podemos asignar a nuestros anillos (y viceversa, aunque en menor
medida). Por ejemplo, en la sección anterior hemos visto que el diámetro y del grafo de divisores de
cero de un anillo era relativamente pequeño. Estos invariantes proporcionarán nuevos mecanismos
para clasificar los grafos y anillos y además permitirán (posiblemente) observar propiedades de estas
estructuras que hayan pasado desapercibidas hasta ahora.
A continuación enumeraremos algunos de estos invariantes:

Diámetro y girth.

Número cromático y número de clique (Se tratarán estos temas en el capítulo siguiente).

Número cromático de aristas.

El resultado más importante en relación a este invariante es:

Teorema. 2.1.
Si R es un anillo finito y Γ (R) su grafo de divisores de cero, entonces el número cromático de
arista de Γ (R) coincide con el máximo de los grados de incidencia de aristas de Γ (R), salvo que
Γ (R) sea un grafo completo de orden impar.

(más información en [1]).

Vértices de corte de grafos (más información en [10]).

Conjuntos de corte de grafos.

El resultado más importante en relación a este invariante es:

Teorema. 2.2.
Sea R un anillo conmutativo finito no local no isomorfo a Z2 × F donde F es un cuerpo y
escribamos R como R ∼= R1 × ... × R n × F1 × ... × Fm donde cada R i es un anillo local y cada F j
es un cuerpo, entonces:

(1) A = {(0, ..., 0, ri , 0, ..., 0)|ri ∈ Ann(r)\{0}} es un conjunto de corte en Γ (R) donde Ann(r)
es un ideal anulador minimal de R i .
(2) A = {(0, ..., 0, f i , 0, ..., 0)|ri ∈ F j \{0}} es un conjunto de corte en Γ (R).

Además, cada conjunto de corte en Γ (R) tiene la forma de (1) ó (2).

TFM: Grafo de divisores de cero Rodrigo Botello Marabotto

8 CAP. I. GRAFO DE DIVISORES DE CERO: PROPIEDADES BÁSICAS

(más información en [13]).

Relación entre automorfismos del grafo y los automorfismos del anillo (más información en
[8, Section 3]).

Anillos cuyo grafo es plano.

Anillos cuyo grafo es hamiltoniano.

etc.

En los capítulos siguientes veremos un ejemplo de estudio de alguno de estos invariantes y observa-
remos la importancia de otros en nuestra teoría.

6 de julio de 2015 Curso 20142015. TRABAJO FIN DE MÁSTER

Capítulo II

Coloraciones

La teoría de grafos de divisores de cero de anillos la inició Beck en [12]. Su objetivo original era
estudiar coloraciones para anillos conmutativos, considerando el anillo un grafo y que dos elementos
distintos eran adyacentes si su producto era cero. Esta sección será por tanto un ejemplo de estudio
de un invariante.

3. Definiciones básicas
El grafo que definió Beck para trabajar estas cuestiones es algo distinto al definido en la sección
anterior:
Definición 3.1 (Grafo de Beck)
Sea R un anillo Conmutativo. Definimos su grafo (de Beck) asociado, Γ0 (R) o simplemente R, como
el grafo tal que:

Su conjunto de vértices es el conjunto de elementos de R.

Hay una arista entre dos vértices x, y ∈ R si x y = 0.

Como se puede observar, las diferencias con el grafo definido en la sección anterior son mínimas y
se pueden señalar fácilmente:

Γ0 (R) tiene más vértices que Γ (R), pues los elementos que no son divisores de cero y el cero
están en él.

Los elementos no nulos que no están en Γ (R) están conectados solamente con el cero y éste
está conectado con todos los elementos.

El hecho de considerar al cero como elemento del grafo hace que la discusión de cuestiones como
la conexión de Γ0 (R) y su diámetro se vuelvan triviales (el grafo es siempre conexo y su diámetro es
dos si no es un anillo trivial o dominio por tener cero, uno y al menos un divisor de cero no nulo).
Por eso en la sección anterior es muy importante eliminarlo.
10 CAP. II. COLORACIONES

Sin embargo, cuestiones como el número cromático (que definimos a continuación) son de idéntico
tratamiento con ambos grafos, con la salvedad de que el grafo con cero necesita un color más para el
cero (dos más si el anillo es un dominio no nulo). Por ello, podremos trabajar perfectamente con el
grafo definido por Beck sin preocuparnos de cómo afectarían estos resultados a nuestro grafo, pues
es fácilmente deducible en cada caso.
Definamos ahora el número cromático de un grafo:
Definición 3.2 (Número Cromático)
Sea Γ un grafo simple. Llamaremos una coloración del grafo a una aplicación entre el conjunto de
vértices y un conjunto de números suficientemente grande tal que dos vértices adyacentes no tienen
la misma imagen.
Si existe una coloración tal que el cardinal del conjunto imagen sea mínimo, diremos que este car-
dinal es el número cromático del grafo.
Si no existe tal cardinal, entonces diremos que el número cromático es infinito, que en particular
significa que el grafo es infinito.

Al número cromático de un anillo R lo denotaremos χ(R).

Definición 3.3 (Clique)
Un subconjunto C = {x 1 , ..., x s } ⊂ R es llamado un clique de R si x i x j = 0 para i 6= j.

Si R posee un clique con n elementos y todo clique tiene como mucho n elementos, entonces diremos
que clique(R) = n.
Si los tamaños de los cliques en R no están acotados, diremos que clique(R) = ∞ y en este caso
obtendremos que es posible obtener un clique infinito.
Dado un grafo arbitrario, en general se verifica que su número de clique es menor o igual a su número
cromático. Es decir, en general χ(R) ≥ clique(R).
El objetivo principal de la Teoría de Beck consistía en probar la siguiente conjetura:
Conjetura 3.1
Dado un anillo R se verifica que clique(R) = χ(R).

Por desgracia, esta conjetura resultó ser FALSA. Sin embargo, hay una gran cantidad de anillos que
la verifican.
Un anillo que verifique la conjetura de Beck se llamará anillo cromático:
Definición 3.4 (Anillo Cromático)
Un anillo R tal que clique(R) = χ(R) se dirá que es cromático.

El objetivo principal de esta sección será por tanto ver algunas familias de anillos que son cromáticos.

6 de julio de 2015 Curso 20142015. TRABAJO FIN DE MÁSTER

SEC. 4. ANILLOS CON NÚMERO CROMÁTICO 1 Y 2 11

4. Anillos con número cromático 1 y 2

Para comenzar, caracterizaremos los anillos que poseen números cromáticos muy pequeños.

Proposición. 4.1. (1 color)

χ(R) = 1 si, y solo si, R es el anillo cero.

Proposición. 4.2. (2 colores)

= Z4 o R ∼
χ(R) = 2 si, y solo si, R es un dominio integral, R ∼ = Z2 [X ]/(X 2 ).

DEMOSTRACIÓN. Supongamos que χ(R) = 2 y que R no es un dominio integral. Sea x y = 0 donde

x e y son no nulos. Entonces {0, x, y} es un clique y como clique(R) ≤ χ(R) = 2 obtenemos que
x = y. Por lo que x 6= 0 y x 2 = 0. El ideal Rx es un clique y concluimos que su cardinal es 2.
Sea z ∈ Ann(x). Entonces {0, x, z} es un clique y z ∈ Rx = {0, x}. Por tanto Ann(x) = Rx. De la
sucesión exacta
0 −→ Ann(x) −→ R −→ Rx −→ 0
Obtenemos que |R| = 4.
Sabiendo esto, podemos deducir el resultado deseado. 
Es fácil ver que estos anillos tienen número de clique igual a dos.
Otro resultado de interés es obtener los números cromáticos y los números de clique de los anillos
de clases de resto Zn .

Proposición. 4.3. (ZN )

2n 2n 2m +1 r +1 Entonces χ(Z ) =
Sean p1 , ..., pk , q1 , ..., q r numeros primos distintos y N = p1 1 ...pk k q1 1 ...q2m
r N
n1 n k m1
clique(ZN ) = p1 ...pk q1 ...q rmr + r.

m +1
DEMOSTRACIÓN. Sea y0 = p1 1 ...pk k q1 1 ...q rmr +1 . Entonces y02 = 0 en ZN , por lo que ZN y0 es un
n n
n n m
clique que tiene p1 1 ...pk k q1 1 ...q rmr elementos.
Si ponemos yi = y0 /qi ,1 ≤ i ≤ r. El conjunto C = ZN y0 ∪ { y1 , ..., y r } es un clique que contiene
n n m
t = p1 1 ...pk k q1 1 ...q rmr + r elementos. Por tanto clique(ZN ) ≥ t.
Para mostrar que el número cromático de ZN es menor igual que t, asignaremos un color distinto a
n
cada elemento del clique C. Más aún, si x i = N /pi i , 1 ≤ i ≤ k. Obtenemos que x 1 , ...x k pertenecen a

TFM: Grafo de divisores de cero Rodrigo Botello Marabotto

12 CAP. II. COLORACIONES

C y por tanto tienen un color asignado. Llamemos f ( y) al color de un elemento y. Coloreamos los
elementos de ZN que quedan como sigue:
n n
Tomamos x que no esté en ZN y0 . Si p1 1 ...pk k divide a x, definimos f (x) = f ( y j ), donde j =
m +1 n
min{i|qi i - x}, y si no lo divide definimos f (x) = f (x j ), donde j = min{i : pi i - x}. Se obser-
va que esta coloración es correcta, por lo que obtenemos el resultado deseado. 

6 de julio de 2015 Curso 20142015. TRABAJO FIN DE MÁSTER

SEC. 5. ANILLOS DE NÚMERO CROMÁTICO FINITO 13

5. Anillos de número cromático finito

Nos va a resultar de especial interés estudiar aquellos anillos cuyo número cromático sea finito. En
esta sección trataremos de caracterizarlos.
Para comenzar, diremos que un elemento x ∈ R es finito si el ideal Rx es un conjunto finito.

Lema. 5.1.
Supongamos que R tiene un conjunto infinito de elementos finitos. Entonces R contiene un clique
infinito.

DEMOSTRACIÓN. Sea x 1 , ..., x n , ... elementos finitos diferentes de R. Los elementos x 1 x 2 , ..., x 1 x n , ...
pertenecen al ideal finito Rx 1 . Por ser x 1 finito, obtenemos que existe una subsucesión {an } de
{2, ..., n, ...} de donde obtenemos x 1 x a1 = x 1 x a2 = ... Considerando ahora la subsucesión x a1 , ..., x an , ...
podemos repetir el proceso y construir una subsucesión de la sucesión original, y1 , ..., yn , ... tal que
yi y j = yi yk cuando j, k > i.
Tomando zi, j = yi − y j obtenemos que zi, j zk,r = 0 si i < j < k < r. Esto nos permite construir un
clique infinito.
Tomamos z1,2 z3,4 = z1,2 z3,5 . Puesto que z3,4 6= z3,5 entonces al menos uno de ellos es diferente de z1,2 .
Pongamos pues que {z1,2 z3,5 } es un clique con dos elementos.
Ahora, como z6,7 , z6,8 , z6,9 son distintos, al menos uno de ellos será distinto de los elementos del
clique. Por lo que, por ejemplo, {z1,2 , z3,5 , z6,9 } es un clique. Podemos continuar el proceso hasta
obtener un clique infinito. 

Lema. 5.2.
Sea I un ideal finito en R. El anillo R contiene un clique infinito si, y solo si, R/I tiene un clique
infinito.

DEMOSTRACIÓN. Si R tiene un clique infinito C, su imagen por la proyección al cociente R/I es un

clique, que al ser I finito, será infinito.
Para la otra implicación, sea {x i }∞ 1
un clique infinito en R/I. Tomando preimágenes, sabemos que
x i x j ∈ I cuando i 6= j. Por ser I finito, hay un conjunto finito de productos de este tipo, por lo que
podemos usar técnicas similares al las usadas en el lema anterior para obtener un clique en R. 

Lema. 5.3.
Si el anillo R contiene un elemento nilpotente que no es finito, entonces R contiene un clique infinito.

TFM: Grafo de divisores de cero Rodrigo Botello Marabotto

14 CAP. II. COLORACIONES

DEMOSTRACIÓN. Sea x n = 0. La prueba es por inducción sobre n. Si x 2 = 0 y Rx es infinito, entonces

R contiene un clique infinito pues Rx es un clique. Supongamos ahora que el lema es cierto para
elementos de grado de nilpotencia n − 1. Entonces x n = 0, n ≥ 3, y asumamos que Rx es infinito.
Llamemos y = x 2 . Entonces y n−1 = 0. Si R y es infinito, podemos concluir que R tiene un clique
infinito. Si R y es finito entonces Rx/R y es infinito. Obtenemos que este cociente es un clique infinito
en R/R y. Puesto que R y es finito, podemos usar el lema [5.2.] para obtener el resultado deseado.


Lema. 5.4.
Si el nilradical J de R es infinito entonces R tiene un clique infinito.

DEMOSTRACIÓN. Si el nilradical J es infinito y todos sus elementos son finitos, el lema [5.1.] asegura
que R contiene un clique infinito. Si algún elemento de J no es finito, el lema [5.3.] asegura que
contiene un clique infinito. 

Los resultados de estos lemas aseguran que si tenemos un anillo R que no tenga un clique infinito, su
nilradical J será finito y R/J no tendrá un clique infinito. Esto nos permite centrar un poco nuestra
atención en anillos reducidos, es decir, anillos con nilradical cero ó sin elementos nilpotentes no
nulos.
En estos anillos veremos que se obtiene una curiosa propiedad:

Lema. 5.5.
Sea R un anillo reducido que no contiene un clique infinito. Entonces R tiene condición de cadena
ascendente en ideales de la forma Ann(x) (donde Ann(x) denota al anulador de x, es decir, el
conjunto de r ∈ R tal que r x = 0).

DEMOSTRACIÓN. Asumamos que Ann(a1 ) ⊂ Ann(a2 ) ⊂ .... Sea x i ∈ Ann(ai )\ Ann(ai−1 ), i = 2, 3, ....
Los elementos no nulos yn = x n an−1 , n = 2, 3, ... forman un clique y podemos afirmar que yi 6= y j
cuando i 6= j. Obtenemos que yi y j = 0. La igualdad yi = y j nos permite obtener que yi2 = y j2 = 0.
Esto completa el lema.


Necesitaremos un lema adicional. En él utilizaremos el concepto de ideal residual. Dados dos ideales
de R, A, B, llamaremos ideal residual de A y B al ideal (A : B) = {r ∈ R|r B ⊂ A}.

6 de julio de 2015 Curso 20142015. TRABAJO FIN DE MÁSTER

SEC. 5. ANILLOS DE NÚMERO CROMÁTICO FINITO 15

Lema. 5.6.
Sean x e y elementos en R tales que Ann(x) y Ann( y) son ideales primos diferentes. Entonces
x y = 0.

DEMOSTRACIÓN. Supongamos que x y 6= 0. Entonces x ∈ / Ann( y), y ∈

/ Ann(x). Puesto que Ann(x),
Ann( y) son ideales primos, obtenemos que Ann(x) : y = Ann(x) y que Ann( y) : x = Ann( y). Sin
embargo, Ann(x) : y = Ann( y) : x = Ann(x y). Por tanto, obtenemos que Ann(x) = Ann( y).


Teorema. 5.7.
Sea R un anillo reducido. Equivalen:

1. χ(R) es finito.

2. clique(R) es finito.

3. El ideal cero de R es una intersección finita de ideales primos.

4. R no contiene un clique infinito.

DEMOSTRACIÓN. (1. ⇒ 2.),(1. ⇒ 4.) y (2. ⇒ 4.) son evidentes.

(3. ⇒ 1.) Sea (0) = P1 ∩...∩ Pk donde los P1 , ..., Pk son ideales primos. Podemos definir una coloración
en R poniendo f (0) = 0 y f (x) = min{i|x ∈ / Pi } para x ∈ / 0 obtenemos que χ(R) ≤ k + 1.
(4. ⇒ 3.) Suponiendo que R es reducido y no contiene un clique infinito. Entonces R admite condición
de cadena ascendente en ideales de la forma Ann(a) por [5.5.]. Sean Ann(x)i , i ∈ Λ los elementos
maximales de la familia {Ann(a)|a 6= 0}. Cada ideal Ann(x)i es primo. Por el lema [5.6.] el conjunto
Λ es finito. Tomando x ∈ R, x 6= 0. Entonces Ann(x) ⊂ Ann(x)i para algún i ∈ Λ. Si x x i = 0 entonces
T que x i = 0, por lo que x i = 0. Podemos concluir que x x i 6= 0.
2
x i ∈ Ann(x) ⊂ Ann(x)i y obtenemos
y por eso x ∈ / Ann(x)i . Por tanto Λ Ann(x)i = (0) y hemos terminado. 

Teorema. 5.8.
Sea R un anillo reducido no nulo. Si χ(R) < ∞ entonces R tiene solo un número finito de ideales
primos minimales. Si n es este número, entonces χ(R) = clique(R) = n + 1.

TFM: Grafo de divisores de cero Rodrigo Botello Marabotto

16 CAP. II. COLORACIONES

DEMOSTRACIÓN. Supongamos que χ(R) < ∞. Entonces el teorema [5.7.] implica que (0) es una
intersección finita de ideales primos y por tanto R solo tiene un número finito de ideales primos
minimales, P1 , ..., Pn . Además (0) = P1 ∩...∩Pn y obtenemos que χ(R) ≤ n+1 como en la demostración
de [5.7.]. Elegimos x i tal que x i ∈ P j para j 6= i y x i ∈
/ Pi . Entonces 0, x 1 , ..., x n es un clique. Por tanto
clique(R) ≥ n + 1. 
Podemos entonces establecer este resultado para anillos generales.

Teorema. 5.9.
Las siguientes condiciones equivalen para un anillo R:

1. χ(R) es finito.

2. clique(R) es finito.

3. El nilradical de R es finito y es igual a una intersección finita de ideales primos.

4. R no contiene un clique infinito.

DEMOSTRACIÓN. Las implicaciones (1. ⇒ 2.),(1. ⇒ 4.) y (2. ⇒ 4.) son triviales.
Para ver que (3. ⇒ 1.) sea J = P1 ∩ ... ∩ Pk donde P1 , ..., Pk son ideales primos. Si x ∈
/ J sea f (x) =
min{i|x ∈/ Pi }. Esto es una coloración de los elementos que no están en J. Puesto que J es finito,
necesitaremos como mucho un conjunto finito adicional para colorear R.
Para ver que (4. ⇒ 3.) supondremos que R no contiene un clique infinito. Por los lemas [5.2.] y [5.4.]
esto implica que J es finito y R/J no contiene un clique infinito. Deducimos por tanto del teorema
[5.7.] que J es una intersección finita de ideales primos. 

Teorema. 5.10.
Sea R un anillo que contiene un ideal finito que es intersección finita de ideales primos.
Entonces el radical de cualquier ideal finito es finito y es igual a una intersección finita de ideales
primos. Más aún, el anillo tiene solo un número finito de ideales finitos.

DEMOSTRACIÓN. Si R contiene un ideal finito que es intersección finita de ideales primos, entonces
χ(R) < ∞ por el argumento usado al probar (3. ⇒ 1.) en [5.9.].
Sea K un ideal finito en R. Entonces R/K no contiene un clique infinito [5.2.], por lo que χ(R/K) < ∞
[5.9.]. Además, por [5.9.] obtenemos que rad(K/K) (el nilradical de R/K) es finito y por tanto rad(K)
(ideal de R) es una intersección finita de ideales primos. Puesto que rad(K/K) es finito y K es finito,
podemos concluir que rad(K) es finito.

6 de julio de 2015 Curso 20142015. TRABAJO FIN DE MÁSTER

SEC. 5. ANILLOS DE NÚMERO CROMÁTICO FINITO 17

Sea A = ({x| x es finito }). Puesto que clique(R) < ∞ obtenemos de [5.1.] que A es un ideal finito.
Puesto que A contiene cada ideal finito, el número de ideales finitos es finito. 
El último teorema de esta sección puede encontrarse en [2, Theorem 3.6].

Teorema. 5.11.
Sea R un anillo noetheriano. Entonces R tiene número cromático finito si, y solo si, R es un subanillo
de un producto directo finito de cuerpos y un anillo finito.

DEMOSTRACIÓN. Sea 0 = Q 1 ∩ ... ∩ Q n una descomposición primaria normal para 0 donde Q i es

Pi -primario. Ahora R ⊂ R/Q 1 × ... × R/Q n . Si Pi no es maximal, entonces Q i = Pi y R/Q i es un
dominio integral y por tanto un subanillo de su cuerpo de fracciones. Supongamos que Pi es maximal.
(Podemos suponer que Q i 6= Pi , dado que si Q i = Pi entonces R/Q i es un cuerpo). Entonces R/Q i es
un anillo local de dimensión cero con cuerpo residual R/Pi y por tanto R/Q i es finito. 

TFM: Grafo de divisores de cero Rodrigo Botello Marabotto

18 CAP. II. COLORACIONES

6. Coloraciones
Puesto que ya tenemos caracterizados los anillos con número cromático finito, vamos a ver algunas
de sus propiedades.
Definición 6.1
Diremos que un anillo R es una coloración si tiene número cromático finito.

Lema. 6.1.
Si I es un ideal finito en un anillo R, entonces (I : x)/ Ann(x) es un R-módulo finito.

DEMOSTRACIÓN. Si consideramos la sucesión exacta

f
0 −→ Ann(x) −→ (I : x) −→ (I : x)x −→ 0,

donde f (t) = t x. Puesto que (I : x)x ⊂ I obtenemos que (I : a)/ Ann(x) es finito. 

Teorema. 6.2.
Una coloración tiene condición de cadena ascendente en ideales de la forma Ann(a).

DEMOSTRACIÓN. Sea R una coloración y supongamos que Ann(x 1 ) ⊂ Ann(x 2 ) ⊂ ... El nilradical J
es finito y podemos asumir que x i ∈ / J para i = 1, 2, .... Por [5.7.] tenemos que J = P1 ∩ ... ∩ Pn
intersección de ideales primos. Para un elemento x ∈ R obtenemos

(J : x) = (P1 : x) ∩ ... ∩ (Pn : x).

Esto muestra que la familia {(J : x)|x ∈ R} es finita. Por tanto, existe una subsucesión { y j } de {x i }
para la que (J : y1 ) = (J : y2 ) = ....
Consideramos Ann( y1 ) ⊂ Ann( y2 ) ⊂ ... ⊂ J : y1 , lo que contradice el hecho de que J : y1 / Ann( y1 )
es finito.
Por tanto, obtenemos la a.c.c. para ideales de la forma deseada. 
Para el siguiente teorema necesitamos un par de conceptos previos.
Dado un anillo R, diremos que un ideal primo P de R es un ideal primo asociado a R, P ∈ Ass(R), si
P es de la forma Ann(x) para cierto x ∈ R.
Diremos que un ideal primo es un primo minimal si no contiene a ningún otro ideal primo.
Un anillo R diremos que es un anillo local si admite un único ideal maximal.
Dado un anillo R y un ideal primo P denotaremos como R P a la localización de R en P.

6 de julio de 2015 Curso 20142015. TRABAJO FIN DE MÁSTER

SEC. 6. COLORACIONES 19

Teorema. 6.3.
Sea R una coloración. Entonces Ass(R) es un finito y Z(R) = P∈AssR P. Además, cualquier ideal primo
S

minimal P es un ideal primo asociado y R P es un cuerpo o un anillo finito.

DEMOSTRACIÓN. Supongamos que R es una coloración. Entonces clique(R) < ∞ y el lema [5.6.]
implica que Ass(R), el conjunto de primos asociados de R, es finito.
Sea x ∈ Z(R). Entonces x ∈ Ann( y) para algún ideal maximal Ann( y) [6.2.] y Ann( y) es un ideal
primo asociado.
Si P es un ideal primo minimal, tomamos x ∈ / P. Entonces Ann(x) ⊂ P. Elegimos Ann(t) maximal
en la familia {Ann( y)| Ann( y) ⊂ P}. Afirmamos que Ann(t) es un ideal primo y establecemos que
Ann(t) = P.
Asumamos que ab ∈ Ann(t), a ∈ / Ann(t), y b ∈ / Ann(t). Si a ∈/ P, consideramos Ann(t a). Se observa
fácilmente que Ann(t) ⊂ Ann(t a) ⊂ P y llegamos a contradicción. Si a ∈ P consideramos Ann(t a).
Si Ann(t a) ⊂ P seguimos teniendo contradicción. Por tanto, existe c ∈ Ann(t a) tal que c ∈ / P y si
consideramos Ann(t)c, obtenemos la contradicción Ann(t) ⊂ Ann(t)c ⊂ P.
Sea P un ideal primo minimal. Hemos demostrado que P = Ann(x) para algún x. Si X ∈ / P obtenemos
que PR P = (0) y R p es un cuerpo. Si suponemos que x ∈ P, Sea J = P ∩ P1 ∩ ... ∩ Pk , donde P1 , ..., Pk
son los restantes ideales primos minimales. Tomamos y ∈ P1 ∩ ... ∩ Pk \P. Entonces y P ⊂ J y dado
que y ∈/ P concluimos que PR P = JR P . El ideal J es finito y además PR P es finito.
Obviamente R/P ∼ = Rx. Puesto que x ∈ P = Ann(x) obtenemos que x 2 = 0. Por tanto Rx es finito.
Así obtenemos Rx ⊗R R P ∼ = (R/P) ⊗R R P ∼
= R P /PR P es finito, por lo que R P es finito. 

Teorema. 6.4.
Sea P un ideal primo asociado en una coloración. Entonces R P es un cuerpo o P es un ideal maximal.

DEMOSTRACIÓN. Sea Ann(x) = P. Supongamos que x ∈ P. Entonces x 2 = 0 y por tanto Rx es finito.

Pero entonces R/P(∼= Rx) es finito, por lo que R/P es un cuerpo. Por tanto P es un ideal maximal.
/ P y Ann(x) = P, entonces PR P = (0) y R P es un cuerpo.
Si x ∈ 

Corolario. 6.5.
Un ideal primo asociado en una coloración es un ideal maximal o un ideal primo minimal.

TFM: Grafo de divisores de cero Rodrigo Botello Marabotto

20 CAP. II. COLORACIONES

7. Derivados de una coloración

En esta sección veremos que en caso de saber que un anillo es una coloración, sabremos que muchos
anillos relacionados con este son también coloraciones. Tenemos pues una forma de construir nuevos
anillos coloración

Teorema. 7.1. (Subanillo de coloración)

Un subanillo de una coloración es una coloración.

DEMOSTRACIÓN. Trivial 

Teorema. 7.2. (Cociente por ideal finito)

Sea I un ideal finito de una coloración R. Entonces R/I es una coloración.

DEMOSTRACIÓN. Se deduce de [5.2.] y [5.9.] 

Lema. 7.3. (Cociente por anulador)

Sea x un elemento en una coloración R. Entonces R/ Ann(x) es una coloración.

DEMOSTRACIÓN. Sea r 1 , ..., r n un clique en R/ Ann(x). Entonces ri r j x = 0 (i 6= j).

Además r1 x, ..., rn x son elementos distintos en R. Concluimos que clique(R/ Ann(x)) ≤ clique(Rx) y
por el teorema [5.9.] obtenemos que R/ Ann(x) es una coloración. 

Teorema. 7.4. (Generalización a ideales residuales)

Sea I un ideal finito en una coloración R y supongamos que x ∈ R. Entonces R/(I : x) es una
coloración.

DEMOSTRACIÓN. Por el lema [7.3.], R/ Ann(x) es una coloración y por el lema [6.1.] concluimos
que (I : x)/ Ann(x) es un ideal finito en R/ Ann(x). Aplicando el teorema [7.2.] obtenemos que
R/(I : x) es una coloración. 

6 de julio de 2015 Curso 20142015. TRABAJO FIN DE MÁSTER

SEC. 7. DERIVADOS DE UNA COLORACIÓN 21

Teorema. 7.5. (Producto de coloraciones)

Un producto finito de coloraciones en una coloración.

DEMOSTRACIÓN. Es suficiente considerar el producto R = R1 × R2 de las coloraciones R1 y R2 . Si

ponemos clique(R1 ) = n y clique(R2 ) = m. Es fácil ver que clique(R1 × R2 ) ≤ nm y por el teorema
[5.9.] deducimos que R es una coloración. 
NOTA: Aunque sepamos que el producto finito de coloraciones es una coloración, no tenemos manera
de saber cuál es su número cromático conociendo los números cromáticos de los factores.

Teorema. 7.6.
Sea I un ideal finitamente generado en una coloración. Entonces R/ Ann(I) es un coloración.

DEMOSTRACIÓN. Sea I = (x 1 , ..., x n ). Entonces Ann(I) = Ann(x 1 ) ∩ . . . ∩ Ann(x n ). Tenemos una

aplicación inyectiva R/ Ann(I) −→ R/ Ann(x 1 )×· · ·×R/ Ann(x n ). Cada uno de los R/ Ann(x i ) en una
coloración y por [7.1.] y [7.5.] la prueba está completa. 

Corolario. 7.7.
Sea R un anillo Noetheriano cuyo nilradical es finito. Entonces rad(Ann(I))/ Ann(I) es finito para
cualquier ideal I.

Teorema. 7.8.
Sea S un conjunto multiplicativo cerrado en una coloración R Entonces RS es una coloración. Además,
χ(RS ) ≤ χ(R) y clique(RS ) ≤ clique(R).

TFM: Grafo de divisores de cero Rodrigo Botello Marabotto

22 CAP. II. COLORACIONES

8. Elementos separables
En esta sección obtendremos algunas propiedades que nos permitirán probar la conjetura de Beck
para anillos con número cromático pequeño.
Una de las ideas más importantes a la hora de hablar de coloraciones de un anillo R reside en que,
si tenemos un ideal primo P, el numero de colores necesarios para colorear R será como mucho uno
más que el numero necesario para colorear P. Esto se debe a que, al ser P primo, si x y = 0 entonces
x ∈ P o y ∈ P.
Este hecho nos va a llevar a estudiar cierto tipo de elementos especiales del anillo, a los que llama-
remos separables.
Definición 8.1
Un elemento x en R se dice separable si x 6= 0 y ab = 0 implica x a = 0 o x b = 0.
Definición 8.2
Sea I un ideal. Un elemento x ∈ I se dice I-separable si x I 6= (0) y si ab = 0 para a, b ∈ I entonces
x a = 0 o x b = 0.

Notas:

Si x se separable, entonces es R-separable.

No es necesario que a 6= b en las definiciones anteriores.

Un elemento R-separable que esté en I no es I-separable si x I = (0), aunque el recíproco es

cierto.

Es decir, los elementos separables son aquellos que están conectados con todas las aristas, en el
sentido de que si un elemento no está conectado con ellos, estará conectado con alguien conectado
a él.
Veamos algunas propiedades de estos elementos:

Proposición. 8.1.
Si Ann(x) es un ideal primo entonces x es separable.

DEMOSTRACIÓN. Trivial 

Proposición. 8.2.
Un ideal no nulo I en una coloración contiene un elemento separable.

6 de julio de 2015 Curso 20142015. TRABAJO FIN DE MÁSTER

SEC. 8. ELEMENTOS SEPARABLES 23

DEMOSTRACIÓN. Como R tiene condición de cadena ascendente para anuladores (por [6.2.]), es
fácil ver que I contiene un elemento x tal que Ann(x) es un ideal primo. Por la proposición [8.1.] se
deduce el resultado 

Teorema. 8.3.
Sea I un ideal en una coloración no contenido en el nilradical. Entonces I contiene un elemento
I-separable.

DEMOSTRACIÓN. Sea x ∈ I tal que Ann(x) es un ideal primo P con I * P. Entonces x es R-separable
y x I 6= (0) puesto que Ann(x) = P + I. 

Teorema. 8.4.
Sea I un ideal principal en una coloración. Si I 2 6= (0) entonces I contiene un elemento I-separable.

DEMOSTRACIÓN. Sea I = Rx y supongamos que x 2 6= 0. Dado que R tiene a.c.c. en anuladores, es

fácil ver que (0 : x 2 t) es un ideal primo para algún t ∈ R. Afirmamos que x t es I-separable.
Sean a, b ∈ I y asumamos que ab = 0. Escribimos a = r x y b = sx. Entonces rsx 2 = 0. Por tanto,
rs está contenido en el ideal primo (0 : x 2 t). Si r ∈ 0 : x 2 t obtenemos que (r x)(x t) = 0. Más aún,
(t x)x − t x 2 6= 0 prueba que (t x)I 6= 0. 
Estos teoremas sobre elementos separables nos van a permitir demostrar el siguiente lema:

Lema. 8.5.
Sea I un ideal en una coloración y asumamos que x ∈ I es I-separable. Llamemos I 0 = Ann(x) ∩ I.

1. Si x 2 = 0 entonces clique(I 0 ) = clique(I) y χ(I 0 ) = χ(I).

2. Si x 2 6= 0 entonces clique(I 0 ) = clique(I) − 1 y χ(I 0 ) = χ(I) − 1.

DEMOSTRACIÓN. Supongamos que x 2 = 0. Entonces x ∈ I 0 . Sea clique(I) = n y elijamos un clique

maximal C = { y1 , ..., yn } en I. Si x ∈ C, llamamos x = y1 , entonces y2 , ..., yn ∈ I 0 y como x ∈ I 0
tenemos que C ⊂ I 0 , por lo que clique(I 0 ) = n. Si x ∈
/ C, x C 6= (0) por ser C maximal en I. Suponiendo
que x y1 6= 0. entonces x yi = 0 para 2 ≤ i ≤ m dado que x es I-separable. Por tanto {x, y2 , ..., yn } es
un clique contenido en I 0 , por lo que clique(I 0 ) = n. Ahora, si coloreamos I 0 y tomamos y ∈ I − I 0 ,

TFM: Grafo de divisores de cero Rodrigo Botello Marabotto

24 CAP. II. COLORACIONES

podemos asignar a y el mismo color que a x, por lo que χ(I 0 ) = χ(I) (recordemos que x es I-
separable).
Ahora supongamos que x 2 6= 0, por lo que x ∈ / I 0 . Claramente clique(I 0 ) ≤ clique(I) − 1 dado que
todo clique en I 0 se le puede añadir x para obtener un clique en I. Por otro lado, si C = { y1 , ..., yn }
es un clique maximal en I, entonces, si x ∈ C, x = y1 por ejemplo, entonces { y2 , ..., yn } es un clique
en I 0 , por lo que clique(I 0 ) = clique(I) − 1. Fácilmente se deduce que χ(I 0 ) = χ(I) − 1. 

Teorema. 8.6.
Sea I un ideal en una coloración y {x 1 , ..., x n } un clique de elementos I-separables. Llamemos k al
cardinal del conjunto {i|x i2 6= 0} y I 0 = I ∩ Ann(x 1 , ..., x n ). Entonces clique(I 0 ) = clique(I) − k y
χ(I 0 ) = χ(I) − k.

DEMOSTRACIÓN. Se deduce de manera análoga al lema anterior [8.5.] 

Teorema. 8.7.
Sean P1 , ..., Pn los primos minimales en una coloración R. Sea ε(R) = |{i|R Pi es un cuerpo}|.
Entonces clique(R) = clique(J) + ε(R) y χ(R) = χ(J) + ε(R).

DEMOSTRACIÓN. Sea 0 : x i = Pi [6.3.]. Entonces {x 1 , ..., x n } es un clique de elementos R-separables.

Por el teorema [8.6.] y observando que R Pi es un cuerpo si, y solo si, x i2 6= 0 deducimos el resultado.

NOTA:
La consecuencia más interesante de este teorema reside en que clique(R) = χ(R) si, y solo si,
clique(J) = χ(J). Esto nos permite obtener muchos resultados para anillos reducidos.

Teorema. 8.8.
Sea R una coloración reducida. Entonces clique(I) = χ(I) para cualquier ideal I ⊂ R.

DEMOSTRACIÓN. Por el teorema [8.3.] I contiene un elemento I-separable x. Dado que x 2 6= 0, la

prueba se completa usando inducción sobre el clique(I) [8.5.]. 

6 de julio de 2015 Curso 20142015. TRABAJO FIN DE MÁSTER

SEC. 8. ELEMENTOS SEPARABLES 25

Teorema. 8.9.
Sea R una coloración que es un anillo de ideales principales. Entonces χ(I) = clique(I) para cualquier
ideal I en R.

DEMOSTRACIÓN. Podemos reducirnos al caso I ⊂ J. Sea P1 , ..., Pn los ideales primos minimales de
R. Si I * P1 entonces existe un elemento y1 ∈ I tal que Ann( y1 ) = P1 . Por lo que y1 es I- separable.
Definimos I1 = I ∩ Ann( y1 ) = I ∩ P1 y observamos que por el lema [8.5.] χ(I) = clique(I) si, y solo
si, χ(I 0 ) = clique(I 0 ). Debería ser evidente que podemos hacer la reducción al casi I ⊂ J.
Suponiendo que I = Rx ⊂ J. Si I 2 = (0) entonces el clique I = χ(I) = |I|. Si I 2 6= (0), el ideal I
contiene un elemento I-separable y1 , por el teorema [8.4.]. Sea I1 = I ∩Ann( y1 ) < I. Obtenemos del
lema [8.5.] que χ(I) = clique(I) si, y solo si, χ(I1 ) = clique(I1 ). Esto completa la prueba dado que el
suceso terminará por llegar a un ideal I n para el cual I n2 = (0), en cuyo caso χ(I n ) = clique(I n ). 

Teorema. 8.10.
Sea R una coloración con la propiedad de que cualquier ideal I de cuadrado no nulo contiene un
elemento I-separable. Entonces χ(I) = clique(I) para cualquier ideal I en R.

DEMOSTRACIÓN. Observando la demostración de [8.9.], vemos que el último párrafo resuelve tam-
bién este teorema. 

Teorema. 8.11.
Sea R una coloración que es un producto finito de anillos reducidos y anillos de ideales principales.
Entonces χ(I) = clique(I) para cualquier ideal I ⊂ R.

DEMOSTRACIÓN. Si I es un ideal de R que verifica I = I1 ⊕ I2 , si I1 contiene un elemento I1 -separable

x 1 , entonces x 1 es también I-separable. Dado que los anillos reducidos y de ideales principales veri-
fican ambos las hipótesis de lema anterior [8.10.], R verificará también esas hipótesis, obteniéndose
el resultado esperado. 

Teorema. 8.12.
Sea R un anillo local y coloración cuyo ideal maximal es un ideal principal. Entonces R es reducido
o un anillo de ideales principales.

TFM: Grafo de divisores de cero Rodrigo Botello Marabotto

26 CAP. II. COLORACIONES

DEMOSTRACIÓN. Si R es finito, entonces R es un anillo local artiniano cuyo ideal maximal es prin-
cipal. Por tanto, R es un anillo de ideales principales.
Si R no es finito y no es reducido, entonces, llamemos I al ideal generado por el conjunto de elementos
finitos. Este ideal es finito y es el único ideal maximal finito.
Si tomamos x ∈ I tal que Ann(x) = P, donde P es un ideal primo. Dado que R/P ∼ = Rx, observamos
que R/P es un dominio integral finito. Por tanto P es igual al ideal maximal M = Rt.
Sea B = (I : t) ⊃ I. Dado que I ⊂ Rt obtenemos que I = Bt.
t
El elemento x ∈ I anula t, puesto que la aplicación I −→ I no es inyectiva.
Dado que I es finito, concluimos que t I ⊂ I, mostrando que B ⊃ I.
El ideal (0 : t) = Ann(M ) es finito. Por el lema [6.1.] concluimos que B ⊃ I es finito, por lo que
contradecimos la maximalidad de I. 

Lema. 8.13.
Sea R una coloración indescomponible. Asumamos que cada ideal maximal que es igual a Ann(x)
para cierto x ∈ J es principal. Entonces R es reducido o un anillo finito local de ideales principales.

DEMOSTRACIÓN. Supongamos que R no es reducido ni finito. Es fácil ver que un ideal finito no
contenido en el nilradical contiene un idempotente e 6= 0. Asumiendo que R es indescomponible,
concluimos que J es el único ideal maximal finito.
Sea M = Ann(x) un ideal maximal, x ∈ J. Asumamos que M = Rt. Podemos afirmar que (0 : t) =
Ann(M ) ⊂ J y esto prueba que (0 : t) es finito.
Dado que M es un ideal maximal, Ann(M ) está contenido en cada ideal primo excepto quizás M . Si
Ann(M ) * M entonces Ann(M ) + M = R y Ann(M )M = (0). Por tanto R ∼ = M ⊕ Ann(M ) contradi-
ciendo que R es indescomponible.
Por tanto (0 : t) es finito y el lema [6.1.] nos permite obtener que (J : t) es finito. Pero (J : t) ⊃ J
puesto que (J : t)t = J y t J ⊂ J. Por tanto hemos probado que R es finito o reducido.
Si R es finito e indescomponible, entonces R es local. 

Teorema. 8.14.
Para una coloración R equivalen:

1. Todo ideal maximal que es igual a Ann(x) para algún x ∈ J es principal.

2. R es isomorfo a un producto de anillos reducidos con anillos de ideales principales finitos.

6 de julio de 2015 Curso 20142015. TRABAJO FIN DE MÁSTER

SEC. 8. ELEMENTOS SEPARABLES 27

DEMOSTRACIÓN. Dado que el número de clique de R es finito, R es un producto finito de anillos

indescomponibles. En cada uno de estos anillos indescomponibles podemos aplicar lema [8.13.] y
así obtener (1. ⇒ 2.).
La otra implicación es trivial. 

En esta sección hemos observado la importancia del nilradical J de un anillo a la hora de saber si es
cromático o no. En particular hemos visto que una coloración R es un anillo cromático si, y solo si,
clique(J) = χ(J).
Ahora veremos que toda coloración con J 2 = (0) es un anillo cromático:

Teorema. 8.15.
Sea R una coloración con nilradical J. Sea ε(R) el número de ideales primos minimales P ⊂ R con
R P un cuerpo.

1. Si J 2 = 0 entonces R es un anillo cromático y χ(R) = clique(R) = |J| + ε(R).

2. Si J 2 6= 0 entonces χ(R) ≥ clique(R) ≥ |J ∩ (0 : J)| + ε(R) + 1.

Si clique(R) = |J ∩ (0 : J)| + ε(R) + 1, entonces χ(R) = clique(R), es decir, R es cromático.

DEMOSTRACIÓN. (1.) Por [8.6.] sabemos sabemos que clique(R) = clique(J) + ε(R) y que χ(R) =
χ(J) + ε(R). Si J 2 = 0, entonces clique(J) = |J| = χ(J), de donde se deduce el resultado.
(2.) Si J 2 6= (0), entonces J ) J ∩ (0 : J). Para j ∈ J − J ∩ (0 : J), J ∩ (0 : J) ∪ { j} es un clique.
Por esto, clique(J) ≥ |J ∩ (0 : J)| + 1. Supongamos que clique(J) = |J ∩ (0 : J)| + 1. Entonces para
x, y ∈ J\(0 : J) con x 6= y, x y 6= 0. Por tanto, los elementos de J\(0 : J) pueden ser coloreados con
el mismo color, por lo que χ(J) = |J ∩ (0 : J)| + 1 

Gracias a este teorema, ya hemos encontrado tres grandes familias de coloraciones que son anillos
cromáticos:

1. Las coloraciones reducidas. [8.8.]

2. Los anillos de ideales principales. [8.9.]

3. Las coloraciones con J 2 = 0 . [8.15.]

Vamos a intentar condensar esta información en un único teorema que nos permitirá generalizarla.
Para ello vamos a necesitar algunos lemas y teoremas adicionales:
El siguiente teorema generaliza el caso de anillos Zn .

TFM: Grafo de divisores de cero Rodrigo Botello Marabotto

28 CAP. II. COLORACIONES

Teorema. 8.16.
Sean R1 , ..., R k , R k+1 , ..., R k+r coloraciones. Llamemos R = R1 × ... × R k × R k+1 × ... × R k+r . Sea Ji el
nilradical de R i (que será finito pues R i es coloración). Supongamos que el índice de nilpotencia de
Ji (el menor n ∈ N al que hay que elevar Ji para que Jin = 0) es 2ni para i = 1, ..., k, y 2mi − 1 para
i = k + 1, ..., k + r, con ni , mi ≥ 1. Entonces
n n m m
|J1 1 |...|Jk k ||Jk+1
k+1
|...|Jk+rk+r | + r ≤ clique(R) ≤ χ(R).

Además, si para cada i, la siguiente condición (4) se mantiene:

(4):
n n n +1
Para 1 ≤ i ≤ k, si x, y ∈ R i con x y = 0 entonces x ∈ Ji i o y ∈ Ji i y si x ∈
/ Ji 1 , entonces
ni
y ∈ Ji .
m mi
Para k + 1 ≤ i ≤ k + r, si x, y ∈ R i con x y = 0 entonces x ∈ Ji i o y ∈ Ji
n n m m
Entonces χ(R) = clique(R) = |J1 1 |...|Jk k ||Jk+1
k+1
|...|Jk+rk+r | + r.

n n m m
DEMOSTRACIÓN. Llamemos S = J1 1 × ... × Jk k × Jk+1 k+1
× ... × Jk+rk+r . Para cada i con k + 1 ≤ i ≤ k + r
m −1
podemos elegir y i ∈ Ji i y llamar yi = (0, ..., 0, y i , 0, ..., 0) donde cada coordenada es 0 salvo la
i-ésima. Claramente, si i 6= j entonces yi y j = 0 y por ser el índice de nilpotencia de Ji el que es,
yi S = 0 y S 2 = 0. Por tanto, C = S ∪ { yk+1 , ..., yk+r } es un clique con |S| + r elementos. Esto nos
proporciona el primer resultado.
Si se da (4), entonces, podemos colorear C. Sea f la aplicación que da la coloración. Vamos a
n n +1
extenderla a R. Para i = 1, ..., k, dado x i ∈ Ji i \Ji i definimos x i = (0, ..., 0, x i , 0, ..., 0) ∈ C. Sea
z = (z1 , ..., zk+r ) ∈ R\C.
n
Si zi ∈ Ji i para i = 1, ..., k, entonces, como z ∈ / S, existe una coordenada l con k + 1 ≤ l ≤ k + r con
m
zl ∈/ Jl l . Definimos f (z) = f ( y j ) donde j es el más pequeño de los l obtenidos.
n
Si para algún i = 1, ..., k se verifica que zi ∈ / Ji i , entonces, definimos f (z) = f (x j ) donde j es el más
pequeño de los i anteriores.
Esto es una coloración: Tomemos dos elementos distintos de R, a = (a1 , ..., ak+r ), b = (b1 , ..., bk+r )
con mismo color, por lo que al menos uno no está en C. Necesitamos que ab 6= 0, por lo que ai bi 6= 0
para algún i.
m m
Suponiendo que f (a) = f (b) = f ( y j ), entonces a j ∈ / Jj j y bj ∈ / J j j , por lo que (4) implica que
a j b j 6= 0.
n
Suponiendo que f (a) = f (b) = f (x j ), entonces si a 6= x j y b 6= x j tenemos que a j ∈ / Ji i y que
n n n +1 n
/ J j j , por lo que a j b j 6= 0. Y si a = x j entonces a j = x j ∈ J j j − J j j
bj ∈ / J j j pues b 6= x j . Por
yb∈
(4) obtenemos a j b j 6= 0.
Por tanto, f es una coloración y hemos terminado. 

6 de julio de 2015 Curso 20142015. TRABAJO FIN DE MÁSTER

SEC. 8. ELEMENTOS SEPARABLES 29

Lema. 8.17.
Sea R un anillo y A un superanillo de R. Entonces clique(R) = clique(A) y χ(R) = χ(R). En particular,
R es una coloración si, y solo si, T (R), su anillo total de fracciones, es una coloración y de ser el caso
clique(R) = clique(T (R)) y χ(R) = χ(T (R)).

DEMOSTRACIÓN. Dado que R ⊂ A ⊂ T (R), sabemos que clique(R) ≤ clique(A) ≤ clique(T (R)) y
χ(R) ≤ χ(A) ≤ χ(T (R)). Pero dado que T (R) es una localización de R en los elementos regulares,
obtenemos que clique(T (R)) ≤ clique(R) y χ(T (R)) ≤ χ(R). 
Con esto podemos enunciar el resultado principal de la sección.

Corolario. 8.18.
Sea R una coloración que es un producto directo finito de anillos, anillos de ideales principales y
anillos finitos con índice de nilpotencia 2. Entonces χ(R) = clique(R).

DEMOSTRACIÓN. Por el lema [8.17.] podemos asumir que R es un anillo total de fracciones. Primero,
notemos que una coloración reducida que es un anillo total de fracciones es un producto directo de
cuerpos. En segundo lugar, un anillo de ideales principales es un producto directo de dominios de
ideales principales y anillos de ideales principales especiales (que son anillos Artinianos locales de
ideales principales). En tercer lugar, un anillo finito con índice de nilpotencia 2 es un producto directo
de cuerpos y anillos locales con índice de nilpotencia 2. Pero cada tipo de estos anillos satisface (4)
del teorema [8.16.]. Por tanto, por el teorema [8.16.] su producto satisface χ(R) = clique(R). 

TFM: Grafo de divisores de cero Rodrigo Botello Marabotto

30 CAP. II. COLORACIONES

9. Coloraciones con número cromático bajo

En esta sección veremos que toda coloración con número cromático bajo (menor o igual que cinco)
es un anillo cromático.

Proposición. 9.1.
Dada una coloración R, entonces si clique(R) ≤ 2 o χ(R) ≤ 2 se verifica que χ(R) = clique(R).

Proposición. 9.2.
Sea R una coloración. Entonces clique(R) = 3 si, y solo si, χ(R) = 3.

DEMOSTRACIÓN. Dado que χ(R) ≥ clique(R) es suficiente probar que χ(R) > 3 implica que clique(R) >
3.
Sea R∗ = R − {0} y asumamos que χ(R) > 3. Entonces χ(R∗ ) ≥ 3. Dado que el grafo R∗ no es
2-coloreable, contiene un ciclo impar x 1 , ..., x n . Sea n la longitud minima de un ciclo de longitud
impar en R∗ y asumamos n ≥ 5.
Obtenemos que x 1 x 2 = x 2 x 3 = ... = x n−1 x n = x n x 1 = 0. Supongamos que x 1 x k = 0 para algún
k 6= 1, 2, n. Entonces x 1 , ..., x k y x k , ..., x n , x 1 son ciclos de longitud < n y uno de ellos tiene longitud
impar. Obtenemos que x i x j = 0 solo si x i y x j son vecinos en el ciclo.
Pongamos que y = x 1 x 3 . Entonces y x 2 = y x 4 = y x n = 0. Dado que y es adyacente a tres de los
elementos del ciclo x 1 , ..., x n concluimos que y no pertenece a el. Podemos por tanto construir un
ciclo impar y, x 4 , ..., x n de longitud n − 2. Esto prueba que R∗ contiene un ciclo impar de longitud 3
y por tanto clique R ≥ 4. 
Con el siguiente teorema obtenemos el resultado principal de esta sección, y es, por desgracia, el
resultado más fino que se puede obtener.

Teorema. 9.3.
Sea R una coloración y k un entero ≤ 4. Entonces χ(R) = k si, y solo si, clique(R) = k. Además,
χ(R) = 5 implica clique(R) = 5.

La demostración puede encontrarse en [12, Theorem 7.3].

6 de julio de 2015 Curso 20142015. TRABAJO FIN DE MÁSTER

SEC. 10. EL CONTRAEJEMPLO DE LA CONJETURA DE BECK 31

10. El contraejemplo de la conjetura de Beck

Existe un contraejemplo de la conjetura de Beck que afirmaba que para todo anillo clique(R) = χ(R).
Ejemplo 10.1
Sea R = Z4 [X , Y, Z]/(X 2 − 2, Y 2 − 2, Z 2 , 2X , 2Y, 2Z, X Y, X Z, Y Z − 2).
Se verifica que clique(R) = 5 pero χ(R) = 6.

El contraejemplo detallado puede verse en [2, Section 2].

TFM: Grafo de divisores de cero Rodrigo Botello Marabotto

32 CAP. II. COLORACIONES

6 de julio de 2015 Curso 20142015. TRABAJO FIN DE MÁSTER

Capítulo III

De grafos a anillos

Hasta ahora hemos visto que los grafos de divisores de cero asociados a anillos artinianos tienen pro-
piedades peculiares, como por ejemplo, que diam(Γ (R)) ∈ {0, 1, 2, 3} o que girth(Γ (R)) ∈ {3, 4, ∞}.
Por ello no es de extrañar que dado un grafo finito arbitrario, no exista en general un anillo cuyo
grafo de divisores de cero sea el grafo dado.
Sin embargo, para estos anillos existe un teorema que dice que todo anillo artiniano es producto
finito de anillos locales artinianos, y esto permite tratar este caso de forma especial.
En este capítulo veremos que si tenemos un grafo que sabemos que es el grafo de divisores de cero de
un anillo finito, entonces podemos descomponerlo de manera que obtengamos los grafos de divisores
de cero de los factores de la descomposición de en locales. Esto permite reconstruir un anillo desde
su grafo de divisores de cero conociendo los anillos locales cuyo grafo de divisores de cero es igual
a uno dado.
También veremos algunas condiciones que podremos exigirle a un anillo para estar caracterizado
por su grafo de divisores de cero.

11. Recuperación de anillo desde un grafo de divisores de cero

En esta sección veremos el teorema fundamental del capítulo. Para ello necesitamos definir antes un
concepto de grafos:

Definición 11.1
Sea G un grafo conexo. Un subconjunto A del conjunto de vértices de G se dice que es un conjunto
de corte si existen un par de vértices x e y de G tales que todo camino entra x e y para por A y A
es minimal verificando esta condición. Si A contiene único vértice z, entonces se dice que z es un
vértice de corte.

Ya podemos enunciar el teorema.

34 CAP. III. DE GRAFOS A ANILLOS

Teorema. 11.1. (Recuperación del anillo)

Sea G un grafo con cuatro vértices o más que es el grafo de divisores de cero de algún anillo conmu-
tativo finito con 1. Entonces G está asociado con el anillo R ∼ = R1 × R2 × ... × R m , donde cada R i es un
anillo local, y se verifica que Γ (R) ∼
= G. Esta asociación es única salvo elementos de la misma clase
de divisores de cero. Es decir, si S = S1 × S2 × ... × S t con cada Si local y Γ (S) ∼= G, entonces m = t
∼
y (tras posibles reordenaciones) R i = Si o R i y Si son ambos anillos locales con el mismo grafo de
divisores de cero (están en la misma clase de divisores de cero).

DEMOSTRACIÓN. La demostración completa puede verse en [15, Theorem 2.1]. 

Los puntos clave de la demostración son utilizar el teorema de descomposición local de anillos ar-
tinianos [9, Theorem 8.7], que asegura que si R es un anillo artiniano, entonces R ∼ = R1 × ... × R m
con R i anillos locales artinianos y encontrar conjuntos de corte disjuntos que nos permitan obtener
subgrafos asociados a la descomposición.
Además, si Γ es el grafo de divisores de cero de un anillo artiniano finito con al menos cuatro vértices,
entonces la demostración proporciona un algoritmo que nos permite obtener un anillo artiniano
finito R que verifique Γ = Γ (R):

(1) Si Γ tiene un vértice adyacente a todos los demás y tiene al menos un ciclo, entonces R es un
anillo local. Si Γ es un grafo estrellado, entonces R ∼
= Z2 × F , donde F es un cuerpo con |v(Γ )|
elementos. En cualquier otro caso, pasamos al siguiente paso.

(2) Identificamos los conjuntos de corte de Γ . Si m es el máximo número de conjuntos de corte

disjuntos que podemos obtener, conjuntos que denotaremos como Ai , entonces, por [2.2.], R ∼
=
R1 × R2 × ... × R m , donde cada R i es un anillo local artiniano o un cuerpo.
Estos Ai se corresponderán con cierto ideal anulador minimal de cada R i cuando R i sea un anillo
local.

(3) Elegimos un conjunto de corte A j cuyo factor R j queremos detectar. Para ello, tomamos otro
conjunto de corte distinto Ai y eliminamos vértices del grafo en tres pasos:

(a) Eliminamos Ai .
(b) Eliminamos los vértices que nos son adyacentes a ningún vértice de los Ai .
(c) Eliminamos los vértices que no son adyacentes a ningún vértice eliminado en el paso ante-
rior.
(d) Definimos el subgrafo H inducido de este proceso.

Con este proceso hemos eliminado todos los vértices del grafo que no toman el valor cero en la
componente R i y por tanto nos ha quedado un grafo H que contiene al grafo de R1 × ... × R i−1 ×
R i+1 × ... × R m y no es isomorfo, por el hecho de que tiene elementos que no son divisores de
cero suyos que hay que detectar.

6 de julio de 2015 Curso 20142015. TRABAJO FIN DE MÁSTER

SEC. 11. RECUPERACIÓN DE ANILLO DESDE UN GRAFO DE DIVISORES DE CERO 35

(4) Si R1 × ... × R i−1 × R i+1 × ... × R m tiene más de un factor, el grafo H tendrá alguna arista, y
eliminando sus vértices aislados obtenemos el grafo de R1 × ... × R i−1 × R i+1 × ... × R m . Podemos
ahora repetir el paso (3) con otros conjuntos de corte hasta eliminar todos los factores salvo R i ,
obteniendo cierto grafo H que no será generalmente el grafo de divisores de cero de R i .

(5) Si el grafo H tiene alguna arista, entonces podemos eliminar los vértices aislados y obtenemos
el grafo de R i .

(6) Si el grafo H no tiene aristas y |v(H)| 6= 1 ó 3, entonces el factor R i es Fn , un cuerpo con

n = |v(H)| + 1 elementos.

(7) Si el grafo H no tiene aristas y tiene tres vértices, entonces tenemos que tomar el grafo obtenido
antes de la última iteración del paso (3), es decir, el grafo de R i × R k para cierto k. Este grafo
tendrá dos conjuntos de corte, Ai , Ak . Si Ak tiene 3 vértices, R i es F4 . Si Ak tiene un vértice, R i es
Z4 o Z2 [X ]/(X 2 ).

(8) Si el grafo H tiene solo un vértice, consideramos de nuevo Ak .

Si |Ak | ≥ 2 y no tiene aristas entre los vértices, entonces R i es Z4 o Z2 [X ]/(X 2 ).

Si |Ak | ≥ 2 y hay al menos una arista entre los vértices, entonces el factor es Z2 .
Si |Ak | = 1 y el Γ (R i × R k ) no es isomorfo a Γ (Z2 × Z4 ), el factor R i es Z2 .
Si |Ak | = 1 y el grafo de Γ (R i × R k ) es isomorfo a Γ (Z2 × Z4 ), entonces sea Ak = {a}. Si a
tiene grado 2 antes del paso (3), entonces R i es Z2 . Si el grado es 3, entonces el factor R i
es Z4 o Z2 [X ]/(X 2 ).

(9) Una vez hecho esto, el factor R i ha quedado determinado, y podemos repetir el algoritmo con
otro i hasta obtener todos los factores.

Este teorema en particular nos permite obtener un par de corolarios muy interesantes:

Corolario. 11.2.
Para anillos conmutativos finitos, el grafo de divisores de cero de un anillo local con cuatro o más
vértices no es isomorfo al grafo de divisores de cero de un anillo no local.

Corolario. 11.3.
Para anillos conmutativos finitos, el grafo de divisores de cero de un anillo reducido con cuatro o
más vértices no es isomorfo al grafo de divisores de cero de un anillo no reducido.

TFM: Grafo de divisores de cero Rodrigo Botello Marabotto

36 CAP. III. DE GRAFOS A ANILLOS

Estos resultados no se pueden utilizar cuando hay 3 o menos vértices por el siguiente motivo:

Proposición. 11.4.
Para anillos conmutativos finitos, los siguientes son los únicos casos salvo isomorfismo en los que
el grafo de divisores de cero de un anillo reducido es isomorfo al grafo de divisores de cero de un
anillo local:

(1) Z2 × Z3 y Z8 ó Z2 [X ]/(X 3 ) ó Z4 [X ]/(2X , X 2 − 2).

(2) Z2 × Z2 y Z9 ó Z3 [X ]/(X 2 ).

(Para más detalles sobre estas cuestiones véase [15]

6 de julio de 2015 Curso 20142015. TRABAJO FIN DE MÁSTER

SEC. 12. CUANDO Γ (R) ∼
= Γ (S) IMPLICA QUE R∼
=S 37

12. Cuando Γ (R) ∼

= Γ (S) implica que R ∼
=S
En general, conocidos los grafos de divisores de cero de dos anillos R y S tales que Γ (R) ∼
= Γ (S) no
∼
podemos asegurar que R = S. Sería interesante saber qué condiciones hay que exigirle a R y S para
= Γ (S) implique R ∼
Γ (R) ∼ = S.
El resultado principal referente a esta cuestión es el siguiente, que nos dice que para anillos finitos
(reducidos) la teoría es buena.

Teorema. 12.1.
= Γ (S) si, y solo si, R ∼
Sean R y S anillos reducidos finitos que no sean cuerpos. Entonces Γ (R) ∼ = S.

Ver la referencia [7].

Este resultado se puede refinar un poco más cuando uno de los anillos es finito (reducido), entonces
tenemos información muy útil.

Teorema. 12.2.
Sea R un anillo reducido finito y S un anillo tal que S no es un dominio integral. Si Γ (R) ∼
= Γ (S)
entonces R ∼
= S, salvo que R ∼
= 2
Z × Z 2 , Z 6 y S sea un anillo local.

Ver la referencia [1].

TFM: Grafo de divisores de cero Rodrigo Botello Marabotto

38 CAP. III. DE GRAFOS A ANILLOS

6 de julio de 2015 Curso 20142015. TRABAJO FIN DE MÁSTER

Capítulo IV

Extensión de la teoría: Otros grafos

asociados a anillos

En esta memoria hemos estudiado, en detalle, un grafo asociado a un anillo. De una lectura atenta
de la misma se deduce que los tipos de grafos en consideración son muy especiales; sin embargo en
la teoría expuesta se puede apreciar la cantidad de información que contiene el grafo de divisores
de cero. Por esta razón numerosos investigadores e han lanzado a la tarea de asociar nuevos grafos
a anillos, conmutativos y no conmutativos, con la esperanza de poder obtener resultados de interés
sobre la teoría de estructura y sobre la clasificación de estos anillos. Este es el tema de estudio
propuesto a continuación del que vamos a hacer solo un breve repaso mostrando algunos de estos
grafos y algunas de sus propiedades, aunque un trabajo similar al realizado hasta el presente se puede
realizar para cada uno de ellos, lo que da una idea aproximada de las aplicaciones que tiene la teoría.
Nos gustaría destacar la bondad de la misma aún cuando solo permite construir invariantes asociados
a anillos y no permite reconstruir los mismos, salvo en casos muy determinados; esta dificultad es
precisamente la que hace interesante el estudio, pues determinar tipos de anillos con condiciones
(sobre los grafos) dadas nos permitiría avanzar en la clasificación de los mismos.
Como solamente queremos indicar la variedad de grafos que es posible construir, en este capítulo
nos limitaremos a introducir estos y a mostrar algunas de sus propiedades más interesantes.

13. Grafo total asociado a un anillo

Definición 13.1 (Total Graph)
Sea R un anillo conmutativo, Reg(R) su conjunto de elementos regulares, Z(R) su conjunto de divi-
sores de cero y Nil(R) su ideal de elementos nilpotentes. Definimos como el grafo total de un anillo
R, denotado T (Γ (R)), al grafo que tiene como:

vértices todos los elementos de R.

hay una arista entre dos vertices distintos x, y ∈ R si, y solo si, x + y ∈ Z(R).

A este grafo se le pueden asociar varios subgrafos inducidos:

40 CAP. IV. EXTENSIÓN DE LA TEORÍA : OTROS GRAFOS ASOCIADOS A ANILLOS

Reg(Γ (R)), el subgrafo inducido de T (Γ (R)) cuyos vértices están en Reg(R).

Z(Γ (R)), el subgrafo inducido de T (Γ (R)) cuyos vértices están en Reg(R).

Nil(Γ (R)) el subgrafo inducido de T (Γ (R)) y de Z(Γ (R)) cuyos vértices están en Nil(R).

A la hora de estudiar estos grafos es conveniente realizar una separación en casos:

Z(R) es un ideal de R.

Z(R) no es un ideal de R.

Caso Z(R) es un ideal de R

El primer hecho a destacar es que si x, y ∈ R con x y ∈ Z(R), entonces x ∈ Z(R) o y ∈ Z(R), luego
si Z(R) es un ideal, es un ideal primo. Esto implica que R/Z(R) es un dominio integral, lo que se
traducirá en buenas propiedades para el grafo. En particular, si R es finito y Z(R) es un ideal de R,
entonces R es un anillo local con Z(R) = Nil(R) su ideal maximal.
Los teoremas más importantes que tenemos en esta situación son:

Teorema. 13.1.
Sea R un anillo conmutativo tal que Z(R) es un ideal de R. Entonces Z(Γ (R)) es un subgrafo inducido
completo de T (Γ (R)) y es disjunto de Reg(Γ (R))

Este hecho permiten que en el caso de que Z(R) sea un ideal, el estudio del grafo pueda reducirse a
estudiar Reg(R).

Teorema. 13.2.
Sea R un anillo conmutativo tal que Z(R) es un ideal de R, y sea |Z(R)| = α y |R/Z(R)| = β. Entonces:

/ Z(R), entonces Reg(Γ (R)) es la unión de β − 1 grafos completos de α vértices.

1. Si 2 ∈

/ Z(R), entonces Reg(Γ (R)) es la unión de (β − 1)/2 grafos bipartitos completos de α, α

2. Si 2 ∈
vértices.

6 de julio de 2015 Curso 20142015. TRABAJO FIN DE MÁSTER

SEC. 13. GRAFO TOTAL ASOCIADO A UN ANILLO 41

Teorema. 13.3.
Sea R un anillo conmutativo tal que Z(R) es un ideal de R. Entonces:

= Z2 o R ∼
1. Reg(Γ (R)) es completo si, y solo si, R/Z(R) ∼ = Z3 .

= Z2 o R/Z(R) ∼
2. Reg(Γ (R)) es conexo si, y solo si, R/Z(R) ∼ = Z3 .

3. Reg(Γ (R)) es completamente disconexo si, y solo si, R es un dominio integral con char(R) = 2.

Teorema. 13.4.
Sea R un anillo conmutativo tal que Z(R) es un ideal de R. Entonces:

1. (a) diam(Reg(Γ (R))) = 0 si, y solo si, R ∼

= Z2 .
(b) diam(Reg(Γ (R))) = 1 si, y solo si, R/Z(R) ∼
= Z2 y R  Z2 , o R ∼
= Z3 .
(c) diam(Reg(Γ (R))) = 2 si, y solo si, R/Z(R) ∼
= Z3 y R  Z3 .
(d) En cualquier otro caso diam(Reg(Γ (R))) = ∞.

2. (a) girth(Reg(Γ (R))) = 3 si, y solo si, 2 ∈ Z(R) y |Z(R)| ≥ 3.

(b) girth(Reg(Γ (R))) = 4 si, y solo si, 2 ∈
/ Z(R) y |Z(R)| ≥ 2.
(c) En cualquier otro caso girth(Reg(Γ (R))) = ∞.

3. (a) girth(T (Γ (R))) = 3 si, y solo si, |Z(R)| ≥ 3.

(b) girth(T (Γ (R))) = 4 si, y solo si, 2 ∈
/ Z(R) y |Z(R)| = 2.
(c) En cualquier otro caso girth(T (Γ (R))) = ∞.

Teorema. 13.5.
Sea R un anillo conmutativo tal que Z(R) es un ideal de R. Entonces, equivalen:

1. Reg(Γ (R)) es conexo.

2. x + y ∈ Z(R) o x − y ∈ Z(R) para todo x, y ∈ Reg(R).

3. x + y ∈ Z(R) o x + 2 y ∈ Z(R) para todo x, y ∈ Reg(R).

4. R/Z(R) ∼
= Z2 o R/Z(R) ∼
= Z3 .

TFM: Grafo de divisores de cero Rodrigo Botello Marabotto

42 CAP. IV. EXTENSIÓN DE LA TEORÍA : OTROS GRAFOS ASOCIADOS A ANILLOS

Caso Z(R) no es un ideal de R

Cuando Z(R) no es un ideal de R, no tenemos tan buenas propiedades como en el caso anterior. Sin
embargo, si tendremos que Z(Γ (R)) será conexo y que Z(Γ (R)) y Reg(Γ (R)) no serán nunca disjuntos.
Los resultados más importantes son:

Teorema. 13.6.
Sea R un anillo conmutativo tal que Z(R) no es un ideal de R. Entonces:

1. Z(Γ (R)) es conexo con diam(Z(Γ (R))) = 2.

2. Alguno vértice de Z(Γ (R)) es adyacente a un vértice de Reg(Γ (R)). En particular, los subgrafos
Z(Γ (R)) y Reg(Γ (R)) de T (Γ (R)) no son disjuntos.

3. Si Reg(Γ (R)) es conexo, entonces T (Γ (R)) es conexo.

Teorema. 13.7.
Sea R un anillo conmutativo tal que Z(R) no es un ideal de R. Entonces T (Γ (R)) es conexo si, y solo
si, (Z(R)) = R. En particular, si R es un anillo conmutativo finito y Z(R) no es un ideal de R, entonces
T (Γ (R)) es conexo.

Teorema. 13.8.
Sea R un anillo conmutativo tal que Z(R) no es un ideal de R y (Z(R)) = R. Sea n ≥ 2 el menor entero
positivo tal que R = (z1 , ..., zn ) para z1 , ..., zn ∈ Z(R). Entonces diam(T (Γ (R))) = n. En particular, si R
es un anillo conmutativo finito y Z(R) no es un ideal de R entonces diam(T (Γ (R))) = 2.

Corolario. 13.9.
Sea R un anillo conmutativo tal que Z(R) no es un ideal de R y supongamos que T (Γ (R)) es conexo.
Entonces

1. diam(T (Γ (R))) = d(0, 1)

2. Si diam(T (Γ (R))) = n entonces diam(Reg(Γ (R))) ≥ n − 2.

6 de julio de 2015 Curso 20142015. TRABAJO FIN DE MÁSTER

SEC. 13. GRAFO TOTAL ASOCIADO A UN ANILLO 43

Corolario. 13.10.
Sea R un anillo conmutativo. Si R tiene un idempotente no trivial, entonces T (Γ (R)) es conexo con
diam(T (Γ (R))) = 2.

Teorema. 13.11.
Sea R un anillo conmutativo tal que Z(R) no es un ideal de R. Entonces T (Γ (T (R))) es conexo con
diam(T (Γ (T (R)))) = 2. En particular, si R es un anillo conmutativo finito y Z(R) no es un ideal de R,
entonces T (Γ (R)) es conexo con diam(T (Γ (R))) = 2.

Teorema. 13.12.
Sean P1 y P2 ideales primos de un anillo conmutativo R tal que x y = 0 para algún x ∈ P1 − P2 , y sea
S = R − (P1 ∪ P2 ). Entonces T (Γ (RS )) es conexo con diam(T (Γ (RS ))) = 2.

Lema. 13.13.
Sea R un anillo conmutativo tal que Z(R) no es un ideal de R. Entonces char(R) = 2 si, y solo si,
2Z(R) = 0.

Teorema. 13.14.
Sea R un anillo conmutativo tal que Z(R) no es un ideal de R. Entonces:

1. girth(Z(Γ (R))) = 3 o girth(Z(Γ (R))) = ∞. Además, si girth(Z(Γ (R))) = ∞ entonces R ∼

=
Z2 × Z2 por lo que Z(Γ (R)) es un grafo estrella K 1,2 con centro 0.

2. girth(T (Γ (R))) = 3 si, y solo si, girth(Z(Γ (R))) = 3.

3. girth(T (Γ (R))) = 4 si, y solo si, girth(Z(Γ (R))) = ∞.

TFM: Grafo de divisores de cero Rodrigo Botello Marabotto

44 CAP. IV. EXTENSIÓN DE LA TEORÍA : OTROS GRAFOS ASOCIADOS A ANILLOS

4. Si char(R) = 2 entonces girth(Reg(Γ (R))) = 3 o ∞. En particular girth(Reg(Γ (R))) = 3 si

char(R) = 2 y Reg(Γ (R)) contiene un ciclo.

5. girth(Reg(Γ (R))) = 3, 4 o ∞. En particular. girth(Reg(Γ (R))) ≤ 4 si Reg(Γ (R)) contiene un

ciclo.

Para más información sobre este grafo ver [5].

6 de julio de 2015 Curso 20142015. TRABAJO FIN DE MÁSTER

SEC. 14. GRAFO TOTAL GENERALIZADO 45

14. Grafo total generalizado

En la sección anterior vimos la definición del grafo total y algunas de sus propiedades. Este grafo
puede generalizarse como veremos a continuación.
Definición 14.1 (Subconjunto primo-multiplicativo)
Sea R un anillo conmutativo con identidad no nula. Decimos que un subconjunto suyo H es un
subconjunto primo-multiplicativo si se satisfacen las siguientes condiciones:

1. a b ∈ H para todo a ∈ H o b ∈ R.

2. Si a b ∈ H entonces a ∈ H o b ∈ H.

En particular, si H es un ideal, entonces es un ideal primo.

Es sencillo encontrar ejemplos de estos conjuntos :

H es primo-multiplicativo si es un ideal primo

H es primo-multiplicativo si es una unión de ideales primos

H es primo-multiplicativo si H = R − U(R), donde U(R) denota las unidades de R.

H es primo-multiplicativo si H = R − Reg(R) = Z(R).

En general, H es primo-multiplicativo si, y solo si, R − H es un subconjunto multiplicativo

cerrado saturado de R.

Ya podemos definir el grafo total generalizado.

Definición 14.2
Sea R un anillo y H un subconjunto primo-multiplicativo suyo. Se define el grafo total generalizado
de R en H, GTH (R), como el grafo que verifica:

1. Su conjunto de vértices es R

2. Hay una arista entre dos vértices distintos x, y ∈ R si, y solo si, x + y ∈ H

Dado A subconjunto de R, se denotará como GTH (A) al subgrafo inducido con vértices A.

Como podemos observar, el grafo total generalizado extiende la noción del grafo total cuando quere-
mos centrar nuestra atención en otros conjuntos que no sean necesariamente el conjunto de divisores
de cero.
Para más información sobre este grafo véase [6].

TFM: Grafo de divisores de cero Rodrigo Botello Marabotto

46 CAP. IV. EXTENSIÓN DE LA TEORÍA : OTROS GRAFOS ASOCIADOS A ANILLOS

15. Grafo anulador de un anillo conmutativo

Hasta ahora, los grafos que hemos visto se generaban utilizando las propiedades aritméticas básicas
de los elementos del anillo. Sin embargo, esto no tiene por que ser necesariamente así y el grafo
anulador es un ejemplo de ello.
Definición 15.1 (Grafo Anulador)
Sea R un anillo conmutativo con identidad no nula, Z(R) su conjunto de divisores de cero y Z(R)∗ =
Z(R) \ {0}. Llamaremos grafo anulador de R, AG(R) al grafo que verifica:

1. Su conjunto de vértices es Z(R)∗ .

2. Dos vértices distintos x, y ∈ Z(R)∗ son adyacentes si, y solo si, Ann(x y) 6= Ann(x) ∪ Ann( y).

Este grafo está relacionado con el grafo de divisores de cero Γ (R). En particular toda arista de Γ (R)
es una arista de AG(R).
El detalle más interesante en la definición de este grafo es que, aunque estamos asociando elemen-
tos, lo que estamos comparando son anuladores, es decir, ideales. Por tanto, esto nos lleva a pensar
que será posible asociar grafos coherentes a anillos de manera que los vértices del grafo no se co-
rrespondan a elementos del anillo, sino a ideales suyos, y así poder trabajar en situaciones en las que
el anillo no sea finito sin que automáticamente gran parte de los invariantes del mismo se vuelvan
triviales.
Para más información sobre este grafo, ver [11].

6 de julio de 2015 Curso 20142015. TRABAJO FIN DE MÁSTER

SEC. 16. GRAFO DE DIVISORES DE CERO GENERALIZADO PARA MÓDULOS 47

16. Grafo de divisores de cero generalizado para módulos

Para acabar este capítulo y la memoria vamos a ver que, de la misma forma que para anillos, es
posible definir grafos asociados a módulos. Podemos hacer esto, bien considerando como vértices
elementos o ideals del anillo, bien considerando como vértices elementos o submódulos del propio
módulo; tal vez por la novedad que supone, vamos a ver un ejemplo en el que los vértices son
elementos del módulo; para ello tenemos que definir una relación o producto en el mismo.
Definición 16.1 (Relación en módulo)
Sea R un anillo con unidad no cero y sea M un R-módulo con unidad. Para cada par de elementos
no nulos x, y ∈ M , decimos que x ∗ y = y ∗ x = 0 si

x( yR : M ) = 0 ó y(xR : M ) = 0.

Dado un R-módulo M , llamaremos Z(M ), al conjunto de elementos x ∈ M tales que x ∗ y = 0 para

algún y ∈ M no nulo. Diremos que Z(R)∗ = Z(R) \ {0}. Con esto ya podemos definir el grafo para
módulos:
Definición 16.2
Sea M un R-módulo. Llamaremos Γ (MR ) o sencillamente Γ (M ) al grafo que verifica:

1. Su conjunto de vértices es Z(M )∗

2. Dos vértices distintos x, y ∈ Z(M )∗ son adyacentes si, y solo si, x ∗ y = y ∗ x = 0.

En particular, si M = R tenemos que Γ (R) = Γ (RR ), por lo que la notación no es confusa.

Para más información ver [16].

TFM: Grafo de divisores de cero Rodrigo Botello Marabotto

Bibliografía

[1] S. Akbari and A. Mohammadian, On the zero-divisor graph of a commutative ring, J. Algebra
274 (2004), 847–855. 2, 12

[2] D. D. Anderson and M. Naseer, Beck’s coloring of a conmutative ring, J. Algebra 159 (1993),
500–514. 5, 10

[3] D. F. Anderson, On the total graph of a commutative ring without the zero element, J. Algebra
Appl. 11 (2012), 1250074.

[4] D. F. Anderson and A. Badawi, On the zero-divisor graph of a ring, Communications in Algebra
36 (2008), 3073–3092.

[5] , The total graph of a commutative ring, J. Algebra 320 (2008), 2706–2719. 13

[6] , The generalized total graph of a commutative ring, J. Algebra Appl. 12 (2013), 1250212.
14

[7] D. F. Anderson, A. Franzier, A. Lauve, and P.S. Livingston, The zero divisor graph of a commutative
ring, ii, Lecture Notes in Pure and Appl. Math. 220 (2001), 61–72. 12

[8] D. F. Anderson and P. S. Livingston, The zero-divisor graph of a commutative ring, J. Algebra 217
(1999), 434–447. I, 2

[9] M. F. Atiyah and I. G. Macdonald, Introducción al álgebra conmutativa, Reverté, Barcelona,

1980. 1, 11

[10] M. Axtell, N. Baeth, and J. Stickles, Cut vertices in zero-divisor graphs of finite commutative rings,
Comm. Algebra 39 (2011), 2179–2188. 2

[11] A. Badawi, On the annihilator graph of a commutative ring, Comm. Algebra 42 (2013), 108–
121. 15

[12] I. Beck, Coloring of commutative rings, J. Algebra 118 (1988), 208–226. II, 9

[13] B. Cote, C. Ewing, M. Huhn, C.M. Plaut, and D. Weber, Cut-sets in zero-divisor graphs of finite
commutative rings, Comm. Algebra 39 (2011), 2849–2861. 2

[14] I. Kaplansky, Commutative rings, Chicago Univ. Press, 1974. 1

[15] S. P. Redmond, Recovering rings from zero-divisor graphs, J. Algebra Appl. 12 (2013), 1350047.
11, 11

[16] S. Safaeeyan, M. Baziar, and E. Momtahan, A generalization of the zero-divisor graph for modules,
J. Korean Math Soc. 51 (2014), 87–98. 16