UNE - FAC

UNIVERSIDAD NACIONAL DE EDUCACIÓN

ENRIQUE GUZMÁN Y VALLE
“Alma Máter del Magisterio Nacional”
FACULTAD DE CIENCIAS
Departamento Académico de Matemática e Informática
CURSO: TÓPICOS DE ÁLGEBRA II
PPT N° 3

Sección: C4
Docente: Vicente Dávila Huamán

La Cantuta, abril de 2024

2024
UNE - FAC

Grupos finitos
Definición.- Se dice que un grupo (G, ∗) es finito, si el conjunto G tiene un número finito de elementos; en caso contrario se
dice que es un grupo infinito.

Orden de un grupo
Si un grupo (G, ∗) es finito y G tiene exactamente n elementos, entonces se dice que el orden de G es n y escribimos
│G│= n u ord (G) = n
Si G es infinito, escribimos │G│= .
Por ejemplo, para el grupo de Klein, │V│ = 4 u ord (V) = 4, y para el grupo aditivo (ℤ, +) │ℤ│= .
Propiedades básicas
Si (G, ⟙) es un grupo, entonces se cumplen las siguientes propiedades:
1) Leyes de cancelación.
i) Cancelación a izquierda: c ⟙ a = c ⟙ b  a = b. En efecto,
c ⟙ a = c ⟙ b  𝑐 −1 ⟙ (c ⟙ a) = 𝑐 −1 ⟙ (c ⟙ b)
 (𝑐 −1 ⟙ c) ⟙ a = (𝑐 −1 ⟙ c) ⟙ b
 e⟙a=e⟙b
 a=b

2024
UNE - FAC

ii) Cancelación a derecha: a ⟙ c = b ⟙ c  a = b. En efecto,

a ⟙ c = b ⟙ c  (a ⟙ c) ⟙ 𝑐 −1 = (b ⟙ c) ⟙ 𝑐 −1
 a ⟙ (c ⟙ 𝑐 −1) = b ⟙ (c ⟙ 𝑐 −1)
 a⟙e=b⟙e
 a=b
2) Unicidad del elemento neutro
El elemento neutro e  G, es único.
Demostración. Suponemos que en G existen dos elementos neutros 𝑒1 y 𝑒2 . Se demostrará que 𝒆𝟏= 𝒆𝟐.
𝑒2 = 𝑒2 ⟙ 𝑒1 (por ser 𝑒1 neutro de G)
= 𝑒1 (por ser 𝑒2 neutro de G)
Luego, 𝒆𝟏= 𝒆𝟐.
3) Unicidad de elementos inversos
El inverso 𝑎−1  G es único, para cada a  G.
Demostración. Supongamos que a′ y a″ son inversos de a. Se demostrará que a′ = a″.
Como  a  G, a ⟙ a′ = e, se tiene:
a″ = a″ ⟙ e = a″ ⟙ (a ⟙ a′) = (a″ ⟙ a) ⟙ a′ = e ⟙ a′ = a′
Por tanto, a′ = a″.

2024
UNE - FAC

4) El elemento neutro es su propio inverso, esto es, 𝒆−𝟏 = e.

Demostración. Si e es el elemento neutro de la operación ⟙ en G, entonces
x ⟙ e = e ⟙ x = x,  x  G
Si hacemos x = e resulta:
e ⟙ e = e ⟙ e = e  𝑒 −1 = e
Por tanto, el inverso de e es el mismo e; esto es, 𝒆−𝟏 = e.

5)  a  G, (𝑎−1 )−1 = a.
(𝑎−1 )−1 = (𝑎−1)−1 ⟙ e
= (𝑎−1 )−1 ⟙ (𝑎−1 ⟙ a)
= [(𝑎−1 )−1 ⟙ 𝑎−1] ⟙ a
=e⟙a
=a
Otra forma. Sea m  G el inverso de 𝑎−1. Entonces, m ⟙ 𝑎−1 = e; ya que  a  G, a ⟙ 𝑎−1 = e. Demostraremos que m = a.
En efecto,
m ⟙ 𝑎−1 = e  m ⟙ 𝑎−1 = a ⟙ 𝑎−1
 m=a (Por propiedad de cancelación en G)
Luego, como m es el inverso de 𝑎−1, entonces m = (𝑎−1 )−1. Por tanto, (𝑎−1)−1 = a.

2024
UNE - FAC

6)  a, b  G, (𝑎 ⟙ 𝑏)−1 = 𝑏 −1 ⟙ 𝑎−1.
Demostración.
(𝑎 ⟙ 𝑏)−1 = (𝑎 ⟙ 𝑏)−1 ⟙ e
= (𝑎 ⟙ 𝑏)−1 ⟙ (a ⟙ 𝑎−1)
= (𝑎 ⟙ 𝑏)−1 ⟙ [(a ⟙ e) ⟙ 𝑎−1]
= (𝑎 ⟙ 𝑏)−1 ⟙ [(a ⟙ (b ⟙ 𝑏−1)) ⟙ 𝑎−1]
= (𝑎 ⟙ 𝑏)−1 ⟙ [((a ⟙ b) ⟙ 𝑏−1) ⟙ 𝑎−1]
= (𝑎 ⟙ 𝑏)−1 ⟙ [(a ⟙ b) ⟙ (𝑏−1 ⟙ 𝑎−1)]
= [(𝑎 ⟙ 𝑏)−1 ⟙ (a ⟙ b)] ⟙ (𝑏−1 ⟙ 𝑎−1)
= e ⟙ (𝑏−1 ⟙ 𝑎−1)
= 𝑏−1 ⟙ 𝑎−1
7)  x1, x2, ⋯, xn  G, se cumple:
(x1 ⟙ x2 ⟙ ⋯ ⟙ xn)-1 = xn-1 ⟙ ⋯ ⟙ x2-1 ⟙ x1-1
Demostración. Por inducción en n.
i) Para n = 2:
(x1 ⟙ x2)-1 = x2-1 ⟙ x1-1, es verdadera por la propiedad 6.

2024
UNE - FAC

ii) Hipótesis inductiva. Para n = k, es válida la igualdad

(x1 ⟙ x2 ⟙ ⋯ ⟙ xk)-1 = xk-1 ⟙ ⋯ ⟙ x2-1 ⟙ x1-1
Demostraremos que también es válida la expresión, para n = k +1. Esto es,
(x1 ⟙ x2 ⟙ ⋯ ⟙ xk ⟙ xk+1)-1 = xk+1-1 ⟙ xk-1 ⟙ ⋯ ⟙ x2-1 ⟙ x1-1
En efecto,
(x1 ⟙ x2 ⟙ ⋯ ⟙ xk ⟙ xk+1)-1 = [(x1 ⟙ x2 ⟙ ⋯ ⟙ xk) ⟙ xk+1]-1
= xk+1-1 ⟙ (x1 ⟙ x2 ⟙ ⋯ ⟙ xk)-1
= xk+1-1 ⟙ xk-1 ⟙ ⋯ ⟙ x2-1 ⟙ x1-1 (por hipótesis inductiva)
Proposición.
(G, ∗) es un grupo abeliano si y solo sí (𝑎 ∗ 𝑏)−1 = 𝑎−1 ∗ 𝑏−1.
Demostración.
i) (G, ∗) es un grupo abeliano  (𝑎 ∗ 𝑏)−1 = 𝑎−1 ∗ 𝑏−1.
(𝑎 ∗ 𝑏)−1 = 𝑏−1 ∗ 𝑎−1 (Por propiedad 6)
= 𝑎−1 ∗ 𝑏−1 ( Por hipótesis)
ii) (𝑎 ∗ 𝑏)−1 = 𝑎−1 ∗ 𝑏−1 = 𝑎−1 ∗ 𝑏−1  (G, ∗) es un grupo abeliano.
Demostraremos que: x ∗ y = y ∗ x,  x, y  G. En efecto

2024
UNE - FAC

y ∗ x = (𝑦 −1 )−1 ∗ (𝑥 −1 )−1 (por propiedad 5)

= (𝑦 −1 ∗ 𝑥 −1 )−1 (por hipótesis)
= (𝑥 −1 )−1 ∗ (𝑦 −1 )−1 (por propiedad 6)
=x∗y (por propiedad 5)
Luego, x ∗ y = y ∗ x.

8) Si a ⟙ b = e, entonces b = 𝑎−1.
Demostración.
b=e⟙b
= (𝑎−1 ⟙ a) ⟙ b
= 𝑎−1 ⟙ (a ⟙ b)
= 𝑎−1 ⟙ e
= 𝑎−1
Notaciones y observaciones
Si x  G y n  ℕ, notamos:
𝑒 , 𝑠𝑖 𝑛 = 0
𝑥𝑛 = ቊ 𝑛−1
𝑥⟙𝑥 , 𝑒𝑛 𝑐𝑎𝑠𝑜 𝑐𝑜𝑛𝑡𝑟𝑎𝑟𝑖𝑜

2024
UNE - FAC

Dado 𝑥 𝑛 ⟙ (𝑥 −1 )𝑛 = 𝑥 𝑛 ⟙ (𝑥 𝑛 )−1 = e, entonces extendemos la notación a todo ℤ. Además, observe que 𝑥 𝑛 ⟙ 𝑥 𝑚 = 𝑥 𝑛+𝑚 ,
para todo n, m  ℤ, pero (𝑥 ⟙ 𝑦)𝑛 no es necesariamente igual a 𝑥 𝑛 ⟙ 𝑥 𝑚 ; como se observó en la propiedad 6.
9) Potencias enteras de a  G
 𝑎0 = e
 𝑎1 = a
 𝑎2 = a ⟙ a
 𝑎3 = a ⟙ 𝑎2
⋮
 𝑎𝑘 = a ⟙ 𝑎𝑘−1, con k  ℤ.
Nota. Para los casos siguientes, cambiamos el operador ⟙ por el operador ⋅.
10) 𝑎𝑚 · 𝑎𝑛 = 𝑎𝑚+𝑛 , m, n  ℤ.
En efecto,
𝑎𝑚+𝑛 = 𝑎𝑛+𝑚 = 𝑎−1(−𝑛−𝑚) = (𝑎−𝑛−𝑚 )−1 = (𝑎−𝑛+ −𝑚
)−1 = (𝑎−𝑛 ⋅ 𝑎−𝑚 )−1
= (𝑎−𝑚 )−1 ⋅ (𝑎−𝑛 )−1
= 𝑎𝑚 ⋅ 𝑎𝑛
11) 𝑎𝑚+1 = 𝑎𝑚 ⋅ a = a ⋅ 𝑎𝑚 , m  ℤ, m, n  ℤ.

2024
UNE - FAC

12) (𝑎𝑚 )𝑛 = 𝑎𝑚⋅𝑛 , m, n  ℤ.

13) 𝑎−𝑛 = (𝑎−1)𝑛 = (𝑎𝑛 )−1, n  ℤ.

Ejemplo 1. Si (G, ∗) es un grupo abeliano, entonces demostrar que

(𝑎 ∗ 𝑏)𝑛 = 𝑎𝑛 ∗ 𝑏𝑛 ,  a, b  G, n  ℕ
Demostración. Por inducción en n.
i. Para n = 1.
(a ∗ b)1 = a ∗ b = a1 ∗ b1. Es verdadero.
ii. Hipótesis inductiva. Hacemos válido para n = k, esto es
(a ∗ b)k = ak ∗ bk
Demostraremos que para n = k + 1, también es válida la expresión
(a ∗ b)k+1 = ak+1 ∗ bk+1
En efecto,
(a ∗ b)k+1 = (a ∗ b)k ∗ (a ∗ b) (Por propiedad 11)
= (ak ∗ bk) ∗ (a ∗ b) (Por hipótesis inductiva)
= ak ∗ (bk ∗ a) ∗ b (Por ser la operación ∗ asociativa)
= ak ∗ (a ∗ bk) ∗ b (Por ser G abeliano)
= (ak ∗ a) ∗ (bk ∗ b) (Por ser la operación ∗ asociativa)
= ak+1 ∗ bk+1 (Por propiedad 11)
Por tanto, (𝑎 ∗ 𝑏)𝑛 = 𝑎𝑛 ∗ 𝑏𝑛 ,  a, b  G, n  ℕ

2024
UNE - FAC
Proposición.
Si (G, ⧣) es un grupo tal que 𝑥 2 = e,  x  G, demostrar que G es conmutativo.
Demostración. Se demostrará que: x ⧣ y = y ⧣ x,  x, y  G.
De la hipótesis: 𝑥 2 = e  x ⧣ x = e. Luego,
x ⧣ y = (x ⧣ y) ⧣ e
= (x ⧣ y) ⧣ (𝑦 ⧣ 𝑥)2
= (x ⧣ y) ⧣ [(y ⧣ x) ⧣ (y ⧣ x)]
= [(x ⧣ y) ⧣ (y ⧣ x)] ⧣ (y ⧣ x)
= [x ⧣ (y ⧣ y) ⧣ x] ⧣ (y ⧣ x)
= (x ⧣ e ⧣ x) ⧣ (y ⧣ x)
= (x ⧣ x) ⧣ (y ⧣ x)
= e ⧣ (y ⧣ x)
=y⧣x
Por tanto, el grupo (G, ⧣) es conmutativo o abeliano.

Ejemplo 2. Sea (A, ∗) un grupo y la operación interna ⧣ definida en A por

a ⧣ b = b ∗ a,  a, b  A.
Demostrar que (A, ⧣) también es un grupo.
Demostración. Por las condiciones de grupo, la operación ⧣ debe cumplir:

2024
UNE - FAC

i) Propiedad asociativa:  a, b, c  A, (a ⧣ b) ⧣ c = a ⧣ (b ⧣ c)
(a ⧣ b) ⧣ c = c ∗ (a ⧣ b) (definición de operación ⧣)
= c ∗ (b ∗ a) (definición de operación ⧣)
= (c ∗ b) ∗ a (por ser (A, ∗) un grupo)
= a ⧣ (c ∗ b) (definición de operación ⧣)
= a ⧣ (b ⧣ a) (definición de operación ⧣)
Luego, la operación ⧣ es asociativa en A.
ii) Existencia de elemento neutro:  e  A / a ⧣ e = e ⧣ a = a,  a  A.
a⧣e=e∗a=a=a∗e=e⧣a  a⧣e=e⧣a=a
iii) Existencia de elementos inversos:  a  A,  𝑎−1  A / a ⧣ 𝑎−1 = 𝑎−1 ⧣ a = e
a ⧣ 𝑎−1 = 𝑎−1 ∗ a = e = a ∗ 𝑎−1 = 𝑎−1 ⧣ a  a ⧣ 𝑎−1 = 𝑎−1 ⧣ a = e
Por tanto, (A, ⧣) es un grupo.
Ejemplo 3. Demuestre que el par (ℤ6 , ⊕), donde ℤ6 es el conjunto de enteros residuales módulo seis y ⊕ la operación interna
definida en ℤ6 , es un grupo abeliano.
Solución. Construimos la tabla para la operación ⊕ en ℤ6 = 0, 1, 2, 3, 4, 5, donde 0, 1, 2, 3, 4 y 5 son los representantes de
la clases de equivalencia [0], [1], [2], [3], [4] y [5], respectivamente.

2024
UNE - FAC

Por las condiciones de grupo abeliano, la operación ⊕ debe cumplir:

i) La operación ⊕ es asociativa. En efecto, para algunos casos tenemos:
 (3 ⊕ 5) ⊕ 2 = 2 ⊕ 2 = 4 y 3 + ⊕ (5 ⊕ 2) = 3 ⊕ 1 = 4
Luego, (3 ⊕ 5) ⊕ 2 = 3 + ⊕ (5 ⊕ 2).
 (4 ⊕ 2) ⊕ 1 = 0 ⊕ 1 = 1 y 4 + ⊕ (2 ⊕ 1) = 4 ⊕ 3 = 1
Esto es, (4 ⊕ 2) ⊕ 1 = 4 + ⊕ (2 ⊕ 1) = 4 ⊕ 3. Etc.
ii) Existencia de elemento neutro. De la tabla se observa que:  e  ℤ6 tal que e = 0
iii) Existencia de inversos. Siendo e = 0, el elemento neutro de la operación ⊕, en la tabla se observa que:
0−1 = 0, 1−1 = 5, 2−1 = 4, 3−1 = 3, 4−1 = 2 y 5−1 = 1.
Esto es, todo elemento de ℤ6 es invertible respecto de la operación ⊕.

2024
UNE - FAC

iv) La operación ⊕ es conmutativa. En efecto, en la tabla se observa que sus elementos son simétricos respecto de la
diagonal principal.
Por tanto, (ℤ𝟔 , ⊕) es un grupo abeliano o conmutativo.
Nota. En general, (ℤ𝒏 , ⊕), n  2, es un grupo abeliano.
Ejemplo 4. (ℤ5 , ⊗) no es un grupo. En efecto, observando la tabla de la operación ⊗ definida en ℤ5 = 0, 1, 2, 3, 4

vemos que existe elemento neutro e = 1, pero 0 no es invertible. En

cambio, si hacemos ℤ∗5 = ℤ5 – {0} = 1, 2, 3, 4 la tabla anterior
sería

2024
UNE - FAC

y (ℤ5∗ , ⊗) es un grupo. En efecto, por las condiciones de grupo la operación ⊗ se cumple:

i) La operación ⊗ es asociativa en ℤ∗5 . Para algunos casos, tenemos:
 (2 ⊗ 4) ⊗ 3 = 3 ⊗ 3 = 4 y 2 ⊗ (4 ⊗ 3) = 2 ⊗ 2 = 4
Luego, (2 ⊗ 4) ⊗ 3 = 2 ⊗ (4 ⊗ 3).
 (3 ⊗ 4) ⊗ 4 = 2 ⊗ 4 = 3 y 3 ⊗ (4 ⊗ 4) = 3 ⊗ 1 = 3
Entonces, (3 ⊗ 4) ⊗ 4 = 3 ⊗ (4 ⊗ 4). Etc.
ii) Existencia de elemento neutro. En la tabla se observa que e = 1, es elemento neutro de la operación ⊗.
iii) Existencia de inversos. Siendo e = 1, el elemento neutro de la operación ⊗, en la tabla se observa que:
1−1 = 1, 2−1 = 3; 3−1 = 2 y 4−1 = 4.
Es decir, todo elemento de ℤ∗5 , admite inverso respecto de la operación ⊗.
Por tanto, (ℤ∗𝟓 , ⊗) es un grupo. ¿Es conmutativo?
Nota. En general, (ℤ∗𝒑 , ⊗) es un grupo sí y solo sí p es un número primo.

Ejemplo 5. En el conjunto de los números reales ℝ se define la operación ∗ mediante

3
x∗y= 𝑥 3 + 𝑦3 .
Demostrar que (ℝ, ∗) es un grupo abeliano.

2024
UNE - FAC

Demostración. Por las condiciones de grupo abeliano, la operación ∗ cumple:

i) Asociatividad. (a ∗ b) ∗ c = a ∗ (b ∗ c),  a, b, c  ℝ.

3
3
3 3
(a ∗ b) ∗ c = (𝑎 ∗ 𝑏)3 +𝑐 3 = ( 𝑎3 + 𝑏 3 ) +𝑐 3
3 3
= 𝑎3 + 𝑏3 + 𝑐 3 = 𝑎3 + (𝑏3 + 𝑐 3 )

3
3 3
= 𝑎3 + ( 𝑏3 + 𝑐 3 )

3
= 𝑎3 + (𝑏 ∗ 𝑐)3
= a ∗ (b ∗ c)

ii) Existencia de elemento neutro.  e  ℝ /  a  ℝ, a ∗ e = e ∗ a = a.

3
a∗e=a  𝑎3 + 𝑒 3 = a  𝑎3 + 𝑒 3 = 𝑎3  𝑒 3 = 0  e = 0.
3 3 3
e∗a= 𝑒 3 + 𝑎3 = 03 + 𝑎 3 = 𝑎3 = a  e ∗ a = a.
Luego, el elemento neutro o identidad de la operación ∗ es e = 0.

iii) Existencia de elementos inversos.  a  ℝ,  𝑎−1  ℝ / a ∗ 𝑎−1 = 𝑎−1 ∗ a = e.

2024
UNE - FAC

 a ∗ 𝑎−1 = e  𝑎3 + (𝑎−1 )3 = 0  𝑎3 + (𝑎−1)3 = 0

3

3
 (𝑎−1 )3 = – 𝑎3  𝑎−1 = −𝑎3
 𝑎−1 = – a
3
 𝑎−1 ∗ a =
3 3
(𝑎−1 )3 +𝑎3 = (−𝑎)3 +𝑎3 = −𝑎3 + 𝑎3 = 0 = e.
Luego, 𝑎−1 ∗ a = e.
Esto es, para cualquier a  ℝ, su elemento inverso es 𝒂−𝟏 = – a.
iv) Conmutatividad. a ∗ b = b ∗ a,  a, b,  ℝ.
3 3
a∗b= 𝑎3 + 𝑏3 = 𝑏3 + 𝑎3 = b ∗ a

Por tanto, el grupo (ℝ, ∗) es conmutativo o abeliano.

Orden de los elementos de un grupo

Definición.- Diremos que un elemento de un grupo x  G tiene orden finito, si existe un entero positivo n  0 tal que 𝑥 𝑛 = e.
En este caso el orden de x, que se denota 𝑜𝑟𝑑(x), es el menor entero positivo que cumple esta propiedad.
Esto es, el orden de un elemento de un grupo (G, ∗) es el menor número entero positivo n que verifica
𝒂 ∗ 𝒂 ∗ 𝒂 ∗ . . . ∗ 𝒂 = e  𝒂𝒏 = e
𝒏 𝒗𝒆𝒄𝒆𝒔 𝒂

2024
UNE - FAC

Ejemplo 6. Sea el grupo (A, ·) con A = 1, –1, i, – i, donde i es la

unidad imaginaria, y la operación habitual de multiplicación
definida en la siguiente tabla:

Hallar el orden de − 1, i y – i.
Solución. Vemos que el orden de A es 4, ya que tiene 4 elementos. Por otro lado, e = 1. Luego,
 𝑶𝒓𝒅𝒆𝒏 𝒅𝒆 − 𝟏.
(−1)1 = −1
(−1)2 = (−1) · (−1) = 1 = e  (−1)2 = e
Luego, (−1)2 = 𝑒  ord (−𝟏) = 2.
 Orden de i.
𝑖1 = 𝑖
𝑖 2 = −1
𝑖 3 = 𝑖 2 ∙ 𝑖 = −1 ∙ 𝑖 = −𝑖
𝑖 4 = 𝑖 2 ∙ 𝑖 2 = −1 ∙ −1 = 1 = 𝑒
Luego, 𝑖 4 = 𝑒  ord (𝒊) = 4.

2024
UNE - FAC

 Orden de −𝒊.
(−𝑖)1 = −𝑖
(−𝑖)2 = 𝑖 2 = −1
(−𝑖)3 = (−𝑖)2 ∙ −𝑖 = −1 −𝑖 = 𝑖
(−𝑖)4 = (−𝑖)2 ∙ −𝑖 2
= −1 ∙ −1 = 1 = 𝑒
Por tanto, (−𝑖)4 = 𝑒  ord −𝒊 = 𝟒.

Ejemplo 7. Sea el grupo aditivo de los enteros residuales módulo 6, (ℤ6, ⨁). Hallar el orden de los elementos de ℤ6 .
Solución. Como el grupo es aditivo, el neutro e = 0. Luego, hallamos el orden de los elementos del grupo (ℤ6, ⨁), donde
ℤ6 = 0, 1, 2, 3, 4, 5. En efecto,
⟠ ord (0): 01 = 0 = e. Luego, 01 = e  ord (0) = ord (e) = 1.
Nota: En cualquier grupo, el elemento neutro es el único que tiene orden 1.
⟠ ord (1): 11 = 1, 12 = 1 + 1 = 2; 13 = 1 + 1 + 1 = 3, 14 = 1 + 1 + 1 + 1 = 4, 15 = 1 + 1 + 1 + 1 + 1 = 5,
16 = 1 + 1 + 1 + 1 + 1 + 1 = 0 = e. Luego, 16 = 𝑒  ord (1) = 6.
⟠ ord (2): 21 = 2, 22 = 2 + 2 = 4, 23 = 2 + 2 + 2 = 0 = e. Luego, 23 = 𝑒  ord (2) = 3.

⟠ ord (3): 31 = 3, 32 = 3 + 3 = 0 = e. Entonces, 32 = 𝑒  ord (3) = 2.

2024
UNE - FAC

⟠ ord (4): 41 = 4, 42 = 4 + 4 = 2, 43 = 4 + 4 + 4 = 0 = e. Luego, 43 = 𝑒  ord (4) = 3.

⟠ ord (5): 51 = 5, 52 = 5 + 5 = 4, 53 = 5 + 5 + 5 = 3, 54 = 5 + 5 + 5 + 5 = 2, 55 = 5 + 5 + 5 + 5 + 5 = 1,
56 = 5 + 5 + 5 + 5 + 5 + 5 = 0 = e. Luego, 56 = 𝑒  ord (5) = 6.

Observación. En el grupo (ℤ6, ⨁), tenemos que un elemento y su inverso tienen el mismo orden. Así:
 El inverso de 1 es 1−1 = 5. Ord (1) = ord (5) = 6.
 El inverso de 2 es 2−1 = 4. Ord (2) = ord (4) = 3.
 El inverso de 3 es 3−1 = 3. Ord (3) = 2.

2024
UNE - FAC

Ejercicios propuestos
1. Sea el conjunto de funciones reales de variable real F = f, g, h cuyas reglas de correspondencia son
1 𝑥−1
f (x) = , g (x) = , h (x) = x
1−𝑥 𝑥
y la operación composición de funciones definida por
(f ∘ g) (x) = f [g (x)].
a) Completar la tabla para la operación composición

b) Considerando que la composición de funciones es asociativa, determina si (F, ∘) es un grupo.

2. Sea (B, ∗), donde B = a, b, c, d, y la

operación ∗ definida de acuerdo a la siguiente
tabla:

¿(B, ∗) es un grupo? Justifique su respuesta.

2024
UNE - FAC

3. Sea el conjunto A = 𝑎𝑚 / m  ℤ y la operación interna ∗ definida por

𝑎𝑥 ∗ 𝑎𝑦 = 𝑎𝑥 + 𝑦,  𝑎𝑥, 𝑎𝑦  A
Determinar si (A, ∗) tiene estructura de grupo.

4. Determinar si el conjunto G = x +  / x  ℝ y la operación ⧣ definida por

a ⧣ b = a + b – ,  a, b  G
es un grupo abeliano.

2024