Algebra II, 2021/I
Práctica 6
L
1. Probar que Q/Z = p primo Zp∞ .
2. Muestre un algoritmo que permita llevar una matriz a su forma normal de
Smith en un DIP (sugerencia: usar que en un DIP vale que ((a : b)) = (a, b)).
3. Pruebe que la matriz
x y
0 0
no es equivalente a una matriz diagonal sobre el anillo k[x, y]. Concluya que
el teorema de estructura no es válido si no se asume que el anillo es un DIP.
4. Probar que Zp∞ no es suma directa de Z-módulos cı́clicos. Concluya que
el teorema de estructura no es válido si no se asume que el módulo no es
finitamente generado.
5. Calcular los divisores elementales de los siguientes grupos abelianos:
a) Z4 ⊕ Z6 ⊕ Z9 .
b) Z2 ⊕ Z2 ⊕ Z8 ⊕ Z14 .
c) Z2 ⊕ Z ⊕ Z49 ⊕ Z.
d) Z12 ⊕ Z21 ⊕ Z ⊕ Z ⊕ Z20 ⊕ Z9 ⊕ Z7 .
e) G un grupo abeliano de orden 36 que tiene exactamente 2 elementos de
orden 3 y que no tiene elementos de orden 4.
6. Determinar los divisores elementales de los grupos abelianos definidos por
generadores y relaciones siguientes:
a) generadores {e1 , e2 }, relación 3e1 = 4e2 .
b) generadores {e1 , e2 , e3 }, relaciones 2e1 + 2e2 + 2e3 = 0 y 3e1 = 6e3 .
c) generadores {e1 , e2 , e3 }, relaciones 3e1 = e2 y e2 = 3e3 .
7. Determinar todas las clases de isomorfismo de grupos abelianos de ordenes
8, 16, 180 y 210 respectivamente.
8. Sea A un grupo abeliano de orden n.
a) Si r es un divisor de n entonces A posee subgrupos de orden r. Si r es
primo entonces A posee elementos de orden r.
1
b) Si a ∈ A posee orden maximal (entre los ordenes de elementos de A)
entonces a genera un sumando directo de A.
c) Si n es libre de cuadrados entonces A es cı́clico.
9. Caracterizar los grupos abelianos finitamente generados tales que:
a) Todo subgrupo propio de G es cı́clico.
b) Todo subgrupo propio de G es de orden primo.
c) G posee exactamente 2 subgrupos propios no nulos.
d) G posee exactamente 3 subgrupos propios no nulos.
e) Todo subgrupo propio no nulo de G es maximal.
f) Para todo par de subgrupos S y T de G, ST o T ⊆ S.
g) El orden de todo elemento no nulo de G es primo.
h) G/S es cı́clico para todo subgrupo S no nulo de G.
i) Todo par de subgrupos propios no nulos son isomorfos
10. Sean A, B, C grupos abelianos de tipo finito.
a) A ⊕ A ∼ ∼ B.
= B ⊕ B implica A =
b) A ⊕ C ∼
= B ⊕ C implica A ∼
= B.
c) Las afirmaciones análogas a a) y b) para módulos finitamente generados
sobre anillos mas generales que Z son falsas.
11. Determinar todas las clases de isomorfismo de módulos sobre C[t] que co-
mo espacio vectorial complejo tienen dimensión 2. Análogo problema para
dimensiones 3 y 4.
Determinar todas las formas canónicas de Jordan de matrices complejas de
n × n para n = 2, 3 y 4.
12. Hallar la forma normal racional y la forma normal de Jordan de un endo-
morfismo nilpotente.
13. Hallar la forma normal racional y la forma normal de Jordan de las siguientes
matrices complejas:
1 0 0 0 1 0 0 1 0 1 0 0
0 1 1 0 0 1 0 0 −1 −2 0 0
a) 0 −1 0 1 b) 0 0 −2 0
c)
0 0 −1 0
0 1 0 0 0 0 0 1 1 0 0 −1
14. Dar ejemplos de matrices a, b ∈ M (n × n, K) no semejantes, con el mismo
polinomio minimal y el mismo polinomio caracterı́stico.
2
15. Sea A un dominio de ideales principales con cuerpo de fracciones K y sea M
un A-modulo de tipo finito.
Denotamos M ∗ = HomA (M, A) y M 0 = HomA (M, K/A) (*-dual y ’-dual de
M ).
a) M es de torsion sii M ∗ = 0 sii M ∼ = M 0.
∼ M ∗.
b) M es sin torsión sii M es libre sii M =
c) Dado un submódulo S ⊂ M y m ∈ M −S, existe ϕ ∈ M 0 tal que ϕ(S) = 0
y ϕ(m) 6= 0. En particular, M 0 = 0 sii M = 0.
d) Sean α : M → M ∗∗ y β : M → M 00 los morfismos naturales. Entonces
ker(α) = t(M ) y ker(β) = 0. Si M es libre entonces α es un isomorfismo.
Si M es de torsion entonces β es un isomorfismo.
