~ sea G un grupo en el cual (ab)n =an bn para algun entero fijo n>1 y

paea todo a,b∈ G pruebe que :

a) (ab)n−1 = bn−1 an−1
b) an bn−1 = bn−1 an
c) (aba−1 b−1 )n(n−1) = e

solucion

a) por hipotesis tenemos que (ba)n = bn an entonces ba ∗ ba ∗ ba.....ba =

b ∗ b ∗ b......b ∗ a ∗ a ∗ a....a (1)
de (1)como estamos trabajando en un grupo podemos cancelar y asociar lo
que implica : (ab)n−1 = bn−1 an−1
b) partiendo del ejercicio anterior tenemos (ab)n−1 = bn−1 an−1 , el cual pode-
mos descomponer de la siguiente manera:
(ab)n−1 = bn−1 an−1
(ab)n (ab)−1 = bn−1 an−1
an bn b−1 a−1 = bn−1 an−1 multiplicando por el inverso multiplicativo de a
an bn−1 = bn−1 an
c) ((aba−1 b−1 )n )n−1 = (((aba−1 )b−1 )n )n−1 = (abn a−1 b−n )n−1 =(a(bn a−1 b−n ))n−1
(an−1 (bn a−(n−1) b−n )) por el ejercicio b nos queda:
bn an−1 a−(n−1) b−n = e

~ sea G un conjunto con una operacion ∗ tal que :

a) G es cerrado con respecto a ∗
b) Dados a,b,c que ∈ G, a ∗ b = a ∗ c implica b=c.
c) ∗ es asociativa
d) Dados a,b,c que ∈ G, b ∗ a = c ∗ a implica b=c.
Pruebe que G es un grupo con respecto a ∗

solucion

sabemos que el con junto G es finito , representemos el con junto de la sigu-

inete manera G = {a1 , a2 , a1 , ...., an }.tomemos un elemento b en G tal que
lo operamos con los demas elemetos de G de la siguente manera, veamos el
siguiente conjunto: {a1 ∗ b, a2 ∗ b, a1 ∗ b, ...., an ∗ b} para algun 1 ≤ i ≤ n,
tenemos ai ∗ b = b,supongamos que existe i 6= j tal que 1 ≤ j ≤ n , tal que
aj ∗ b = b igualando las ecuaciones nos queda ai ∗ b = aj ∗ b, por hiplotesis

1
podemos cancelar b enla igualdad , entonece nos queda que ai = aj lo cual
es absurdo =⇒ ai = e
Veamos la existencia del elemento inverso.
tomemos un j tal que 1 ≤ j ≤ n, e = aj ∗ b =⇒ existe un k tal que k 6= j, 1 ≤
k ≤ n. e = aj ∗ b y e = ak ∗ b , igualando las ecuaciones tenemos aj ∗ b = ak ∗ b
=⇒ aj = ak =⇒ j = k lo cual es absurdo aj = b−1

~ si G es un grupo de orden par, demuestre que debe existir un elemento

a 6= e tal que a = a−1 .

solucion
sabemos por hipotesis que el orden de G es par sea |G| = n.
sea G = {ak , a−1 −1
k , ..., am , am , ap , e} , con 1 ≤ k, m ≤ n − 1 .
veamos los casos:
1) Si a−1
p = e , =⇒ ap = e , |G| = es impar, lo cual es absurdo.
2) Si ap = am con 1 ≤ m ≤ n − 1, =⇒ a−1
−1 −1
p = am = am , lo cual es absurdo
ya que am tiene dos inversos.
entonces como ap pertenece a G existe a−1 −1
p por 1),2) concluimos que ap = ap .

~ sea G un grupo tal que (abi ) = ai bi para tres enteros concecutivos i,

pruebese que G es un grupo abeliano

solucion

~ sea G un grupo tal que aba−1 = bi , pruebe que para todo entero pos-
r
itivo r se tiene que ar ba−r = bi .

solucion

2
 S
~ sea G un grupo y sean H,K 6 G. Pruebe que si G = H K, entonces G
= H ó G = K.

solucion

Procedamos por contradiccion, supongamos que G 6= H y G 6=K , entonces.

sea x ∈ G tal que x ∈
/ H =⇒ x ∈ K.
Sea y ∈ G tal que y ∈
/ K =⇒Sy ∈ H.
luego yx ∈ HK =⇒ yx ∈ H K,∀ yx ∈ G.=⇒ yx ∈ H, como y esta en H y
H es un subgrupo =⇒ y −1 yx ∈ H =⇒ x ∈ H lo cual es absurdo.
T
~ sea G un grupo y sea a ∈ G. Pruebe que Z(G) = a∈G C(a), donde
C(a) es el centralizador de a en G.

solucion

i) sea y ∈ Z(G) , entoncesT por definicion de centro ya=ay ∀ a ∈ G =⇒ y ∈

C(a) , ∀ a ∈
T G =⇒ y ∈ a∈G C(a)
ii) sea y ∈ a∈G C(a) =⇒ ∀ a ∈ GT, y ∈ C(a) =⇒ ya=ay ∀ a ∈ G =⇒ y c
Z(G) de i) y ii) se llega a Z(G) = a∈G C(a).

~ si M y N son subgrupos de un grupo G tales que x−1 M x = M y x−1 N x =

N para todo x ∈ G, y si ademas M ∩ N = {e}, pruebese que mn=nm para
cual quier m ∈ M, n ∈ N .

solucion

3
Sea mnm−1 n−1 ⇒ (mnm−1 )n−1 con m,n ∈ G y m ∈ M y n ∈ N.
(mnm−1 ) ∈ N y n−1 ∈ N ya que N es un subgrupo ⇒ (mnm−1 )n−1 ∈ N.

tomemos el elemento mnm−1 n−1 , sabemos que m = (m−1 )−1 ⇒ nm−1 n−1 =
(n−1 )−1 m−1 n−1 , sea x−1 m−1 x = (n−1 )−1 m−1 n−1 ⇒ x−1 m−1 x ∈ M y m ∈ M.
⇒ mnm−1 n−1 ∈ M ∩ N por hipotesis mnm−1 n−1 = e , operando se llega a
mn = nm que es lo buscado.

~ si A y B son subgrupos de un grupo G tales que b−1 ab ⊂ A para todo

b ∈ B demuestre que AB ≤ G

solucion

se e ∈ B , e ∈ A ⇒ e.e ∈ AB ⇒ AB 6= ∅ .
sean x,y ∈ AB ⇒ x = a1 b1 , y = a2 b2 ⇒
xy = a1 b1 a2 b2
xy = a1 b1 a2 eb2
xy = a1 b1 a2 b−1
1 b1 b 2
sabemos por hipotesis a1 , b1 a2 b−1 −1
1 ∈ A ⇒ a1 b1 a2 b1 ∈ A y ademas b1 , b2 ∈ B
⇒ b 1 b2 ∈ B
⇒ a1 b1 a2 b−1
1 b1 b2 ∈ AB
⇒ a1 b1 a2 b2 ∈ AB

sea x ∈ AB ⇒ x = a1 b1 .
x−1 = (a1 b1 )−1
x−1 = b−1 −1 −1 −1
1 a1 = b 1 a1 e
−1 −1 −1
x−1 = b1 a1 b1 b1 por gipotesis sabemos b−1 −1
1 a1 b 1 ∈ A y b 1 ∈ B ⇒ x
−1
∈ AB.

~ sea G un grupo abeliano. Sean a, b ∈ G de orden n y m respectiva-

mente . Suponga que n y m son relativamente primos . Pruebe que o(ab) =
nm

solucion

para resolver este problema usaremos lo siguiente: si A,B son subgrupos de

G con G abeliano entonces AB es un subgrupo de G.
Sea x = a1 b1 y y = a2 b2 con x,y ∈ AB , donde a1 a2 ∈ A Y b1 b2 ∈ B.
xy = a1 b1 a2 b2 por hipotesis tenemos que G es abeliano entonces
xy = a1 a2 b1 b2

4
⇒ xy ∈ AB
x = a1 b 1
x−1 = b−1 −1
1 a1 ∈ AB ⇒ AB es un subgrupo de G.
Como AB es un subgrupo de G AB = {AB|a ∈ A, b ∈ B} , puede mn tener
elemetos diferentes? solo si hay alguna combinacion de estos elementos , es
decir , si al final solo si para algunos pares distintos {a1 , b1 }, {a2 , b2 }, ahora
tenemos a1 b1 = a2 b2 pero esto implica
a−1 −1
2 a1 = b2 b1 , donde la parte izquierda de la igualdad pertenece a A , y la
parte derecha esta en B y ambas en A ∩ B.
Asi a1 = a2 c y b1 = c−1 b2 donde c ∈ A ∩ B.
pero si c ∈ A ∩ B y si a ∈ A y b ∈ B ⇒ a1 = ac ∈ A y b1 = c−1 b ∈ B y
a1 b1 = (ac)(c−1 b) = ab
por lo tanto no son exactamente |A ∩ B|, pares que dan lugar al mismo ab.
Asi
mn |A||B|
|AB| = =
|A ∩ B| |A ∩ B|

~ sea G un conjunto con una operacion * tal que :

a) G es cerrado bajo *
b) * es asociativa
c) Existe un elemento e ∈ G tal que e ∗ x = x
d) Dado x ∈ G, existe un y ∈ G tal que y ∗ x = e.
pruebe que G es un grupo.

solucion

Sea x ∈ G ⇒ ∃ y ∈ G tal que y ∗ x = e

Ademas y ∈ G ⇒ ∃ z ∈ G tal que z ∗ y = e
ze = zyx
ze = x

xe = zee
xe = zyx
xe = ex
=x

xy = ezy
xy = e

5
~ Si G es un grupo , y a,x ∈ G pruebe que C(x−1 ax) = x−1 C(a)x.

solucion

Sea y ∈ C(x−1 ax) ⇒ yx−1 ax = x−1 axy

y = x−1 axy(x−1 ax)−1
y = x−1 axyx−1 a−1 x
sea d = axyx−1 a−1
⇒ y = x−1 dx
yx−1 ax = x−1 axy
x−1 dxx−1 ax = x−1 axx−1 dx
da = ad ⇒ d ∈ C(a)

Regreso
Sea y ∈ x−1 C(a)x
xyx−1 = b ⇒ y = x−1 bx con b ∈ C(a)
x−1 abx = x−1 bax
x−1 axyx−1 x = x−1 xyx−1 ax
x−1 axy = yx−1 ax
⇒ y ∈ C(x−1 ax)

−1
T
~ si H es un subgrupo de G y sea N = x∈G x Hx. Puebe que N es
subgrupo de G.

solucion

Sea x,y ∈ N ⇒ x = x−1 h1 x, Y = x−1 h2 x con h1 , h2 ∈ H

xy −1 = x−1 h1 xx−1 h−1
2 x
xy = x h1 h2 x, sea h3 = h1 h−1
−1 −1 −1
2 ademas esta en H
⇒ xy −1 = x−1 h3 x ⇒ xy −1 ∈ N ⇒ N es sungrupo de G.

~ Sea G = hai un grupo ciclico de orden n. Demuestre que que ak es un

generador de G si y solo si (k,n) = 1 . Encuentre todos los generadores de
Z18 .

solucion

6
G = hai , |G| = n = | hai |
| hai | = n ⇒ o(a) = n
⇒ G = hak i , n = |G| = | hak i |
| hak i | = n ⇒ o(ak ) = n
n
o(ak ) = ⇒ mcd(n,k) = 1
mcd(n, k)
Regreso
Sabemos que G es grupo entonces es cerrado, sabemos ak ∈ G entonces ak
es un subgrupo de G, | hak i | = n
n
o(ak ) = =n
mcd(n, k)
o(ak ) = n = | hak i |
⇒ hak i = G

~ Sean H y K subgrupos de un grupo G. Demuestre que HK es un sub-

grupo de G si y solo si HK = KH.

solucion
Sea x ∈ HK ⇒ x = ab, luego a ∈ H y b ∈ k .
⇒ a−1 ∈ H y b−1 ∈ k
b−1 a−1 ∈ KH ⇒ (ab)−1 ∈ KH ⇒ ((ab)−1 )−1 ∈ KH ⇒ x = ab ∈ KH ⇒ HK
⊆ KH.

KH ⊆ HK
sea ba ∈ KH ⇒ b ∈ K y a ∈ H tambien b−1 ∈ K y a−1 ∈ H.
⇒ a−1 b−1 ∈ HK
(ba)−1 ∈ HK
((ba)−1 )−1 ∈ HK
ba ∈ HK
Regreso
Sea x,y ∈ HK ⇒ x = h1 k1 y y = h2 k2
xy −1 = h1 k1 k2−1 h−1 −1
2 = h1 k3 h2
Tenemos h1 ∈ H y k3 h−1 2 ∈ KH = HK
⇒ ∃ h ∈ H y k ∈ K tal que k3 h−1 2 = hk ∈ HK
−1 −1
⇒ xy = h1 k3 h2 = h1 hk ∈ HK

7
xy −1 ∈ HK

~ Si M es un subgrupo de un grupo G tal que x−1 M x ⊂ M para todo x

∈ G , demostrar que en realidad x−1 M x = M

solucion

sabemos x−1 M x ⊂ M supongamos x−1 M x 6⊃ M , entonces ∃ m ∈ M tal que

m 6= x−1 m0 x ∀ m0 ∈ M ⇒ x−1 M x 6= m0 ∀ m0 ∈ M lo cual es absurdo

~ Si G es un grupo que no posee subgrupos diferentes de los triviales ,

demuestrque que el grupo G es ciclico de orden p con p primo

solucion

probemos que G es finito , se a ∈ G , a de tal forma que a ∈ G-{1}. hai =

G , a2 6= e ⇒ ha2 i = G, como a ∈ G ⇒ ∃ k tal que (a2 )k = a
a2k = a
a2k−1 = e
nota si an = e luego o(a)|n, ⇒ o(a)|2k − 1
o(a) ≤ 2k-1 < ∝ ⇒ el orden de a es finito |hai| = |G|

Veamos que el orden de G es primo

supongamos |G| = p , donde p no es primo es un numero compuesto , en-
tonces ∃ d tal que 1 < d < p tal que d | |G| = p , luego existe un subgrupo H
de G , luego 1 < d < p lo cual es absurdo. para ver que es ciclico basta con
tomoar un elemento g en G diferente de la identidad entonces el generado
por g va a ser un subgrupo no trivial lo que implicaria que el generado por g
sea exactamente G entonces G es ciclico.

~ Sea G un grupo, H ≤ G y sea a ∈ G entonces Ha = H ⇔ a ∈ H

solucion

⇒] supongamos Ha = H , a ∈ H
a = ea ∈ Ha = H entonces a ∈ H
⇐] supongamos a ∈ H y tomemos b ∈ H entonces b = be luego b = ba−1 a ,
con ba−1 a = h ∈ H entonces b = ha con h ∈ H luego b ∈ Ha.

8
Ahora tomemos c ∈ Ha.
c = ha , h ∈ H y a h ∈ H entonces c ∈ H.

~ Si G es un grupo en el cual (a ∗ b)3 = a3 ∗ b3 y (a ∗ b)5 = a5 ∗ b5 para

todo a,b en G. Pruebe que G es abeliano.

~ Si G es un grupo tal que (a ∗ b)3 = a3 ∗ b3 y (a ∗ b)5 = a5 ∗ b5 para

todo a,b en G, pruebe que G es abaeliano.

solucion

(a ∗ b)3 = a3 ∗ b3
⇒ ababab = aaabbb
(b ∗ a)2 = a2 ∗ b2 (∗)
por otra parte (a ∗ b)5 = a5 ∗ b5
⇒ ababababab = aaaaabbbbb
(b ∗ a)4 = a4 ∗ b4
((b ∗ a)2 )2 = a4 ∗ b4 (∗2)
sustituyendo (∗) en (∗2) tenemos
(a2 b2 )2 = a4 b4

a2 b 2 a2 b 2 = a4 b 4
b 2 a2 = a2 b 2

b2 a2 = (ba)2
b2 a2 = baba
ba = ab
lo que prueba que G es abeliano