1.

Dado el conjunto Z, definimos en l las siguientes operaciones:

ab=a+b8;ab=a+bab
Determinar si (Z, ) es un grupo conmutativo y (Z, )es un semigrupo conmutativo.
En caso positivo para los apartados anteriores, determinar si (Z, , ) (Z, , ) es un
anillo.
Respuesta.
Para que (Z,) (Z, )sea un grupo debe cumplir las propiedades que definen tal
estructura. Tenemos:
Propiedad asociativa
(ab)c=(ab)+c8=[(a+b)8]+c8=a+b+c16a(bc)=a+(bc)
8=a+[(b+c)8]8=a+b+c16
Y se cumple la propiedad asociativa.
Existencia de elemento neutro:
ae=ea=aa+e8=ae8=0e=8
Por lo tanto, el elemento neutro es el 8.
Elementos simtricos:
aa=e=8a+a8=8a+a=16a=16a
Todos los elementos tienen simtrico por la izquierda y es de la forma indicada. Si se
verifica la propiedad conmutativa no es necesario desarrollar las anteriores propiedades
por la derecha:
ab=a+b8ba=b+a8a+b8=b+a8ab=ba
Y, por lo tanto, como s se verifica la propiedad conmutativa queda demostrado que
todos los elementos tienen simtrico.
Ley de simplificacin:
ba=b+a8ca=c+a8b+a8=c+a8b=c
Y puesto que se cumple la ley conmutativa, podemos decir que todos los elementos son
regulares a izquierda y derecha.
La estructura estudiada es, por consiguiente, un grupo aveliano.
La segunda ley definida cumple las siguientes propiedades:
(ab)c=(ab)+c(ab)c=(a+bab)+c
(a+bab)c=a+bab+cacbc+abc

a(bc)=a+(bc)a(bc)=a+(b+cbc)
a(b+cbc)=a+b+cbcabac+abc
Como ambos trminos son iguales, se cumple la propiedad asociativa.
Propiedad conmutativa:
ab=a+babba=b+abaa+bab=b+abaab=ba
Y se cumple la propiedad conmutativa.
Tenemos segn lo visto que la segunda estructura estudiada es un semigrupo
conmutativo.

Para responder a la ltima cuestin estudiamos la distributividad de la segunda ley

respecto de la primera:
a(bc)=a+(bc)a(bc)=a+(b+c8)a(b+c8)=
=a+b+c8abac+8a=a+b+cabac+8a8
(ab)(ac)=(a+bab)(a+cac)=
=(a+bab)+(a+cac)8=2a+b+cabac8
Y puesto que no coinciden los dos trminos, podemos decir que la segunda ley
estudiada no es distributiva respecto de la primera, lo que significa que la estructura
estudiada no es un anillo.
2.Hallar para que valores de l las operaciones dadas por:
ab=a+b6;ab=ab+a+b+42
Inducen en Z una estructura de anillo.
Respuesta.
Consideramos que la primera de las operaciones debe dotar de estructura de grupo
Avelino al conjunto Z. Tenemos:
Propiedad asociativa
(ab)c=(ab)+c6==[(a+b)6]+c6=a+b+c12a(bc)=a+(bc)
6=a+[(b+c)6]==a+b+c12
Y se cumple la propiedad asociativa.
Existencia de elemento neutro:
ae=ea=aa+e6=ae6=0e=6
Por lo tanto, el elemento neutro es el 6.
Elementos simtricos:
aa=e=6a+a6=6a+a=12a=12a
Todos los elementos tienen simtrico por la izquierda y es de la forma indicada. Si se
verifica la propiedad conmutativa no es necesario desarrollar las anteriores propiedades
por la derecha:
ab=a+b6ba=b+a6a+b6=b+a6ab=ba
Y, por lo tanto, al verificarse la propiedad conmutativa queda demostrado que todos los
elementos tienen simtrico.
Ley de simplificacin:
ba=b+a6ca=c+a6b+a6=c+a6b=c
Y puesto que se cumple la ley conmutativa, podemos decir que todos los elementos son
regulares a izquierda y derecha.
La estructura estudiada si es un grupo aveliano.
Queda por demostrar para que valores de induce la segunda ley estructura de
semigrupo en Z y ver despus, en los casos encontrados, si la ley es distributiva respecto
a la primera.
En primer lugar, la ley es interna para todo perteneciente a Z.
Propiedad asociativa:

(ab)c=(ab+a+b+42)c=(ab+a+b+42)c+(ab+a+b+4
2)+c+42=abc+ac+bc+42c+ab+2a+2b+42+c+42
a(bc)=a(bc)+a+(bc)
+42=a(bc+b+c+42)+a+(bc+b+c+42)+
+42=abc+ab+ac+42a+a+bc++2b+2c+42+42
Igualando las dos ltimas expresiones y simplificando:
2a+c+42c=2c+a+42a242=01=6;2=7
Por lo tanto, la ley es asociativa para los dos valores de obtenidos.
Comprobar que la ley es conmutativa para cualquier valor de es un ejercicio sencillo,
por lo que haremos ser ver si esta segunda ley es distributiva respecto a la primera para
los valores de obtenidos.
Tenemos por un lado:
a(bc)=a(b+c6)=a(b+c6)+a+(b+c6)+42==ab+ac6a+a+b+c
6+42
Y por otro:
(ab)(ac)=(ab)+(ac)6=(ab+a+b+42)+
(ac+a+c+42)6=ab+a+b+ac+a+c+78
Sustituyendo por -6 (o por 7) en ambos resultados, obtenemos que en el primer caso la
segunda ley es distributiva respecto a la primera y en el segundo caso no lo es.
Resumiendo, podemos decir que (Z, , ) es un anillo conmutativo para las leyes
definidas en el enunciado, si y solo si = -6.
3.En el conjunto P de los nmeros pares se definen dos operaciones, una de ellas es la
adicin ordinaria y a otra est definida en la forma:
x,yPxy=xy2
Demostrar que (P, +, *) tiene estructura de anillo.
Respuesta.
La condicin necesaria y suficiente para que un subconjunto P de Z sea subanillo de (Z,
+, *) es que sea subgrupo para la suma y estable para el producto. Sabemos que (Z, +)
es un grupo aveliano, por lo tanto, si (P, +) cumple:
x,yPx+(y)P
Ser subgrupo aveliano de (Z, +).
Resolviendo tenemos:
xPx=2n(nZ)yPy=2m(mZ)x+(y)==2n+
(2m)=2(nm)P
Y, por lo tanto, (P, +) tiene estructura de grupo aveliano.
La segunda de las leyes cumple las siguientes propiedades.
Ley interna en P:

xPx=2n(nZ)yPy=2m(mZ)xy==(2n)(2m)=2m2n2
=2mnP
Propiedad asociativa:
(xy)z=xy2z2=xyz4x(yz)=xyz2=xyz22=xyz4
Propiedad conmutativa:
xy=xy2=yx2=yx
Distributividad respecto de la primera ley:
x(y+z)=x(y+z)2=xy+xz2==xy2+xz2=(xy)+(xz)
Segn todo lo visto, podemos decir que (P, +, *) tiene estructura de anillo conmutativo.
4. Demostrar que el conjunto de los elementos de un anillo A que permutan con un
elemento a de dicho anillo es un subanillo de A.
Respuesta.
El conjunto dado ser de la forma:
S={xA|xa=ax(aA)}
Para que un subconjunto de A sea subanillo debe cumplir:
1.x y S

2.x y S
x,yS
Demostramos el apartado 1) Vamos a considerar el elemento (x - y) de A. Tenemos:
(xy)a=xaya=axay=a(xy)
Puesto que el elemento (x y) permuta con a, podemos decir que (x y) pertenece al
conjunto S.
Demostramos el apartado 2) Consideramos el elemento xy de A. Tenemos:
(xy)a=x(ya)=x(ay)=(xa)y=(ax)y=a(xy)
Puesto que el elemento (xy) permuta con a, podemos decir que (xy) pertenece al
conjunto S.
Segn todo lo visto, podemos decir que el conjunto S es un subanillo de (A, +, )
5. Demostrar que todo anillo con un nmero finito de elementos, en el
que existe un elemento a que no es divisor de cero a la izquierda y un
elemento b que no es divisor de cero a la derecha, tiene elemento
unidad.
El que un elemento de un anillo NO sea un divisor de cero por la izquierda
(respectivamente por la derecha) implica:
ax0x0(respxa0x0)
Definimos una aplicacin llamada traslacin a izquierda (respectivamente derecha) de
un elemento a, en la forma:
Ta:AAxax(respxxa)

Vamos a ver que la aplicacin Ta es biyectiva.

Ta inyectiva.Ta(x)=Ta(y)ax=ayaxay=0a(xy)=0
Como a no es divisor de cero, se tendr:
(xy)=0x=yTa la aplicacin es inyectiva a izquierda
Anlogamente se demuestra que la aplicacin Ta es inyectiva a la derecha.
Ta sobreyectiva. Se ha de cumplir:
yAxA|Ta(x)=y
Pero como A es finito, podemos poner:
Card(ImTa)=Card(A)ImTa=A
Al ser la aplicacin inyectiva y sobreyectiva, ser biyectiva. En esas condiciones se
tendr:
e1A|Ta(e1)=a por ser aAe1a=a
Pero este elemento e1 deja invariante a cualquier elemento x de A, pues se tiene:
Ta(x)=ax=(ae1)x=a(e1x)=Ta(e1x)x=e1x,xA
Por ser Ta inyectiva.
Por la derecha se desarrollan los clculos de igual forma para obtener e2
Tenemos entonces que e1 es el simtrico por la izquierda y e2 es el simtrico por la
derecha. Vamos a ver que se tiene e1 = e2:
operando a izquierda e 2
e1 e 2

1
operando a derecha e
e1e2=

6. Dado un anillo (A, +, ) y los ideales B y C demostrar que el subconjunto de

elementos de A de la forma:
I={x=b+c|bBcC}
Es un ideal
Respuesta.
Se dice que un subanillo de un anillo A es un ideal si cumple:
x,y I:;(xy) I; x I a Axa I ax I
Podemos hacer entonces:
x b1 c1

y b2 c2 ( x y ) ( b1 c1 ) ( b2 c2 )

x,yI
Pero, por ser la primera de las leyes de un anillo conmutativa:
(b1+c1)(b2+c2)=(b1b2)+(c1c2)I(xy)I
Puesto que (b1b2)B y
Por otro lado tenemos:

(c1c2)C.

xIx=b+eax=a(b+c)
Por ser distributiva la segunda ley:

a(b+c)=(ab+ac)I(abBacC)axI
De igual modo se demuestra que xaI y, por consiguiente que I es un ideal.
7. Sea f un homomorfismo de un anillo en si mismo, y sea S el conjunto de
todos los elementos de A que quedan invariantes por f. Demostrar que S es
un subanillo de A.
Respuesta.

El subconjunto S ser de la forma:

S={aA|f(a)=a}
Para que un subconjunto de A sea subanillo de (A, +, ) debe cumplir:
x,yS(xy)SxyS
Por ser f un homomorfismo, podemos hacer:
f(xy)=f(x)f(y)=xy(xy)S
Por quedar invariante por f.
De igual modo, tenemos:
f(xy)=f(x)f(y)=xy(xy)S
Al cumplirse las dos propiedades requeridas, podemos decir que (S, +, ) es un subanillo
de (A, +, )
8. En un dominio de integridad, hllense los elementos que coinciden con su opuesto.
Demostrar que si se tiene: e+e0
Entonces 0 es el nico elemento que coincide con su opuesto.
Respuesta.
Un dominio de integridad es un anillo con elemento unidad, sin divisores de cero y
conmutativo. Siendo a uno de los elementos del dominio que coinciden con su opuesto,
podemos escribir:
a=aa+a=0
Operando por la izquierda con el elemento unidad:
e(a+a)=e0=0
Aplicando la propiedad distributiva y conmutativa para la segunda ley:
e(a+a)=ea+ea=ae+ae=a(e+e)=0
Si a es distinto de 0, por tratarse de un dominio de integridad, se cumple:
a0e+e=0
Pero, evidentemente, esto no ocurre siempre as. Por lo tanto, podemos considerar dos
partes.

Si e + e es igual a 0, todo elemento del anillo coincide con su opuesto

Si e + e es distinto de 0, slo coincide con su opuesto el elemento neutro que es el 0.
9. Sea un anillo A de caracterstica 2 y sean x e y dos elementos conmutables del
anillo. Demostrar que se tiene:
2

(x+y) =x +y =(xy)
2

Respuesta.
La caracterstica de un anillo A es su orden, considerado A como grupo aditivo, cuando
est engendrado por un elemento e perteneciente a A. La caracterstica del anillo ser,
por tanto, el menor entero positivo que cumpla:

pe=e+e++e=0
Si no existe ningn entero positivo tal que pe = 0, se dice, por definicin, que la
caracterstica del anillo es 0 y, en ese caso, A es isomorfo a Z.
Continuando con el problema, tenemos: Si A es de caracterstica 2, podemos poner:

e+e=2e=0
Y para cualquier elemento del anillo:

x+x=2x=2(ex)=(2e)x=0x=0x+x=0x=
x
Por otro lado, podemos poner:
2

(x+y) =x +xy+yx+y
2

Por ser x e y conmutables, podemos escribir:

2

+xy+yx+y2=x2+xy+xy+y2=x2+x(y+y)+y2

Pero, segn hemos visto anteriormente, se tiene: (y + y) = 0, con lo cual

2

X2+x(y+y)+y =x2+x0+y2=x2+y2
Por otro parte, al haber deducido anteriormente que x = -x, podemos hacer:
2

(x+y) =x +xy+yx+y =0=x2xyyx+y =(xy)

2