ENTREGA ESTRUCTURAS

ALGEBRAICAS GRUPO 6
Mónica Nogales Rodrı́guez, Laura Cristobal Aparicio,
Pablo Cuesta Sánchez, Adrián Castillejo Martı́nez,
David del Castillo Herrera
Noviembre 2022

EJERCICIO 1.
Sea G un grupo y sean H, K, L subgrupos de G tales que H ⊇ L. Demostrar:

HK ∩ L ⊇ H(K ∩ L)

Sea a ∈ HK ∩ L. Entonces a ∈ L y a ∈ HK. Por tanto a ∈ L y además existen

h ∈ H, k ∈ K tales que a = hk. Se deduce que

k = h−1 a

Como h ∈ H y H es subgrupo de G se tiene que h−1 ∈ H ya que los subgrupos de

un grupo son cerrados con respecto a la operación. Por hipótesis H ⊂ L, y por ello
h−1 ∈ L. Como a ∈ L, h−1 ∈ L y L subgrupo de G por hipótesis, se tiene que L es
cerrado con respecto a la operación de G y por lo tanto h−1 a ∈ L. Es decir, k ∈ L.
Por tanto

a = hk ∈ H(K ∩ L)

EJERCICIO 2.
Sean M un conjunto finito y f : M → M una involución tal que f (x) ̸= x
para todo x ∈ M . Demostrar que el número de elementos de M es par.

Vamos a probar primero que f es biyectiva. A partir de ahı́ resolveremos el prob-

lema de dos formas distintas.

Al ser f involución, f 2 ≡ Id.

Dado a = f (x1 ) = f (x2 ) y x1 ̸= x2 ⇒ f 2 (x1 ) = x1 = f (a) = f 2 (x2 ) = x2 =
f (a) ⇒ x1 = x2 . Contradicción, luego f es inyectiva. Toda aplicación inyectiva
de un conjunto en sı́ mismo, también es sobreyectiva. Por lo tanto es biyectiva y
f −1 = f .

1
Primer método: Supongamos que card(M ) = 2k+1, k ∈ N. Sea M = {m1 , m2 , ......., m2k+1 }.
Como f ̸≡ Id,

f (mi ) = mj y f 2 (mi ) = f (mj ) = mi .

De este modo se forman parejas (mi , mj ). Como card(M) = 2k + 1, como mucho

podrán formarse k parejas distintas. Sin embargo, quedará un elemento sin empare-
jar tal que f (ml ) = ml , que no cumple con las hipótesis. Luego card(M ) es par.

Segundo método: Como f 2 es la identidad pero f ̸≡ Id, tiene orden 2, luego f es

producto de m transposiciones disjuntas. En consecuencia, el cardinal de M es 2m,
que es par.

EJERCICIO 3.
¿Existe algún grupo finito con, exactamente, 100 elementos de orden 5?

Si existe 1 elemento de orden 5 ⇒ existe un subgrupo de 5 elementos ⇔ existen

4 elementos de orden 5. Supongamos que existe un grupo finito con exactamente
100 elementos de orden 5, los cuales contienen 4 elementos de orden 5. Luego nece-
sitaremos 100 ÷ 4 = 25 subgrupos de orden 5.

Por el Teorema de Lagrange, podemos asegurar que de existir este grupo, el orden
debe ser múltiplo de 5.

El Teorema de Cauchy nos dice que dado p = 5 primo y G un grupo tal que ord(G)
= 5m, con m ∈ N; entonces el número de subgrupos de G de orden p = 5 es con-
gruente con 1 mod p

Como hemos visto, si existe un grupo con 100 elementos de orden 5, entonces habrá
25 subgrupos de orden 5, pero 25 ̸≡ 1 mod p. Luego no existe grupo finito con estas
caracterı́sticas.