Teorı́a de Anillos y Módulos

Autores:
Jhan Carlos Barajas
Cesar David Del Real Lario
Santiago José Delgado Benı́tez
Edgar Eduardo Mantilla Pedroza
Christian Ilich Ramı́rez Hernandez

Escuela de Matemáticas, Universidad

Industrial de Santander

APUNTES DE CLASE

Profesor:
Alexander Holguı́n Villa

Diciembre de 2023
Tabla de contenido
1. Conceptos preliminares 2
1.1. Anillos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2. Ideales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3. Anillo cociente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

2. Módulos 8
2.1. Módulo factor y teoremas de isomorfismos de módulos. . . . . . . . . . 9
2.2. Más sobre submódulos . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.3. Módulos libres . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15

3. Semisimplicidad 19

4. Teorema de Wedderburn-Artin 25
4.1. Teorema de Wedderburn-Artin . . . . . . . . . . . . . . . . . . . . . . . 27

5. El radical de Jacobson 30
5.1. Algunos teoremas importantes . . . . . . . . . . . . . . . . . . . . . . . 32

6. Anillos de grupos 34
6.1. Ideal de aumento . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
6.2. Semisimplicidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41

7. Bibliografı́a 44
1. Conceptos preliminares
1.1. Anillos
1.1 Definición. Un anillo R es un conjunto no vacı́o dotado de dos operaciones
binarias, llamadas suma (+) y producto (·), que satisfacen los siguientes axiomas:

1. ⟨R, +⟩ es un grupo abeliano.

2. El producto es asociativo: (a · b) · c = a · (b · c) para todo a, b, c ∈ R.

3. El producto es distributivo respecto a la suma:

a · (b + c) = a · b + a · c y (a + b) · c = a · c + b · c

para todo a, b, c ∈ R.

Un anillo R deberı́a ser denotado por ⟨R, +, ·⟩ para especificar las operaciones usadas;
sin embargo, seguiremos la convención habitual y lo denotaremos simplemente por R.

1.2 Observación.

Decimos que el anillo R es conmutativo si ab = ba para cada a, b ∈ R.

Denotaremos por U (R) el grupo multiplicativo de las unidades.

1.3 Definición. [3] Un conjunto S de un anillo R es un subanillo de R si S es por si

mismo un anillo con las operaciones de R.

Una vez definida la estructura de anillo, se definen los divisores de cero a izquierda
y derecha respestivamente

ZDl = {a ∈ R \ {0} : ab = 0, ∃b ∈ R \ {0}}

ZDr = {t ∈ R \ {0} : bt = 0, ∃b ∈ R \ {0}}

De manera general, los divisores de cero son

ZD(R) = {r ∈ R \ {0} : rs = sr = 0, ∃s ∈ R \ {0}}

1.4 Observación. R es llamado anillo con división si todo elemento a ∈ R tiene

inverso.
Y
1.5 Ejemplo. Si {Rα }α∈Λ es una familia indexada de anillos, Sea Rα , dados
Y α∈Λ
{aα }α∈Λ y {bα }α∈Λ elementos de Rα entonces las operaciones suma y multiplicación,
α∈Λ
como se definen a continuación

{aα }α∈Λ + {bα }α∈Λ = {aα + bα }α∈Λ

 {aα }α∈Λ · {bα }α∈Λ = {aα · bα }α∈Λ
Y
da estructura de anillo a Rα , este anillo es llamado el anillo producto de {Rα }α∈Λ .
α∈Λ

1.6 Definición. (Dominio entero)[3] Un dominio entero es un anillo conmutativo

con unitario y sin divisores de cero.
1.7 Observación. Note que Z × Z × Z no es un dominio entero puesto que dados
a, m.t ∈ Z se tiene que

(a, 0, m) · (0, t, 0) = (0, 0, 0)

1.8 Teorema. Un anillo ⟨R, +, ·⟩ no tiene divisores de cero si, y solo si, se satisfacen
las leyes cancelativas para el producto en R; es decir, si para todo a, b, c ∈ R con a ̸= 0,
se cumple:
(a) ab = ac implica que b = c.
(b) ba = ca implica que b = c.
Anillo de polinomios

1.9 Definición. si P (x) = xn +an−1 xn−1 +an−2 xn−2 +· · ·+a0 diremos que el polinomio
es mónico.
Sea R[x] el anillo de polinomios con coeficientes en el anillo R tal que aX ̸= Xa. ¿
cómo podemos multiplicar dos elementos de dicha forma, es decir, aXbX =?
Considere la función σ tal que

σ:R→R
aX → Xa + σ(a) ∀a ∈ R

Note que

(a + b)X = X(a + b) + σ(a + b)

aX + bX = Xa + σ(a) + Xb + σ(b)
σ(a + b) = σ(a) + σ(b)

Cuerpos cuadráticos
Sea n un entero libre de cuadrados, considere
√
Q(n) = {a + b n : a, b ∈ Q}
Con ⟨Q(n), +, ·⟩ con las operaciones usuales. si n ∈ R+ , Q(n) es subuerpo de R y si
n ∈ R− Q, (n) es subuerpo de C.
1.2. Ideales
1.10 Definición. [3] Un subaanillo I de un anillo R se dice que es un ideal (bilateral)
de R si para cada r ∈ R y cada x ∈ I, ambos ra, ar ∈ I.

1.11 Teorema. [3, Teorema 14.1] Un conjunto no vacı́o I de un anillo R es un ideal

de R si

1. a − b ∈ I para cualesquiera a, b ∈ I

2. ra y ar pertenecen a I para cualesquiera a ∈ I y r ∈ R.

Demostración: La demostración se deja como ejercicio para el lector.

1.12 Ejemplo. Para un anillo R, el conjunto {0} y R son ideales de R. El ideal {0}
se conoce como el ideal trivial.

1.13 Ejemplo. Sea R un anillo conmutativo con unitario, y sea a ∈ R. Entonces el

conjunto ⟨a⟩ = {ra | r ∈ R} es un ideal de R llamado ideal principal generado por
a.

1.14 Ejemplo. Sea Z[x] el anillo de polonomios con coeficientes en los enteros y sea
I un subconjunto de Z[x], definido por I = {p(x) ∈ Z[x] : p(0) = n, n par}. Entonces
I es un ideal de Z[x].

1.15 Definición. Un ideal propio a derecha ( ideal propio a izquierda, ideal propio)
m de R se dice maximal si m ⊆ I ⊆ R entonces m = I o I = R.

1.16 Definición. Un ideral a derecha (izquierda) I de R se dice ideal minimal a de-

recha (izquierda) si {0} y I son los únicos ideales a derecha (izquierda) de R contenidos
en I.

1.17 Definición. Todo anillo R tiene dos ideales, el ideal 0 y el mismo R. Si son los
únicos ideales de R, entonces R es llamado anillo simple.

1.3. Anillo cociente

1.18 Definición. Sea R un anillo e I un ideal de R entonces definimos el anillo
cociente por R/I = {r + I : r ∈ R}

1.19 Teorema. Si R es anillo conmutativo. R/p es dominio entero si, y solo si p es

ideal primo.

1.20 Teorema. Si R es anillo conmutativo. R/m es cuerpo si, y solo si m es maximal.

1.21 Proposición. [1, proposición 1.6] Sean R anillo conmutativo con 1R y m ≤ R

1. x ∈ R/m es unidad, ∀xm entonces (R, m) − local

2. si m ∈ Spec(R) tal que todo elemento de 1 + m ∈ U (R) entonces (R, m) − local

1.22 Teorema. [1, Teorema 1.3] Todo anillo R ̸= 0 tiene al menos un ideal maximal

1.23 Teorema. [3, Teorema 10.3] Si f : R → S es un homomorfismo de anillos,

entonces

1. ker(f ) es un ideal de R

2. f es inyectiva si, y solo si ker(f ) = 0

3. R/ker(f ) ∼
= f (R)
1.24 Corolario. Si f es sobreyectiva, entonces R/ker(f ) ∼
=S

1.25 Proposición. Si f : R → S es un homomorfismo sobreyectivo de anillos (epi-

morfismo) entonces existe una correspondencia entre los siguientes conjuntos,

{I ≤i R : ker(f ) ⊆ I} −→ {J ≤i S}
Existe una correspondencia entre los ideales a izquierda (derecha) de R que contienen
al kernel de f .

1.26 Teorema (Propiedad universal del cociente). Sea R un anillo e I un ideal de

R con homomorfismo canónico πI : R → R/I. Dado T un anillo arbitrario, sea
HomR (R, T ) = {ϕ ∈ Hom(R, T ) : ϕ(I) = 0}, entonces existe una biyección “natu-
ral”

Hom(R/I, T ) → HomI (R, T )

ψ → ψ ◦ πI
ϕ̄ ← ϕ

Donde ϕ̄ : R/I → T , es una aplicación tal que ā ∈ R/I → ϕ(a) ∈ T .

Graficamente:
Ejercicios
1. Sea {Ri }ni=1 una familia de anillos, se define el siguiente conjunto

R1 ⊕ · · · ⊕ Rn = {(a1 , . . . , an ) | ai ∈ Ri }

Junto con las siguientes operaciones

(a1 , . . . , an ) + (b1 , . . . , bn ) = (a1 + b1 , . . . , an + bn )

y
(a1 , . . . , an ) · (b1 , . . . , bn ) = (a1 b1 , . . . , an bn )

Muestre que R1 ⊕ · · · ⊕ Rn es un anillo. Este anillo es llamado suma directa.

2. Muestre que un subconjunto no vacı́o S de un anillo R es un subanillo si S es

cerrado bajo la resta, y la multiplicación, esto es, si S ̸= ∅, a − b ∈ S y a · b ∈ S
para cualesquiera a, b ∈ S.

3. Pruebe que el conjunto de enteros Gaussianos, el cual se define por

Z[i] = {a + bi | a, b ∈ Z}

es un subanillo de los números complejos C.

4. Sea M2 (Z) el anillo de todas las matrices 2 × 2 sobre los enteros, y sea
  
a a+b
R= : a, b ∈ Z
a+b b

Demuestre o refute que R es un subanillo de M2 (Z).

5. Sea R un anillo. Pruebe que a2 − b2 = (a + b)(a − b) para todo a, b en R si, y solo

si, R es conmutativo.

6. Suponga que R es un anillo y que a2 = a para todo a ∈ R. Muestre que R es

conmutativo.

7. Determine ZD(Z5 [i]), donde Z5 [i] = {a + bi | a, b ∈ Z5 }.

8. Pruebe o refute que Zn el anillo de enteros módulo n es un dominio entero.

9. Pruebe el teorema 1.9.

10. Encuentre todos los ideales maximales de los siguientes anillos.

a) Z8 .
b) Z1 0.
c) Z1 2.
 d ) Zn .

11. Demuestre que si I y J son ideales de un anillo R conmutativo con unitario y

R = I + J , entonces I ∩ J = IJ.

12. Demuestre que si un ideal I de un anillo R contiene una unidad de R, entonces

I = R.

13. Demuestre el teorema 1.12.

14. Demuestre que I = {p(x) ∈ Z[x] : p(0) = n, n par} es un ideal de Z[x].

15. Sea R = C(R, R) el anillo de las funciones continuas de R a R. Muestre que

A = {f ∈ R : f (0) = 0} es un ideal maximal de R.

16. Tomando en cuenta el mismo anillo R del ejercicio anterior, demuestre que el
conjunto S = {f ∈ R : f (0) es un entero impar} es un subanillo de R, pero no
es un ideal de R.
2. Módulos
2.1 Definición. Si M es un grupo abeliano con la suma, M es un R−módulo a derecha
si existe una operación binaria M × R −→ M , tal que (x, a) 7−→ x · a, entonces las
siguientes condiciones se cumplen para todo x, y ∈ M y a, b ∈ R.

1. x · (a + b) = xa + xb

2. (x + y) · a = xa + ya

3. x · (ab) = (xa) · b

4. x · 1R = x

Observación: Algunos autores, para simplificar la terminologı́a, suelen referirise, la

multiplicación M × R → M dada por (x, a) = xa como la R-acción sobre M .

2.2 Proposición (Módulos). Sea R un anillo conmutativo con 1R las siguientes afir-
maciones son equivalentes

1. (M, µ) es un R−módulo.

2. M grupo aditivo, ϕ : R → End(M ) es homomorfismo de anillos, con End(M ) =

{ϕ : M → M : ϕ homomorf ismo de grupos}, adicionalmente ⟨End(M ), +, ◦⟩ es
un anillo con 1.

2.3 Definición. Un R−módulo A es llamado R-álgebra si podemos dotar a A de un

producto tal que ⟨A, +, ·⟩ es anillo y verifica la siguiente relación :

r(ab) = (ra)b = a(rb) ∀r ∈ R y a, b ∈ A

2.4 Observación. Si A tiene 1A entonces R ⊆ ζ(A), donde ζ(A) es el centro de A.

2.5 Definición. Sea M un R−módulo, N ⊆ M con N ̸= ∅ es llamado submodulo si

1. n1 + n2 ∈ N , ∀n1 , n2 ∈ N

2. rn ∈ N , ∀r ∈ R, n ∈ N

2.6 Definición. Sean N, M R−modulos, la función ϕ : M → N es llamada homo-

morfismo de R−modulos si se cumple que:

1. ϕ(m1 + m2 ) = ϕ(m1 ) + ϕ(m2 ).

2. ϕ(rm) = rϕ(m)

∀m1 , m2 ∈ M , ∀r ∈ R.

2.7 Proposición. HomR (M, N ) es R−módulo

Note que, sean f, g ∈ HomR (M, N ) y r ∈ R, se tiene que:

HomR (M, N ) × HomR (M, N ) −→ HomR (M, N )

(f, g) 7−→ (f + g)(m) = f (m) + g(m)

R × HomR (M, N ) −→ HomR (M, N )

(r, f ) 7−→ rf (m)

2.8 Proposición. Sea ψ : M ′ −→ M homomorfismo de R-módulos y N un R-módulo.

Las siguientes aplicaciones son homommorfismos de R-módulos:

ψ ◦ () : HomR (N, M ′ ) −→ HomR (N, M )

ϕ 7−→ ψ ◦ ϕ

() ◦ ψ : HomR (M, N ) −→ HomR (M ′ , N )

φ 7−→ φ ◦ ψ

Donde ψ ◦ () es el funtor covariante y () ◦ ψ es el funtor contravariante.

2.1. Módulo factor y teoremas de isomorfismos de módulos.

Ahora, consideremos un homomorfismo de R-módulos ϕ : M −→ N , como es usual,
definimos el kernel del homomorfismo de la siguiente forma:

ker(ϕ) = {m ∈ M : ϕ(m) = 0N }

Y la imagen del homomorfismo se define de la siguiente forma:

Im(ϕ) = ϕ(M ) = {ϕ(m) : m ∈ M } = {n ∈ N : n = ϕ(m), ∃m ∈ M }

Además como Im(ϕ) es un subgrupo normal, entonces Coker(ϕ) = N/Im(ϕ)

Supongamos que M ′ ≤sub M , donde M ′ ⊆ kerϕ , y el homomorfismo ϕ : M −→ N .
Entonces ϕ da ligar al homomorfismo
 ϕ̃ : M/M ′ −→ N
x̄ = x + M ′ 7−→ ϕ̃(x̄) = ϕ(x)

Note que el kernel de este homomorfismo es el siguiente:

ker(ϕ̃) = {x̄ ∈ M/M ′ : ϕ̃(x̄) = ϕ(x) = 0N }

= {x + M ′ : ϕ̃(x + M ′ ) = 0N }
= {x + M ′ : x ∈ kerϕ }
ker(ϕ̃) = kerϕ /M ′ .

Lo cual es consistente con el teorema de correspondencia. Viéndolo de manera gráfica

se tiene lo siguiente

Este diagrama conmuta, es decir ϕ = ϕ̃ ◦ πM ′ . En particular, M ′ = kerϕ , entonces se

tiene que

M/kerϕ ∼
= Im(ϕ).
2.9 Proposición (Segundo teorema de isomorfismos para módulos). [2, Pro-
posición 1.5.8] Si M1 y M2 son submódulos de un R-módulos M tales que M1 ⊆ M2 ,
entonces M2 /M1 es un submódulo de M/M1 y (M/M1 )/(M2 /M1 ) ∼ = M/M2 .
Demostración: Es sencillo mostrar que M2 /M1 es un submódulo de M/M1 . Más aún,
la aplicación f : M/M1 −→ M/M2 dado por f (x + M1 ) = x + M2 está bien definida.
En efecto, si x + M1 = y + M1 , entonces x − y ∈ M1 ⊆ M2 , ası́ f (x + M1 ) = x + M2 =
y + M2 = f (y + M2 ). Además, es fácil ver que f es un endomorfismo con kernel M2 /M1 ,
por tanto

(M/M1 )/(M2 /M1 ) ∼

= M/M2 .
2.10 Proposición (Tercer teorema de isomorfismos para módulos). [2, Proposi-
ción 1.5.9] Si M1 y M2 son submódulos de un R-módulo M , entonces M1 /(M1 ∩ M2 ) ∼
=
(M1 + M2 )/M2
Demostración: Dado el epimorfismo f : M1 −→ (M1 + M2 )/M2 dado por f (x) =
x + M2 , se puede verificar que esta aplicación está bien definida, más aún, su kernel es
M1 ∩ M2 , de ahı́ que M1 /(M1 ∩ M2 ) ∼= (M1 + M2 )/M2 .

2.2. Más sobre submódulos

En general no hace sentido el producto de R-módulos sin embargo, si se tiene M un
R-módulo, y en consideramos un ideal I ≤ R, entonces el conjunto IM definido de la
sigueinte forma:

( )
X
IM = αi mi | αi ∈ I, mi ∈ M
f inita

Entonces IM es un submódulo de M (IM ≤sub M ).

Otros ejemplos que resultan interesantes revisar son los sigueinte:

Dados N y P submódulos de un de un R-módulo M . Se denota el cociente de N entre

P por (N : P ) y se define por

(N : P ) = {a ∈ R | aP ⊆ N }
= {a ∈ R | ap ∈ N, ∀p ∈ P }

Particularmente (P : N ) es un ideal de R, además, si P = {0}, entonces

(P : M ) = ({0} : M ) = {a ∈ R | am = 0, ∀m ∈ M } = ann(M )

Ejercicio: Dado un ideal I de un anillo R, con I ⊆ ann(M ). Entonces M tiene es-

tructura de R/I-módulo.

Notas:

1. Vimos que los resultados de anillos e ideales pueden ser generalizados de “mane-
ra naural” para módulos sobre un anillo. Por ejemplo en un R-homomorfismo
ϕ : M −→ N entre módulos es inyectivo si, y solo si, kerϕ = 0. Si N ≤sub M ,
se define el módulo cociente M/N = {m + N : m ∈ M } con el conjunto de cla-
ses de equivalencia módulo N . Además con los cambios necesarios, la propiedad
universal, los teoremas de isomorfismos y el teorema de correspondencia también
valen para R-módulos (módulos-R).

2. Si (M, +) grupo abeliano y End(M ) su anillo de endomorfismo. Entonces la

 aplicación,

End(M ) × M −→ M
(ϕ, m) 7−→ ϕm = ϕ(m)

da a M estructura de End(M )-módulo. En particular, al considerar M = {e, a, b, ab},

tal que a2 = b2 = e.

Considere las aplicaciones ϕ y ϕ tal que

ϕ : G −→ G
e 7−→ e
a 7−→ a
b 7−→ ab
ab 7−→ b

ψ : G −→ G
e 7−→ e
a 7−→ b
b 7−→ a
ab 7−→ ab

Por lo tanto ϕ, ψ ∈ End(M ). Como ya se mecionó en el principio, (ϕ, x) 7−→ ϕ·x = ϕ(x)
da a G estructura de End(G)-módulo, donde,

(ϕ ◦ ψ)(a) = ab
(ψ ◦ ϕ)(a) = b

Sin embargo,

(x, ϕ) 7−→ x · ϕ = ϕ · x = ϕ(x) es tal que

a · (ϕ ◦ ψ) ̸= (a ◦ ϕ) ◦ ψ

Por lo tanto G no es módulo-End(G).

En conclusión, de un R-módulo no siempre puede obtenerse un módulo-R, con solo

cambiar el lado de la “acción” de los escalares. Sin embargo, si R es un anillo conmu-
tativo y M es módulo-R. Entonces el producto r · m = m · r, para todo m ∈ M, r ∈ R
da estructura de R-módulo. Esto es,
 1. Dados m1 y m2 en M y r en R se tiene los siguiente

r · (m1 + m2 ) = (m1 + m2 ) · r
r · (m1 + m2 ) = m1 · r + m2 · r
r · (m1 + m2 ) = r · m1 + r · m2

2. Dados r1 y r2 en R y m en M se tiene lo siguiente

(r1 + r2 ) · m = m · (r1 + r2 )
(r1 + r2 ) · m = m · r1 + m · r2
(r1 + r2 ) · m = r1 m + r2 m

Y además, con esos mismos elementos se tiene

(r1 r2 ) · m = m · (r1 r2 )
(r1 r2 ) · m = m · (r1 r2 )
(r1 r2 ) · m = (m · r2 ) · r1
(r1 r2 ) · m = (r2 · m) · r1
(r1 r2 ) · m = r1 (r2 · m)

Recordar:

1. M, N R-módulos, HomR (M, N ) = {f : M −→ N | f es homomorf ismo} tiene

estructura de R-módulo.

(·) : R × HomR (M, N ) −→ HomR (M, N )

(α, f ) 7−→ (αf ) : M −→ N

Donde (αf )(m) = αf (m).

Si fijamos a f : M1 −→ M2 un homomorfismo de R-módulos y N un R-módulo.

Entonces se inducen las siguientes aplicaciones

f ◦ () : Hom(N, M1 ) −→ Hom(N, M2 )
g 7−→ f ◦ g
 () ◦ f : Hom(M2 , N ) −→ Hom(M, N )
h 7−→ h ◦ f

Como se dijo anteriormente, Hom(M, N ) tiene estructura de R-módulo si M, N

son R-módulos
Sean

ϕ : M1 −→ M y ψ : N −→ N1

Homomorfismos de R-módulos. Entonces se tienen las siguientes aplicaciones:

Φ̄ : Hom(M, N ) −→ Hom(M1 , N )
φ 7−→ Φ̄(φ) = φ ◦ ϕ,
Ψ̄ : Hom(M, N ) −→ Hom(M, N1 )
φ 7−→ Ψ̄(φ) = ψ ◦ φ

Estas aplicaciones son R-homomorfismos de R-módulos.

2. Para todo R-módulo M, existe un isomorfismo natural HomR (R, M ) ∼
= M . En
efecto, defina

ψ : HomR (M, N ) −→ M
f 7−→ ψ(f ),

donde ψ(1) = f (1R ), f : R −→ M dada por r 7−→ f (r) = f (r · 1R ) = rf (1R ) =

rm, con m ∈ M .

Ahora veamos que la aplicación está bien definida, y que es biyectiva. Para ver
que está bien definida, tome r, s ∈ R, si r = s, esto implica que rf (1R ) = sf (1R ),
por la forma como hemos definido la aplicación anterior, se tiene que f (r) = f (s).
Además, como f (1R ) ∈ M , entonces ψ es un epimorfismo, ahora veamos que ψ
es un monomorfismo. Basta ver que su kernel es cero.

Sea f ∈ ker(ψ), entonces f ∈ HomR (M, N ) y ψ(f ) = 0, esto implica que f (1R ) =
0, luego rf (1r ) = f (r) = 0, esto para cualquier r ∈ R. Por tanto f = 0, es decir,
f siempre es la función identicamente nula, de ahı́ que ker(ψ) = {0}.
Por lo tanto HomR (M, N ) ∼ = M.
2.11 Definición. Sea M un R-módulo, y sea {Mi | i ∈ I} una familia de R-submódulos
de M .
 ( )
X X
1. Mi = mi = m, donde mi ∈ Mi , ∀i ∈ I .
i∈I f initas
X
Mi es el menor submódulo de M que contiene a todos los submódulos de la
i∈I
familia.
\
2. Mi es submódulo de M (Ejercicio: muestre que efectivamente, es un
i∈I
submódulo).

3. M un R-módulo, se dice que este es fiel si ann(M ) = {0}.

4. Si m ∈ M , el conjunto de sus múltiplos rm donde r ∈ R , se denota Rm = {rm :

r ∈ R} = ⟨m⟩X R (Ejercicio: muestre que Rm = ⟨m⟩R es un submódulo de
M ). Si M = RMi , la familia es conjunto de generadores.
i∈I

En otras palabras, dado m ∈ M . Se escribe (no necesariamente de manera única),

como combinación lineal de los Mi′ s, es decir
X
ri mi = m ∈ M donde ri ∈ R, mi ∈ Mi
f inita

k
X
5. M = Rmi se dice que M es un R-módulo finitamente generado.
i=1

2.3. Módulos libres

2.12 Definición. Dada una familia {Mi | i ∈ I} se R-módulos, se definen la suma
directa y el producto directo, respectivamente, de la siguiente forma:
M
1. Mi = {{mi }i∈I : mi ∈ Mi , ∀i ∈ I, donde mi = 0 casi siempre},
i∈I
Y
2. Mi = {{mi }i∈I : mi ∈ Mi , ∀i ∈ I},
i∈I
M Y
Ası́ las cosas, si |I| < ∞, entonces Mi = Mi , lo cual no es cierto en general.
i∈I i∈I

2.13 Definición. Dado M un R-módulo, se dice que es un R-módulo libre si, y sólo si,
∼ Mi , donde cada Mi es un R-módulo tal que Mi ∼
M
M= = R visto a R como R-módulo
i∈I
sobre si mismo, también se puede denotar como M ∼= R(I) . Además, se dice que M es
n
finitamente generado cuando M ∼ R, donde n ∈ N, es decir, M ∼
M
= = Rn .
k=1
2.14 Proposición. M es finitamente generado si, y solo si, M ∼
= Rn /N donde N es
algún R-módulo.

Demostración: Suponga que x1 , x2 , . . . , xn generan a M . Defina la aplicación phi :

n
X
Rn −→ M dada por ϕ(r1 , r2 , . . . , rn ) = ri xi . Se puede verificar facilmente que ϕ es
i=1
un R-homomorfismo sobreyectivo, de ahı́ que M ∼ = Rn /ker(ϕ).
Reciprocamente, se tiene un R-homomorfismo ϕ : Rn −→ M . Si ei = (0, . . . , 0, 1, 0, . . . , 0),
donde 1 está en la i-ésima posición, ası́ podemos escribir la unidad de Rn de la siguiente
forma

1Rn = (1, 1, . . . , 1)
| {z }
n 1′ s

1Rn = (1, 0, . . . , 0) + (0, 1, . . . , 0) + . . . + (0, 0, . . . , 1)

1Rn = e1 + e2 + . . . + en
n
X
n n
Y como ⟨1⟩ = R, entonces R = ⟨{ei | i ∈ {1, . . . , n}}⟩R , es decir, R = Rei ,
i=1
Ahora, como ϕ es un epimorfimso, entonces
n
!
X
ϕ(Rn ) = ϕ Rei
i=1
n
X
ϕ(Rn ) = Rϕ(ei )
i=1

luego ϕ(ei ) ∈ M . Por tanto M es finitamente generado.

2.15 Proposición. Sea M un R-módulo finitamente generado, sea J un ideal de R,

y sea ϕ ∈ EndR (M ) tal que ϕ(M ) ⊆ JM . Entonces ϕ satisface la siguiente expresión

ϕn + r1 ϕn−1 + . . . + rn = 0
donde ri ∈ J, con i ∈ {1, . . . , n}.

Demostración: Sea {xi }ni=1 un conjunto de generadores de M . Entonces cada ϕ(xi ) ∈

JM , ası́ que
n
X
ϕ(xi ) = rij xj
j=1
n
X
Con rij ∈ J para cada i ∈ {1, . . . , n}. De ahı́ que (δij ϕ − rij Id)xj = 0(∗), donde δij
j=1
es la función delta de Kronecker y Id = IdM . Considere la siguiente la matriz
  
ϕ − r11 Id −r12 Id · · · −r1n Id
 −r21 ϕ − r22 Id · · · −r2n Id 
B=
 
.. .. . . .. 
 . . . . 
−rn1 Id −rn2 Id · · · ϕ − rnn Id
Ahora, al multiplicar a (∗) por la matriz adjunta de B, se obtiene
 
x1
 x2 
B · Adj(B)  ..  = 0
 
.
xn
Y como B · Adj(B) = det(B) · In , se sigue que det(B) anula cada xi , por tanto es
el endomorfismo cero de M . Luego al desarrollar el determinante de B, se obtiene la
ecuación deseada.

2.16 Corolario. [1, Corolario 2.5] Sea M un R-módulo finitamente generado y sea I
un ideal de R tal que IM = M . Entonces existe x ≡ 1(mod I) tal que xM = 0.
Demostración: Tomando ϕ como la identidad, es decir ϕ(M ) = IdM (M ) = M ⊆ IM .
Enotnces se sigue del proposición anterior ϕn + r1 ϕn−1 + . . . + rn = IdM + r1 IdM +
. . . + rn IdM = 0. Sea x = 1 + r1 + . . . + rn . Ası́, claramente x ≡ 1(mod I), además,
dado m ∈ M , se tiene que

xm = (1 + r1 + . . . + rn )m
xm = (IdM + r1 IdM + . . . + rn IdM )m = 0,

Por tanto se x ≡ 1(mod I) y xM = 0.

Recordar: Dado un anillo R, se define el ideal de Jacobson, como la intersección de

todos los ideales maximales, es decir
\
J(R) = M, donde SpecMl (R) = {M | M ≤l R , con M maximal}
M∈SpecMl (R)

Además se tiene lo siguiente:

1. J(R) es un ideal de R.
2. x ∈ J(R) si, y solo si, 1−xy es una unidad en R, para todo y ∈ R. [1, Proposición
1.9].
3. Dado un anillo R arbitrario. Entonces J(R/J(R)) = {0} [4, Lema 2.7.5].

2.17 Proposición. [1, Proposición 2.6] (Lema de Nakayama). Sea M un R-módulo

finitamente generado y sea I un ideal de R contenido en el ideal de Jacobson J(R) de
R. Entonces IM = M implica que M = 0.
Demostración: Por el corolario anterior, existe un x ∈ R tal que x ≡ 1(mod I) y
xM = {0}. Por tanto x − 1 ∈ J(R) y ası́ x = 1 + r, para algún r ∈ I ⊆ J(R). Luego
x ∈ U (R) y ası́ x−1 (xM ) = M = {0}.

2.18 Corolario. [1, Corolario 2.7] Sea M un R-módulo finitamente generado, N un

submódulo de M , I ⊆ J(R) un ideal. Entonces M = IM + N implica que M = N .
Demostración: Aplicando el lema anterior a M/N , viendo que I(M/N ) = (IM +
N )/N.

Ejercicios
1. Sea M un R−módulo
a) Pruebe que annr (M ) es un ideal de R
b) Si I es un ideal tal que I ⊆ annr (M ), pruebe que M es también un
R/I−módulo. sugerencia: defina x(a + I) = xa , ∀x ∈ M y a + I ∈ R/I.
2. Encuentre un ejemplo de un R−módulo finita mente generado que tenga un
submódulo que no es finita mente generado.
3. Para cualquier R−módulo, sea M [x] el conjunto de polinomios en x con coefi-
xr con mi ∈ M .
cientes en M , es decir, si p(x) ∈ M [x], p(x) = m0 +m1 x+· · ·+mr N
Demuestre que M [x] es un R[x]−módulo y además M [x] ∼ = R[x] A M .
4. Ann(M + N ) = Ann(M ) ∩ Ann(N )
5. Sea N un submódulo de un R−módulo no nulo M . Si x ∈ M − N , use el lema
de Zorn para demostrar que existe un submódulo N ′ de M contenido en N que
/ N′
es máximal respecto a x ∈
6. (i) Sea I un ideal derecho de R. Si la suma y una R-acción son defnidas sobre
I (n) por
(a1 , a2 , . . . , an ) + (b1 , b2 , . . . , bn ) = (a1 + b1 , a2 + b2 , . . . , an + bn ) y
(a1 , a2 , . . . , an )r = (a1 r, a2 r, . . . , an r)
pruebe que I (n) es un R-módulo y
(ii) Si M es un R-módulo e I un ideal derecho de R, pruebe que
( n )
X
MI = mi xi | mi ∈ M, xi ∈ I, n ≥ 1
i=1

Es un submódulo de M .
(iii) Si N es un submódulo de un R-módulo M e I un ideal derecho de R, muestre
que (M/N )I = (N + M I)/N .
7. Sea M un R-módulo finitamente generado y ϕ : M −→ Rn epimorfismo. Muestre
que Ker(ϕ) es finitamente generado.
3. Semisimplicidad
3.1 Definición. Sea M un R-módulo. M es llamado semisimple si, todo N submódulo
de M es un sumando directo, es decir

M∼
= N ⊕ N ′ , para todo N ≤sub M y algún N ′ ≤sub M

3.2 Proposición. [4, Proposición 2.5.2] Sea N ̸= {0} un submódulo de un módulo

semisimple M . Entonces N es semisimple y contiene un submódulo simple.

Demostración: Primero demostremos que N es semisimple. Sea S un submódulo ar-

bitrario de N . Entonces S también es un submódulo de M , por lo que existe otro
submódulo S ′ tal que M = S ⊕ S ′ . Afirmamos que N = S ⊕ (S ′ ∩ N ). De hecho,
claramente S ⊕ (S ′ ∩ N ) ⊂ S ∩ S ′ = {0}. Por otra parte, dado un elemento n ∈ N ,
podemos escribir n = x+y con x ∈ S, y ∈ S ′ . Pero y = n−x ∈ N , entonces y ∈ N ∩S ′ ,
como se desee.

Para demostrar que N contiene un submódulo simple, elija un elemento x ∈ N , x ̸= 0.

Note que la familia de todos los submódulos de N que no contienen x no es vacı́a y
cada familia totalmente ordenada tiene un lı́mite superior. Entonces, por el lema de
Zorn, existe un elemento máximo N1 . Como N es semisimple, existe otro submódulo
N2 de N tal que N = N1 ⊕ N2 . Nuestro argumento estará completo si demostramos
que N2 es simple.

Si N2 no es simple, contiene un submódulo propio W y existe W ′ tal que N2 = W ⊕W ′ .

Note que N = N1 ⊕ W ⊕ W ′ y N1 = (N1 + W ) ∩ (N1 + W ′ ). Ya que x ∈ / N1 tenemos
que x ∈
/ N1 + W o x ∈ / N1 + W ′ , lo que contradice la maximalidad de N1 .

3.3 Teorema. [4, Teorema 2.5.3] Sea M un R-módulo. Entonces las siguientes con-
diciones son equivalentes.

(i) M es semisimple.

(ii) M es una suma directa de submódulos simples.

(iii) M es una suma (no necesariamente directa) de submódulos simples.

Demostración:(i) ⇒ (ii). Sea F la colección de todos los submódulos de M que pue-

den escribirse como sumas directas de submódulos simples (los submódulos simples de
M existen, debido a la proposición 3.2 ([4, Proposición 2.5.2]), por lo que al menos
sumas directas con un solo sumando también existen). Podemos definir un orden en
F de la siguiente forma. Dados dos elementos ⊕i∈I Mi y ⊕i∈J Mi en F , decimos que
⊕i∈I Mi ≺ ⊕i∈J Mi si, y solo si I ⊂ J.

Ahora, es facil ver que (F, ≺) satisface las condiciones del lema de Zorn, por lo que
existe un elemento máximo M0 en F, que puede escribirse de la forma M0 = ⊕i∈I Mi
con Mi simple, i ∈ I.

La implicación quedará probada si demostramos que M0 = M . Entonces, suponga-

mos que M0 ̸= M . Entonces, por hipótesis, existe un submódulo N de M tal que
M = M0 ⊕ N . por la proposición 3.2 ([4, Proposición 2.5.2]), N contiene un submódulo
simple S. Pero entonces M0 ⊕ S = ⊕i∈I Mi ⊕ S ⊃ M0 , contradiciendo la maximalidad
de M0 .

(ii) ⇒ (iii). Es trivial.

P
(iii) ⇒ (i). Suponga que M = i∈I Mi , donde cada submódulo Mi , i ∈ I, es simple.
Sea N un submódulo propio arbitrario de M . Probaremos que N es una suma directa.
Consideramos la familia:
( X  )
X
J = Mi : J ⊂ I, Mi ∩N = {0}
i∈J i∈J

Note que, como Mi es simple, si N ∩ Mi ̸= {0} entonces Mi ⊂ N . Ya que N ̸= M ,

se sigue que existe al menos un submódulo Mi tal que N ∩ Mi = {0} y J no es
vacı́a. Por
P el lema de Zorn, podemos encontrar
P un submódulo maximal en J , Digamos
M0 = i∈J0 Mi . ya que claramente ( i∈J0 Mi ) ∩ N = {0}, nuestro teorema estará
completo si demostramos que M = M0 + N .

Si, para todo i ∈ I, tenemos Mi ⊂ M0 + N entonces M = M0 + N y hemos terminado.

Supongamos por contradicción, que existe un indice i0 tal que Mi0 ̸⊂ M0 +N . Como Mi0
es simple, tenemos que Mi0 ∩(M0 +N ) = {0}. Entonces también (Mi0 +M0 )∩N = {0}.
Esto significa que Mi0 + M0 ∈ J , contradiciendo la maximalidad de M0 .

3.4 Corolario. [4, Corolario 2.5.4] Sea M = ⊕i∈I Mi una descomposición de un módu-
lo semisimple M como una suma directa de módulos simples y sea N un submodulo de
M . Entonces, existe un subconjunto de indices J ⊂ I tal que N ∼
= ⊕i∈J Mi .
Demostración: Como se muestra en la prueba de la ultima implicación del teorema
anterior, dado un submódulo N de M , siempre podemos encontrar un subconjunto de
indices J0 ⊂ I tal que M = N ⊕ N0 , donde N0 = ⊕i∈J0 Mi . Entonces:
M ⊕i∈I Mi ∼ M
N∼
= = = Mi
N0 ⊕i∈J0 Mi
i∈I\J0

entonces el resultado sigue, con J = I \ J0 .

3.5 Corolario. [4, Corolario 2.5.5] Un módulo factor L de un módulo semisimple M

es isomorfo a un submódulo de M , por lo que también es semisimple.
Demostración: Sea L un módulo factor de M , sea π : M → L el homomorfismo
canónico y establezca N = Ker(π). Entonces, existe un submódulo N ′ de M tal que
M = N ⊕ N ′ ; por lo tanto N ′ ∼ = M/Ker(π) ∼
= L. El resultado ahora se desprende del
corolario del corolario anterior.

3.6 Definición. Un anillo R es llamado semisimple si el módulo R R es semisimple.

3.7 Observación. Dado que los submódulos de R R son los ideales izquierdos del anillo
R, se deduce que R es semisimple si, y solo si, cada ideal izquierdo es un sumando
directo.
3.8 Teorema. [4, Teorema 2.5.7] Sea R un anillo. Entonces las siguientes condiciones
son equivalentes:
(i) Todo R-módulo es semisimple.
(ii) R es un anillo semisimple.
(iii) R es una suma directa de un número finito de ideales minimales izquierdos.
Demostración: (i) ⇒ (ii). Claramente se cumple.

(ii) ⇒ (iii). Dado que los submódulos simples de R R son precisamente los ideales mi-
nimales izquierdos de R, del 3.3 Teorema ([4, Teorema 2.5.3]) se deduce que R puede
escribirse de la forma R = ⊕i∈I Li donde cada Li es ideal minimal izquierdo i ∈ I.
Entonces, para probar nuestra afirmación sólo necesitamos demostrar que esta suma
es finita.

En particular, el elemento 1 ∈ R se puede escribir como una suma finita: 1 = xi1 +

xi2 + ... + xin , con xij ∈ Lij . Entonces para un elemento arbitrario r ∈ R, tene-
mos r = r · 1 = rxi1 + ... + rxin , donde rxij ∈ Lij , 1 ≤ j ≤ n. Esto muestra que
R ⊂ Li1 ⊕ Li2 ⊕ ... ⊕ Lin entonces, en realidad se tiene que R = Li1 ⊕ Li2 ⊕ ... ⊕ Lin .

3.9 Observación. El 3.3 Teorema ([4, Teorema 2.5.3]) establece facilmente que (iii) ⇒
(ii), por lo que nuestra demostración estará completa al probar que (ii) ⇒ (i). Supon-
gamos que R es semisimple y sea M cualquier R-módulo. De la [4, Proposición 2.3.11]
sabemos que M es una imagen epimórfica de un R-módulo libre F . Entonces F pue-
de escribirse de la forma F = ⊕i Rai donde Rai ∼ = R es semisimple. Entonces, F es
semisimple y el 3.5 Corolario ([4, Corolario 2.5.5]) implica que M sobre sı́ mismo es
semisimple.
3.10 Corolario. [4, Corolario 2.5.8] Un anillo semisimple, considerado como un módu-
lo sobre sı́ mismo, tiene longitud finita.
Demostración: Como se muestra arriba, si R es semisimple, se puede escribir como
una suma directa finita R = L1 ⊕ L2 ⊕ ... ⊕ Lt , donde Li es un ideal minimal izquierdo,
1 ≤ i ≤ t.
Entonces,

R = (L1 ⊕ L2 ⊕ ... ⊕ Lt ) ⊃ (L2 ⊕ ... ⊕ Lt ) ⊃ ... ⊃ Lt ⊃ {0}

es una serie de composiciones de R R y el resultado sigue.

3.11 Teorema. [4, Teorema 2.5.10] Sea R un anillo. Entonces R es semisimple si,
y solo si, todo ideal izquierdo L de R es de la forma L = Re, donde e ∈ R es un
idempotente.
Demostración: Supongamos que R es semisimple. Sea L un ideal izquierdo de R.
Entonces L es un sumando directo, por lo que existe un ideal izquierdo L′ tal que
R = L ⊕ L′ . Escribiendo 1 = x + y con x ∈ L, y ∈ L′ . Entonces x = x · 1 = x2 + xy.
Por lo que xy = x − x2 ∈ L y como L′ es un ideal izquierdo, tenemos que xy ∈ L′ .
Ya que L ∩ L′ = {0}, se tiene que xy = 0 entonces x = x2 es un idempotente. Clara-
mente Rx ⊂ L. Dado un elemento a ∈ L tenemos que a = a · 1 = ax + ay entonces
a − ax = ay ∈ L ∩ L′ = {0} y de este modo a = ax ∈ Rx demostrando ası́ la inclusión
opuesta.

Recı́procamente, supongamos que los ideales izquierdos son los establecidos. Es nece-
sario probar que cualquier ideal izquierdo L de R es un sumando directo. Por hipótesis,
un ideal L es de la forma L = Re donde e ∈ R es un idempotente. Sea L′ = R(1 − e).
Es claro que L′ es un ideal izquierdo y, dado un elemento x ∈ R, siempre podemos
escribir x = xe + x(1 − e), entonces tenemos que R = Re + R(1 − e). Además, si
x ∈ Re ∩ R(1 − e), tenemos que x = re = s(1 − e), para algún r, s ∈ R. Entonces,
xe = re · e = re2 = re = x y, por otro lado tenemos que xe = s(1 − e)e = 0 entonces
x = 0 y se deduce que Re ∩ R(1 − e) = {0}. Esto muestra que R = Re ⊕ R(1 − e) y
Re es un sumando directo.

3.12 Teorema. [4, Teorema 2.5.11] Sea R = ⊕ti=1 Li una descomposición de un anillo
semisimple como una suma directa de ideales minimales izquierdos. Entonces, existe
una familia {e1 , ..., et } de elementos de R tal que:
(i) ei ̸= 0 es un elemento idempotente, 1 ≤ i ≤ t.
(ii) Si i ̸= j entonces ei ej = 0.
(iii) 1 = e1 + ... + et .
(iv) ei no puede escribirse como ei = e′i + e′′i donde e′i , e′′i son idempotentes tales que
e′i , e′′i ̸= 0 y e′i e′′i = 0, 1 ≤ i ≤ t.
Recı́procamente, si existe una familia de idempotentes {e1 , ..., et } que satisfacen las
condiciones anteriores, entonces los ideales izquierdos Li = Rei son minimales y R =
⊕ti=1 Li .
Demostración: Supongamos que R = ⊕ti=1 Li es una descomposición de un anillo
como suma directa de ideales minimales izquierdos y escribiendo 1 = e1 + ... + et con
ei ∈ Li . Entonces se sigue, como en el teorema 3.11 ([4, teorema 2.5.10]), que cada ei
es un idempotente, Li = Rei , 1 ≤ i ≤ t, y que i ̸= j implica que ei ej = 0. Finalmen-
te, si para algún indice i podemos escribir ei = e′i + e′′i donde e′i , e′′i son idempotentes
tales que e′i e′′i = 0 entonces, nuevamente como en el teorema 2.5.10, obtenemos que
Li = Re′i ⊕ Re′′i con Re′i , Re′′i ̸= 0, contradiciendo la minimalidad de Li .

Recı́procamente, supongamos que existe una familia de idempotentes {e1 , ..., et } que
satisfacen las condiciones. Primero probemos que un ideal izquierdo Li = Rei es mi-
nimal, 1 ≤ i ≤ t. De hecho, supongamos por contradicción que Li no es minimal.
Entonces, contiene un idealizquierdo J y, como R R es semisimple, Li también es se-
misimple. Entonces, existe un ideal J ′ tal que Li = J ⊕ J ′ y, una vez más como en
el teorema 3.11 ([4, teorema 2.5.10]), esto implica que podemos escribir ei = e′i + e′′i
donde e′i , e′′i son idempotentes tales que e′i , e′′i ̸= 0 y e′i e′′i = 0, una contradicción.

El hecho de que R = L1 + ... + Lt se sigue inmediatamente  de la condición (iii). Para

P
demostrar que la suma es directa, sea x ∈ Lj ∩ i̸=j Li . Entonces podemos escri-
P
bir
P x = rj ej = i̸= rj ei . Multiplicando a derecha por ej , obtenemos rj ej ej = x =
i̸=j ri ei ej = 0, y hemos terminado.

3.13 Definición. Sea R un anillo. Una familia de idempotentes {e1 , ..., et } que satisface
las condiciones (i), (ii) y (iii) del teorema anterior se denomina familia completa
de idempotentes ortogonales. Un idempotente que satisface la condición (iv) del
teorema anterior se dice que es Primitivo.

3.14 Lema. [4, Lema 2.5.13] Sea L un ideal minimal izquierdo de un anillo semisimple
R y sea M un R-módulo simple. Entonces, LM ̸= {0} si, y solo si, L ∼= M como R-
módulos; en este caso LM = M .

Demostración: Supongamos que LM ̸= {0}. Entonces, existe un elemento x ∈ L y

un elemento m ∈ M tal que xm ̸= 0 entonces Lm ̸= {0}. Ya que Lm es un submódulo
de M que es simple, tenemos que Lm = LM = M . Ahora, considere la aplicación
f : L → M dada por x 7→ xm con x ∈ L. Claramente, f es un epimorfismo y, como
Ker(f ) ̸= L es un ideal izquierdo de R contenido en L y L es minimal, se deduce que
Ker(f ) = {0}. Entonces, f también es inyectiva y tenemos que L ∼
= M.

Recı́procamente, supongamos que L ∼ = M como R-módulos y sea f : L → M un

isomorfismo. Como R es semisimple, existe un idempotente e ∈ R tal que L = Re.
Estableciendo m0 = f (e). Como f (re) = rf (e) = rm0 para todo r ∈ R se deduce que
m0 ̸= 0. Dado que m0 = f (e) = f (e2 ) = ef (e) = em0 ,se sigue que LM ̸= {0}, como se
afirma. La última afirmación sigue de maneta trivial.

3.15 Proposición. [4, Proposición 2.5.14] Sea R = ⊕ti=1 Li una descomposición de un

anillo semisimple R como una suma directa de ideales minimales izquierdos. Entonces
cada R-módulo simple es isomorfo a uno de los ideales Li en la descomposición dada.

Demostración: Sea R = ⊕ti=1 Li una descomposición de R como suma directa de

ideales minimales izquierdos y sea M un R-módulo simple. Entonces, como 0 ̸= RM es
un submódulo de M y como M es simple, tenemos que RM = M . Pero RM = ⊕ti=1 Li M
entonces debe existir un indice j tal que Lj M ̸= {0} y, por el lema anterior, tenemos
que Lj ∼
= M.

Ejercicios
1. Sea M un módulo semisimple. Pruebe que M es finitamente generado si, y solo
si, es una suma directa de un número finito de submódulos simples.

2. Sea M un módulo semisimple. Pruebe que M es Artiniano si, y solo si, es Noethe-
riano.

3. Sea M un R-módulo. Si M contiene un submódulo N tal que N y M/N son ambos

semisimples, no tiene por qué ser cierto que M en sı́ mismo sea semisimple. Dé
un ejemplo que ilustre esta situación.

4. Se dice que un anillo R es local si contiene un único ideal maximal izquierdo.

Pruebe que, para un anillo local R con ideal maximal J, se cumplen las siguientes
afirmaciones:

(i) R = J ∪ U(R).
(ii) J es un ideal bilateral.
(iii) Si la suma de un número finito de elementos de R es invertible, entonces al
menos uno de estos elmentos es invertible.

5. Sea R un anillo semisimple y sean M0 , M1 R-módules simples tales que M0 ∼

= M1 .
Pruebe que existen elementos m0 ∈ M0 y m1 ∈ M1 tales que M0 = Rm0 y
M1 = Rm1 y tales que la función rm0 7→ rm1 es un isomorfismo.
4. Teorema de Wedderburn-Artin
4.1 Lema. [4, Lema 2.6.1] Sea L un ideal minimal a izquierda de un anillo semisimple
R. Entonces la suma de todos los ideales a izquierda de R isomorfos a L es un ideal
bilateral de R.
P
Demostración: Sea A = J≃L J. Claramente A es un ideal izquierdo, veamos que
también es un ideal derecho.PSea R
P= ⊕ti=1 Li una suma directa de ideales minimales
t
izquierdos, entonces AR = J≃L i=1 JLi , pero JLi = 0 o JLi = Li , por el lema
3.14 tenemos que J ≃ Li , luego L ≃ Li , luego Li ⊂ A, lo cual implica que AR ⊂ A.
4.2 Lema. [4, Lema 2.6.2] Sea I un ideal bilateral de un anillo semisimple contiene un
ideal minimal izquierdo L. Entonces I contiene todos los ideales izquierdos isomorfos
a L.
4.3 Proposición. [4, Proposición 2.6.3] Sea L un ideal minimal izquierdo de un anillo
semisimple R y sea B la suma de todos los ideales a izquierda de R isomorfos a L.
Entonces, B es un ideal minimal bilateral de R.
Demostración: Sean B1 un ideal bilateral de R contenido en B y L1 un ideal minimal
izquierdo contenido en B1 . Si L1 no es isomorfo a L, entonces L1 J = {0}, para todo
J ≃ L, luego L1 B = {0} lo cual implica que L1 L1 = {0}, lo cual no puede suceder
ya que L1 contiene elementos idempotentes por el Teorema 3.11 lo cual implica que
L1 ≃ L y por el lema anterior B1 ≃ B.
4.4 Teorema. [4, Teorema 2.6.4] Con la notación se arriba, denote Ai como la suma
de todos los ideales a izquierda isomorfos a Li1 , con 1 ≤ i ≤ s. Entonces:
(i) Cada Ai es un ideal minimal bilateral de R.
(ii) Ai Aj = {0} si i ̸= j.
s
M
(iii) R = Ai como anillos, donde s es el numero de clases de isomorfismo de
i=1
ideales minimales a izquierda de R.
Demostración: (i) Se sigue de la anterior proposición. Para probar (ii), escribimos,

R = (L11 ⊕ · · · ⊕ L1r1 ) ⊕ (L21 ⊕ · · · ⊕ L2r1 ) ⊕ · · · ⊕ (Ls1 ⊕ · · · ⊕ Lsrs ),

entonces cada elemento x ∈ R puede escribirse como x = x11 + · · · + x1r1 + · · · + xs1 +

· · · + xsrs , con xij ∈ Lij . Sea yi = xi1 + · · · + xiri , 1 ≤ i ≤ s, entonces yi ∈ Ai y
x = y1 + · · · + ys , entonces R = A1 + · · · + As . luego (ii) se deriva de la definición de
los Ai y el Lema 3.14. También es claro (iii).
4.5 Definición. Un anillo R es llamado simple si sus únicos ideales bilaterales son {0}
y R.
4.6 Corolario. [4, Corolario 2.6.6] Los ideales Ai , con 1 ≤ i ≤ s, definidos arriba son
anillos semisimples.
Demostración: Sean Ai , 1 ≤ i ≤ s ideales minimales bilaterales de R, es suficiente
mostrar que cualquier ideal ideal bilateral Bi de Ai es también ideal de R, esto implica
inmediante que Bi = {0} o Bi = Ai . Ası́ tomando Ps b ∈ Bi y r ∈ R, podemos escribir
r = x1 + · · · + xs , con xj ∈ Aj , entonces rb = j=1 xj b y dado que xj b = 0, si j ̸= i,
tenemos que rb = xj b ∈ Bi , ya que Bi es ideal de Ai , análogamente por derecha.

4.7 Proposición. [4, Proposición 2.6.7] Sea R = ⊕si=1 Ai la descomposición de un

anillo semisimple R como suma directa de minimales bilaterales. Entonces

(i) Todo ideal bilateral I de R puede ser escrito como I = Ai1 ⊕ · · · ⊕ Ait , donde
1 ≤ i1 < · · · < it ≤ s.

(ii) Si R = ⊕rj=1 Bi es otra descomposición de R como una suma directa de ideales

minimales bilaterales, entonces s = r y, después de una posible reordenación de
ı́ndices, Ai = Bi para todo i.

Demostración: Sea I un ideal bilateral de R, entonces I = ⊕si=1 (Ai ∩ I), como los
Ai son minimales, se tiene (i). Por la misma razón cada Bj es igual a algún Ai y
reciprocamente.

4.8 Definición. Los únicos ideales minimales bilatelares de un anillo semisimple R

son llamados los componentes simples de R.

4.9 Teorema. [4, Teorema 2.6.9] Sea R = ⊕si=1 Ai una descomposición de un anillo
semisimple como suma directa de ideales minimales bilaterales. Entonces, existe una
familia {e1 , . . . , es de elementos de R tal que:

(i) ei ̸= 0 es un idempotente central, 1 ≤ i ≤ t.

(ii) Si i ̸= j, entonces ei ej = 0.

(iii) 1 = e1 + · · · + et .

(iv) ei no puede ser escrito como ei = e′i + e′′i donde e′i , e′′i son idempotentes centrales
tal que e′i , e′′i ̸= 0 y e′i e′′i = 0, 1 ≤ i ≤ t.

Demostración: La prueba es identica al Teorema 3.12 excepto por el hecho de que

debemos demostrar que losPelementos Pidempotentes son centrales. Para cualquier x ∈ R
tenemos de (iii), que x = i=1 xei = ti=1 ei x, recordando que los Ai son bilaterales y
t

que la suma es directa, concluimos que xei = ei x.

4.10 Definición. Los elementos {e1 , . . . , es } en el teorema anterior son llamados los
idempotentes centrales primitivos de R.

4.11 Lema. [4, Lema 2.6.11] Sea R un anillo y sea M = M1 ⊕ · · · ⊕ Mr y N = N1 ⊕

· · · ⊕ Ns dos R-módulos escritos como suma directa de submódulos. Sea εj : Mj → M
las inclusiones de cada Mj en M y πi : N → Ni el homomorfismo natural de N sobre
sus componentes.
 (i) Asuma que, para cada par de indices i, j se tiene un homomorfismo
ϕij ∈ HomR (Mj , Ni ). Entonces, la aplicación ϕ : M → N definida por:
  
ϕ11 · · · ϕ1r m1
 .. . . . . 
ϕ(m1 + · · · + mr ) =  . . ..   .. 
 
ϕs1 · · · ϕsr mr
= ϕ11 (m1 ) + · · · + ϕ1r (mr ) + · · · + ϕs1 (m1 ) + · · · + ϕsr (mr )
| {z } | {z }
∈N1 ∈Ns

Es un homomorfimsmo. Para indicar que ϕ está dado en la forma de arriba, se escribirá

de manera breve ϕ = (ϕij ).
(ii) Recı́procamente, si ϕ ∈ HomR (M, N ), entonces ϕij = πi ◦ εj ∈ HomR (Mj , Ni ) y
ϕ = (ϕij ).
(iii) Para ϕ = (ϕij ) y ϕ = (ψij ), se tiene que ϕ + ψ = (ϕij + ψij ).
(iv) HomR (M (n) , M (n) ) ∼
= Mn (HomR (M, M )), como anillos.
4.12 Lema. [4, Lema 2.6.12] Sea R un anillo, M un R-módulo semisimple u B =
HomR (M, M ). Entonces, M admite estructura de B-módulo dada por ϕ·m = ϕ(m), ∀ϕ ∈
B, ∀m ∈ M . Además. para cada m ∈ M y cada f ∈ HomB (M, M ), exite un elemento
a ∈ R tal que f (m) = am.

Demostración: Lo primero es trivial, para probar la segunda parte, tomamos m ∈ M y

consideramos el submodulo Rm, como M es semisimple, entonces existe un submodulo
W tal que M = Rm ⊕ W y si denotamos por π : M → M la proyeccion sobre Rm,
tenemos que π ∈ HomR (M, M ) = B, dada f ∈ HomB (M, M ), tenemos:

f (m) = f (π(m)) = π(f (m)) ∈ Rm,

entonces existe un elemento a ∈ R tal que f (m) = am.

4.1. Teorema de Wedderburn-Artin

4.13 Teorema. (Densidad de Jacobson)[4, Teorema 2.6.13] Sea M un R-módulo
semisimple y B = HomR (M, M ), f ∈ HomB (M, M ). Si {m1 , . . . , mn } es un conjunto
arbitrario de elementos de M , entonces existe un elemento a ∈ R tal que f (mi ) = ami ,
para todo 1 ≤ i ≤ n.

Demostración: Dado f ∈ HomB (M, M ), definimos f (n) : M (n) → M (n) por,

f (n) (x1 + · · · + xn ) = f (x1 ) + · · · + f (xn ), x1 , · · · , xn ∈ M

.
Sea B ′ = HomR (M (n) , M (n) ), podemos afirmar que f (n) ∈ HomB ′ (M (n) , M (n) ), de he-
cho dado ϕ ∈ B ′ por el Lema 4.11, podemos escribir ϕ = (ϕij ) con ϕij ∈ HomR (Mj , Mi ),
tenemos:
f (n) ◦ ϕ(m1 + · · · + mn )
= f (n) (ϕ11 (m1 ) + · · · + ϕ1n (mn ) + · · · + ϕn1 (m1 ) + · · · + ϕnn (mn ))
= ϕ11 (f (m1 )) + · · · + ϕ1n (f (mn )) + · · · + ϕn1 (f (m1 )) + · · · + ϕnn (f (mn )) (4.1)
= ϕ(f (m1 ) + · · · + f (mn ))
= ϕ ◦ f (n) (m1 + · · · + mn ),

por el lema anterior, existe a ∈ R tal que f (n) (m1 + · · · + mn ) = a(m1 + · · · + mn ),

luego f (mi ) = ami , 1 ≤ i ≤ n.

4.14 Lema. (Lema de Schur)[4, Lema 2.6.14] Sea R un anillos y sean M, N dos
R-módulos simples. Sea f : M → N un homomorfismo no nulo. Entonces, f es un
isomorfismo.

Demostración: Dado que Im(f ) es un submodulo de un modulo simple N y dife-

rente de {0}, luego Im(f ) = N , ası́ f es un epimorfismo, similarmente como Ker(f )
es submodulo de M y no es igual M , luego Ker(f ) = {0}, por lo tanto, f es un
isomorfismo.

4.15 Corolario. [4, Corolario 2.6.15] Sea R un anillos y sean M, N dos R-módulos
simples. Entonces se tiene:

(i) Si M ≇ N , entonces HomR (M, N ) = {0}.

(ii) HomR (M, M ) es un anillo de división.

Para establecer el siguiente lema, necesitamos introducir una notación. Dado un anillo
de división D, denotaremos por Dop el anillo opuesto de D, es decir, el anillo definido
sobre el mismo conjunto, usando la misma adición como en D y con la multiplicación
dada por x · y = yx, donde yx denota la multiplicación de y y x en D.

4.16 Lema. [4, Lema 2.6.16] Sea R un anillo artiniano simple, M un R-módulo simple
y D = HomR (M, M ). Entonces,

R∼
= HomD (M, M ) ∼
= Mn (Dop )

donde n is la dimensión de M como un D-módulo.

4.17 Corolario. [4, pág. 2.6.17] Un anillo artiniano simple es semisimple.

4.18 Teorema. (Wedderburn-Artin)[4, Lema 2.6.18] Un anilo R es semisimple si,

y solo si, este es suma directa de álgebras matriciales sobre anillos de división:

R∼
= Mn1 (D1 ) ⊕ · · · ⊕ Mns (Ds ).
Demostración: Sea R un anillo semisimple que podemos escribir como suma directa
de ideales minimales izquierdos, de tal manera que agrupemos los que son isomorfos
entre si:

R = L11 ⊕ + · · · + ⊕L1r1 ⊕ L21 ⊕ + · · · + ⊕L2r2 ⊕ · · · ⊕ Ls1 ⊕ + · · · + ⊕Lsrs ,

entonces R = ⊕si=1 Ai es la descomposición de R como una suma directa de ideales mini-

males bilaterales obtenidos en el Teorema 4.4. De acuerdo al lema anterior, para cada
indice i, 1 ≤ i ≤ s, tenemos que Ai ∼= HomDi (Li1 , Li1 ), donde Di = HomR (Li1 , Li1 ) es
un anillo de división por el corolario 4.15.

Dado que los anillo de matrices sobre los anillos de división son simples, la recı́proca
se deriva directamente del hecho de que los ideales minimales izquierdos de cada com-
ponente también son ideales minimales izquierdos de R.

Finalmente, establecemos la unicidad de la descomposición de Wedderburn-Artin de

un anillo semisimple.

4.19 Teorema. [4, Teorema 2.6.19] Sea R un anillo semisimple y asuma que

R∼
= Mn1 (D1 ) ⊕ · · · ⊕ Mns (Ds ) ∼
= Mm1 (D1′ ) ⊕ · · · ⊕ Mmr (Dr′ ),

donde Di , Dj′ , 1 ≤ i ≤ s, 1 ≤ j ≤ r son anillos de división. Entonces, s = r y después

de reordenamiento de ı́ndices, se tiene que ni = mi y Di ∼ = Di′ .
5. El radical de Jacobson
5.1 Definición. Sea R un anillo. El Radical de Jacobson de R, es la intersección de
todos sus ideales maximales a izquierda. Es denotado por J(R).
De la definición podemos deducir que J(R) es ideal de izquierda de R.
Recordemos también, que un módulo M sobre un anillo R se llama fiel si {x ∈ R :
xm = 0, ∀m ∈ M }. Dado un R−módulo M el anulador de M es el conjunto:
ann(M ) = {x ∈ R : xm = 0, ∀m ∈ M }
Claramente, ann(M ) es un ideal bilateral de R. Además, si I es un ideal bilateral de
R, contenido en ann(M ), M puede considerarse como un R/I-módulo, definiendo el
producto por escalares como (x+I)m = xm, ∀x ∈ R, ∀m ∈ M . En lo que sigue, siempre
que digamos que consideramos un R-módulo como un R/I-módulo, para algún ideal bi-
lateral de R, asumiremos que I ⊂ ann(M ). Con esto, podemos deducir inmediatamente
que M es un (R/ann(M ))-módulo fiel.
5.2 Definición. Un ideal bilateral I de un anillo R es llamado primitivo izquierdo
si existe un R-módulo M que es un R/I-módulo simple fiel.
5.3 Lema. [4, Lema 2.7.3] Un ideal primitivo izquierdo I de un anillo R es la inter-
sección de todos los ideales máximos izquierdos que lo contienen.
5.4 Proposición. [4, Proposición 2.7.4] El radical de Jacobson de un anillo R es la
intersección de todos sus ideales primitivos izquierdos y, por tanto, es un ideal bilateral.
Demostración: El lema anterior implica fácilmente que la intersección de todos los
ideales primitivos de izquierda es una intersección de los ideales máximos de izquierda,
por lo que contiene al radical de Jacobson.

Para probar la otra contenencia, tomemos L un ideal máximo izquierdo de R. Entonces

R/L es un R-módulo izquierdo simple y establecemos el conjunto I = {x ∈ R : xR ⊂
L}. Entonces claramente R/L puede considerarse como un R/I-módulo, con multipli-
cación por escalares definida por (r + I)(x + L) = rx + L, para todo r, x ∈ R. Con esta
estructura es fácil ver que R/L es un R/I módulo simple y fiel, por lo que es un ideal
primitivo a izquierda.

Ahora bien, dado cualquier elemento a ∈ I, tenemos que a1 ∈ aR ⊂ L, esto muestra

que I ⊂ L probando que todo ideal izquierdo máximo de R contiene un ideal primitivo
izquierdo. Por lo tanto, J(R) contiene la intersección de todos los ideales primitivos
izquierdos de R. Dado que los ideales primitivos de izquierda son bilaterales, entonces
deducimos que J(R) también es un ideal bilateral.
5.5 Lema. [4, Lema 2.7.5] Sea R un anillo. Entonces J(R/J(R)) = {0}.
Demostración: Todo ideal maximal izquierdo de R/J(R) es de la forma L/J(R),
donde L es un ideal maximal de R que contiene a J(R). Pero entonces ∩(L/J(R)) =
(∩L)/J(R) = J(R)/J(R) = {0}.
5.6 Definición. Un elemento a en un anillo R es llamado cuasi-regular izquierdo si
1 + a tiene un inverso izquierdo y cuasi-regular derecho si tiene un inverso por derecha.
Un elemento a es llamado cuasi-regular si 1 + a es invertible.

5.7 Lema. [4, Lema 2.7.7] Si un elemento a en un anillo R es cuasi-regular tanto a

izquierda como a derecha, entonces es cuasi-regular.

Demostración: Si a es cuasi-regular a la izquierda y a la derecha, entonces existen

elementos x, y ∈ R tal que x(1 + a) = (1 + a)y = 1.Entonces,

x = x1 = x((1 + a)y) = (x(1 + a))y = 1y = y

Por lo tanto x = y y 1 + a es invertible.

5.8 Lema. [4, Lema 2.7.8] Sea L un ideal izquierdo de un anillo R. Si cada elemento
a ∈ L es cuasi-regular a izquierda, entonces cada elemento de L es cuasi-regular.

5.9 Definición. Un ideal L de un anillo R es llamado cuasi-regular izquierdo si es un

ideal izquierdo y todos sus elementos son cuasi-regular.

5.10 Proposición. [4, Proposición 2.7.10] Sea R un anillo, entonces J(R) es el único
ideal cuasi-regular izquierdo maximal de R.

5.11 Definición. Decimos que un ideal I de un anillo R es nil si, para cada elemento
x ∈ I, existe un entero positivo n, tal que xn = 0. Decimos que el ideal es nil, de
exponente acotado, si existe un entero positivo n tal que xn = 0 para cada x ∈ I.

Recordar: Notemos que dado un ideal I de un P anillo R, nosotros denotamos por I n al

conjunto de todas las sumas finitas de la forma ni=1 x1 x2 · · · xn , con xi ∈ I, 1 ≤ i ≤ n.

5.12 Definición. Un ideal I de un anillo R es llamado nilpotente si existe un entero

positivo n tal que I n = {0}.

Observación: Observe que, según la definición anterior, un ideal I de un anillo R es

nilpotente si y sólo si existe un entero positivo n tal que x1 x2 · · · xn = 0 para cualquier
elección de elementos x1 , x2 , · · · , xn ∈ I. En consecuencia, está claro que un ideal
nilpotente también es nil, de exponente acotado, pero hay ejemplos que muestran que
lo contrario no es cierto, en general.

5.13 Proposición. [4, Proposición 2.7.13] Todo ideal izquierdo nil de un anillo R está
contenido en su radical de Jacobson.

Demostración: Sea L un ideal izquierdo nil de R y tome cualquier elemento a ∈ L.

Entonces an = 0 para algún entero positivo n y 1 − a es invertible, con inverso1 + a +
· · · + an−1 . Por tanto, L es un ideal cuasi-regular izquierdo y de la Proposición 5.10 se
deduce queL ⊂ J(R).
5.1. Algunos teoremas importantes
5.14 Teorema. [4, Teorema 2.7.14 (teorema de Hopkins)] Sea R un anillo artiniano.
Entonces J(R) es un ideal nilpotente de R y todo ideal nil es nilpotente.

Demostración: Consideremos la siguiente cadena descendente de ideales de izquierda:

J(R) ⊃ J2 (R) ⊃ · · · ⊃ JN (R) ⊃ · · ·

Dado que R es artiniano, existe un entero positivo n tal que Jn (R) = Jn+1 (R). Afirma-
mos que Jn (R) = {0}. Supongamos por contradicción, que N = Jn (R) ̸= {0}. Como
N 2 = J2n (R) = Jn (R) = N , el conjunto

F = {L : L es un ideal izquierdo de R, N L ̸= {0}}

no está vacı́o. Dado que R es artiniano, contiene un elemento mı́nimo N0 . Sea a cual-
quier elemento en N0 tal que Na ̸= {0}. Dado que Na ⊃ N0 es un ideal de izquierda y
N · Na = Na2 = Na ̸= 0 , la minimalidad de N0 implica que Na = N0 . Entonces, existe
un elemento n ∈ N tal que na = a y por tanto (1 − n)a = 0. Sin embargo, n ∈ J(R) es
casi-regular, por lo que 1 − n es invertible, una contradicción. Dado que todo ideal nil
de R está contenido en J(R) y J(R) es nilpotente, la última afirmación también se sigue.

5.15 Lema. [4, Lema 2.7.15(Lema de Brauer)] Sea L un ideal mı́nimo izquierdo de un
anillo R. Entonces L2 = 0 o L es de la forma L = Re, donde e ∈ R es un idempotente.

Demostración: Supongamos que L es un ideal mı́nimo izquierdo de R tal que L2 ̸= 0.

Entonces, podemos encontrar elementos a, b ∈ L tales que ab ̸= 0. Definimos la función
f : L → L por f (x) = ax, que es claramente un homomorfismo de R-módulos derechos.
Como f (b) ̸= 0, tenemos que f es distinto de cero y se sigue del lema de Schur que f
es un isomorfismo. Por lo tanto, existe un elemento e ∈ R tal que a = f (e) = ae.

Entonces tenemos que ae = ae2 por lo que f (e) = f (e2 ). Como f también es mónica,
tenemos que e = e2 , por lo que e es idempotente. Finalmente, Re ⊂ L es un ideal
izquierdo, y por la minimalidad de L se deduce que Re = L.

5.16 Teorema. [4, Teorema 2.7.16] Sea R un anillo semisimple, entonces, R es arti-
niano y se cumplen las siguientes condiciones:

(i) R no contiene ideales bilaterales nilpotentes distintos de cero.

(ii) R no contiene ideales de izquierda nilpotentes distintos de cero.

(iii) J(R) = {0}.

La demostración se deja como ejercicio.

5.17 Teorema. [4, Teorema 2.7.17 (teorema de Hopkins, levitzki)] Sea R un anillo
artiniano. Entonces R también es noetheriano.
Demostracción: Considere la siguiente cadena descendente de ideal de R, que se
detiene, ya que R es artiniano:

L0 = R ⊃ L1 = J(R) ⊃ L2 = J2 (R) ⊃ · · · ⊃ Ln = Jn (R) = {0}

Note que J(R)Li ⊂ Li+1 por lo que cada ideal Li admite una estructura de un (R/J(R))-
módulo con la multiplicación. Por el lema anterior, tenemos que R/J(R) = {0} y
R/J(R) es artiniano, del teorema anterior se deduce que R/J(R) es semisimple. Ahora,
tenemos que Li es semisimple por 3.8 Teorema ([4, Teorema 2.5.7]), 1 ≤ i ≤ n, como
R/J(R)-módulo y por lo tanto, también como R-módulo. Como también son artinianos,
todos son módulos de longitud finita. Combinando la composición de series de cada
Li , 1 ≤ i ≤ n, obtenemos una serie de composición para R y el resultado se obtiene
usando el teorema [4, Teorema 2.4.13].
6. Anillos de grupos
Sea G un grupo (no necesariamente finito) y R un anillo. Deseamos construir un R-
módulo, teniendo elementos de G como base, y luego usar las operaciones tanto en G
como en R para definir una estructura de anillo en él.
Para hacerlo, denotamos por RG el conjunto de todas las combinaciones lineales de la
forma
P
α = g∈G ag g

donde ag ∈ R y ag = 0 casi siempre, es decir, solo un número finito de los coeficientes

son diferentes de 0 en cada una de estas sumas. Siempre que sea conveniente, también
podemos escribir α de la siguiente forma:
P
α = g∈G a(g)g.

Notemos que todas las sumas de esta forma serán finitas, incluso cuando el ı́ndice de
la suma abarque un conjunto
P infinito.
Dado un elemento α = g∈G ag g definimos el soporte de α como el subconjunto de
elemento en G que efectivamente aparecen en la expresión de α, es decir:

supp(α) = {g ∈ G : ag ̸= 0}.
P P
Note que de la definición de RG, dos elementos α = g∈G ag g y β = g∈G bg g ∈ RG,
son iguales, es decir α = β si y solo si ag = bg , para todo g ∈ G.

Definimos la suma y el producto de dos elementos en RG por componentes, de la

siguiente manera:
! !
X X X
α+β = ag g + bg g = (ag + bg )g ;
g∈G g∈G g∈G

! !
X X X
α·β = ag g bg g = (ag bh )gh.
g∈G g∈G g,h∈G

Observemos que podemos escribir el producto αβ como

X
α·β = cu u
u∈G

donde X
cu = ag b h .
gh=u

Es fácil comprobar que, con las operaciones

P anteriores, RG es un anillo, que tiene una
unidad; es decir, el elemento 1 = g∈G ug g donde el coeficiente correspondiente al
elemento unitario del grupo es igual a 1 y ug = 0 para todo otro elemento g ∈ G .
También podemos definir el producto de elementos de RG por elementos λ ∈ R como
!
X X
λ ag g = (λag )g.
g∈G g∈G

Nuevamente, es fácil verificar que RG es un R-módulo.

6.1 Definición. El conjunto RG, con las operaciones definidas anteriormente, es lla-
mado el anillo de grupo de G sobre R. En el caso en el que R es conmutativo, RG
también se denomina álgebra de grupo de G sobre R.

Observemos que podemos definir a RG como el conjunto de todas las funciones α :

G → R, tales que α(g) ̸= 0 solo para un número finito de elementos de G.

También podemosP definir la función i : G → RG enviando cada elemento x ∈ G al

elemento i(x) = g∈G ag g, donde ax = 1 y ag = 0 si g ̸= x. Por tanto, podemos consi-
derar a G como un subconjunto de RG. Com todo esto, podemos decir que G es una
base de RG sobre R. Y como consecuencia inmediata vemos que, si R es conmutativo,
entonces el rango de un módulo libre sobre R está bien definido. Por lo tanto, si G es
finito, podemos afirmar que el rango de RG sobre R es precisamente |G|.

6.2 Proposición. [4, Proposición 3.2.7] Sea G un grupo y R un anillo. Dado cualquier
anillo A tal que R ⊂ A y cualquier función f : G → A tal que f (gh) = f (g)f (h), para
todo g, h ∈ G, existe un único homomorfismo de anillos f ∗ : RG → A, que es un
R-lineal, tal que f ◦ i = f , donde i : G → RG es la función definida anteriormente. Es
decir, que el siguiente diagrama sea conmutativo.

RG
i f∗
G A
f

Además, si R es central en A (y, por tanto, A puede considerarse como un R-álgebra),

entonces f es un homomorfismo de R-álgebras.

Demostración: Dado f : G → A, considere f ∗ : RG → A definida por:

X X
ag g → ag f (g)
g∈G g∈G

La prueba surge de realizar los cálculos pertinentes, los cuales son sencillos. □

Debemos señalar que esta propiedad en realidad puede servir como definición para
anillos de grupo (ver Ejercicio 1).
Lo siguiente es un caso especial de la proposición anterior. Lo enunciamos por separado
porque será de uso frecuente en lo que sigue.

6.3 Corolario. [4, Corolario 3.2.8]

Sea f : G → H un homomorfismo de grupos. Entonces, existe un único homomorfismo
de anillos f ∗ : RG → RH tal que f ∗ (g) = f (g) para todo g ∈ G. Si R es conmutati-
vo, entonces f ∗ es un homomorfismo de R-álgebras; además, si f es un epimorfismo
(monomorfismo), entonces f ∗ también es un epimorfismo (monomorfismo).
Un resultado similar se presenta en el Ejercicio 2.

Destacamos que si H = {1}, entonces el Corolario 6.3 muestra que la aplicación

P trivial

G → {1} induce un homomorfismo de anillos ε : RG → R tal que ε g∈G a g g =
P
g∈G a(g).

6.4 Definición. El homomorfismo ε : RG → R dado por

!
X X
ε ag g = ag
g∈G g∈G

se llama la función de aumento de RG, y kernel, denotado por △(G), se llama el ideal
de aumento de RG.

P P
Nótese
P que si un elemento α = g∈G a g g pertenece a △(G), entonces ε( g∈G ag g) =
g∈G ga = 0. Por lo tanto, podemos escribir α en la forma:
X X
α= ag g = ag (g − 1).
g∈G g∈G

Dado que claramente todos los elementos de la forma g − 1, para g ∈ G, pertenecen a

△(G), la observación anterior muestra que {g − 1 | g ∈ G, g ̸= 1} es un conjunto de ge-
neradores de △(G) sobre R. Además, note que la independencia lineal de este conjunto
sigue inmediatamente, por lo que hemos demostrado efectivamente lo siguiente.
6.5 Proposición. [4, Proposición 3.2.10]El conjunto {g − 1 | g ∈ G, g ̸= 1} es una
base de △(G) sobre R. Ası́, podemos escribir
( )
X
△(G) = ag (g − 1) | g ∈ G, g ̸= 1, ag ∈ R ,
g∈G

donde, como es usual, asumimos que solo finitos coeficientes ag son distintos de 0.

Nótese que, en particular, si R es conmutativo y G es finito, entonces △(G) es un

R-módulo libre de rango |G| − 1.
Concluimos esta sección mostrando que los anillos de grupo sobre anillos conmutativos
son anillos con involución.

6.6 Proposición. [4, Proposición 3.2.11] Sea R un anillo conmutativo. La función

∗
: RG → RG definida por
!∗
X X
a(g)g = a(g)g −1
g∈G g∈G

satisface las propiedades

1. (α + B)∗ = α∗ + B ∗ ,

2. (αβ)∗ = β ∗ α∗ , y

3. α∗∗ = α.

Demostración. La prueba es directa. Por lo cual, se deja como ejercicio.

Ejercicios
1. Sea G un grupo y R un anillo. Sea X un anillo que contiene a R y ν : G → X
una función tal queν(gh) = ν(g)ν(h), para todo h, g ∈ G y tal que, para todos
los anillos A que contienen a R y todas las funciones f : G → A que satisfacen
f (gh) = f (g)f (h), para todo g, h ∈ G, existe un único homomorfismo de anillo
R − lineal f ∗ : X → A tal que el siguiente diagrama es conmutativo:

X
ν f∗
G A
f

Pruebe que X ≃ RG como anillos.

2. Demostrar la Proposición 6.6.

6.1. Ideal de aumento
En lo que sigue, deseamos encontrar condiciones en R y G que nos permitan des-
componer RG como una suma directa de ciertos subanillos. Será de especial interés
determinar cuándo RG es un anillo semisimple y, por tanto, puede escribirse como una
suma directa de ideales mı́nimales.
Dado un grupo G y un anillo R, denotaremos por S(G) el conjunto de todos los sub-
grupos de G y por I(RG) el conjunto de todos los ideales izquierdos de RG.

6.7 Definición. Para un subgrupo H ∈ S(G), denotaremos por △R (G, h) el ideal

izquierdo de RG generado por el conjunto {h − 1 : h ∈ H}. Eso es,
( )
X
△(G, H) = αh (h − 1) : αh ∈ RG .
h∈H

Mientras trabajemos con un anillo fijo R omitiremos el subı́ndice y denotaremos este

ideal simplemente por △(G, H). Observe que el ideal △(G, G) coincide con el ideal
△(G).

6.8 Lema. [4, Lema 3.3.2] Sea H un subgrupo de un grupo G y sea S un conjunto de
generadores de H. Entonces, el conjunto {s − 1 : s ∈ S} es un conjunto de generadores
de △(G, H) como un ideal izquierdo de RG.

Demostración: Dado que S es un conjunto de generadores de H, cada elemento

1 ̸= h ∈ H puede escribirse de la forma h = sε11 sε22 · · · sεrr , con si ∈ S, εi = ±1,
1 ≤ i ≤ r, para algún entero positivo r.

Para probar el lema, basta demostrar que todos los elementos de la forma h − 1,
h ∈ H pertenecen al ideal izquierdo I generado por el conjunto {s − 1 : s ∈ S}.
Esto se puede ver aplicando repetidamente las identidades: x−1 − 1 = x−1 (1 − x) y
xy − 1 = x(y − 1) + (x − 1).

Para dar una mejor descripción de △(G, H), denotemos por τ = {qi }i∈I un conjunto
completo de representantes de clases laterales izquierdas de H en G, una transversal
de H en G. Siempre supondremos que estamos eligiendo, como representante de la clase
lateral H en τ , precisamente el elemento identidad de G. Ası́, cada elemento g ∈ G
puede escribirse unı́vocamente en la forma g = qi hj con qi ∈ τ y hj ∈ H.

6.9 Proposición. [4, Proposición 3.3.3] El conjunto BH = {q(h − 1) : q ∈ τ, h ∈

H, h ̸= 1} es una base de △(G, H) sobre R.

Demostración: Se debe probar que el conjunto es linealmente independiente respecto

R. Para demostrar que BH también genera △(G, H), bastará demostrar que cada ele-
mento de la forma g(h − 1), con g ∈ G, h ∈ H, puede escribirse como una combinación
lineal de elementos en BH . La prueba se deja como ejercicio.
Ahora, daremos una interpretación para △(G, H) cuando H es un subgrupo normal
de G. En efecto, si H ◁ G, entonces el homomorfismo canónico ω : G → G/H puede
extenderse a un epimorfismo ω ∗ : RG → R(G/H) tal que
!
X X
ω∗ a(g)g = a(g)ω(g).
g∈G g∈G

6.10 Proposición. [4, Proposición 3.3.4] Con las notaciones anteriores, Ker(ω ∗ ) =
△(G, H).

Demostración: Sea τ una transversal de H P en G. Entonces cada elemento α ∈ RG

puede escribirse como una suma finita α = i,j rij qi hj , rij ∈ R, qi ∈ τ , hj ∈ H.
Si denotamos por q̄ la imagen de qi en el grupo de factores G/H entonces tenemos
XX
ω ∗ (α) = ( rij )q̄.
i j

Por lo tanto, α ∈ Ker(ω ∗ ) si y solo si j rij = 0 para cada valor de i. Entonces si

P
α ∈ Ker(ω ∗ ) podemos escribir:
X X XX
α= rij qi hj = rij qi hj − ( rij )qi
i,j i,j i j

X
rij qi (hj − 1) ∈ △(G, H).
i,j

Por tanto, Ker(ω ∗ ) ⊂ △(G, H). La inclusión opuesta se sigue trivialmente.

6.11 Corolario. [4, Corolario 3.3.5] Sea H un subgrupo normal de un grupo G. En-
tonces, △(G, H) es un ideal bilateral de RG y

RG
≃ R(G/H).
△(G, H)

Hasta este punto, hemos construido un mapeo de S(G) a I(RG) tal que los subgrupos
normales de G se mapean a ideales bilaterales de RG. Nosotros Ahora procederemos
a construir un mapeo en la dirección opuesta. Dado un ideal de izquierda I ∈ I(RG) ,
consideramos el conjunto

▽(I) = {g ∈ G : g − 1 ∈ I}.

Esto es,
▽(I) = G ∩ (1 + I).
Afirmamos que ▽(I) es un subgrupo de G. De hecho, si g, h ∈ ▽(I) entonces gh − 1 =
g(h − 1) + g − 1 ∈ ▽(I), por lo tanto gh ∈ ▽(I). Además, si g ∈ ▽(I), entonces
g −1 − 1 = −g −1 (g − 1) ∈ I, por lo tanto g −1 ∈ ▽(I). Es fácil verificar que si I es un
ideal bilateral de RG entonces ▽(I) es normal en G.
6.12 Proposición. [4, Proposición 3.3.6] Si H ∈ S(G), entonces ▽(△(G, H)) = H

Demostración: Sea 1 ̸= g ∈ ▽(△(G, H)). Entonces g − 1 ∈ △(G, H) y podemos

escribirlo de la forma X
g−1= rij qi (hj − 1).
i,j

Dado que 1 aparece en el lado izquierdo de la igualdad, también debe aparecer en el

lado derecho; por lo tanto, uno de los elementos qi debe ser qi = 1.
En consecuencia, hay un término de la forma r1j (hj − 1) en el lado derecho de la
igualdad. Como todos los elementos de G en el lado derecho son diferentes por pares,
debemos tener que g = hj ∈ H. Por tanto, ▽(△(G, H)) ⊂ H. La inclusión opuesta se
sigue trivialmente.

6.13 Observación. Se podrı́a pensar que las asignaciones que estamos considerando
son inversas entre sı́. Sin embargo, esto no es ası́. Si comenzamos con un ideal I ∈
I(RG), es fácil ver que △(G, ▽(I) ⊂ I. Para ver que no es necesario que se cumpla la
igualdad, establezca I = RG; entonces ▽(RG) = {g ∈ G : g − 1 ∈ RG} = G, por lo
tanto △(G, ▽(RG)) = △(G) ̸= RG.
6.2. Semisimplicidad
6.14 Definición. Sea X un subconjunto de anillo de grupo RG. El anulador iz-
quierdo de X es el conjunto

Annl (X) = {α ∈ RG : αx = 0, ∀x ∈ X}.

Similarmente, definimos el anulador derecho de X como

Annr = {α ∈ RG : xα = 0, ∀x ∈ X}

6.15 Definición. Dado un anillo de grupo RG y un subconjunto finito X del grupo

G, se denota por X̂ el siguiente elemento de RG:
X
X̂ = x.
x∈X

6.16 Lema. [4, Lema 3.4.3] Sea H un subgrupo de un grupo G y sea R un anillo.
Entonces Annr (△(G, H)) ̸= 0 si y sólo si H es finito. En este caso, tenemos

Annr (△(G, H)) = Ĥ · RG.

Además, si H ◁ G, entonces el elemento Ĥ es central en RG y tenemos

Annr (△(G, H)) = Annl (△(G, H)) = RG · Ĥ.

6.17 Corolario. [4, Corolario 3.4.4] Sea G un grupo finito, entonces:

(i) Annl (△(G)) = Annr (△(G)) = R · Ĝ.

(ii) Annr (△(G)) ∩ △(G) = {aĜ : a ∈ R, a|G| = 0}.

Demostración. El enunciado (i) se sigue trivialmente del lema anterior tomando H =

G. Para probar (ii) basta observar que α = aĜ ∈ △(G) si y sólo si ε(α) = aε(Ĝ) =
a|G| = 0.

6.18 Lema. [4, Lema 3.4.5] Sea I un ideal bilateral de un anillo R. Supongamos que
existe un ideal izquierdo J tal que R = I ⊕ J como R-módulos izquierdos. Entonces,
J ⊂ Annr (I).

Demostración. Tome elementos arbitrarios x ∈ J, y ∈ I. Como J es un ideal de

izquierda e I es bilateral, tenemos que yx ∈ J ∩ I = {0}. En consecuencia, yx = 0 y
por tanto x ∈ Annr (I).

6.19 Lema. [4, Lema 3.4.6] Si el ideal de aumento △(G) es una suma directa de RG
como RG-módulo, entonces G es finito y |G| es invertible en R.

Demostración. Supongamos que △(G) es una suma directa de RG. Entonces, el lema
anterior muestra que Annr (△(G)) ̸= 0 y por lo tanto G es finito y Annr (△(G)) =
Ĝ(RG) = ĜR.

Escribimos RG = △(G) ⊕ J y 1 = e1 + e2 con e1 ∈ △(G) y e2 ∈ J. Entonces

1 = ε(1) = ε(e1 ) + ε(e2 ). Como e2 = aĜ, para todo a ∈ R, tenemos que aε(Ĝ) = 1, por
lo tanto, a|G| = 1. Esto muestra que |G| es invertible en R y que |G|−1 = a.

6.20 Teorema. [4, Teorema 3.4.7 (teorema de Maschke)] Sea G un grupo. Entonces,
el anillo de grupo RG es semisimple si y solo si se cumplen las siguientes condiciones.

(i) R es un anillo semisimple.

(ii) G es finito.

(iii) |G| es invertible en R.

Demostración. Supongamos que RG es semisimple. Sabemos que R ≃ RG/△(G).

Dado que los anillos factoriales de anillos semisimples son en sı́ mismos semisimples, se
deduce inmediatamente que R es el indicado. Como la semisimplicidad de RG implica
que △(G) es un sumando directo, el Lema anterior muestra que las condiciones (ii) y
(iii) también se cumplen. La faltante se deja como ejercicio.

6.21 Observación. El caso en el que R = K es un campo es de particular importancia,

tanto por razones históricas como por sus implicaciones en la teorı́a de la representación.
En este caso, K es siempre semisimple y |G| es invertible en K si y sólo si |G| ̸= 0 en
K, es decir, si y sólo si char(K) ∤ |G|.

6.22 Corolario. [4, Coroloario 3.4.8] Sea G un grupo finito y sea K un cuerpo. En-
tonces, KG es semisimple si y sólo si char(K) ∤ G.

6.23 Teorema. [4, Teorema 3.4.9] Sea G un grupo finito y sea K un campo tal que
char(K) ∤ |G|. Entonces:

(i) KG es una suma directa de un número finito de ideales bilaterales {Bi }1≤i≤r , los
componentes simples de KG. Cada Bi es un anillo simple.

(ii) Cualquier ideal bilateral de KG es una suma directa de algunos de los miembros
de la familia {Bi }1≤i≤r .

(iii) Cada componente simple Bi es isomorfo a un anillo de matriz completo de la for-

ma Mni (Di ), donde Di , es un anillo de división que contiene una copia isomorfa
de K en su centro, y el isomorfismo
ϕ
KG ≃ ⊕r i=1 Mni (Di )

es un isomorfismo de K-álgebras.
 (iv) En cada anillo de matriz Mni (Di ), el conjunto
  
 xi
 0 ··· 0 

 x 2 0 · · · 0
 

Ii =  ..  : x1 , x2 , · · · , xni ∈ Di ≃ Di ni
 
..
 .

 . · · · 0 


 x
ni 0 ··· 0 

es un ideal minimal a izquierda Dado x ∈ KG, consideramos ϕ(x) = (α1 , · · · , αr ) ∈

⊕r i=1 Mni (Di ) y definimos el producto de x por un elemento mi ∈ I por xmi =
αi mi .
Con esta definición, Ii se convierte en un KG-módulo simple.

(v) Ii ̸≃ Ij si i ̸= j.

(vi) Cualquier KG-módulo simple es isomorfo a algún Ii , 1 ≤ i ≤ r.

6.24 Corolario. [4, Corolario 3.4.10] Sea G un grupo finito y sea K un cuerpo alge-
braicamente cerrado tal que char(K) ∤ |G|. Entonces:

KG ≃ ⊕r i=1 Mni (K)

y n1 2 + n2 2 + · · · + nr 2 = |G|.

Demostración. Como char(K) ∤ |G|, tenemos que

KG ≃ ⊕r i=1 Mni (Di ),

donde Di es un anillo de división que contiene una copia de K en su centro

Si calculamos las dimensiones sobre K en ambos lados de la ecuación anterior, tenemos
que
X r
|G| = ni 2 [Di : K],
i=1

y se deduce que cada anillo de división es de dimensión finita sobre K. Como K es

algebraicamente cerrado, tenemos que Di = K, 1 ≤ i ≤ r, entonces obtenemos el
resultado deseado.
7. Bibliografı́a
Referencias
[1] Atiyah, M. : Introduction to commutative algebra. CRC Press, 2018.

[2] Bland, P. E.: Rings and their modules. Walter de Gruyter, 2011.

[3] Gallian, J. : Contemporary abstract algebra. North-Holland Publishing Company,

2021.

[4] Milies, C. P., & Sehgal, S. K. (2002). An introduction to group rings (Vol. 1).
Springer Science & Business Media.