Modulos

Conceptos principales
Módulos de homomorfismos
Módulos libres
Módulos de tórsion
Teoría de módulos
Alexander Gómez ,
David Salvador Alpala
Universidad del valle
Abril 2019
Alexander Gómez , David Salvador Alpala Universidad del valle 1 / 25

Módulos libres
Índice
1 Conceptos principales
2 Módulos de homomorfismos
3 Módulos libres
4 Módulos de tórsion

Módulos libres
Teoremas y definiciones de módulos
Definición (Módulo) : Sea R un anillo unitario,< M, + >

un grupo abeliano y una función φ : R X M → M dada por
(r, x) → rx. se dice que es un R-módulo a izquierda, si para
todos r, s ∈ R y x, y ∈ M se cumple que :
(r + s)x = rx + sx
r(x + y) = rx + ry
(rs)x = r(sx)
1R x = x
De manera analoga se define R-módulo a izquierda.
ejmplos :
Si V es un espacio vectorial sobre un cuerpo K entonces V
es un K-módulo.
Sea < A, + > cualquier grupo abeliano y sea m ∈ Zy a ∈ A,
consideremos ma de manera usual. entonces A se convierte
en un Z-modulo.
Módulos libres

(r + s)x = rx + sx
r(x + y) = rx + ry
(rs)x = r(sx)
1R x = x
ejmplos :
es un K-módulo.
en un Z-modulo.
Módulos libres

(r + s)x = rx + sx
r(x + y) = rx + ry
(rs)x = r(sx)
1R x = x
ejmplos :
es un K-módulo.
en un Z-modulo.
Módulos libres
Definición (submódulo) : Sea M 0 ⊂ M , M 6= ∅ es un

sudmodulo de M si y solo si.
M 0 es un subgrupo del grupo aditivo de M .
∀r ∈ R, ∀x ∈ M 0 se cumple rx ∈ M 0
Teorema : Si M 0 ⊂ M es un submodulo si y solo si
1 M 6= ∅.
2 si x, y ∈ M 0 entonces x − y ∈ M
3 r ∈ R, x ∈ M 0 entonces rx ∈ M 0

Módulos libres
Definición (submódulo) : Sea M 0 ⊂ M , M 6= ∅ es un

sudmodulo de M si y solo si.
M 0 es un subgrupo del grupo aditivo de M .
∀r ∈ R, ∀x ∈ M 0 se cumple rx ∈ M 0
Teorema : Si M 0 ⊂ M es un submodulo si y solo si
1 M 6= ∅.
2 si x, y ∈ M 0 entonces x − y ∈ M
3 r ∈ R, x ∈ M 0 entonces rx ∈ M 0

Módulos libres
ejemplos :
a Todo ideal a izquierda en un anillo R es un submodulo del
R-módulo de R.
b Si R es un annillo, M un R-módulo y S ⊂ M el conjunto de
M 0 de toda las combinaciones lineales finitas
n
X
M0 = ri xi
i=1
Es el submodulo generado de M generado por S, denotado

por M 0 =< S >.

Módulos libres
ejemplos :
a Todo ideal a izquierda en un anillo R es un submodulo del
R-módulo de R.
b Si R es un annillo, M un R-módulo y S ⊂ M el conjunto de
M 0 de toda las combinaciones lineales finitas
n
X
M0 = ri xi
i=1
Es el submodulo generado de M generado por S, denotado

por M 0 =< S >.

Módulos libres
Definición : Si M es un módulo y esxiste x1 , ......, xn ∈ M tal

que M =< x1 , ....., xn >, se dice que M es de tipo finito o
finitamente generado. en particular si M =< x >= Rx es un
modulo ciclico.

Módulos libres
Definición : Sea R un anillo,M y N R-módulos.una funcion ϕ

tal que ϕ : M → N es un homomorfismo de módulos (o un
R-homomorfismo) si y solo si :
1 ϕ es homomorfismo de grupos
2 ϕ(rx) = rϕ(x)

Módulos libres
Teorema :
Si N es un submòdulo de un R-módulo M, entonces el grupo
M/N tiene una estructura natural de R-módulo, además existe
un R-epimorfismo
π : M → M/N con Ker(π) = N

Módulos libres
Demostración :
dado que M es un grupo abeliano, entonces N es un subgrupo
normal y se puede considerar el grupo cociente < M/N, + >.
Para inducir sobre este grupo una estrctura de R-mòdulo,
definimos el producto de r ∈ R por x + N ∈ M/N como rx + N ,
es facil ver que este producto esta bien definido y el epimorfismo
buscado esta dado por :
π(x) = x + N ∀x ∈ M

Módulos libres
Teorema 2 : Sea M, M 0 R-módulos y N un submodulo de M
ϕ : M → M 0 un R-homomorfismo.
1 existe un unico R-homomorfismo ϕ tal que el diagrama
ϕ
M / M0
O
ϕ
π
"
M/N
Conmuta (es decir ϕ ◦ π = ϕ) si y sòlo si N ⊂ Ker(ϕ).
2 si ϕ es epimorfismo, ϕ es epimorfismo.
3 ϕ es isomorfismo si y solo si ϕ es epimorfismo y
N = Ker(ϕ).

Módulos libres
Primer teorema de isomorfía :

Bosquejo de la prueba :
Sea f : G → H un homomorfismo de grupos.entonces existe

un ismorfismo f : G/Ker(f ) → f (G) y por tanto
G/ker(f ) ∼
= f (G)
f
G /H
O
π f
$
G/ker(f )

Módulos libres
Primer teorema de isomorfía :

Bosquejo de la prueba :
Sea f : G → H un homomorfismo de grupos.entonces existe

un ismorfismo f : G/Ker(f ) → f (G) y por tanto
G/ker(f ) ∼
= f (G)
f
G /H
O
π f
$
G/ker(f )

Módulos libres
En efecto si, r ∈ R y x + N ∈ M/N , entonces :
ϕ(r(x + N )) = ϕ(rx + N ) por definición

= ϕ(rx) por definición
= rϕ(x)

Módulos libres
Corolario : Si ϕ : M → M 0 es un epimorfismo, entonces

M/Ker(ϕ) ∼= M 0.
Ejemplos :
Sea M un R-módulo,x ∈ M ; la función ϕ : R → M tal que
ϕ = rx para todo r ∈ R es un R-homomorfismo ;ademas, si
r ∈ Ker(ϕ) si y sólo si Rx = 0, es decir
Ker(ϕ) = {r ∈ R|rx = 0}, este ideal de R se llama el
anulador de x,denotado por Ann(x)

Módulos libres
Corolario : Si ϕ : M → M 0 es un epimorfismo, entonces

M/Ker(ϕ) ∼= M 0.
Ejemplos :
Sea M un R-módulo,x ∈ M ; la función ϕ : R → M tal que
ϕ = rx para todo r ∈ R es un R-homomorfismo ;ademas, si
r ∈ Ker(ϕ) si y sólo si Rx = 0, es decir
Ker(ϕ) = {r ∈ R|rx = 0}, este ideal de R se llama el
anulador de x,denotado por Ann(x)

Módulos libres
Si M es R- módulo y M’, M” son submódulos de M ,

entonces existe un isomorfismo natural.
M 00 ∼ M 0 + M 00
=
M 0 ∩ M 00 M0
En primer lugar, observemos que M 0 ∩ M 00 es un
submódulo de M 00 , M 0 + M 00 es submódulo de M y M 0 es
submódulo de M 0 + M 00 , por lo tanto los módulos cociente
están definidos.

Módulos libres
Consideremos el diagrama,
M 00
i / M 0 + M 00
π
π◦i $
M 0 +M 00
M0
donde i es la inyección natural y π la proyección canonica ; si

0 +M 00
(x0 + x00 ) + M 0 ∈ M M 0 , entonces
(x0 + x00 ) + M 0 = x00 + M 0 = (π ◦ i)(x00 ) por lo tanto (π ◦ i) es
epimorfismo. Además dado x ∈ M 00 , x ∈ ker(π ◦ i), si y solo si,
π(i(x)) = 0, si y solo si x = i(x) ∈ M 0 y x ∈ M 00 , si y solo si
x ∈ M 0 ∪ M 00 . El isomorfismo buscado es consecuencia del
teorema anterior.
Módulos libres
Módulos libres
Definición (suma directa) sea {Mi }I∈I una familia de

R-módulos.un r-módulo M es una suma directa de los
Mi , i ∈ I si y solo si existen R-homomorfismos
θi : Mi → M (i ∈ I) que satisfacen la siguiente condición :
Para cualquier R-modulo N y R-homomorfismo
ϕi : Mi → N, i ∈ I, existe un uńico R-homomorfismo
ϕ : M → N tal que ϕ ◦ θi = ϕi , para todo i ∈ I

Módulos libres
Módulos libres
Definición (suma directa) sea {Mi }I∈I una familia de

R-módulos.un r-módulo M es una suma directa de los
Mi , i ∈ I si y solo si existen R-homomorfismos
θi : Mi → M (i ∈ I) que satisfacen la siguiente condición :
Para cualquier R-modulo N y R-homomorfismo
ϕi : Mi → N, i ∈ I, existe un uńico R-homomorfismo
ϕ : M → N tal que ϕ ◦ θi = ϕi , para todo i ∈ I

Módulos libres
Módulos libres
Definición (Móodulo libre) : Un R-módulo libre sobre

el conjunto S, es un módulo F junto con una funcion
f : S → F , tal que para cualquier R-modulo M y cualquier
función g : S → M existe un unico R-homomorfismo
ϕ : F → M tal que el siguiente diagrama conmuta
f
S /F
ϕ
g

M

Módulos libres
Módulos libres
Definición (Móodulo libre) : Un R-módulo libre sobre

el conjunto S, es un módulo F junto con una funcion
f : S → F , tal que para cualquier R-modulo M y cualquier
función g : S → M existe un unico R-homomorfismo
ϕ : F → M tal que el siguiente diagrama conmuta
f
S /F
ϕ
g

M

Módulos libres
Módulos libres
Teorema : Para cualquier conjunto S, siempre existe un
R-módulo libre sobre S.
bosquejo de la prueba
Sea f : S → F , tal que para cualquier s ∈ S, f (s) : S → R
es dada por :

 1 si t = 0
[f (x)](t) =
0 si t 6= 0,

Notemos que (F, f ) es un R-módulo libre.En efecto,

definimos ϕ : F → M segun la definición mediante
X
ϕ(φ) = φ(s)g(s)
s∈S

Módulos libres
Módulos libres
es dada por :

 1 si t = 0
[f (x)](t) =
0 si t 6= 0,


X
ϕ(φ) = φ(s)g(s)
s∈S

Módulos libres
Módulos libres
es dada por :

 1 si t = 0
[f (x)](t) =
0 si t 6= 0,


X
ϕ(φ) = φ(s)g(s)
s∈S

Módulos libres
Módulos libres
por otro lado si s ∈ S
X
(ϕ ◦ f )(s) = ϕ[f (s)] = [f (s)(t)]g(t)
t∈S
= g(s)
En cuanto a la unicidad de ϕ, si ϕ0 : F → M es un
homomorfismo tal que ϕ0 ◦ f = g, entonces para φ ∈ F
tendremos entonces por la definición de f que
X
φ(t) = φ(s)f (s)(t), t ∈ S;
s∈S

Módulos libres
Módulos libres
por otro lado si s ∈ S
X
(ϕ ◦ f )(s) = ϕ[f (s)] = [f (s)(t)]g(t)
t∈S
= g(s)
En cuanto a la unicidad de ϕ, si ϕ0 : F → M es un
homomorfismo tal que ϕ0 ◦ f = g, entonces para φ ∈ F
tendremos entonces por la definición de f que
X
φ(t) = φ(s)f (s)(t), t ∈ S;
s∈S

Módulos libres
Módulos libres
Así pues
X X
ϕ0 (φ) = φ(s)ϕ0 [f (s)] = φ(s)g(s) = ϕ(φ)
s∈S s∈S

Módulos libres
Módulo de torsión
Definición :
Sea A un módulo sobre un dominio de integración . Un

elemento a ∈ A se llama de torsión si y sólo si Ann (a) 6= 0 ;
cuando Ann (a) = 0 se dice que a es libre de torsión o sin
torsión.
Con tA = A, se dice que A es mòdulo de torsiòn y si tA=0,
A es de torsiòn o libre de torsiòn.
Con tA denotaremos el conjunto de elementos de torsión de
A. Si tA=A, de dice que A es módulo de torsión y si tA=0,
A es sin torsión o libre de torsión.

Módulos libres
Módulo de torsión
Definición :
Sea A un módulo sobre un dominio de integración . Un

elemento a ∈ A se llama de torsión si y sólo si Ann (a) 6= 0 ;
cuando Ann (a) = 0 se dice que a es libre de torsión o sin
torsión.
Con tA = A, se dice que A es mòdulo de torsiòn y si tA=0,
A es de torsiòn o libre de torsiòn.
Con tA denotaremos el conjunto de elementos de torsión de
A. Si tA=A, de dice que A es módulo de torsión y si tA=0,
A es sin torsión o libre de torsión.

Módulos libres
Módulo de torsión
Ejemplos :
1 Todo grupo abeliano finito es Z− módulo de torsión.
2 Un dominio de integridad , tal que todo R-módulo es sin
torsión, es un cuerpo. En efecto, si J es un ideal no nulo en
R, entonces R/J = t(R/J) = 0

Módulos libres
Módulo de torsión
Ejemplos :
1 Todo grupo abeliano finito es Z− módulo de torsión.
2 Un dominio de integridad , tal que todo R-módulo es sin
torsión, es un cuerpo. En efecto, si J es un ideal no nulo en
R, entonces R/J = t(R/J) = 0

Módulos libres
Módulo de torsión
Teorema : Sea R un D.I.P P y y Mn un R-módulo libre con base

Y = {y1 , y2 , ...yn }. Si X1 = ni=1 ai yi con ai ∈ Ri = 1, 2, 3..n ;
entonces existen x2 , .., xn en M tales que x = {x1 , x2 , ..xn } es
base para M, si y solo si R = Ra1 + Ra2 +, ... + Ran los ai0 s son
primos relativos.

Módulos libres
Módulo de torsión
Idea de la demostración Supongamos que X es una base para

M y consideremos el módulo cociente M/Rx1 . Este es libre en
x2 + Rx1 , ..., xn + Rx1 , y por ende es un R- módulo sin torsión.
Por otra parte, supongamos que para i = 1, 2, 3..n, ai = dbi ,
d ∈ R ; necesitamos demostrar que d/1 y se llega a que
R = Ra1 + Ra2 +, ... + Ran

Módulos libres
Módulo de torsión
Reciprocamente
Si n = 1, entonces a1 es unidad en R y a1 y1 es base para
M = Ry1 . y la demostración continua por unducción sobre n y
por hipotesis de inducción implica la existencia de la base en
para M.

Modulos

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Modulos

Загружено:

Авторское право:

Доступные форматы

Conceptos principales

Universidad del valle

Alexander Gómez , David Salvador Alpala Universidad del valle 1 / 25

Alexander Gómez , David Salvador Alpala Universidad del valle 2 / 25

Definición (Módulo) : Sea R un anillo unitario,< M, + >

Definición (Módulo) : Sea R un anillo unitario,< M, + >

Definición (Módulo) : Sea R un anillo unitario,< M, + >

Definición (submódulo) : Sea M 0 ⊂ M , M 6= ∅ es un

Alexander Gómez , David Salvador Alpala Universidad del valle 4 / 25

Definición (submódulo) : Sea M 0 ⊂ M , M 6= ∅ es un

Alexander Gómez , David Salvador Alpala Universidad del valle 4 / 25

Es el submodulo generado de M generado por S, denotado

Alexander Gómez , David Salvador Alpala Universidad del valle 5 / 25

Es el submodulo generado de M generado por S, denotado

Alexander Gómez , David Salvador Alpala Universidad del valle 5 / 25

Definición : Si M es un módulo y esxiste x1 , ......, xn ∈ M tal

Alexander Gómez , David Salvador Alpala Universidad del valle 6 / 25

Definición : Sea R un anillo,M y N R-módulos.una funcion ϕ

Alexander Gómez , David Salvador Alpala Universidad del valle 7 / 25

π : M → M/N con Ker(π) = N

Alexander Gómez , David Salvador Alpala Universidad del valle 8 / 25

Alexander Gómez , David Salvador Alpala Universidad del valle 9 / 25

Alexander Gómez , David Salvador Alpala Universidad del valle 10 / 25

Primer teorema de isomorfía :

Sea f : G → H un homomorfismo de grupos.entonces existe

Alexander Gómez , David Salvador Alpala Universidad del valle 11 / 25

Primer teorema de isomorfía :

Sea f : G → H un homomorfismo de grupos.entonces existe

Alexander Gómez , David Salvador Alpala Universidad del valle 11 / 25

En efecto si, r ∈ R y x + N ∈ M/N , entonces :

ϕ(r(x + N )) = ϕ(rx + N ) por definición

Alexander Gómez , David Salvador Alpala Universidad del valle 12 / 25

Corolario : Si ϕ : M → M 0 es un epimorfismo, entonces

Alexander Gómez , David Salvador Alpala Universidad del valle 13 / 25

Corolario : Si ϕ : M → M 0 es un epimorfismo, entonces

Alexander Gómez , David Salvador Alpala Universidad del valle 13 / 25

Si M es R- módulo y M’, M” son submódulos de M ,

Alexander Gómez , David Salvador Alpala Universidad del valle 14 / 25

donde i es la inyección natural y π la proyección canonica ; si

Definición (suma directa) sea {Mi }I∈I una familia de

Alexander Gómez , David Salvador Alpala Universidad del valle 16 / 25

Definición (suma directa) sea {Mi }I∈I una familia de

Alexander Gómez , David Salvador Alpala Universidad del valle 16 / 25

Definición (Móodulo libre) : Un R-módulo libre sobre

Alexander Gómez , David Salvador Alpala Universidad del valle 17 / 25

Definición (Móodulo libre) : Un R-módulo libre sobre

Alexander Gómez , David Salvador Alpala Universidad del valle 17 / 25

Notemos que (F, f ) es un R-módulo libre.En efecto,

Alexander Gómez , David Salvador Alpala Universidad del valle 18 / 25

Notemos que (F, f ) es un R-módulo libre.En efecto,

Alexander Gómez , David Salvador Alpala Universidad del valle 18 / 25

Notemos que (F, f ) es un R-módulo libre.En efecto,

Alexander Gómez , David Salvador Alpala Universidad del valle 18 / 25

por otro lado si s ∈ S

Alexander Gómez , David Salvador Alpala Universidad del valle 19 / 25

por otro lado si s ∈ S

Alexander Gómez , David Salvador Alpala Universidad del valle 19 / 25

Alexander Gómez , David Salvador Alpala Universidad del valle 20 / 25

Sea A un módulo sobre un dominio de integración . Un

Alexander Gómez , David Salvador Alpala Universidad del valle 21 / 25

Sea A un módulo sobre un dominio de integración . Un

Alexander Gómez , David Salvador Alpala Universidad del valle 21 / 25

Alexander Gómez , David Salvador Alpala Universidad del valle 22 / 25