TAREA 1 CONTEXTUALIZACIÓN

KELLY JOHANNA TRILLOS TRILLOS

TUTOR: DEIMAR ARMANDO BARON

GRUPO: 511013_3

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

ESCUELA DE CIENCIAS DE LA EDUCACIÓN
ÁLGEBRA ABSTRACTA
FEBRERO
2023
 Introducción

La estructura de grupo es un conjunto que posee una operación binaria y se cumplen tres

propiedades: asociación, elemento neutro y elemento inverso; con este concepto el presente

trabajo se enfoca a profundidad la actividad de reconocer los elementos básicos de la teoría de

grupos y de anillos para la comprensión del álgebra abstracta, en la representación de

problemas reales operando las propiedades y definiciones, orientados en la consolidación de

conocimientos básicos en los casos que ameriten, utilizando algunas herramientas que permita

comprender los temas dados desde una perspectiva práctica en el día a día, como futuros

profesionales.
1. Enuncie de manera formal la definición de una estructura de grupo. Presente tres

estructuras de grupos y demuestre que lo son.

La teoría de grupos estudia ciertos objetos matemáticos llamados grupos, así como las

relaciones entre ellos, los homomorfismos; se emplea el nombre de grupo para designar

la estructura que posean los sistemas formados por un conjunto y una operación binaria

cuando dicha operación es: asociativa, tiene elemento idéntico, y todos los elementos

del conjunto tienen inverso.

Definición: Sean G un conjunto no vacío y * una operación binaria o ley de

composición interna definida en G. El conjunto G junto con la operación binaria * es

un grupo, denotado por (G,*), si y solo si los siguientes axiomas o condiciones se

cumplen:

G1: La operación binaria * es asociativa.

G2: Existe un elemento e ⋲ G, tal que, e*x = x*e = x para todo x ⋲ G. El elemento e

es el elemento neutro para * en G.

G3: Para cada a ⋲ G existe un elemento a' ⋲ G, llamado elemento inverso de a, tal que

a * a'= a' * a = e.

Un grupo no es el conjunto G en sí mismo. Un grupo (G,*) está constituido por dos

entidades, un conjunto G y una operación binaria * y denotar el grupo sólo por G es

 lógicamente incorrecto, sin embargo en la práctica la notación es sustituida por la

expresión " G es un grupo bajo la operación binaria *".

ESTRUCTURAS DE GRUPOS

a) (ℤ, +) es un grupo siendo ℤ el conjunto de números enteros y “+” la suma o adición de

números enteros.

Demostración:

ℤ = {… , −3, −2, −1, 0, 1, 2, 3, … }

 Es cerrado para la suma, 𝑎, 𝑏 ∈ ℤ ⇒ 𝑎 + 𝑏 ∈ ℤ
−1 + 3 = 2 ⇒ 2 ∈ ℤ

 La suma es asociativa 𝑎, 𝑏, 𝑐 ∈ ℤ ⇒ (𝑎 + 𝑏) + 𝑐 = 𝑎 + (𝑏 + 𝑐)
(1 + 2) + 3 = 1 + (2 + 3)
3 +3=1+ 5
6 = 6 ⇒6∈ℤ

 El cero (0) es el neutro identidad

𝑎 ∈ℤ ⇒ 𝑎+0= 0+𝑎 =𝑎
2+0=0+2=2

 Todo elemento tiene un inverso e opuesto

𝑎 ∈ ℤ ⇒ ∃𝑏 ∈ ℤ 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑎 + 𝑏 = 𝑏 + 𝑎 = 0
𝑏 = −𝑎
−1 + 1 = 0

b) (ℚ+ ,∗) es un grupo, ℚ+ es el conjunto de los números racionales y “*” es la

multiplicación de números racionales.

Demuestre:

𝑎𝑏
∗: 𝑎 ∗ 𝑏 =
2

Se debe aplicar la definición de grupos, verificando el cumplimiento de los tres axiomas

que lo definen.
 𝑎𝑏
𝑎∗𝑏 = ∈ ℚ+
2

 La operación binaria * es asociativa

𝑠𝑒𝑎𝑛 𝑎, 𝑏, 𝑐 ∈ ℚ+ , entonces

𝑎𝑏
(𝑎𝑏) ( 2 ) 𝑐 𝑎𝑏𝑐
(𝑎 ∗ 𝑏) ∗ 𝑐 = ( )∗𝑐 = =
2 2 4
𝑏𝑐
(𝑏𝑐) 𝑎 ( 2 ) 𝑎𝑏𝑐
𝑎 ∗ (𝑏 ∗ 𝑐) = 𝑎 ∗ ( )= =
2 2 4

Se concluye que (𝑎 ∗ 𝑏) ∗ 𝑐 = 𝑎 ∗ (𝑏 ∗ 𝑐)

 Elemento neutro para * es e = 2

𝑎2 2𝑎
∀𝑎 ∈ ℚ+ : 𝑎 ∗ 2 = =𝑎 𝑦 2∗𝑎 = =𝑎
2 2

 Elemento inverso

4 4
4 𝑎 (𝑎) 4 (𝑎) 𝑎
∀𝑎 ∈ ℚ+ : 𝑎 ∗ = =2 𝑦 ∗𝑎 = =2
𝑎 2 𝑎 2
4
De modo que el elemento a', inverso de a es a′ = 𝑎

c) 𝐴 = {𝑎, 𝑏, 𝑐} ∗: 𝐴 ∗ 𝐴 → 𝐴 (𝐴,∗)

* a b c
a c a b
b a b c
c b c a

 Es conmutativa
* a b c
𝑎∗𝑏 =𝑏∗𝑎 a c a b
𝑎∗𝑐 =𝑐∗𝑎 b a b c
𝑏∗𝑐 =𝑐∗𝑏 c b c a
 Como vemos en la tabla, existe cierta simetría para que sea conmutativa

 Elemento neutro e

𝑎 ∗ 𝑒 = 𝑒 ∗ 𝑎 = 𝑎; 𝑎∗𝑒 =𝑎 ∀𝑎 ∈ 𝐴

* a b c
a c a b
b a b c
c b c a

𝑒=𝑏

 Elemento inverso

∀𝑥 ∈ 𝐴; 𝑑𝑒𝑏𝑒 𝑒𝑥𝑖𝑠𝑡𝑖𝑟 𝑥′ ∈ 𝐴 / 𝑥 ∗ 𝑥′ = 𝑒 → 𝑥 ∗ 𝑥′ = 𝑏

𝑎′ = 𝑐 → 𝑎 ∗ 𝑐 = 𝑏 (𝑛𝑒𝑢𝑡𝑟𝑜)
𝑏′ = 𝑏 → 𝑏 ∗ 𝑏 = 𝑏 (𝑛𝑒𝑢𝑡𝑟𝑜)
𝑐′ = 𝑎 → 𝑐 ∗ 𝑎 = 𝑏 (𝑛𝑒𝑢𝑡𝑟𝑜)

 Asociatividad

* a b c
a c a b
b a b c
c b c a

∀𝑥, 𝑦, 𝑧 ∈ 𝐴 → (𝑥 ∗ 𝑦) ∗ 𝑧 = 𝑥 ∗ (𝑦 ∗ 𝑧)

(𝑎 ∗ 𝑏) ∗ 𝑐 = 𝑎 ∗ (𝑏 ∗ 𝑐) (𝑐 ∗ 𝑏) ∗ 𝑎 = 𝑐 ∗ (𝑎 ∗ 𝑏)
𝑎∗𝑐 = 𝑎∗𝑐 𝑐∗𝑎 = 𝑐∗𝑎
𝑏 = 𝑏 𝑏 = 𝑏

2. Enuncie de manera formal la definición de subgrupo. Considere el grupo ℤ12 y

caracterice todos los subgrupos.

 Es cada una de las partes en que se divide un grupo. Cuando un sistema tiene estructura

de grupo es posible que algunos subconjuntos de dicho sistema tengan por sí mismo

estructura de grupo en tal caso los llamamos subgrupos.

Sea G un grupo, H subconjunto de G. Decimos que H es un subgrupo de G si cumple

lo siguiente:

 El neutro eG de G está en H, es decir, eG ∈ H.

 H es cerrado con la operación, es decir si a,b ∈ H, entonces, ab ∈ H.

 Todo elemento de H tiene su inverso en H. Es decir, si a ∈ H, entonces 𝑎−1 ∈ H.

Notación. H ≤ G denotará que H es subgrupo de G.

ℤ12 = {0,1,2,3,4,5,6,7,8,9,10,11}

< 1 >= {1,2,3,4,5,6,7,8,9,10,11,0} = ℤ12 < 2 >= {2,4,6,8,10,0} ≠ ℤ12

𝑒𝑠𝑡𝑒 𝑠𝑢𝑏𝑔𝑟𝑢𝑝𝑜 𝑐𝑜𝑛𝑡𝑖𝑒𝑛𝑒 12 𝑒𝑙𝑒𝑚𝑒𝑛𝑡𝑜𝑠 𝑒𝑠𝑡𝑒 𝑐𝑜𝑛𝑡𝑖𝑒𝑛𝑒 6 𝑒𝑙𝑒𝑚𝑒𝑛𝑡𝑜𝑠

11 = 1 21 = 2
12 = 1 + 1 = 2 22 = 2 + 2 = 4
13 = 12 + 1 = 2 + 1 = 3 23 = 22 + 2 = 4 + 2 = 6
14 = 13 + 1 = 4 24 = 23 + 2 = 8
15 = 14 + 1 = 5 25 = 24 + 2 = 10
16 = 15 + 1 = 6 26 = 25 + 2 = 12 = 0
17 = 16 + 1 = 7 27 = 26 + 2 = 2
18 = 17 + 1 = 8
19 = 18 + 1 = 9
110 = 19 + 1 = 10
111 = 110 + 1 = 11
112 = 111 + 1 = 12 = 0

elemento 0 1 2 3 4 5 6 7 8 9 10 11
orden 1 12 6 4 3 12 2 12 3 4 6 12
3. Enuncie de manera formal la definición de subgrupo normal. Así mismo, elige un grupo

cualquiera y caracterice sus subgrupos normales.

Un subgrupo H de un grupo G es normal en G se gH = Hg para todo g ∈ G. Es decir,

un subgrupo normal de un grupo G es un subgrupo para el que las clases laterales

derechas e izquierdas coinciden.

Sea (G,*) un grupo y H un subgrupo de G. Demostrar que H es subgrupo normal ⇔ ∀∈

𝐺 ∀ℎ ∈ 𝐻 𝑠𝑒 𝑣𝑒𝑟𝑖𝑓𝑖𝑐𝑎 𝑔ℎ𝑔−1 ∈ 𝐻

Sean g ∈ G y ℎ ∈ H cualesquiera. Entonces, gℎ ∈ gH.

Pero por hipótesis gH = Hg, por tanto𝑔ℎ = ℎ1 𝑔 𝑝𝑎𝑟𝑎 𝑎𝑙𝑔𝑢𝑛 ℎ1 ∈ 𝐺 . Esto

implica 𝑔ℎ𝑔−1 = ℎ1 ∈ 𝐻.

Sea g ∈ G genérico. Veamos que gH = Hg, lo cual demostrará que H es normal.

En efecto, si x ∈ gH, entonces x = gℎ para algún ℎ ∈ H.

Multiplicando a la derecha por 𝑔−1 queda 𝑥𝑔−1 = 𝑔ℎ𝑔−1 , que pertenece a H por

hipótesis. Es decir, 𝑥𝑔−1 = ℎ1 para algún ℎ1 ∈, lo que equivale a decir 𝑥 = ℎ1 𝑔 ∈ 𝐻𝑔.

Hemos demostrado que 𝑔𝐻 ⊂ 𝐻𝑔.

De manera análoga se demuestra que 𝐻𝑔 ⊂ 𝑔𝐻.

4. Enuncie de manera formal la definición de subgrupo cíclico y como su generador. Así

mismo, caracterice los subgrupos cíclicos de grupo ℤ.

En teoría de grupos, un grupo cíclico es aquel que puede ser generado por un solo

elemento; es decir, hay un elemento a del grupo G (llamado "generador" de G), tal que

todo elemento de G puede ser expresado como una potencia de a. Si la operación del

grupo se denota aditivamente, se dirá que todo elemento de G se puede indicar como

un múltiplo de a, para n entero.

En otras palabras, G es cíclico, con generador a, si 𝐺 = {𝑎𝑛 |𝑛 ∈ 𝑍}. Dado que un grupo

generado por un elemento de G es, en sí mismo, un subgrupo de G, basta con demostrar

que el único subgrupo de G que contiene a (a) es el mismo G para probar que éste es

cíclico.

Definición 1. Sea G un grupo y sea a un elemento cualquiera de G. El conjunto

〈𝑎〉 = {𝑎𝑛 |𝑛 ∈ ℤ = {… , 𝑎 −3 , 𝑎 −2 , 𝑎 −1 , 1, 𝑎, 𝑎2 , 𝑎3 , … }

Es un subgrupo del grupo G, llamado el subgrupo cíclico de G generado por el elemento

a. Si G es un grupo con notación aditiva escribiremos

〈𝑎〉 = {𝑛𝑎|𝑛 ∈ ℤ = {… , −3𝑎, −2𝑎, −𝑎, 0, 𝑎, 2𝑎, 3𝑎, … }

Es posible que el subgrupo generado por algún elemento del grupo G coincida con

todo el grupo:〈𝑎〉 = 𝐺; esta situación se presenta por ejemplo con el entero 1 en el grupo

aditivo de los números enteros:

 〈1〉 = {𝑛. 1|𝑛 ∈ ℤ = {… , −3, −2, −1, 0, 1, 2, 3, … } = ℤ

Los grupos para los cuales se tiene este tipo de situación reciben un nombre especial.

5. Enuncie de manera formal la definición de un homomorfismo de grupos y de anillos.

De tres ejemplos de cada uno de ellos y pruebe que lo son.

Homomorfismo es la función que se establece entre grupos para conservar la estructura

de los mismos.

Un homomorfismo entre los grupos (G, ⋅) y (H, ∘), es una función ϕ: G→H tal que

ϕ (g1⋅g2) = ϕ (g1) ∘ ϕ (g2) ∀g1, g2∈G

La imagen de ϕ en H se llama imagen homomorfa de ϕ.

Un homomorfismo de anillos es una aplicación entre anillos que conserva

las estructuras de ambos como anillos. En el estudio de grupos, un homomorfismo es

una función que preserva la operación del grupo. Similarmente, un homomorfismo

entre anillos preserva las operaciones de adición y multiplicación en el anillo. Más

específicamente, si R y S son anillos, entonces un homomorfismo de anillos es una

función ϕ: R→S que satisface

ϕ (a+b) = ϕ (a) + ϕ (b)

ϕ (ab)= ϕ (a) ϕ (b)

Para todo a, b ∈ R. Si ϕ: R→S es biyectiva, entonces ϕ se llama isomorfismo de anillo.

 Ejemplos:

 Sea G un grupo y g ∈G. Defina una función ϕ: ℤ→G como

ϕ(n) =𝑔𝑛 . Entonces ϕ es un homomorfismo de grupos, pues

ϕ (m+n) = 𝑔𝑚+𝑛 = 𝑔𝑚 𝑔𝑛 = ϕ(m) ϕ(n)

Este homomorfismo envía a ℤ en el subgrupo cíclico de G generado por g.

 Sea 𝐺 = 𝐺𝐿2 (ℝ). Si

𝑎 𝑏
𝐴=( )
𝑐 𝑑

Está en G, entonces el determinante es distinto de cero; es decir,

det(A) = ad−bc ≠ 0

Además, para dos elementos A y B en G,

det(AB) = det(A) det(B)

Usando el determinante, podemos definir un homomorfismo

ϕ: 𝐺𝐿2 (ℝ) ⟶ ℝ∗ 𝑐𝑜𝑚𝑜 A ↦ det(A)

 Dado (ℤ132 , +) como 132 = 11x12 con 11 y 12 primos entre sí, vimos que

𝑇 ∶ (ℤ132 , +) ⟶ (ℤ11 ∗ ℤ12 , +)

[𝑥] ⟶ 𝑇(|𝑥|) = ([𝑥]11 , [𝑥]12 )

Verificada que para todo 𝑥, 𝑦 ∈ ℤ132

𝑇([𝑥] + [𝑦]) = (𝑇[𝑥 + 𝑦]) = ([𝑥 + 𝑦]11 , [𝑥 + 𝑦]12 )

= ([𝑥]11 + [𝑦]12 , [𝑥]12 + [𝑦]12 ) = ([𝑥]11 , [𝑥]12 ) + ([𝑦]11 , [𝑦]12 )

𝑇([𝑥]) + 𝑇([𝑦])

Además el Teorema Chino del Resto nos permite decir que T es una biyección. Ahora

podemos decir que T es un isomorfismo entre los grupos

(ℤ132 , +) 𝑦 (ℤ11 ∗ ℤ12 , +)

 Para cualquier entero 𝐧 podemos definir un homomorfismode anillos

ϕ: ℤ →ℤ𝑛 Como a ↦ a(mod n). En efecto es un homomorfismo de anillos, pues

ϕ(a + b) = (a + b)(mod n)

= a(mod n) + b(mod n)

= ϕ(a) + ϕ(b)

ϕ(ab) = ab(mod n)

= a(mod n) ⋅ b(mod n)

= ϕ(a)ϕ(b).

El núcleo del homomorfismo ϕ es nℤ.

 Sea 𝐶[𝑎, 𝑏] el anillo de funciones reales continuas definidas en un intervalo[𝑎, 𝑏]. Para

un 𝛼 ∈ [𝑎, 𝑏] fijo, podemos definir un homomorfismo de anillos ϕα: C[a, b] → ℝ

como 𝜙𝛼 (𝑓) = 𝑓(𝛼). Este es un homomorfismode anillos pues

ϕα(f + g) = (f + g)(α) = f(α) + g(α) = ϕα(f) + ϕα(g)

ϕα(fg) = (fg)(α) = f(α)g(α) = ϕα(f)ϕα(g).

Homomorfismos de anillos del tipo ϕα se llaman isomorfismos de evaluación.

6. Enuncie de manera formal qué es el núcleo e imagen de un homomorfismo de grupos

y de anillos. Mencione tres ejemplos de cada uno de ellos y pruebe que lo son.

Núcleo de un Homomorfismo de grupos.

Definición
 Sean (G,*), (H),º) dos grupos y 𝑓: 𝐺 → 𝐻 un Homomorfismo. El Núcleo del

Homomorfismo 𝑓 es el conjunto formado por los elementos de G que tiene por en

símbolo,

𝑁𝑓 = {𝑥 ∈ 𝐺/𝑓(𝑥) = 𝑒𝐻 },

Donde 𝑒𝐻 es el elemento neutro de H.

Es claro que, un elemento de G pertenece al núcleo de 𝑓 si y solo si su imagen es igual

al elemento neutro de G, esto es

𝑥 ∈ 𝑁𝑓 ↔ 𝑓(𝑥) = 𝑒𝐻

Imagen de un Homomorfismo de grupos.

Sean (G,*), (H),º) dos grupos y 𝑓: 𝐺 → 𝐻 un Homomorfismo. La imagen del

Homomorfismo 𝑓 es el conjunto formado por los elementos de H que tiene pre imagen

en G.

En símbolos
𝐼𝑓 = {𝑦 ∈ 𝐻/∃𝑥 ∈ 𝐺: 𝑓(𝑥) = 𝑌}

Es claro que,
𝑦 ∈ 𝐼𝑓 ↔ ∃𝑥 ∈ 𝐺: 𝑓(𝑥) = 𝑌

Ejemplos

 Para cualquier entero 𝐧 podemos definir un homomorfismode anillos

ϕ: ℤ →ℤ𝑛 Como a ↦ a(mod n). En efecto es un homomorfismo de anillos, pues

ϕ(a + b) = (a + b)(mod n)

= a(mod n) + b(mod n)
 = ϕ(a) + ϕ(b)

ϕ(ab) = ab(mod n)

= a(mod n) ⋅ b(mod n)

= ϕ(a)ϕ(b).

El núcleo del homomorfismo ϕ es nℤ.

 Sean 𝐺1 = (𝐺𝐿2 (ℝ),·) con

𝑎 𝑏
𝐺𝐿2 (ℝ = {( ) ∈ 𝑀2×2 (ℝ) ∶ 𝑎𝑑 − 𝑏𝑐 ≠ 0}
𝑐 𝑑

𝑎 𝑏
𝑦 𝐺2 = (ℝ ∗,·), con f(A) = ad − bc siendo A = ( ) Tenemos que
𝑐 𝑑

𝑎 𝑏
𝑘𝑒𝑟(𝑓) = {( ) ∈ 𝑀2×2 (ℝ): 𝑎𝑑 − 𝑏𝑐 = 1}
𝑐 𝑑

Por lo tanto el núcleo serán las matrices de orden 2 con determinante igual a 1.

 Sea (ℝ ∗,·) el grupo multiplicativo de los números reales no nulos. Demostrar que

f: ℝ ∗→ ℝ ∗, f(x) = 𝑥2 Es homomorfismo entre los grupos (ℝ ∗,·)y (ℝ ∗,·).

Determinar ker 𝑓𝑒 𝐼𝑚 𝑓.

Solución

Para todo 𝑥, 𝑦 ∈ ℝ ∗, se verifica 𝑓(𝑥𝑦) = (𝑥𝑦)2 = 𝑥 2 𝑦 2 = 𝑓(𝑥)𝑓(𝑦),

Por tanto, 𝑓 es homomorfismo entre los grupos (ℝ ∗,·)y (ℝ ∗,·). El elemento neutro del

grupo dado es el número real 1, en consecuencia:

ker 𝑓 = {𝑥 ∈ ℝ∗ 𝑓: 𝑓(𝑥) = 1} = {𝑥 ∈ ℝ∗ : 𝑥 2 = 1} = {−1, 1}

 Si un elemento 𝑥′ pertenece a 𝐼𝑚 𝑓entonces, 𝑥′ = 𝑓(𝑥) = 𝑥 2 para cierto 𝑥 ∈ ℝ∗ , lo

cual implica que x′>0 y por tanto Im f⊂(0,+∞). Recíprocamente,

sea x′∈(0,+∞). Entonces, 𝑥′ = 𝑓(√𝑥′) siendo √𝑥′ ∈ ℝ∗ , luego (0,+∞) ⊂ Im f. Es

decir, Im f = (0,+∞)

7. Enuncie de manera formal la definición de estructura de Anillo. Presente tres

estructuras de Anillos y demuestre que lo son.

En álgebra abstracta, un anillo es un sistema algebraico formado por un conjunto y dos

operaciones internas, llamadas usualmente «suma» y «producto», que cumplen ciertas

propiedades. Es un monoide y se verifica la distributiva bilateral de • respecto de +.

Llamaremos anillo a un conjunto A con dos operaciones, (A, +, *)

(+ Suma, * producto), (denotaremos a*b = ab)

+, *: A × A → A verificando las propiedades:

(1) Asociativa suma: ∀ a, b, c ∈ A, a + (b + c) = (a + b) + c

(2) Conmutativa suma: ∀ a, b ∈ A, a + b = b + a

(3) Elemento neutro existe: 0 ∈ A, tal que ∀ a ∈ A, a + 0 = a

(4) Elemento opuesto: ∀ a ∈ A, existe −a ∈ A tal que a + (−a) = 0

(5) Asociativa producto: ∀ a, b, c ∈ A, a(bc) = (ab)c

(6) Distributiva suma respecto del producto:

∀ a, b, c ∈ A, a(b + c) = ab + ac, (b + c)a = ba + ca

Ejemplos
 Sea R un anillo con a, b ∈ R. Entonces

a0 = 0a =0;

a(−b) = (−a)b = −ab;

(−a)(−b) = ab.

Demostración

Para demostrar (1), notemos que

𝑎0 = 𝑎(0 + 0) = 𝑎0 + 𝑎0;

Luego, 𝑎0 = 0. Similarmente, 0𝑎 = 0. Para (2), tenemos ab + a(−b) = a(b−b)

=a0=0; por lo tanto, −ab = a(−b). Similarmente, −ab = (−a)b. La parte (3) sigue

directamente de (2) pues (−a)(−b) = −(a(−b)) = −(−ab) = ab.

 Sea A dominio de integridad, entonces si a ≠ 0 y ax = ay se verifica x = y.

Demostración

ax = ay ⇒ a(x − y) = 0, y por ser dominio de integridad y a ≠ 0, entonces

x − y = 0 ⇒ x = y.

 Sea J = {a + bi | a, b ∈ Z, i 2 = −1} ⊂ C. Para cualesquiera a + bi, c + di ∈ J

se verifica

(a + bi) + (c + di) = (a + c) + (b + d)i ∈ J,

(a + bi)(c + di) = (ac − bd) + (ad + bc)i ∈ J,

0, 1 ∈ J,
−(a + bi) = (−a) + (−b)i ∈ J.

Como la suma y el producto de números complejos son asociativas y conmutativas y

verifican la distributividad, tenemos un anillo conmutativo (J, +, ·) que se llama anillo

de los enteros de Gauss.

 8. Enuncie de manera formal la definición de subanillo. Considere el anillo ℤ16 y

caracterice todos sus subanillos.

En matemáticas, un subanillo de un anillo (Unidad) A es una parte de A operaciones

estables A y que tiene una estructura de anillo con el mismo multiplicativo neutral que A

Se llama subanillo B de un anillo A a todo subconjunto B de A que sea un anillo respecto

de las operaciones de A.

Una parte B de un anillo ( A, +, *). se llama subanillo de A cuando:

 B es un subgrupo de A para la adición;

 B es estable para la multiplicación;

 El neutro multiplicativo A pertenece a B .

Para las restricciones de las operaciones de A, entonces B es en sí mismo un anillo, con

el mismo neutro multiplicativo.

ℤ16 = {0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15}
𝐴𝑑𝑖𝑡𝑖𝑣𝑜 (ℤ16 , +)

< 1 >= {1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,0} = ℤ12 < 2 >= {2,4,6,8,10,12,14,16,0} ≠ ℤ12

𝑒𝑠𝑡𝑒 𝑠𝑢𝑏𝑔𝑟𝑢𝑝𝑜 𝑐𝑜𝑛𝑡𝑖𝑒𝑛𝑒 12 𝑒𝑙𝑒𝑚𝑒𝑛𝑡𝑜𝑠 𝑒𝑠𝑡𝑒 𝑐𝑜𝑛𝑡𝑖𝑒𝑛𝑒 8 𝑒𝑙𝑒𝑚𝑒𝑛𝑡𝑜𝑠

11 = 1 21 = 2
12 = 1 + 1 = 2 22 = 2 + 2 = 4
13 = 12 + 1 = 2 + 1 = 3 23 = 22 + 2 = 4 + 2 = 6
14 = 13 + 1 = 4 24 = 23 + 2 = 8
15 = 14 + 1 = 5 25 = 24 + 2 = 10
16 = 15 + 1 = 6 26 = 25 + 2 = 12
17 = 16 + 1 = 7 27 = 26 + 2 = 14
18 = 17 + 1 = 8 28 = 27 + 2 = 16 = 0
19 = 18 + 1 = 9
110 = 19 + 1 = 10
111 = 110 + 1 = 11
112 = 111 + 1 = 12
113 = 112 + 1 = 13
113 = 112 + 1 = 14
114 = 113 + 1 = 15
115 = 114 + 1 = 16 = 0

elemento 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
orden 1 16 8 16 4 16 8 14 2 16 8 16 4 16 8 16
 Conclusión

La elaboración del trabajo contribuye al momento de realizar los elementos básicos de la

teoría de grupos y de anillos para la comprensión del álgebra abstracta, utilizando métodos y

técnicas que oriento al desarrollo de los ejemplos planteados durante el transcurso de la

actividad, despejando dudas e inquietudes de estos temas tan importante del algebra abstracta,

para luego emplearlos en nuestro diario vivir.

 Referencias

Castañeda Hernández, S. Gutiérrez García, I. & Robinson Evilla, J. (2022). Teoría de

grupos. 1.Universidad del Norte. https://elibro-

net.bibliotecavirtual.unad.edu.co/es/lc/unad/titulos/221701

Derek J.S. Robinson. (2015). Abstract Algebra : An Introduction with Applications: Vol.

2nd ed. De Gruyter.

http://bibliotecavirtual.unad.edu.co/login?url=http://search.ebscohost.com/login.aspx?direct=t

rue&db=nlebk&AN=1000456&lang=es&site=ehost-live

Lezama, O. Cuadernos de Álgebra.

http://ciencias.bogota.unal.edu.co/fileadmin/Facultad_de_Ciencias/

Publicaciones/Archivos_Libros/Libros_Matematicas/Cuadernos_algebra_vol1/CuadernosAlg

ebra_vol1_WEB.pdf

Nuñez, L. A. Boada, E. & Vargas, E. (2019). Álgebra abstracta. Universidad Abierta para

Adultos (UAPA). https://elibro-net.bibliotecavirtual.unad.edu.co/es/lc/unad/titulos/176651

P. B. Bhattacharya, S. K. Jain, & S. R. Nagpaul. (1994). Basic Abstract Algebra: Vol. 2nd

ed. Cambridge University Press.

https://bibliotecavirtual.unad.edu.co/login?url=https://search.ebscohost.com/login.aspx?direct

=true&db=nlebk&AN=511001&lang=es&site=eds-

live&scope=site&ebv=EB&ppid=pp_Cover