Licenciatura en Matemáticas

Asignatura: Algebra Moderna 1

Unidad 1.- Grupos y Subgrupos

Actividad 2.-Grupos

Alumna: Elda Josefina Vázquez Calderón

Grupo: MT-MAMD1-2301-B2-001

Docente: Lic. Miguel Ángel Márquez Hidalgo

 Actividad 2. Grupos.

1.- Sean E y F dos conjuntos,𝜑: 𝐸 → 𝐹 𝑢𝑛𝑎 𝑓𝑢𝑛𝑐𝑖𝑜𝑛, 𝑅 𝑢𝑛𝑎 𝑟𝑒𝑙𝑎𝑐𝑖𝑜𝑛 𝑑𝑒 𝑒𝑞𝑢𝑖𝑣𝑎𝑙𝑒𝑛𝑐𝑖𝑎 𝑒𝑛 𝐹. 𝐷𝑒𝑚𝑜𝑠𝑡𝑟𝑎𝑟 𝑞𝑢𝑒
𝑙𝑎 𝑟𝑒𝑙𝑎𝑐𝑖𝑜𝑛 𝑆 d𝑒𝑓𝑖𝑛𝑖𝑑𝑎 𝑒𝑛 𝐸 𝑐𝑜𝑚𝑜 𝑥𝑆𝑦 ↔ 𝜑(𝑥)𝑅𝜑(𝑦)𝑒𝑠 𝑢𝑛𝑎 𝑟𝑒𝑙𝑎𝑐𝑖𝑜𝑛 𝑑𝑒 𝑞𝑢𝑖𝑣𝑎𝑙𝑒𝑛𝑐𝑖𝑎. 𝐴𝑑𝑒𝑚𝑎𝑠,
𝐸
𝑠𝑖 𝐴 = 𝜑(𝐸), 𝑠𝑒𝑎 𝑅𝐴 𝑙𝑎 𝑟𝑒𝑙𝑎𝑐𝑖𝑜𝑛 𝑅 𝑟𝑒𝑠𝑡𝑟𝑖𝑛𝑔𝑖𝑑𝑎 𝑎 𝐴. 𝐸𝑛𝑐𝑢𝑒𝑛𝑡𝑟𝑒 𝑢𝑛𝑎 𝑏𝑖𝑦𝑒𝑐𝑐𝑖𝑜𝑛 𝑒𝑛 𝑦 𝐴/𝑅𝐴
𝑆

Para demostrar que la relación S definida en E como xSy ↔ φ(x)Rφ(y) es una relación de
equivalencia, debemos verificar que cumple con las tres propiedades siguientes:

Reflexividad: Para todo x ∈ E, xSx.

Simetría: Para todo x, y ∈ E, si xSy, entonces y Sx.

Transitividad: Para todo x, y, z ∈ E, si xSy y ySz, entonces xSz.

Reflexividad: Sea x ∈ E. Entonces, por la propiedad reflexiva de R en F, φ(x)Rφ(x). Por lo tanto, xSx.

Simetría: Sean x, y ∈ E cuentos que xSy. Entonces, por la definición de S, φ(x)Rφ(y). Pero como R es
una relación de equivalencia, también tenemos φ(y)Rφ(x), lo que implica que ySx.

Transitividad: Como R es una relación de equivalencia, también tenemos φ(x)Rφ(z), lo que implica que
xSz.
Por lo tanto, S es una relación de equivalencia en E.

Ahora, vamos a encontrar una biyección entre E/S y A/R_A.

Primero, definimos la función f: E/S → A/R_A como f([x]) = [φ(x)], donde [x] es la clase de equivalencia
de x en E/S y [φ(x) ] es la clase de equivalencia de φ(x) en A/R_A.

Esta función está bien definida porque si [x] = [y], entonces xSy, lo que implica que φ(x)Rφ(y) debido a
la definición de S. Entonces [φ(x)] = [φ(y) ] yf([x]) = [φ(x)] = [φ(y)] = f([y]).

Además, f es inyectiva, ya que si f([x]) = f([y]), entonces [φ(x)] = [φ(y)], lo que implica que φ(x)R_Aφ(y) .
Entonces, xSy y por lo tanto [x] = [y].

Finalmente, f es sobreyectiva, ya que para cualquier [y] en A/R_A, podemos elegir x tal que φ(x) = y, y
luego f([x]) = [φ(x)] = [y].

Por lo tanto, es una biyección entre E/S y A/R_A.

2.- (ℝ+ ,∗), 𝑐𝑜𝑛 𝑥 ∗ 𝑦 = 2𝑥𝑦 𝑦 (𝑃(𝑋),∗), 𝑐𝑜𝑛 𝐴 ∗ 𝐵 = 𝐴 ∪ 𝐵
¿Qué axiomas de grupo cumplen cada uno?¿Son grupos Abelianos?

En el grupo (ℝ+ ,∗), con la operación definida como 𝑥 ∗ 𝑦 = 2𝑥𝑦 , se cumple el axioma de la cerradura, ya
que si tomamos dos números reales positivos x e y, el producto 2xy también es un número real positivo.
Además, se cumple el axioma de la asociatividad, ya que para cualquier número real positivo x, y, yz, se tiene
que:

x*(y z) = x (2yz) = 2xyz

(x*y)*z = (2xy)*z = 2xyz

Por lo tanto, la operación es asociativa.

También se cumple el axioma de la existencia de la identidad, ya que el número real positivo 1 es un elemento
neutro para esta operación. Esto se debe a que:
x 1 = 2x 1 = 2x
1x = 2 1x = 2x

Por lo tanto, la identidad es 1.

Finalmente, se cumple el axioma de la existencia del inverso, ya que para cualquier número real positivo x,
existe un inverso multiplicativo que es 1/(2x). Esto se debe a que:

x*(1/(2x)) = 2x*(1/(2x)) = 1
(1/(2x))*x = (1/(2x))*2x = 1

Por lo tanto, la operación es cerrada bajo inversos y cada elemento tiene un inverso multiplicativo único.
En el grupo (P(X), ) con la operación definida como A B = A∪B, se cumple el axioma de la cerradura, ya que la
unión de dos conjuntos es siempre un conjunto.
También se cumple el axioma de la asociatividad, ya que para cualquier conjunto A, B, y C, se tiene que:

A*(B C) = A (B∪C) = A∪(B∪C) = (A∪B)∪C = (A*B)*C

Por lo tanto, la operación es asociativa.

Se cumple el axioma de la existencia de la identidad, ya que el conjunto vacío es un elemento neutro para esta
operación. Esto se debe a que:

A*∅ = A∪∅ = A
∅*A = ∅∪A = A

Por lo tanto, el conjunto vacío es la identidad.

Finalmente, se cumple el axioma de la existencia del inverso, ya que para cualquier conjunto A, existe un inverso
que es su complemento respecto al conjunto universal U. Esto se debe a que:

A*(U\A) = A∪(U\A) = U
(U\A)*A = (U\A)∪A = U

Por lo tanto, la operación es cerrada bajo inversos y cada conjunto tiene un inverso único.
En el grupo (ℝ+ ,∗), ) con la operación definida como x y = 2xy, se cumple que la operación es conmutativa o
Abeliana. Esto se debe a que:

x y = 2xy = 2yx = y x

Por lo tanto, este grupo es abeliano.

En el grupo (P(X), ) con la operación definida como A B = A∪B, también se cumple que la operación es
conmutativa o Abeliana. Esto se debe a que:

Un segundo = A∪B = B∪A = segundo UN

Por lo tanto, este grupo también es Abeliano.

3.- Sean G un grupo y 𝑥 ∈ 𝐺. 𝑆𝑢𝑝𝑜𝑛𝑔𝑎 𝑞𝑢𝑒 𝑜(𝑥) = 𝑟𝑠, ℎ𝑎𝑙𝑙𝑒 𝑜(𝑥 𝑟 )

Sea G un grupo y x un elemento de G, donde o(x) = rs para algunos enteros positivos r y s.

Queremos encontrar el orden de 𝑥 𝑟 , es decir, o(𝑥 𝑟 ).

Primero notamos que:

(𝑥 𝑟 )𝑠 = 𝑥 𝑟 (𝑟𝑠) = 𝑥 (𝑜(𝑥))=𝑒

Por lo tanto, o(𝑥 𝑟 ) es un múltiplo de s.

Ahora, consideremos el caso en el que (𝑥 𝑟 )𝑡 = e para algún entero positivo t. Entonces, tenemos:

(𝑥 𝑟 )𝑡 = 𝑥 (𝑟𝑡)=𝑒

Esto implica que rt es un múltiplo de rs, ya que o(x) = rs. En otras palabras, rt = krs para algún entero k.

Ahora, notemos que r y rs son coprimos, ya que si tuvieran un factor común, entonces o(x) no sería igual a rs.
Entonces, por la propiedad de Bezout, existen enteros u y v tales que ur + vs = 1.

Multiplicando ambos lados por t, obtenemos:

urt + vst = t

Como rt es un múltiplo de rs, podemos escribir rt = krs para algún entero k. Entonces,

urt + vst = krs + vst = t

Esto nos muestra que t es un múltiplo de s, y por lo tanto o(𝑥 𝑟 ) = s.

En resumen, hemos demostrado que el orden de 𝑥 𝑟 es igual a, donde o(x) = rs

4.- Sean G un grupo y 𝑥, 𝑦 ∈ 𝐺 𝑡𝑎𝑙𝑒𝑠 𝑞𝑢𝑒 𝑜(𝑥) = 5, 𝑦 𝑥 3 𝑦 = 𝑦𝑥 3 . 𝐷𝑒𝑚𝑢𝑒𝑠𝑡𝑟𝑒 𝑞𝑢𝑒 𝑥𝑦 = 𝑦𝑥

Sea G un grupo y x, y elementos de G tales que o(x) = 5 y 𝑥 3𝑌 = yx³.

Queremos demostrar que 𝑥𝑦 = 𝑦𝑥

Empecemos por elevar ambos lados de la ecuación x^3y = yx^3 a la quinta potencia, ya que o(x) = 5:

(𝑥 3𝑦 )5 = (𝑦𝑥³)5

𝑥 15 𝑦 5 = 𝑦𝑥 15

Como la orden de x es 5, tenemos que 𝑥 5 = e. Entonces, podemos reemplazar 𝑥 5 por e en la ecuación anterior:

𝑥 15 𝑦 5 = 𝑦

Multiplicando ambos lados por 𝑥 −3 , obtenemos:

𝑥 12 𝑦 5 = 𝑥 −3𝑦

Notemos que (𝑥𝑦)5 = 𝑥 5 𝑦 5 = 𝑦 5 , 𝑦𝑎 𝑞𝑢𝑒 𝑥 5 = 𝑒 y^5,

Entonces, elevando ambos lados de la ecuación 𝑥𝑦 = 𝑦𝑥 a la quinta potencia, tenemos:

(𝑥𝑦)5 = (𝑦𝑥)5

xyxyxyxyx = yxyxyxyxx

Simplificando usando la propiedad asociativa, obtenemos:

(𝑥𝑦)5𝑥 = (𝑦𝑥)5𝑥

Como la orden de x es 5, 𝑥 5 = e. Entonces, podemos reemplazar x^5 por e en la ecuación anterior:

𝑥𝑦 5 = 𝑦𝑥

Multiplicando ambos lados por 𝑦 −1 , obtenemos:

𝑥𝑦 = 𝑦𝑥

Por lo tanto, hemos demostrado que 𝑥𝑦 = 𝑦𝑥 , como queríamos demostrar.

 −1
5.- Sea G grupo, Muestre que (𝑔1 ∗ 𝑔2 . . . 𝑔𝑛 )−1 = 𝑔𝑛−1 ∗ 𝑔𝑛−1 . . . 𝑔1−1 , 𝑐𝑜𝑛 𝑔1 , 𝑔2, . . . , 𝑔𝑛 ∈ 𝐺

Sea G un grupo y sean 𝑔1 , 𝑔2, . . . , 𝑔𝑛 elementos de G. Queremos demostrar que:

−1
(𝑔1 ∗ 𝑔2 . . . 𝑔𝑛 )−1 = 𝑔𝑛−1 ∗ 𝑔𝑛−1 . . . 𝑔1−1

Para demostrar esto, podemos simplemente multiplicar ambos lados por el producto original:

−1
(𝑔1 ∗ 𝑔2 . . . 𝑔𝑛 )(𝑔𝑛−1 ∗ 𝑔𝑛−1 . . . 𝑔1−1 ) = 𝑒

Donde e es el elemento neutro de G.

Empezamos por multiplicar el primer término del producto por el último término del producto:
(𝑔1 ∗ 𝑔2 . . . 𝑔𝑛 )( 𝑔1−1 ) = 𝑔2 . . .∗ 𝑔𝑛

Notemos que si multiplicamos el resultado anterior por (𝑔2 )−1 , obtenemos:

𝑔2 ∗. . . 𝑔𝑛 ∗ 𝑔2 −1 = 𝑔3 . . . 𝑔𝑛

Podemos continuar de esta manera hasta que lleguemos a:

−1
𝑔𝑛−1 ∗ 𝑔𝑛−1 = 𝑔𝑛

Entonces, si multiplicamos todos estos resultados juntos, obtenemos:

(𝑔1 ∗ 𝑔2 . . . 𝑔𝑛 )( 𝑔1−1 )(𝑔2 . . .∗ 𝑔𝑛 ) = 𝑔𝑛

Pero como estamos en un grupo, cada elemento tiene un inverso único. Entonces, podemos multiplicar ambos
lados de la ecuación anterior por 𝑔1−1 para obtener:
−1
(𝑔1 𝑔2 . . .∗ 𝑔𝑛 )−1 = 𝑔𝑛−1 𝑔𝑛−1 . . .∗ 𝑔1−1

Por lo tanto, hemos demostrado que:

−1
(𝑔1 𝑔2 . . .∗ 𝑔𝑛 )−1 = 𝑔𝑛−1 𝑔𝑛−1 . . .∗ 𝑔1−1
6.-Sean G grupo y x, y ∈ G arbitrarios. Pruebe que o(xy) = o(yx)

Sea G un grupo y sean x,y elementos arbitrarios de G. Queremos demostrar que o(xy) = o(yx).

Definimos o(g) como la orden de un elemento g en G, es decir, el menor entero positivo n tal que
𝑔𝑛 = 𝑒

donde e es el elemento neutro de G.

Primero, notemos que si o(x) = ∞ o(y) = ∞ , entonces xy y yx no tienen orden finito y la obtenida no se
aplica. Por lo tanto, supongamos que o(x) y o(y) son finitos.

Mar n = o(xy). Entonces, 𝑥𝑦 𝑛 = 𝑒. Multiplicando ambos lados por yx, obtenemos:

(𝑦𝑥)(𝑥𝑦)𝑛 = 𝑦𝑥(𝑒)
Por la propiedad asociativa, podemos reordenar los términos del lado izquierdo de la ecuación:
𝑦(𝑥(𝑦𝑥)(𝑥𝑦)𝑛−1 ) = 𝑦(𝑒)

Notemos que (𝑦𝑥)(𝑥𝑦)𝑛−1es una potencia de yx, ya que podemos agrupar los términos de la forma
𝑦𝑥(𝑦𝑥)𝑘(𝑥𝑦)
para obtener
(𝑦𝑥)𝑘+1(𝑥𝑦)
Entonces,
(𝑦𝑥)(𝑥𝑦)𝑛−1 = (𝑦𝑥)𝑚
para algún m entero positivo o cero.
Entonces, podemos reescribir la fórmula anterior como:
𝑦(𝑦𝑥)𝑚 = 𝑦(𝑒)

Esto significa que (𝑦𝑥)𝑚 = 𝑒, ya que y es arbitrario. Además, como m es un entero positivo o cero,
tenemos que m ≤ n.

Por lo tanto, hemos demostrado que si o(xy) = n, entonces (𝑦𝑥)𝑚 = 𝑒 para algún entero m tal que
m ≤ n.

Análogamente, podemos demostrar que si o(yx) = n, entonces (𝑥𝑦)𝑚 = 𝑒 para algún entero m tal que
m ≤ n.

Por lo tanto, hemos demostrado que o(xy) = o(yx), como queríamos demostrar.
 Referencias:

UnADM Matematicas/ Algebra Moderna 1/Contenido Nuclear Unidad 1.- Grupos y Subgrupos/México, D.F.
Diciembre 2015
Zaldívar. F. (2006). Introducción a la Teoría de Grupos. Primera edición. México: Sociedad Matemática
Mexicana.
Rotman. J. J. (2000). A First Course in Abstract Algebra. Second edition. United States of America: Prentice
Hall.
Fraleigh. J. B. (1994). A First Course in Abstract Algebra. United States of America: Addison-Wesley
Publishing Company.
Hungerford T. W. (1974) Algebra. New York: Springer-Verlag.