Sei sulla pagina 1di 3

IV Problema del examen

Christian Asch Burgos B40703

Fuente del problema

Este problema fue encontrado en un libro llamado A Book of Abstract Algebra Second Edition por Charles C. Pinter de la publicadora Dover Books
(http://www.amazon.com/Book-Abstract-Algebra-Second-Mathematics/dp/0486474178)
El problema es el E. del cuarto captulo

Enunciado

Deje que G sea un grupo finito (con e su elemento identidad), y deje que S sea
el conjunto de todos los elementos de G distintos de su inversa, o sea
S = {x G : x 6= x1 }
Pruebe lo siguiente:
1. En cada grupo finito G, el numero de elementos distintos de su inversa es
un n
umero par.
2. El n
umero de elementos de G iguales a su propia inversa es par o impar
dependiendo de si G es par o impar
3. Si el orden de G es par, hay al menos un elemento x en G tal que x 6= e y
x = x1
En las partes 4 a 6, deje que G sea un grupo abeliano finito, formado por el
conjunto G = {e, a1 , a2 , ..., an }. Pruebe lo siguiente:
4. (a1 a2 ...an )2 = e
5. Si no hay un elemento x 6= e en G tal que x = x1 entonces a1 a2 ...an = e
6. Si hay exactamente un elemento x 6= e en G tal que x = x1 entonces
a1 a2 ...an = x

Soluci
on
1. Aqu nos piden demostrar que el n
umero de elementos de S es par, recordemos que este conjunto esta formado por los elementos de G que son distintos de su inversa. Si por ejemplo, a S esto implica que a 6= a1 y por
lo tanto a1 S.
Entonces podemos dividir el conjunto S en n subconjuntos que contienen
a un elemento de G y a su inversa (ver imagen).

c-1

...

a
b

a-1
b -1

...
Como cada subconjunto tiene 2 elementos entonces S tiene en total 2n
elementos, lo que es un n
umero par, y demostramos que el numero de
elementos en G que son distintos de su inversa es un n
umero par.
2. Definamos el conjunto T como el conjunto de elementos de G iguales a su
propia inversa, osea T = {x G : x = x1 } y definamos num(C) como el
n
umero de elementos en un conjunto
Podemos ver que num(G) = num(T ) + num(S). Sabemos de la parte 1
que num(S) siempre es un n
umero par, por lo tanto, si num(G) es par
entonces num(T ) tiene que ser par y si num(G) es impar entonces num(T )
tiene que ser impar.
3. Vimos de la parte 2 que si num(G) es par entonces el n
umero de elementos
iguales a su propia inversa tambien es par.
Sabemos que e = e1 , por lo que existe un n
umero impar de elementos
x 6= e tal que x = x1 , lo que implica que hay al menos uno de ellos.
4. Si tenemos el producto (a1 a2 ...an )2 , donde a1 a2 ...an son los elementos de
G, podemos reescribirlo de la siguiente manera:
1
1 2
2
(a1 a1
1 a2 a2 ...an an ) (ai aj ...ak )

Donde los elementos ai , aj , ..., ak son elementos iguales a su propia inversa.


La multiplicaci
on de la izquierda da e y la multiplicacion de la derecha la
podemos reescribr as:
ai ai aj aj ...ak ak
Y podemos ver que tambien da e por lo que (a1 a2 ...an )2 = e

5. Si no existe un elemento x de G tal que x 6= e y que x = x1 entonces el


podemos reescribir el producto a1 a2 ...an as:
1
1
a1 a1
1 a2 a2 ...an an

Que podemos ver que es igual a e por lo tanto a1 a2 ...an = e


6. Si existe exactamente un elemento x de G tal que x 6= e y que x = x1
entonces el podemos reescribir el producto a1 a2 ...an as:
1
1
(a1 a1
1 a2 a2 ...an an )x

Que podemos ver que es igual a ex = x por lo tanto a1 a2 ...an = x

Potrebbero piacerti anche