Seminario de Álgebra B

Tarea-Examen 2
Profesor: Alejandro Alvarado García
Ayudante: Irvin Arellano Rosas
2019-2

Sea R un anillo asociativo no trivial con elemento unitario.

1.- Demuestra las siguientes armaciones:

(1.1) Los prerradicales de Z
t : Z ÝÑ Z y d : Z ÝÑ Z
°
G ÞÝÑ tg P G | Opg q es nitou G ÞÝÑ tN ¤ G|N es divisibleu
son radicales, sin embargo el prerradical t _ d resulta que no es un radical.
±
Hint: Evalúa en tZp |p P N es primou.
(1.2) Los prerradicales de Z
Zoc : Z ÝÑ Z y d : Z ÝÑ °
Z
G ÞÝÑ tN ¤ G | N es simpleu G ÞÝÑ tN ¤ G|N es divisibleu
son idempotentes, pero el prerradical t ^ d no lo es.
Hint: Calcula en Zp8 .

2.- Sea tMi uiPI una familia no vacía de R-módulos. Supongamos que Ni ¤ Mi
para cada i P I .
À À
(2.1) Si M  iPI Mi , N   iPI Ni y N ¤f i M , muestra que:
(1) @i P I Ni ¤f i Mi .
(2) αN
M
 š αNMii .
iPI
± ±
(2.2) Si M  iPI Mi , N   iPI Ni y N ¤f i M , muestra que:
(3) @i P I Ni ¤f i Mi .
(4) ωN
M
 ™ ωNMii .
iPI

3.- Prueba que son equivalentes:

(1) R es simple artiniano.
(2) α0M  ω0M para cualquier M P R-Mod.
(3) αNM
 ωNM para cualesquiera M P R-Mod y N ¤f i M .
(4) αMM
 ωMM para cualquier M P R-Mod.
Hint: Ve la página 153 y usa los ejercicios 13.10.3 y 13.10.4
de Anderson.

4.- Demuestra que las condiciones siguientes son equivalentes:

(1) R es semisimple
(2) Para cada r P R-Pr existe A „ R-simp tal que r  ZocA , donde
¸ (
ZocA pM q  N ¤ M | N  S para algún S PA .

1
 ™ (
(3) Para cada r P R-Pr, r  ωIR | R IR máx
¤ R RR de modo que r ¨ ωIR
™ (
(4) 0  ωIR | R IR máx
¤ R RR
Hint: Usa la caracterización de anillos s.s vista en ayudantía.
À (
5.- Sea C0 
..
S | S P R-simp . Muestra que son equivalentes:
(5.1) R es V-anillo.
(5.2) Todo átomo de R-pr es exacto izquierdo.
š E pS q (
(5.3) αS
š E pS q
| S P R-simp es idempotente.
(5.4)
š S
α | S P R-simpu es exacto izquierdo.
E pS q
(5.5) αS | S P R-simpu  ω0C0 .
Hint: (1) Si r P R-rad y Fr es cerrada bajo cápsulas inyectivas,
se tiene que r es exacto izquierdo. (2) Si S P R-simp,
entonces αSE pS q es idempotente si y sólo si αSE pS q pS q  S .

6.- Sea τ P R-tors. Demuestra lo siguiente:

(6.1) τ  τ KK ^ pτ _ τ K q.
(6.2) pτ _ τ K qK  ξ .
(6.3) Si τ  τ1 ^ τ2 , con τ1 P R-skel y τ2 tal que τ2K  ξ , entonces τ1  τ KK y
así tal τ1 es única.
(6.4) τ  τ KK ^ pτ : τ KK q, así que tal τ2 no necesariamente es única.

Denición
Si τ P R-tors, decimos que τ es jansiana si Tτ es cerrada bajo tomar pro-
ductos directos.

7.-. Supongamos que R es neteriano izquierdo. Prueba los siguientes incisos:

(7.1) Existe una teoría de torsión τ sobre R-Mod denida por la condición de
que un R M es de τ -torsión si y sólo si todo cociente de E pR M q es inyectivo.
(7.2) Si R es artiniano izquierdo, ésta teoría de torsión es jansiana.

8.- Demuestra que son equivalentes:

(8.1) Para cada M P R-Mod simple se tiene que χpM q es jansiana.
(8.2) Cualquier τ P R-skel es jansiana.

Denición
Si τ P R-tors y M P R-Mod, decimos que M es libre de τ -cotorsión si
HomR pM, N q  0 para cada N P Tτ . Denotamos por Fτ -cot a la clase de
todos los R-módulos libres de τ -cotorsión.

9.- Prueba que Fξ-cot  R-Mod.

10.- Si τ P R-tors, muestra que Fτ -cot es cerrada bajo tomar cocietes, sumas
directas y extensiones.

2
 Denición
Si τ P R-tors, decimos que τ es estable si Tτ es cerrada bajo tomar cápsulas
inyectivas.

11.- Sea τ P R-tors. Demuestra lo que se arma en cada inciso:

(11.1) Si τ es estable, entonces Fτ -cot es cerrada bajo tomar submódulos.
(11.2) Si M P R-Mod, entonces M P Tτ K si y sólo si todo cociente de M
pertenece a Fτ . Concluye que: M P Tτ K implica M P Fτ -cot .
(11.3) Si Fτ -cot es cerrada bajo tomar submódulos, entonces M P Tτ K si y sólo
si M P Fτ -cot .
(11.4) Si τ es estable, entonces:
(1) M P Tτ K si y sólo si M P Fτ -cot .
(2) N P Fτ K si y sólo si existen
± una familia tLi uiPI , con cada Li P Tτ , y un
monomorsmo N  tLi |i P I u.
(11.5) Si τ es estable y jansiana, entonces τ P R-skel.
Hint: Procede por contradicción, supón que τ ¬ τ KK y usa 11.4.