MATEMATICAS

(PARTE 2/2)

10 de noviembre de 2021
Miguel angel texocotitla bravo
Matricula: 211289011
miguel.texcootitla@cinvestav.mx
Actividad 2

Para cada operación binaria * definida en el conjunto señalado dígase cuándo

* dotal conjunto de una estructura de grupo. De no resultar grupo, dese el
primer axioma en el orden Ֆ1 Ֆ2 y Ֆ3 de la sección 2.2 que no se cumpla

a) Defínase * en 𝕫 por a * b = ab

• Solución:
No es un grupo no cumple con inverso 𝕫 con respecto a *
por definición de *

(a*b) *c = ab*c
=(ab)c
=a*(bc)
=a*(b*c)

por tanto, 𝕫 es asociativo con respecto a *

propiedad de identidad 𝕫 con respecto a *
como 1∈ 𝕫 y por la definición de * en 𝕫,

a*1 = a 1 = a

por lo tanto , 𝕫 satisface la propiedad de identidad y 1 es la

identidad , 𝕫 con respecto *

la propiedad inversa , 𝕫 con respecto a *

1
1-1• 2 = •2
1

=2
1
2-1• 1 = •1
2

1
=
2

Por lo tanto , porque la condición no se cumple y no es un

grupo

1
Actividad 2

b) Defínase * en Z por a * b = a — b

• Solución: no es un grupo. Por ejemplo

1− (2 − 1) ≠ (1 − 2) – 1

No tiene un elemento identidad tal que e*x=x*e=x.

e−x=𝑥−𝑒 =𝑥

c) Defínase * en ℛ + por a * b = a b

• Solución:
Si , es un grupo no cumple con inverso ℛ + con respecto a *
por definición de *
(a*b)*c= ab*c
=(ab)c
= a * ( b c)
= a * ( b * c)
+
por tanto, ℛ es asociativo con respecto a *

propiedad de identidad ℛ + con respecto a *

como 1∈ ℛ + y por la definición de * en ℛ +,

a*1 = a 1 = a

por lo tanto , ℛ + satisface la propiedad de identidad y 1 es la

identidad , 𝕫 con respecto *

la propiedad inversa , ℛ + con respecto a *

1
1-1• 2 = •2
1

=2
1
2-1• 1 = •1
2

2
Actividad 2

1
=
2

d) Defínase * en ℚ por a * b = ab
Solución
a*(b*c)=a(bc)=(ab)c=(a*b)* a, b , c ℚ

además 1 ∈ ℚ y a * 1 = a = 1 * a para todos a ∈ ℚ también lo

tiene identidad ℚ respecto a *
ahora sin embargo 0 ∈ ℚ y 0*a=0=a*0 para todos a ∈ ℚ .
entonces NO hay a ∈ ℚ por contradicción 0*a=1=a*0 no tiene
una inversa con respecto a *

e) Defínase * en el conjunto de todos los números reales distintos de cero

por a * b = ab
Ֆ1 cumple
La operación binaria es asociativa ya que para cualquier real
a*(b*c)=(a*b)*c
Ֆ2 cumple
Además, tiene un elemento identidad y es el 1, tal que e*x=x*e=x.
Ֆ3 no cumple
Para cada elemento en R existe un a’ en los reales tal que
a’*a=a*a’=e.

f) Defínase * en ℂ por a * b = a + b

Sean los elementos (a ,b)=( x + i y , z + i w) se tiene que

a+b=b+a→x+iy+z+iw=z+iw+x+iy→(x+z)+i(y+w)=
(z+x)+i(y+w)

Existe a ∈ C siendo este 0+0i

3
Actividad 2

2.5 Muéstrese que, si G es un grupo finito con identidad e y con un número par
de elementos, entonces existe a ≠ e, en G, tal que a*a=e.

Denotemos al grupo finito 𝐺 = {𝑒, 𝑎𝑖 𝑎𝑗 … … 𝑎2𝑘+1 este tiene un

número par de elementos, suceden los

siguientes casos:

Si cada elemento es inverso de sí mismo, es decir,

𝑎𝑖 𝑎𝑗 = 𝑒 ∀ 𝑖 = 1 , … . . 2𝑘 + 1

En este caso se puede incluir que algunos elementos sean inversos

de si mismos, de cualquier forma, en ese caso hemos terminado.

Por otro lado, siendo 2k+1 un número impar de elementos,

podemos formar 2k parejas de elementos distintos conformados
por un elemento y su inverso, es decir,

(𝑎𝑖 𝑎𝑗) 𝑐𝑜𝑛 𝑖 ≠ 𝑗 𝑖, 𝑗 ∈ {1,2, , , , , , ,2𝑘} 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑎𝑖 𝑎𝑗 = 𝑒

Por lo que sin pérdida de generalidad podemos decir que el

elemento a2k+1 tiene que ser inverso de sí mismo, lo cual termina
la prueba.

2.12) Muéstrese que todo grupo 𝐺 con identidad 𝑒 tal que 𝑥 ∗ 𝑥 = 𝑒 para todas las 𝑥 ∈ 𝐺, es
abeliano. [Sugerencia: considérese (ab)2.]

solución : un grupo G es abeliano si la operación binaria definida

en G satisface la propiedad conmutativa.

Aquí, el grupo G es abeliano si a * b = b * a para todo a , b ∈ G

Dejar a , b ∈ G

Entonces, por definición (a*b)*(a*b)=e

Dado que G es un grupo, entonces a , b ∈ G

Por lo tanto, a , b ∈ G se puede escribir como,

4
Actividad 2

b*a=e*(b*a)

=(a*b)*(a*b)*(b*a)

=(a*b)*a*(b*b)*a

=(a*b)*a*e*a

=(a*b)*a*a

=(a*b)*(a*a)

=(a*b)*e

=a*b

Así, a*b=b*a para todos a , b ∈ G

3.1 Determínese cuáles de los siguientes subconjuntos de los números

complejos son subgrupos bajo la suma del grupo C de los números complejos
bajo la suma.

a)R

un subconjunto H de un grupo G es un subgrupo de G si y solo si

para a ,b ∈ H a*b ∈ H

elemento e de identidad de G está en H

para a ∈ H , a-1 ∈ H

sabiendo que <R,+> es un subconjunto de <c,+>

comprobación de cierre

deja a , b ∈ R entonces obtienes a +b ∈ R por lo tanto <R, +> se

cierra bajo la operación binaria de <c,+ >

5
Actividad 2

verificación de identidad

sabiendo que 0 es la identidad de <c,+> dado que 0 ∈ R, la

identidad <c,+> radica en <R+>

verificación del inverso

sabiendo que 0 es la identidad de <C,+ > . Deja a ∈ R entonces

obtener -a ∈ R y a+(-a) =0 por lo tanto cada elemento de <R ,+>
tiene una inversa de <R,+> de numero complejos es un subgrupo
del grupo <c,+>

b) Q+

un subconjunto H de un grupo G es un subgrupo de G si y solo si

para a ,b ∈ H a*b ∈ H

elemento e de identidad de G está en H

para a ∈ H , a-1 ∈ H

sabiendo que <Q+,+> es un subconjunto de <C,+>

comprobación de cierre

deja a , b ∈ R entonces obtienes a +b ∈ Q+ por lo tanto < Q+, +>

se cierra bajo la operación binaria de <c,+ >

verificación de identidad

sabiendo que 0 es la identidad de <c,+> dado que 0 ∉ Q+ , la

identidad se <c,+> no es en < Q+>

verificación del inverso

sabiendo que 0 es la identidad de <C,+ > . Deja a ∈ Q+ entonces

obtener -a ∈ Q+ y a+(-a) =0 por lo tanto ningún elemento de < Q+
,+> tiene una inversa de < Q+,+> de numero complejos es un
subgrupo del grupo <c,+>
6
Actividad 2

c) 7z

un subconjunto H de un grupo G es un subgrupo de G si y solo si

para a ,b ∈ H a*b ∈ H

elemento e de identidad de G está en H

para a ∈ H , a-1 ∈ H

sabiendo que <7Z = {7n ∣n ∈ Z} es un subconjunto de <C,+>

verificando cerradura

vamos 7a ,7b ∈ 7 AZ , donde a, b ∈ Z entonces obtienes 7a

+7b=7(a +b)

por Tanto , <7Z,+> se cierra bajo la operación binaria e <c,+>

d) El conjunto iR de los números imaginarios puros incluyendo 0

Corresponde a un subgrupo ya que iR es cerrado bajo la suma de

los Complejos. De igual manera ambos tienen la identidad 0 y
para todo a∈ 𝑖𝑅 existe un 𝑎−1 ∈ 𝑅

e) El conjunto 𝜋𝑄 de los múltiplos racionales de 𝜋

Corresponde a un subgrupo ya que 𝜋𝑄 es cerrado bajo la suma de

los Complejos. De igual manera ambos tienen la identidad 0 y
para todo a∈ 𝑖𝑅 existe un 𝑎−1 ∈ 𝑅

f) El conjunto {𝜋 𝑛 |𝑛 ∈ 𝑍}

Corresponde a un subgrupo ya que 𝜋 𝑛 es cerrado bajo la suma de

los Complejos. De igual manera ambos tienen la identidad 0 y
para todo a∈ 𝜋 𝑛 existe un 𝑎−1 ∈ 𝑅

7
Actividad 2

3.2) A continuación se dan varios grupos. Proporciónese una lista completa de todas las
relaciones de un grupo cuando es subgrupo de algún otro grupo listado.
𝐺1 = 𝑍 bajo la suma
𝐺1 ≤ 𝐺1 𝑦 𝐺1 < 𝐺4
𝐺2 = 12𝑍 bajo la suma
𝐺2 ≤ 𝐺2 , 𝐺2 < 𝐺1 , 𝐺2 < 𝐺4 , 𝐺2 < 𝐺7 , 𝐺2 < 𝐺8
𝐺3 = 𝑄 + bajo la multiplicación
𝐺3 ≤ 𝐺3 𝑦 𝐺3 < 𝐺5
𝐺4 = 𝑅 bajo la suma.
𝐺4 ≤ 𝐺4
𝐺5 = 𝑅 + bajo la multiplicación
𝐺5 ≤ 𝐺5
𝐺6 = {𝜋 𝑛 |𝑛 ∈ 𝑍} bajo la multiplicación
𝐺6 ≤ 𝐺6 𝑦 𝐺5 < 𝐺6
𝐺7 = 3𝑍 bajo la suma
𝐺7 ≤ 𝐺7 , 𝐺7 < 𝐺1 , 𝐺7 < 𝐺4
𝐺8 = el conjunto de todos los múltiplos enteros de 6 bajo la suma.
𝐺8 ≤ 𝐺8 𝑦 𝐺8 < 𝐺1 , 𝐺8 < 𝐺4 , 𝐺8 < 𝐺7
𝐺9 = {6𝑛 |𝑛 ∈ 𝑍} bajo la multiplicación
𝐺9 ≤ 𝐺9 𝑦 𝐺9 < 𝐺3 , 𝐺9 < 𝐺5

3.3Escríbanse al menos 5 elementos de cada uno de los siguientes grupos

cíclicos.

a) 25Z bajo la suma

-50, -25, 0, 25, 50

1 𝑛
b) {( ) |𝑛 ∈ 𝑍} bajo la multiplicación
2

8
Actividad 2

1 1
4, 2, 1, ,
2 4

c) {𝑥 𝑛 |𝑛 ∈ 𝑍} bajo la multiplicación

1 1
, , 1, 𝑥, 𝑥 2
𝑥2 𝑥

3.5 Estúdiese la estructura de la tabla del grupo z4 del ejemplo 3.2.

a) Por analogía complétese la tabla 3.5 para obtener el grupo

cíclico 𝑍6 de 6 elementos. (No es necesario probar la ley
asociativa.)

+ 0 1 2 3 4 5
0 0 1 2 3 4 5
1 1 2 3 4 5 0
2 2 3 4 5 0 1
3 3 4 5 0 1 2
4 4 5 0 1 2 3
5 5 0 1 2 3 4

b) Calcúlense los subgrupos < 1 >, < 2 >, < 3 >, < 4 >, < 5 >
del grupo 𝑍6 dado en la parte a).

el subgrupo <0> es <0> = {0}

el subgrupo de <1> es <5> = 𝑍6

el subgrupo <2> es <2 > = {0, 2, 4}

9
Actividad 2

el subgrupo de <3> es <3> = {0,3}

el subgrupo <4> es <4> = {0,2,4}

el subgrupo <5> es <5> = 𝑍6 :

c) ¿Qué elementos son generadores para el grupo 𝑍6 de la parte

a)?

Son los elementos < 1 > 𝑦 < 5 >

En esta parte se puede ver <1>=5= 𝑍6 :

por lo tanto, los generadores del grupo son 1 y 5

10
Actividad 2

Problemas en la sección 2.3 (2.3.1, 2.3.2, 2.3.3, 2.3.4, 2.3.6, 2.3.7, 2.3.8,
2.3.10, 2.3.11).

1. 2.3.1 Determine en cada uno de los sistemas siguientes casos, si el sistema

descrito es o no un grupo. Si no lo son, señale cuáles de los axiomas del
grupo no se cumplen.
a) G = conjunto de todos los enteros, a · b = a − b.
• Solución: G no es un grupo. Por ejemplo

1− (2 − 1) = 1 − 1 = 0 ≠ −2 = (1 − 2) − 1

b) G = conjunto de todos los enteros positivos, a · b = ab , el producto

habitual de los enteros.
• Solución : G no es un grupo. No hay asociatividad en G
Suponga que los elementos del conjunto G son G=
{1,2,3}

1 · 2 ·3 = (1 ·2) ·3
= -1 ·3
= -1-3
=- 4
Por lo tanto, el valor de la expresión (1 ·2 ·3) = -4
1 · 2 ·3 = 1 ·(2 ·3)
= -1 ·(-1)
= -1-(-1)
=2

c) G = a0 ,a1 ,··· ,a6 Dónde

( ai · aj = ai+j si i + j
<7
ai · aj = ai+j−7 si i+
j ≥ 7)
• Solución. G es un grupo. Tenemos la tabla de operaciones de la
siguiente manera:
· a0 a1 a2 a3 a4 a5 a6
a0 a0 a1 a2 a3 a4 a5 a6

11
Actividad 2

a1 a1 a2 a3 a4 a5 a6 a0
a2 a2 a3 a4 a5 a6 a0 a1
a3 a3 a4 a5 a6 a0 a1 a2
a4 a4 a5 a6 a0 a1 a2 a3
a5 a5 a6 a0 a1 a2 a3 a4
a6 a6 a0 a1 a2 a3 a4 a5

El elemento a0 es la identidad del grupo G y cada elemento tiene

inversa. Por lo tanto , la condición no es un grupo a · b = ab de
G

d) G = conjunto de todos los números racionales con denominadores

impares, a· b = a + b, la suma habitual de números racionales G =
conjunto de todos los números racionales con denominadores impares,
a· b ≡ a +b, la suma habitual de números racionales.
• Solución: Cambiaremos ligeramente las condiciones de la
pregunta un poco, redefiniendo el conjunto G como: G = conjunto
𝑎
de todos los números racionales ≠ 0 donde b se puede escribir
𝑏
impar. Ahora afirmamos que G es un grupo: Para dos elementos
arbitrarios cualesquiera x, y ∈ G, se deduce que

𝑎1 𝑎2
𝑥= ;𝑦 = ;𝑥 · y
2𝑏2 + 1 2𝑏2 + 1
2𝑎1 2𝑏2 + 𝑎1 + 2𝑎1 2𝑏2 + 𝑎2
= ; 𝑎1 𝑎2 𝑏1 𝑏2 ∈ ℤ
(2𝑏1 + 1)(2𝑏2 + 1)

lo que implica que G está cerrado bajo la operación dada. La

asociatividad es clara, ya que la operación se hereda de la suma
habitual definida en Q, que es claramente asociativa. Además,
0
tenemos 0= como elemento de identidad, y para cualquier x ∈
1
G, −x ∈ G es el inverso único. Por lo tanto, G es un grupo.

12
Actividad 2

2. 2.3.2 Demuestre que, si G es un grupo abeliano, entonces para todo a, b

∈ G y para todos los enteros n, ( a · b)n = a n · b n.

• Solución: Utilizamos la inducción matemática. Para n=1, la

hipótesis es trivialmente cierta. Supongamos que la hipótesis es
verdadera para n =k, es decir, (a· b) k = a k· b k. Ahora para n =
k+1. (a· b)k+1 = ( a ·b)( a ·b)k = a·(a· b)k · b = a · a k · b k · b = ak+1
· bk+1 dando a entender que la hipótesis es válida para n = k +
1.

3. 2.3.3 Si G es un grupo tal que (a · b)2 = a2 · b2 para todo a, b ∈ G,

mostrar que G debe ser abeliano.
• Solución: De la relación dada, al aplicar simultáneamente la ley de
cancelación izquierda y derecha obtenemos b · a = a · b. Esto
demuestra que G es abeliano.
(a · b)2 = a2 · b2
(ab)(ab)= a2 · b2
a ( b a b)=a a b b

bab=abb
b a=ab
4. 2.3.4 Si G es un grupo en el que (a · b)i = ai · bi para tres enteros
consecutivos i para todo a, b ∈ G, muestran que G es abeliano.
• Solución: Podemos suponer que
(𝑎 · 𝑏)𝑛+1 = 𝑎𝑛+1 · 𝑏 𝑛+1 ; (𝑎 · 𝑏)𝑛 = 𝑎𝑛 · 𝑏 𝑛 ; (𝑎 · 𝑏)𝑛−1
= 𝑎𝑛−1 · 𝑏 𝑛−1
para algún entero n ∈ Z. De la primera y segunda ecuación,
tenemos que
13
Actividad 2

(𝑎 · b)(𝑎 · 𝑏)𝑛 = (𝑎 · 𝑏)𝑛+1 = 𝑎𝑛+1 · 𝑏 𝑛+1 ⇒ 𝑎 ·

𝑏 · a𝑛 · b𝑛 = 𝑎𝑛∓1 · 𝑏 𝑛+1 .

Del mismo modo, de las ecuaciones segunda y tercera, tenemos b

· an−1 = an−1 · b. Además, an · b = b · an = (b · an−1) · a = (an−1 ·
b) · a =⇒ a · b = b · a
lo que implica que G es abeliano.

5. 2.3.6 En S3 dar un ejemplo de dos elementos x , y tales que (x · y)2 ≠ x2

· y2 .

• Solución: Tome x = φ,y = ψ · φ. Entonces tenemos

(x · y)2 = (φ · (ψ · φ))2 = (ψ2)2 = ψ 6= e = e · e = (φ)2 · (ψ ·
φ)2 = x2 · y2.
De ahí lo demostrado.

6. 2.3.7 En S3 mostrar que hay cuatro elementos que satisfacen x2 = e y

tres elementos que satisfacen y3 = e.
• Solución: Mediante cálculos sencillos, podemos comprobar que
x = e,φ,φ · ψ,ψ · φ satisface x2 = ee , ψ, ψ2 satisface y3 =
e.
7. 2.3.8 Si G es un grupo finito, demuestre que existe un entero positivo N
tal que aN = e para todo un ∈ G.

• Solución: Escribamos G = { a1,a2,··· ,am}. Elija cualquiera de a

i ∈ G. Considere la siguiente secuencia de los elementos de G:

𝑎𝑖 , 𝑎𝑖2 , 𝑎𝑖3 … . . 𝑎𝑖𝑚 𝑎𝑖𝑚+1 … ….

Dado que todos los elementos de la secuencia anterior están en

G, claramente a ji = a k i para algunos enteros positivos j, k( k >j
). Sea ni = k−j. Entonces a n i i = e Ahora N = n1n2 ··· nm.
En consecuencia, aN = e para cualquier a ∈ G.

14
Actividad 2

8. 2.3.10 Muestre que cada elemento del grupo G es su propio inverso,

entonces G es abeliano.

Solución:

a · b = a−1 · b−1 = (b · a )−1 = b · a

para todo a, b ∈ G. Por lo tanto, G es abeliano.

9. 2.311 si G es un grupo de orden par, demuestre que tiene un elemento a ≠

e satisfaciendo a2 = e.

solución : Para cualquier elemento un ∈ G, a tiene inverso

único b. Por lo tanto, podemos emparejarlos, de una manera que

e,(a1,b1,)(a1,b2,)···

donde ai,bi ∈ G son elementos distintos no idénticos y satisfacen

ai · bi = e. Supongamos que uno de los elementos en G es de
auto inverso, entonces hemos terminado. Si no, dado que los
elementos en cada par (ai, bi)son distintos, y dado que G es de
orden par, esto resulta en sobras de un elemento g ∈ G, sin un
elemento inverso distinto. Esto fuerza que g es de auto inverso y,
por lo tanto, g2 = e.

Problemas en la sección 2.5 (2.5.1, 2.5.3, 2.5.4, 2.5.5, 2.5.14, 2.5.15).

2.5.1 Si H y K son subgrupos de G, mostrar que H ∩ K es un subgrupo

de G.
¿Puede ver que la misma prueba muestra que la intersección de cualquier
número de subgrupos de Finito o infinito, es de nuevo un subgrupo de G?
• Solución: Sea x,y ∈ H ∩K. Dado que x,y son elementos tanto de H
como de K, x y es también un elemento de H y K. Por lo tanto, xy ∈
H ∩ K. Además, x−1 también está tanto en H como en K. Esto implica

15
Actividad 2

que x−1 ∈ H ∩ K. Por lo tanto, H ∩ K es un subgrupo de G. Además,

esta misma prueba se puede aplicar a la intersección de cualquier número
de subgrupos de G, ya sea finito o infinito.

2.5.3 Si G no tiene subgrupos no triviales, demuestre que G debe ser finito de

orden primo.

• Solución: Primero mostramos que G es de orden finito. Si no, entonces

para un ∈ G, (a ) es un subgrupo de G. Supongamos que no es trivial,
entonces consideramos además (a2) ⊂ (a), que es un subgrupo no trivial
de (a) y por lo tanto de G , una contradicción. Por lo tanto, G es de orden
finito. Además, G debe ser cíclico como para cualquier a ≠ e ∈ G ,(
a)es un subgrupo no trivial de G y por lo tanto (a) = G. Ahora asumimos
que G es de orden no primo, digamos 0(G)= nm. Si (𝑎𝑛 ) = G entonces
(an) es un subgrupo no trivial de G con orden m, contradiciendo que G
no tiene subgrupo no trivial. Por lo tanto, G debe ser finito de orden
primo.

2.5.4 Sea G el de los enteros con la adicción como operación y H el

subgrupo consiste en todos los múltiplos de un entero fijo n. Determínese el
índice Hn y escríbase todas las clases laterales de Hn en G.

• Solución: H es un subgrupo de G, y 𝑎 ∈ 𝐺 𝑑𝑒𝑗𝑎 𝑎𝐻𝑎−1 = {𝑎ℎ𝑎−1 ∶

ℎ ∈ 𝐻 . Mostrar que aHa−1 es un subgrupo de G.
Elija x,y ∈ aHa−1. Entonces podemos escribir x = ah1a−1,y = ah2a−1
para algunos h1,h2 ∈ H. Observe que
.
−1
Ahora tenemos aHa como un subgrupo de G.

2.5.5 Si H es finito, ¿qué es o(aHa−1)?

16
Actividad 2

• Prueba. Definir un mapeo f : aHa −1 → H por f(x)= a−1xa. Entonces

f es una biyección. Por lo tanto, o(aHa−1)= o(H).

Para un subgrupo H de G defina la clase izquierda aH de H en G

como el conjunto de todos los elementos de la forma ah,h ∈ H.
Mostrar que hay una correspondencia uno a uno entre el conjunto de
toda la clase izquierda de H en G y el conjunto de clase derecha de H
en G.
Prueba. Sea φ un mapeo entre el conjunto de clase izquierda de H y el
conjunto de clase derecha de H ,definido de manera que: φ ( aH)=
Ha−1. Demostramos que φ es una biyección. Supongamos φ (aH) =
φ(bH). Entonces Ha−1 = Hb−1 = ⇒ a−1b ∈ H = ⇒ aH = bH. Esto
demuestra que φ es inyectiva. Además, para cualquier clase derecha
Hc, tenemos φ(c−1H)= Hc. Esto demuestra que φ es subjetivo. Por lo
tanto, φ es biyectivo y, por lo tanto, establece una correspondencia uno
a uno entre el conjunto de toda la clase izquierda y el conjunto de clase
derecha (de H en G)

2.514 Si H es un subgrupo de G, entonces por el centralizador C(H)de H nos

referimos al conjunto {x ∈ G : xh = hx todo h ∈ H}. Demostrar que
C(H) es un subgrupo de G.

Solución: Para cualquier x,y ∈ C(H),h ∈ H,(xy)h = h(ya)= x(hy)

=(xh)y = h(xy). Por lo tanto, xy ∈ C(H). Además, xh = hx = ⇒ h =
x−1hx = ⇒ hx−1 = x−1h, lo que implica x−1 ∈ C(H).
Por lo tanto, C(H) es un subgrupo de G.

2.5.15 El centro Z de un grupo se define por Z = {z ∈ G : zx = xz all x

∈ G}. Demostrar que Z es un subgrupo de G. ¿Se puede reconocer Z como
C(T) para algún subgrupo T de G?
Solución: Este es un caso especial del Problema 14. Conjunto H = G.
Es decir, Z = C(G).

17