Entrega Àlgebra Abstracta I

Marc Manrique Buades

March 2020

22) Sigui H un subgrup finit d’un grup G.

a) Demostrau que per cada x ∈ G, xHx−1 també és subgrup
de G i del mateix cardinal que H.
Sigui x ∈ G i considerem xHx−1 = {xhx−1 |h ∈ H}. Llavors per propia con-
strucció xHx−1 ⊆ G. Anem a comprovar ara que és subgrup.

Siguin a, b ∈ xHx−1 per tant a = xh1 x−1 i b = xh2 x−1 . Anem a veure que el
producte també pertany a xHx−1 :

ab = (xh1 x−1 )(xh2 x−1 ) = xh1 (x−1 x)h2 x−1 = xh1 eh2 x−1 = xh1 h2 x−1 =
xh3 x−1 ∈ xHx−1 ja que h1 h2 = h3 ∈ H per ser H un subgrup.

Vegem ara que si a ∈ xHx−1 llavors a−1 ∈ xHx−1 :

a = xh1 x−1 , llavors a−1 = (xh1 x−1 )−1 = (x−1 )−1 h−1
1 x
−1
= xh−1
1 x
−1
∈
−1 −1
xHx , ja que h1 ∈ H per ser H un subgrup.

Queda demostrat, per tant, que xHx−1 és un subgrup de G. Vegem ara que te el
mateix cardinal que H. Per això considerem la funció f : H → xHx−1 definida
per f (h) = xhx−1 i vegem que aquesta aplicació és realment una bijecció entre
els dos grups.

INJECTIVITAT: Sigui f (h1 ) = f (h2 ) → xh1 x−1 = xh2 x−1 multiplicant a la

dreta per x i a l’esquerra per x−1 en les igualtats obtenim que h1 = h2 , llavors
és tracta d’una aplicació injectiva.

EXHAUSTIVITAT: Sigui a ∈ xHx−1 → a = xh1 x−1 llavors per propia con-

strucció de f tenim que f −1 (a) = h1 , per tant queda vist que f és exhaustiva.

Com f és injectiva i exhaustiva podem dir que f es bijectiva i llavors que si
H té cardinal finit, xHx−1 també, i a més son siguals.

1
b) Demostrau que si H és l’únic subgrup de G del seu ordre,
aleshores H / G
Si H és l’únic subgrup del seu ordre, llavors com que ∀x ∈ G, |xHx−1 | = |H| és
subgrup i amb el mateix ordre que H (per l’apartat anterior), llavors xHx−1 =
H, ∀x ∈ G ja que per hipòtesi H és l’únic subgrup del seu ordre. Per tant H / G.

c) Demostrau que si G té exactament dos subgrups d’un

mateix ordre finit, diguem-ne k i un d’ells és normal, aleshores
l’altre també és normal dins G.
Suposem H, K dos subgrups d’ordre k finit, i sigui H / G, Llavors, com que
xKx−1 és un subgrup de G i també de cardinal k ha de ser que xKx−1 = K
o bé xKx−1 = H = xHx−1 , (ja que només tenim dos subgrups amb aquest
cardinal), però si passàs la segona opció H = K i per hipòtesis son diferents.
Per tant ha de ser xKx−1 = K, ∀x ∈ G i llavors K / G.