Tarea 1 Contextualización.

Elaborado por:

Andrés Felipe Betancur Galvis

Presentado a: Jorge Fernando Vargas

Grupo: 511013_19

Algebra Abstracta

Universidad Nacional Abierta y a Distancia UNAD

Escuela de Ciencias de la Educación – ECEDU
23 de Febrero del 2023
 1. Enuncie de manera formal la definición de una estructura de
grupo. Presente tres estructuras de grupos y demuestre que lo
son.

Se define estructura de grupo a un conjunto que posee una operación binaria

y se cumplen tres propiedades: asociación, elemento neutro y elemento
inverso.
ℤ = {… − 3, −2, −1,0,1,2,3 … }
Demostrar que (ℤ, +) es un grupo

• 𝑥 + (𝑦 + 𝑧) = (𝑥 + 𝑦) + 𝑧 ∈ ℤ
−9 + (3 + 2) = (−9 + 3) + 2
−9 + 5 = −6 + 2
−4 = −4
−4 ∈ ℤ

• 𝑥+𝑒 = 𝑥
𝑒=𝑥−𝑥=0∈ℤ

• 𝑥 + 𝑥´ = 0
𝑥´ = −𝑥 ∈ ℤ

𝑎𝑏
Sea * la operación binaria definida en ℚ+ como 𝑎 ∗ 𝑏 = demostrar que
3
(ℚ+ ,∗) es un grupo.

• Sean 𝑎, 𝑏, 𝑐 ∈ ℚ+, entonces

𝑎𝑏
𝑎𝑏 ( 3 )𝑐 𝑎𝑏𝑐
(𝑎 ∗ 𝑏) ∗ 𝑐 = ( ) = 𝑐 = =
3 3 9
𝑏𝑐
𝑏𝑐 𝑎( ) 𝑎𝑏𝑐
3
𝑎 ∗ (𝑏 ∗ 𝑐 ) = 𝑎 ∗ ( ) = 𝑐 = =
3 3 9

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

• El elemento neutro para ∗ 𝑒𝑠 𝑒 = 3, 𝑝𝑢𝑒𝑠

𝑎3 3𝑎
∀𝑎 ∈ ℚ+ : 𝑎 ∗ 3 = =𝑎 𝑦 3∗𝑎 = =𝑎
3 3
 9 9
9 𝑎(𝑎) 9 (𝑎)𝑎
• ∀𝑎 ∈ ℚ+ : 𝑎 ∗ 𝑎 = 𝑦 ∗𝑎 = =3
3 𝑎 3
9
𝑑𝑒 𝑚𝑜𝑑𝑜 𝑞𝑢𝑒 𝑒𝑙 𝑒𝑙𝑒𝑚𝑒𝑛𝑡𝑜 𝑎´, 𝑖𝑛𝑣𝑒𝑟𝑠𝑜 𝑑𝑒 𝑎 𝑒𝑠 𝑎´ = 𝑎

- Si (𝐺,∗)𝑒𝑠 𝑢𝑛 𝑔𝑟𝑢𝑝𝑜, 𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 ∀𝑎, 𝑏, 𝑐 ∈ 𝐺: 𝑎 ∗ 𝑏 = 𝑎 ∗ 𝑐 → 𝑏 = 𝑐

Sean 𝑎, 𝑏, 𝑐 ∈ 𝐺 𝑡𝑎𝑙𝑒𝑠 𝑞𝑢𝑒 𝑎 ∗ 𝑏 = 𝑎 ∗ 𝑐
𝑒𝑛𝑡𝑜𝑛𝑐𝑒𝑠 𝑝𝑜𝑟 𝑒𝑙 𝑎𝑥𝑖𝑜𝑚𝑎 𝐺3 𝑒𝑥𝑖𝑠𝑡𝑒 𝑒𝑙 𝑒𝑙𝑒𝑚𝑒𝑛𝑡𝑜 𝑎´ ∈ 𝐺 𝑑𝑒 𝑚𝑜𝑑𝑜 𝑞𝑢𝑒
𝑎´ ∗ (𝑎 ∗ 𝑏) = 𝑎´ ∗ (𝑎 ∗ 𝑐).
𝑃𝑜𝑟 𝑙𝑎 𝑝𝑟𝑜𝑝𝑖𝑒𝑑𝑎𝑑 𝑎𝑠𝑜𝑐𝑖𝑎𝑡𝑖𝑣𝑎 𝑠𝑒 𝑜𝑏𝑡𝑖𝑒𝑛𝑒 (𝑎´ ∗ 𝑎) ∗ 𝑏 = (𝑎´ ∗ 𝑎) ∗ 𝑐
𝑦 𝑎𝑠𝑖 𝑒 ∗ 𝑏 = 𝑒 ∗ 𝑐, 𝑑𝑒 𝑑𝑜𝑛𝑑𝑒 𝑏 = 𝑐.

2. Enuncie de manera formal la definición de subgrupo. Considere

el grupo ℤ12 y caracterice todos los subgrupos.

Es un subconjunto, no vacío, de un grupo que cumple con las propiedades de

grupo bajo su misma operación.
Caracterización de todos los subgrupos del grupo ℤ12

+ 0 1 2 3 4 5 6 7 8 9 10 11
0 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
2 2 3 4 5 6 7 8 9 10 11 0 1
3 3 4 5 6 7 8 9 10 11 0 1 2
4 4 5 6 7 8 9 10 11 0 1 2 3
5 5 6 7 8 9 10 11 0 1 2 3 4
6 6 7 8 9 10 11 0 1 2 3 4 5
7 7 8 9 10 11 0 1 2 3 4 5 6
8 8 9 10 11 0 1 2 3 4 5 6 7
9 9 10 11 0 1 2 3 4 5 6 7 8
10 10 11 0 1 2 3 4 5 6 7 8 9
11 11 0 1 2 3 4 5 6 7 8 9 10
 3. Enuncie de manera formal la definición de subgrupo normal. Así
mismo, elige un grupo cualquiera y caracterice sus subgrupos
normales.

Un subgrupo normal es un subgrupo que es invariante bajo la conjugación de

miembros del grupo del que forma parte.
Ejemplo
Sea 𝐺 un grupo abeliano. Todo subgrupo 𝐻 de 𝐺 es un subgrupo normal. Como
𝑔ℎ = ℎ𝑔 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑔 ∈ 𝐺 𝑦 ℎ ∈ 𝐻, 𝑠𝑖𝑒𝑚𝑝𝑟𝑒 𝑠𝑒 𝑐𝑢𝑚𝑝𝑙𝑒 𝑞𝑢𝑒 𝑔𝐻 = 𝐻𝑔

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 ℤ.

Sea 𝐺 un grupo y sea 𝑎 un elemento cualquiera de 𝐺. 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 𝑎. Si G es un grupo con notación aditiva escribimos

〈𝑎〉 = {𝑛 ∗ 𝑎|𝑛 𝜖 𝑍} = {… , −3 ∗ 𝑎, −2 ∗ 𝑎 , −𝑎, 0, 𝑎, 2 ∗ 𝑎 ,3 ∗ 𝑎, … }

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

coincida con todo el grupo: 〈𝑎〉 = 𝐺.

• Todo grupo cíclico es abeliano

• Todo subgrupo de un grupo cíclico es cíclico

 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.

En álgebra, un homomorfismo de grupos es una función entre grupos que

preserva la operación binaria.

Se dice que una aplicación entre dos anillos ϕ: A → B es un homomorfismo si

se cumplen las siguientes condiciones: 1) se preservan las sumas:ϕ(x + y) =
ϕ(x) + ϕ(y) para cualesquiera 𝑥, 𝑦 ∈ 𝐴; 2) se preserva la identidad: ϕ(1A) = 1B;
3) se preservan los productos: ϕ(x y) = ϕ(x)ϕ(y) para cualesquiera 𝑥, 𝑦 ∈ 𝐴.

Ejemplos de homomorfismo de grupo

• Sea 𝐺 un grupo y 𝑔 ∈ 𝐺. Defina la función ϕ: ℤ → G como 𝜙(𝑛) = 𝑔𝑛
Entonces ϕ es un homomorfismo de grupo, pues
𝜙(𝑚 + 𝑛) = 𝑔𝑚+𝑛 = 𝑔𝑚 𝑔𝑛 = 𝜙(𝑚)𝜙(𝑛)
Este homomorfismo envía ℤ en el subgrupo cíclico de 𝐺 generado por
𝑔.

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

𝑎𝑏
𝐴=( )
𝑐𝑑
Está en 𝐺, entonces el determinante es distinto de cero; es decir,
det(𝐴) = 𝑎𝑑 − 𝑏𝑐 ≠ 0. Además, para dos elementos 𝐴 𝑦 𝐵 𝑒𝑛 𝐺, det(𝐴𝐵) =
det(𝐴) det(𝐵). Usando el determinante, podemos definir un
homomorfismo 𝜙: 𝐺𝐿2 (ℝ) → ℝ∗ 𝑐𝑜𝑚𝑜 𝐴 ↦ det(𝐴)

• Sea 𝑓(ℝ+ ) → ℝ, definida por 𝑓(𝑥) = ln(𝑥) donde ln denota el logaritmo

natural. Demostrar que 𝑓 es un homomorfismo entre los grupos (ℝ+ ,∙
) 𝑦 (ℝ, +)

Para todo 𝑎, 𝑏 ∈ ℝ+ se cumple que:

𝑓(𝑎 ∙ 𝑏) = ln(𝑎 ∙ 𝑏) = ln(𝑎) + ln(𝑏) = 𝑓(𝑎) + 𝑓(𝑏)
Por lo tanto, se concluye que 𝑓 es un homomorfismo de grupo.
Ejemplo de homomorfismo de anillo
• Para todo anillo 𝐴 existe un único homomorfismo 𝐴 → 0 al anillo nulo
• Si 𝐴 ⊆ 𝐵 es un subanillo, entonces la inclusión 𝚤: 𝐴, → 𝐵 es un
homomorfismo.
• Sean 𝐴 un dominio y 𝑓𝑟𝑎𝑐 𝐴 su cuerpo de fracciones. Aunque antes
estábamos identificando 𝐴 con el subanillo de 𝑓𝑟𝑎𝑐 𝐴 formado por las
𝑎
fracciones 1, sería más correcto decir que se trata de un
homomorfismo inyectivo
𝑎
𝚤: 𝐴, → 𝑓𝑟𝑎𝑐 𝐴, 𝑎↦
1

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.
El núcleo de un homomorfismo es el subespacio del espacio inicial formado por
todos aquellos vectores del espacio que se transforman en el vector nulo. En
un homomorfismo f entre dos espacios U y V, se suele denotar al núcleo como
ker(f). Ker es una abreviatura de la palabra alemana kernel, que significa
núcleo.

La imagen de un homomorfismo es el subespacio del espacio final formado por

todos aquellos vectores que son transformados de otro vector. En un
homomorfismo f, entre dos espacios U y V, se suele denotar la imagen como
Im(f)

Ejemplos

1. Por la definición, el grupo alternante es el núcleo del homomorfismo de

signo:

𝑠𝑔𝑛
𝐴𝑛 ≔ ker (𝑆𝑛 {±1})
→
 2. Por definición, el grupo 𝑆𝑙𝑛 (𝑅) es el núcleo del homomorfismo del

determinante sobre 𝐺𝑙𝑛 (𝑅):

𝑠𝑔𝑛 𝑥
𝑆𝑙𝑛 (𝑅) ≔ ker (𝐺𝑙𝑛 (𝑅) 𝑅 )
→

3. Para la exponente compleja

𝑒𝑝𝑥: 𝐶 → 𝐶 𝑥 , 𝑧 → 𝑒𝑧

Se tiene

ker(𝑒𝑥𝑝: 𝐶 → 𝐶 𝑥 ) = 2𝜋√−1𝑍 = {2𝜋𝑛√−1|𝑛 𝜖 𝑍} ⊂ 𝐶

Por esto en el caso complejo, el logaritmo es más sutil: la exponencial

toma el mismo valor en 𝑧 + 2𝜋𝑛√−1 para todo 𝑛 𝜖 𝑍, lo que impide

definir una función inversa log 𝐶 → 𝐶 𝑥 ,

Imagen de un homomorfismo: Sea 𝑓: ( 𝐴,∗, 𝑒) →

(𝐵, 𝛥, 𝑘) 𝑢𝑛 ℎ𝑜𝑚𝑜𝑟𝑓𝑖𝑠𝑚𝑜 𝑑𝑒 𝐴 𝑒𝑛 𝐵, donde e y k son los respectivos elementos

identidad. El conjunto de imágenes de la función f se llama imagen del

homomorfismo f y se simboliza por lm(f). Así:

 𝑙𝑚(𝑓) ≔ {𝑓(𝑥)|𝑥 𝜖 𝐴}

Ejemplos:

4. Toda permutación 𝜎 𝜖 𝑆𝑛 puede ser extendida a una permutación de {1,

. . . , n, n + 1} poniendo

𝜎(𝑛 + 1) ≔ 𝑛 + 1

Esto define un monomorfismo

𝑆𝑛 → 𝑆𝑛+1

De este modo Sn se identifica con un subgrupo de Sn+1. En este sentido,

tenemos una cadena de subgrupos

S1 ⊂ S2 ⊂ S3 ⊂ S4 ⊂ S5 ⊂ · · ·

Y podemos considerar su unión

∪
𝑆∞ ≔ 𝑆
𝑛≥1 𝑛

Este grupo permuta los elementos de {1, 2, 3, . . .}, pero para cada 𝜎 𝜖 𝑆𝑛

tenemos 𝜎(𝑖) = 𝑖 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝑖, excepto un número finito.

5. A una matriz invertible 𝐴 𝜖 𝐺𝐿𝑛 (𝑅) podemos asociar una matriz

𝐴 0
invertible ( ) 𝜖 𝐺𝐿𝑛+1 (𝑅) poniendo 1 en la entrada (n + 1, n + 1). En
0 1

este sentido se obtiene una cadena de subgrupos

GL1 (R) ⊂ GL2 (R) ⊂ GL3 (R) ⊂ GL4 (R) ⊂ · · ·

Luego, se obtiene un grupo

 ∪
𝐺𝐿∞ (𝑅) ≔ 𝐺𝐿 (𝑅)
𝑛≥1 𝑛

Este consiste en matrices infinitas, pero cada una de ellas afecta solamente

la parte finita de R × R × R × · · · y deja el resto intacto.

6. Sea 𝐺 un grupo y 𝑔 𝜖 𝐺. Defina una función 𝜙: 𝑍 → 𝐺 como 𝜙(𝑛) = 𝑔𝑛 .

Entonces 𝜙 es un homomorfismo de grupos, pues

𝜙(𝑚 + 𝑛) = 𝑔𝑚+𝑛 = 𝑔𝑚 𝑔𝑛 = 𝜙(𝑚)𝜙(𝑛)

Este homomorfismo envía a Z en el subgrupo cíclico de G generado por

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

Presente tres estructuras de Anillos y demuestre que lo son.
Se define el anillo como una estructura algebraica constituida por un
conjunto y dos leyes de composición interna, que se denominan ley aditiva y
ley multiplicativa, cumpliendo las siguientes condiciones:
a) La ley aditiva confiere al conjunto estructura de grupo abeliano.
b) La ley multiplicativa confiere al conjunto estructura de semigrupo.
c) La ley multiplicativa es distributiva, a ambos lados, con respecto a la ley
aditiva.
Ejemplos.
1. Sea A dominio de integridad, entonces si a = 0 y ax = ay se verifca 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.

2. 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.

8. Enuncie de manera formal la definición de subanillo. Considere

el anillo ℤ16 y caracterice todos sus subanillos.

Se dice que una parte B de un anillo A es un subanillo de A si tiene

estructura de anillo con respecto a las mismas leyes internas que confieren
estructura de anillo a A.

Es decir, (A, +, . ) anillo → (B, +, . ) anillo, por lo cual ha de cumplirse que:

1) (B, +) es subgrupo de(A, +).

2) B es parte estable de A para la ley multiplicativa. Recíprocamente, si se

verifican ambas condiciones, ello es suficiente para que B sea subanillo de A.

Dado (A, +, *, 1) un anillo y ∅ ≠ 𝑆 ⊆ 𝐴, se dice que S es subanillo de A si (S,

+, *, 1) tiene estructura de anillo. Un subanillo S de A tal que 𝑆 ≠ 𝐴 se

denomina subanillo propio de A.

Es fácil comprender de A es un subanillo de A si, y solo si, 1 𝜖 S y para

cualesquiera a, b 𝜖 S, se cumple que a-b y ab 𝜖 S. El anillo A tiene como

subanillo trivial a A.
 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?dire

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

Lezama, O. Cuadernos de

Álgebra. http://ciencias.bogota.unal.edu.co/fileadmin/Facultadde_Ciencias/ Publicacione

s/ArchivosLibros/LibrosMatematicas/Cuadernos_algebra_vol1/CuadernosAlgebra_vollW

EB.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