Está en la página 1de 2

Universidad de Chile

Facultad de Ciencias
Guı́a 7 Anillos
Grupos y Anillos. Semestre Otoño 2014

1. Anillo de grupo. Sea R anillo conmutativo unitario con 1R 6= 0 y


sea G = {g1 , · · · , gn } un grupo finito con la operación de grupo escrita
multiplicativamente. Se define un anillo, llamado anillo de grupo RG de
G con coeficientes en R como el conjunto se sumas formales

a1 g1 + a2 g2 + · · · + an gn / ai ∈ R, 1 ≤ i ≤ n.

Si g1 es la identidad en G, escribiremos a1 g1 como a1 . Similarmente el


elemento 1R g lo escribiremos g. Definimos

(a1 g1 + · · · + an gn ) + (b1 g1 + · · · + bn gn ) = (a1 + b1 )g1 + · · · + (an + bn )gn .


n
!
X X
(a1 g1 + · · · + an gn ) · (b1 g1 + · · · + bn gn ) = ai bj gk .
k=1 g1 gj =gk

Entonces RG es un anillo llamado anillo de grupo. Además RG es con-


mutativo sı́ y sólo sı́ R es conmutativo.
2. Si |G| > 1 entonces RG tiene divisores de cero.
3. Considere el grupo D8 =< a, b | a4 = b2 = e, ba = a−1 b > . Los
elementos x = a + a2 − 2b y z = −3a3 + ab están en ZD8 . Calcule
x + z, xz.
4. Considere el anillo de grupo ZS3 y los elementos x = 3(1, 2) − 5(2, 3) +
14(1, 2, 3), z = 6(1) + 2(2, 3) − 7(1, 3, 2), de ZS3 . Calcule x + z, xz, 2x −
3z, x2 .
5. De un ejemplo que muestre que la intersección de dos ideales primos no
es necesariamente un ideal primo.
6. Encuentre en Z × Z un ideal primo pero no maximal.
7. Muestre que el ideal < x − 1 > en Z[x] is ideal primo pero no maximal.
8. Pruebe que el anillo cuociente Z[i]/I, es finito para cualquier ideal no
nulo I de Z[i]. Sugerencia: Use el hecho que I =< a >, para algún a 6= 0
y use luego el algoritmo de división para ver que cada clase lateral de I
está representada por un elemento de norma menor que N (a).

1
9. Considere el anillo de enteros de Gauss Z[i].
Sean M = {a + ib | 3/a ∧ 3/b}, J = {a + ib | 5/a ∧ 5/b}, K = (2 + i),
ideales de Z[i].
a) Pruebe que M es un ideal maximal y pruebe que el cuerpo Z[i] / M
tiene 9 elementos.
b) Pruebe que J no es ideal maximal de Z[i]. Sugerencia: Considere el
ideal K.
c) Pruebe que Z[i] | J ∼
= Z/5Z × Z/5Z.
d) Pruebe que Z[i] | K ∼
= Z/5Z.
10. Sea R un dominio euclideano, usted sabe que si d = M.C.D(m, n) en-
tonces existen a, b ∈ R tal que d = am+bn. Pruebe que si am+bn = 1R ,
entonces 1R = M.C.D(m, n).

11. Sea R un dominio euclideano, pruebe que si M.C.D(m, n) = 1 y m/nc,


entonces m/c. Más generalmente, pruebe que si m/nc, con m, n no nulos
m
entonces M.C.D(m,n) divide a c.

12. En el dominio euclideano Z[i], a) encuentre un M.C.D(85, 1 + 13i), b)


pruebe que 5 no es irreducible, c) pruebe que 1 + i es irreducible.

13. Sea R un dominio de integridad. Sea c ∈ R un elemento irreducible.


Pruebe que 1R = M.C.D(c, n) ⇐⇒ c no divide a n.

14. Si f : R −→ S es un epimorfismo de dominios de integridad, c irredu-


cible en R, y f (c) 6= 0S , ¿ Es cierto que f (c) es irreducible en S?

15. Sea R un dominio de integridad. Denote por a ∼ b para decir que a es


asociado con b y M.C.D(a, b) = (a, b). Pruebe que para a, b, c ∈ R se
tiene: a) Si a ∼ b entonces ca ∼ cb. b) Si a ∼ b entonces (c, a) ∼ (c, b).
c) c(a, b) ∼ (ca, cb).

16. Pruebe que cada ideal I en Z[ D] es finitamente √ generado, como sigue:
Sea I0 = I ∩ Z y sea I1 = {b ∈ Z | a + b D ∈ I para algún a ∈
Z}. Pruebe que I0 y I1 son ideales de Z. Luego I0 =< r0 >, I1 =<
r1 >, para algún ri ∈ Z. Pruebe además√ que I0 ⊆ I1 . Por definición
de I1 existe a1 ∈ Z, tal que √ a1 + r1 D ∈ I. Pruebe √finalmente que I
está generado por r0 y a1 + r1 D. Sugerencia:
√ Si r + s D√∈ I, entonces
s ∈ I1 , luego s = r1 s1 .√Muestre que (r + s D) − s1 (a1 + r1 D) ∈ I0√
; use
esto para escribir r+s D como combinación lineal de r0 y de a1 +r1 D.