Professional Documents
Culture Documents
Módulos y espacios
vectoriales
7.1 Módulos
Definición 7.1 Sea A un anillo unitario. Un A–módulo izquierdo es una terna
(M, +, ·) tal que M es un conjunto, + : M ⇥ M ! M es una operación
interna en M y · es lo que se llama una operación externa en M con dominio de
operadores en A, lo que significa simplemente que · : A ⇥ M ! M . Además
se han de cumplir las propiedades siguientes:
8. 1r = r para todo r 2 M .
87
88 Capı́tulo 7. Módulos y espacios vectoriales
3. ( r) = r para todo r 2 M ,
Como decı́amos, las sumas directas están relacionadas con la unicidad de las
descomposiciones en sumas:
1. M = N1 ··· Nn .
m = m1 + · · · + mn
con cada mi 2 Ni .
m1 = m2 m3 2 N1 \ (N2 + N3 ) = 0,
entonces (m1 m01 )+(m2 m02 )+(m3 m03 ) = 0, luego por 2) podemos concluir
que (m1 m01 ) = (m2 m02 ) = (m3 m03 ) = 0, luego ambas descomposiciones
son la misma.
3) ) 1). Si un elemento m1 2 N1 \ (N2 + N3 ), entonces m1 = m2 + m3 ,
mi 2 Ni , o sea, m1 + 0 + 0 = 0 + m2 + m3 , luego por la unicidad, m1 = 0, es
decir, N1 \ (N2 + N3 ) es el submódulo trivial. Igualmente ocurre si permutamos
los ı́ndices.
En definitiva, si un módulo M se expresa como suma directa de una familia
de n submódulos, entonces cada elemento de M determina y está determinado
por un elemento de cada uno de los submódulos. Para reflejar adecuadamente
este hecho conviene introducir el concepto de producto de módulos.
Demostración: Sólo falta probar que el módulo An tiene una base con n
elementos, pero es fácil ver que, por ejemplo, para n = 3, una base de A3 está
formada por las ternas (1, 0, 0), (0, 1, 0) y (0, 0, 1).
Es fácil ver que el resultado vale igualmente para bases infinitas: Un A–
módulo M tiene una base si y sólo si es isomorfo a una suma directa con todos
los sumandos iguales al anillo A. En tal caso M tendrá una base con tantos
elementos como sumandos. p p
Por ejemplo, una base de Q[ 3] está formada por los elementos 1 y 3. Una
base de Q[x] está formada por todas las potencias de x: 1, x, x2 , x3 , x4 , . . .
Definición 7.19 Sea A un anillo unitario y M un A–módulo libre con una base
X = {x1 , . . . , xn }. Entonces cada elemento m de M se expresa de forma única
como combinación lineal m = a1 x1 + · · · + an xn . Los elementos (a1 , . . . , an ) se
llaman coordenadas de m en la base X (esto presupone una ordenación en la
base). Hemos visto que la aplicación que a cada elemento le asigna su n–tupla
de coordenadas es un isomorfismo de módulos.
El interés de las bases es que nos dan una representación clara de los ele-
mentos de un módulo. En definitiva, los elementos de un módulo libre son
identificables con n-tuplas de elementos del anillo.
Es importante señalar que no todos los módulos son libres, aunque sı́ lo
serán casi todos los que nos van a interesar. Por ejemplo, el anillo Z/nZ es un
Z–módulo no libre, ya que si fuera libre deberı́a ser isomorfo a una suma directa
de varias veces Z, lo cual es imposible, ya que tales sumas son infinitas y él es
finito.
Hay un caso importante en el que podemos garantizar la existencia de bases:
Teorema 7.22 Sea A un anillo unitario y M un A–módulo libre con una base
infinita. Entonces todas las bases de M tienen el mismo cardinal.
S ⇥ ⇤
Claramente X = F f 1 {F⇥} , donde
⇤ F recorre los subconjuntos finitos de
Y , pero como los conjuntos f 1 {F } son finitos, esto implica que Y ha de ser
infinito y además
X ⇥ ⇤ X
|X| f 1
{F } @0 = |Y |.
F F
y1 = d1 x1 + · · · + dn xn ,
x1 = d1 1 y1 d1 1 d2 x2 ··· d1 1 dn xn ,
luego x1 2 hy1 , x2 , . . . xn i.
Obviamente X ⇢ hy1 , x2 , . . . xn i y ası́ hy1 , x2 , . . . , xn i = V .
Consecuentemente y2 = e1 y1 +· · ·+en xn y alguno de los coeficientes distintos
de e1 ha de ser no nulo (o si no y2 = e1 y1 , luego e1 y1 y2 = 0, con lo que Y
serı́a ligado).
Reordenando la base podemos suponer que e2 6= 0 y repitiendo el argumento
anterior concluimos que hy1 , y2 , x3 , . . . , xn i = V .
De este modo llegamos finalmente a que hy1 , . . . , yn i = V . De aquı́ se sigue
que m = n, pues en otro caso existirı́a yn+1 y serı́a combinación lineal de
y1 , . . . , yn , o sea, yn+1 = a1 y1 + · · · + an yn , luego a1 y1 + · · · + an yn yn+1 = 0,
con lo que Y serı́a linealmente dependiente.
pues m m0 2 M y a a0 2 I.
Como I es un ideal maximal, el anillo cociente A/I es en realidad un cuerpo,
luego M/IM es un espacio vectorial, y todas sus bases tienen el mismo cardinal.
Basta probar, pues, que toda A–base de M tiene el mismo cardinal que una
A/I–base de M/IM .
Sea X una base de M . Por simplificar la notación supondremos que es finita,
digamos X = {x1 , . . . , xn }. Veamos que X ⇤ = [x1 ], . . . , [xn ] es una base de
M/IM . Pn
Si [u] 2 M/IM , entonces u 2 M , luego u = j=1 aj xj para ciertos aj 2 A.
Pn
Por lo tanto [u] = j=1 [aj ][xj ], lo que prueba que X ⇤ genera M/IM .
Veamos que [x1 ], . . . , [xn ] son linealmente independientes en M/IM (y en
particular que son distintos).
Pn
Supongamos que j=1 [aj ][xj ] = [0] para ciertos elementos aj de A (que
Pn Pn
podemos suponer no nulos). Entonces j=1 aj xj 2 IM , luego j=1 aj xj =
Pm
k=1 bk mk , para ciertos elementos mk 2 M y ciertos bk 2 I. Pn
Como X es una base de M , cada mk se expresa como mk = j=1 cjk xj .
Por lo tanto
n m m n n m
!
X X X X X X
aj xj = bk mk = bk cjk xj = bk cjk xj .
j=1 k=1 k=1 j=1 j=1 k=1
Pm
Pero como X es base, aj = k=1 bk cjk 2 I, porque cada bk 2 I.
Ası́ pues [a1 ] = · · · = [an ] = [0], como querı́amos probar. Con esto tenemos
que X ⇤ es base de M/IM , y en particular hemos visto que si x 6= x0 , entonces
[x] 6= [x0 ], luego se cumple también que |X ⇤ | = |X|.
Lb = hc 2 B | c < bi , L̄b = hc 2 B | c bi .
Por lo tanto,
0 = fbn (0) = fbn (a1 mb1 + · · · + an 1 mbn 1 ) + fbn (an mbn ) = an dbn ,
z1 = a1 (y1 + c2 y2 + · · · + cm ym ) + r2 y2 + · · · + rm ym ,
{2, 3} es un generador de Z que no contiene una base. Por otra parte, no todo
cociente de un módulo libre es libre (p.ej. Z/2Z).
La existencia de bases en un módulo es importante a la hora de determinar los
homomorfismos de un módulo en otro. Es inmediato que si dos homomorfismos
de módulos coinciden sobre los elementos de un sistema generador, entonces son
el mismo homomorfismo. Sobre las bases se puede decir más:
y es fácil ver que la aplicación ası́ definida (con la condición adicional f ⇤ (0) = 0)
es un homomorfismo.
Concluimos con un resultado que generaliza en parte al teorema 7.30.