Enunciado 51

Dado el conjunto Z definimos en él las siguientes

operaciones:
a∗b=a+b−8a⊥b=a+b−a⋅b
Determinar:
a) Si (Z,*) es grupo conmutativo
b) Si (Z,⊥) es semigrupo conmutativo
c) en caso positivo para los dos apartados
anteriores determinar si (Z,∗,⊥) es un anillo.
Ver Solución

Para que (Z,⋆) sea un grupo, debe cumplir las

propiedades que definen tal estructura:
Propiedad asociativa:

(a⋆b)⋆c=(a⋆b)+c−8=(a+b−8)+c−8==a+b+c−
16a⋆(b⋆c)=a+(b⋆c)−8=a+(b+c−8)−8==a+b+
c−16
Se cumple la propiedad asociativa.
Existencia de elemento neutro:

a⋆e=e⋆a=a⇒a+e−8=a⇒e−8=0⇒e=8
el elemento neutro es el 8.
Elementos simétricos:
a′⋆a=e=8⇒a′+a−8=8⇒a′+a=16⇒a′=16−a
Todos los elementos tiene simétrico por la izquierda y
es de la forma a′=16−a.
Si se verifica la propiedad conmutativa no es
necesario desarrollar las anteriores propiedades por
la derecha:

a⋆b=a+b−8b⋆a=b+a−8⎫⎭⎬a⋆b=b⋆a
y por lo tanto, si se verifica la propiedad conmutativa.
Ley de simplificación:

b⋆a=b+a−8c⋆a=c+a−8⎫⎭⎬b+a−8=c+a−8⇒b
=c
Por lo tanto, todos los elementos son regulares a
izquierda y derecha, por ser la ley conmutativa.
La estructura estudiada es, por consiguiente, un
grupo aveliano.
La segunda ley definida cumple las siguientes
propiedades:
Propiedad asociativa:

(a⊥b)⊥c=(a⊥b)+c−(a⊥b)c==(a+b−ab)+c−(a
+b−ab)c==a+b−ab+c−ac−bc+abca⊥(b⊥c)=a
+(b⊥c)−a(b⊥c)==a+(b+c−bc)−a(b+c−bc)==a
+b+c−bc−ab−ac+abc
Como ambos términos son iguales, se cumple la
propiedad asociativa.
Propiedad conmutativa:

a⊥b=a+b−abb⊥a=b+a−ba=a+b−ab
Se cumple la propiedad conmutativa.
La segunda estructura consiste, segun lo visto, en un
semigrupo conmutativo.
Distributividad de la segunda ley respecto de la
primera:

a⊥(b⋆c)=a+(b⋆c)−a(b⋆c)==a+(b+c−8)−a(b+
c−8)==a+b+c−8−ab−ac+8a==a+b+c−ab−ac
+8a−8•(a⊥b)⋆(a⊥c)=(a+b−ab)⋆(a+c−ac)==(
a+b−ab)+(a+c−ac)−8==2a+b+c−ab−ac−8
y puesto que no coinciden los dos términos podemos
decir que la ley (⊥) no es distributiva respecto a la
ley (⋆). Por lo tanto, podemos considerar
que (Z,⋆,⊥) no es un anillo.
Enunciado 52

Sea A un anillo que no admita ningún ideal propio a

izquierda . Se supone que existe en A al menos un
producto no nulo, demostrar:

a) Que existe al menos un elemento a∈A no divisible

de cero a derecha.

b) Que existe un elemento e∈A idempotente e2=e tal

que cumple e⋅a=a.

c) Que dicho elemento e es el elemento unidad del

anillo.
Ver Solución
Consideremos el comjunto:

I={x/x⋅a=0}
Se demuestra que I es ideal, puesto que es núcleo
de un homorfismo de anillos definido en la forma:

fa:A→A;fa(x)=x⋅a
Puesto que A no tiene ideales propios, I deberá ser
A o el ideal {0}, pero tenemos:

I≠A, puesto que ∃b∈A/b⋅a≠0 (por hipotesis)

Al no quedar otra alternativa, se debe tener:

I={0}⇔∀x∈A::x⋅a=0⇒x∈{0}
y por lo tanto el elemento a no es divisor de cero a la
derecha
Para el segundo apartado consideremos el conjunto:

I={x⋅a/x∈A}=A⋅a
por la misma razón que anteriormente, se demuestra
que I es un ideal, y puesto que A carece de ideales
propios, se debe tener:
A⋅a={0}∨A⋅a=A
Sabemos que el primer caso no puede ser, puesto
que existe b∈A que cumple:
b⋅a≠0⇒A⋅a≠{0}⇒A⋅a=A;a∈A
Puesto que la aplicación definida es biyectiva, debe
existir un elemento en A tal que a∈A sea su imagen,
es decir:
∃e∈A:e⋅a=a
Vamos a ver si este elemento es idempotente:
 e(e⋅a)=e⋅a⇒e2⋅a=e⋅a⇒e2=e
puesto que a es no divisor de cero.

Otra forma de demostrar que e es idempotente, sería:

e(e⋅a)=e⋅a⇒e2⋅a=e⋅a⇒e2=e⇒e2⋅a−e⋅a=0
de ahí se tendría:
(e2−e)a=0⇒e2−e=0⇒e2=e
por ser a no divisor de cero a derecha.

Nos queda por último que e es el elemento unidad del

anillo.
Según lo visto, podemos hacer:

x⋅a=x(e⋅a)=(x⋅e)a⇒x⋅e=x,∀x∈A
Tenemos entonces que e es elemento unidad a
derecha. Para demostrar que también es elemento
unidad a izquierda, definimos el conjunto:
B={x=e⋅x/x∈A}
Se demuestra que B es ideal, y al no tener A ideales
propios, debe cumplirse:
B=A∨B={0}
Si hacemos B = A, tenemos:
Como a∈A⇒∃xo:xo−e⋅xo=a⇒•⇒e⋅a=a=e⋅xo
−e2⋅xo=e⋅xo−e⋅xo=0
pero esto es imposible, puesto que a es no nulo, por
lo tanto, debe ser:
B={0}⇒∀xA.−x−e⋅x=0⇒x=e⋅x
y por tanto e es el elemento unidad por la izquierda.
Como también es elemento unidad por la derecha,
diremos simplemente que e es elemento unidad del
anillo.

Enunciado 53

Sea A, un anillo unitario y conmutativo, se dice que

un idealI⊂Aes un ideal primo si se cumple
(siendo I≠A):

x⋅y∈I,y⋅x∉I⇒y∈I
Demostrar que I⊂A es primo sii A/I no tiene divisores
de cero.
Probar además que si K es un cuerpo y f un
homomorfismo de anillos de A en K, el núcleo de f es
un ideal primo de A.
Ver Solución
El ideal que contiene solamente al 0 es la clase de
equivalencia del 0, es decir:

xˉ=0ˉ⇔xR0⇔x−0∈I⇒x∈I
Supongamos que se tiene x⋅y−−−−=0ˉ, entonces:

x⋅y−−−−=xˉ⋅yˉ=0ˉ
Si xˉ≠0ˉ, se tiene, al ser A/I integro:

yˉ=0ˉ⇔yR0⇔y−0∈I⇒y∈I
Segunda parte f:A→K
Sea x⋅y∈ker(f)yx∉ker(f); se
tienef(x⋅y)=0 y f(x)≠0f(x)⋅f(y)=0 (como f(x)≠0)
y K como cuerpo no tiene divisores de
cero f(y)=0⇔y∈ker(f).

Enunciado 54

Consideremos el anillo de los pares de números

enteros de la forma (a,b) en el que se han definido las
operaciones siguientes

(a,b)+(a′,b′)=(a+a′,b+b′)(a,b)⋅(a′,b′)=(a⋅a′,b⋅b′)
Demostrar que el conjunto de pares de la forma:

S={(x,0)/x∈Z}
tiene estrutura de anillo para las operaciones
anteriormente definidas y encontrar el elemento
unidad de dicho subanillo.
Ver Solución
El conjunto S debe ser subgrupo para la suma
definida:

∀(x,0),(x′,0)∈S:(x,0)−(x′,0)==(x′−x,0)⇒(x−x′∈
Z)∈S
Si es subgrupo para la suma pues se cumple la
propiedad necesaria y suficiente .
Será también subgrupo abeliano ya que el conjunto
principal lo es.
Veamos ahora si es semigrupo para la multiplicación:

∀(x,0),(x′,0)∈S:(x,0)⋅(x′,0)==(x⋅x′,0)⇒(x⋅x′∈Z)
∈S
Si es semigrupo por cumplir la propiedad necesaria y
suficiente.
Por todo ello el conjunto tiene estructura de anillo con
las operaciones definidas anteriormente.
Vamos a ver si tiene elemento unidad:

(x,0)(ϵ,0)=(x,0)
Operando tenemos:

(x,0)⋅(ϵ,0)=(x⋅ϵ,0)=(x,0)⇒x⋅ϵ=x⇒ϵ=1
Y el elemento unidad es (1,0)
Enunciado 55

En (Z,+,⋅) consideramos el conjunto p de los

números pares se pide ver si (P,+,⋅) es un ideal, ¿es
un ideal principal?.¿Puede decirse lo mismo del
conjunto de los impares?
Ver Solución
El conjunto P definido por comprensión es:

P={2⋅x/x∈Z}
Veamos, pues, si P es ideal:

∀2x1,2x2∈P(x1,x2∈Z):2x1−2x2=2(x1−x2)∈P
Puesto que (x1−x2)∈Z
 ∀a∈Z,∀2⋅x∈P:2x⋅a=a⋅2x∈P
El conjunto P es un ideal bilátero. Se trata también de
un ideal principal, pues todos los elementos de P
están generados por el 2
El conjunto de los impares definido por compresión
es:

P={2⋅x−1/x∈Z}
Vamos a ver si este conjunto es ideal:
∀(2x1−1),(2x2−1)∈I;(2x1−1)−(2x2−1)==2x1−1
−2x2+1=2(x1−x2)∉I
El conjunto I no es grupo para la suma, por lo tanto no
es anillo y, en consecuencia, no es ideal.
Enunciado 56

En un anillo conmutativo A, con elemento unidad, se

llama unitario a todo elemento:

x∈A/∃x′∈Ax⋅x′=1
Demostrar que el conjunto de los elementos unitarios
de A es un grupo multiplicativo.
Ver Solución
Sea C el conjunto de los elementos unitarios de A:

C={x∈A/∃x′∈A:x⋅x′=1}
solo es necesario demostrar que la ley es interna en
el conjunto C, pues todas las demás propiedades
son inherentes a A.

∀x,y∈C se tiene :x⋅x′=1;y⋅y′=1

Podemos hacer así:

(x⋅x′)⋅(y⋅y′)=1=(prop.
asociativa)==(x⋅x′⋅y⋅y′)=(prop
conmutativa)==(x⋅y⋅x′⋅y′)=(x⋅y)⋅(x′⋅y′)==(x⋅y)⋅(
y⋅x)′=(x⋅y)⋅(x⋅y)′∈C
Es evidente que si A no es conmutativo el conjunto C
no sería grupo para (·).
Enunciado 57

Demostrar que el núcleo de un homorfismo f que

aplica A en A' siendo A y A' anillos, es un ideal de A.
Ver Solución
Primero comprobamos que kerf es un grupo:

∀a,b∈kerf:f(a−b)=f(a)−f(b)==0′−0′=0′⇒(a−b)
∈kerf
Por último, se ha de tener:
∀x∈A∀a∈kerf⎫⎭⎬f(x,a)=f(x)⋅f(a)=f(x)⋅0′=0′⇒(x,a)
∈kerf
Por lo tanto kerf es un ideal de A.
Enunciado 58

Demostrar que el conjunto de los múltiplos de 3 es un

ideal principal considerado en el conjunto de los
números enteros dotado de la suma y producto
comunes.
Ver Solución
Vamos a demostrar primero la definición de ideal:
Una parte I de un anillo se llama ideal por la parte
izquierda (resp. derecha) si cumple:

∀x,y∈I,x−y∈I;∀a∈A,∀x∈I,a⋅x∈I
Si el conjunto I cumple las anteriores propiedades
también por la derecha, se llama bilátero.
Ideal principal.- Un ideal I se llama principal,
generado por el elemento a∈I si cumple:

∀y∈I∃z∈A/y=a⋅z
Veamos entonces si el conjunto de los múltipos de 3
es un ideal principal.

∀3⋅x,3⋅y∈I:3x−3y=3(x−y)=3˙∈I∀a∈Z:3⋅x⋅a=3⋅
(x⋅a)=3˙∈I
Como el anillo Z es conmutativo para el producto, es
evidente que I es un ideal bilatero. El conjunto es un
ideal principal generado por el 3.
Enunciado 59

Demostrar que el conjunto D de las matrices

diagonales de orden n es un subanillo del anillo A de
las matrices cuadradas del mismo orden n. Con la
suma y producto de matrices como primera y segunda
ley.
Determinar si dicho subanillo es conmutativo y tiene
divisores de cero.
Ver Solución
Vamos ver si el conjunto es grupo para la suma:
Por lo tanto, si es grupo para la suma.
Veamos si es semigrupo para el producto:
El conjunto si es semigrupo para el producto, y por lo
tanto D es es subanillo para la suma y producto de
matrices
El conjunto D cumple la propiedad conmutativa para
el producto, pues la matriz resultante de multiplicar B
por A es diagonal con los elementos en la forma b⋅a y
como el producto de números es conmutativo, se
cumple A⋅B=B⋅A.
El anillo no tiene divisores de 0 pues tendría que
ser a⋅b=0 con a y b distintos de 0, cosa que no
ocurre en el anillo Z.

Enunciado 60
Sea A un anillo con un número finito de elementos;
si A tiene elemento unidad e, demostrar que todo
elemento no divisor de cero es inversible.
Ver Solución
Definimos la aplicación:

f:A→A;f(x)=a⋅x
siendo a′ fijo.
Dicha aplicación es isomorfismo, pues se tiene:

f(x)=f(y)⇒a⋅x=a⋅y⇒(no
divisor) x=ycard(imf)=Card(E)⇒Imf=E por
ser E finito
Por tanto al ser la aplicación definida isomorfismo
existirá un a′ que cumplirá:

f(a′)=e⇒a⋅a′=e⇒a′
es simétrico de A por la izquierda
Por la derecha se demuestra de igual forma.