Seminario de Álgebra B

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

Sea R un anillo asociativo no trivial con elemento unitario.

1.- Demuestra que las siguientes asignaciones son prerradicales:

(1.1) La parte de torsión: t : Z ÝÑ Z
G ÞÝÑ tg P G | g tiene orden nitou 1
(1.2) La parte divisible: d : Z ÝÑ Z°
G ÞÝÑ tN ¤ G|N es divisibleu 2
(1.3) La parte singular: Sing : R-Mod ÝÑ R-Mod
M ÞÝÑ tm P M | p0 : mq „e R Ru
Hint: Usa los lemas 5.1.5 y 5.1.6 de Kasch.

2.- Sea r P R-pr y sea tMi uiPI una familia de R-módulos. Prueba los siguientes
enunciados:


± ±
(2.1) r Mi ¤ rpMi q.
iPI
iPI
À À
(2.2) r Mi  rpMi q.
iPI iPI

3.- Consideremos a los prerradicales del ejercicio 1. Muestra que: t, d P R-radid

y Sing P R-prei. 3

4.- Sea OR la clase de todos los ordinales y sea r P R-pr. Denimos recursiva-
mente las potencias y copotencias de r como sigue:
Potencias de r:
i) r0  1̂.
ii) rγ 1 ™r  rγ
iii) rη  trγ |γ P OR y γ   η u si η es un ordinal límite.
Copotencias de r:
i) rp0q  0̂.
ii) rpγ 1q šprpγ q : rq
iii) rpηq  trpγ q |γ P OR y γ   η u si η es un ordinal límite.
De las parejas (4.1)-(4.2) y (4.3)-(4.4) demuestra sólo una de ellas:
(4.1) @γ P™ ORprγ P R-prq.
(4.2) r̂  trγ |γ P ORu es el mayor prerradical idempotente tal que r̂ ¨ r.
..

(4.3) @γ Pš ORprpγ q P ORq.

(4.4) r̄  trpγ q |γ P ORu es el menor radical tal que r ¨ r̄.
..

p , 0q un grupo y g P G. Si kg  0 para algún k P Z , al menor entero positivo k

1 Sea G,
con tal propiedad de se llama orden de g; si no existe tal k, se dice que g tiene orden innito.
2 Sea pG, , 0q un grupo abeliano. Se dice que G es divisible si para cualesquiera z P Z y
g P G, existe x P G tal que zx  g .
3 Aquí R-radid denota a la clase de radicales idempotentes y R-prei a la clase de pre-
rradicales exactos izquierdos.

1
5.- Sea C una clase de R-módulos. Demuestra las oraciones siguientes:
°
(5.1) Si C es de pretorsión,4 entonces trC pM q  tN “ ¤ M |N P C u.

(5.2) Si C es libre de pretorsión,5 entonces reC pM q  tN ¤ M |M {N P C u.

6.- Sea r P R-pr. Demuestra que las siguientes condiciones son equivalentes:
(1) r preserva epimorsmos.
(2) rpM q  rpRqM para cada M P R-Mod.
(3) r P R-rad y Fr es cerrada bajo cocientes.
Si r satisface alguna, y por lo tanto cada una, de las condiciones anteriores,
decimos que r es un t-radical.

7.- Muestra que αIR es un t-radical para cada I ideal de R.

8.- Establece una corresponendia biunívoca entre los t-radicales de R-Mod y las
clases de R-Mod libres de pretorsion cerradas bajo cocientes.

9.- Para cada r P R-pr denimos las clases

( (
T̄r
..
 rpM q | M P R-Mod y F̄r
..
 M {rpM q | M P R-Mod .
Demuestra lo que a continuación se arma:
(9.1) Sea r P R-pr. Son equivalentes:
1) r P R-prid.
2) Tr  T̄r .

3) @s, t P R-pr pr : sq  pr : tq  pr : s  tq .
(9.2) Sea r P R-pr. Son equivalentes:
1) r P R-rad.
2) Fr  F̄r .

3) @s, t P R-pr ps : tq  r  ps  r : t  rq .

10.- Supongamos que e P R es un idempotente central. Tomando

( (
T
..
RM | eM  M y F
..
RM | eM  0 ,
demuestra que la pareja pT, Fq es una teoría de torsión.

11.- Demuestra que una pareja pT, Fq de clases de R-módulos es una teoría de
torsión si y sólo si satisface lo siguiente:
1) T X F  t0u.
2) T es cerrada bajo epimorsmos.
3) F es cerrada bajo monomorsmos.
4) Para cada M P R-Mod existe una sucesión exacta
0 ÝÑ T ÝÑ M ÝÑ F ÝÑ 0
para algunos T P TyF P F.
12.- Si pT, Fq es una teoría de torsión hereditaria, muestra
( que esta es generada
por la clase Rm | Rm P T, m P M y M P R-Mod .
4 i.e. Cerrada bajo epimorsmos y sumas directas arbitrarias.
5 i.e. Cerrada bajo monomorsmos y productos directos arbitrarios.

2
13.- Sea ϕ : R ÝÑ S un morsmo inyectivo de anillos y supongamos que S es
un R-módulo izquierdo plano. Hagamos
" * " *
..
T  MR | M b S  0 y ..
F  MR | D M M b S monomorsmo .
R R

Prueba que pT, Fq es una teoría de torsión hereditaria.

14.- Sea U P R-Mod y tomemos C  ..

Cog ptU uq. Demuestra lo siguiente:
(14.1) C es una clase libre de pretorsión.
(14.2) C y tU u cogeneran la misma( teoría de torsión pT, Fq.
(14.3) T  R A | HomR pA, U q  0 (
F  R A | HomR pA1 , U q  0 para cada 0  A1 ¤ A .
(14.4) retU u es un radical idempotente si y sólo si C es cerrada bajo extensiones.
(14.5) La teoría de torsión pT, Fq es hereditaria si y sólo si retU u  retE pU qu .