1

Deniciones bsicas

DEFINICIN 1.1 (Un grupo): Un grupo G, es un conjunto dotado de una operacin

GGG (a, b) a b

denominada multiplicacin del grupo que es una ley de composicin interna y que satisface las siguientes condiciones:
1.

(asociatividad) a (b c) = (a b) c para todo a, b, c G; (existencia del elemento identidad) de entre todos los elementos, existe un elemento e tal que a e = a para todo a G; (existencia de inverso) para cada a G, existe a1 G, llamado inverso de a, tal que a a1 = e.

2.

3.

Se optar por omitir cuando no lleve a confusin. Estas tres condiciones son las esenciales. De estos axiomas se pueden derivar algunas consecuencias (elementales) tiles como: e1 = e; a1 a = e; e a = a, para todo a G y la unicidad del elemento identidad. Demostremos algunas de ellas a continuacin.

e1 = e e G, por tanto, existe su inverso e1 G, tal que ee1 = e.

Si multiplicamos la ecuacin anterior por la izquierda por e1 obtenemos

e1 ee1 = e1 e.

Usando que el producto es asociativo y (2) llegamos a que

e1 e e1 = e1 .

Ahora bien, para cada elemento de G y en particular para e1 existe su inverso (e1 )1 G. Multiplicando la igualdad anterior por la derecha por (e1 )1 queda
e1 e e1 e1
1

= e1 e1

De nuevo, usando la asociatividad del producto y (3) tenemos que

e1 e = e,

y de aqui, teniendo en cuenta (2) nalmente se deduce que:

e1 = e c.q.d

a 1 a = e

Como a G, a1 G tal que aa1 = e. Multiplicando la igualdad anterior por a1 (por la izquierda) queda que
a1 aa1 = a1 e.

De aqu, razonando de igual manera que en lo precedente se llega a que:

a1 a a1 = a1

Multiplicando la igualdad por (a1 )1 (por la derecha), se concluye que

a1 a = e c.q.d

ea = a

Partiendo de la ecuacin que se acaba de demostrar, multiplicando por la izquierda por a

a a1 a = ae

Dado que la multiplicacin es asociativa y teniendo presente (2) y (3) resulta que
ea = a c.q.d

Hagamos algunas lecturas de las consecuencias de los axiomas (1), (2) y (3). Al elemento que satisface (2) se le llama elemento identidad, o elemento neutro. Si hay un segundo elemento e' que verica (2), entonces por todo lo anteriormente dicho
e = e e = ee = e

luego tenemos que dicho elemento identidad es nico. Supngase que ba = e y que ac = e, todos elementos del grupo, G.Entonces
2

b = be = b(ac) = (ba) c = ec = c

De modo que el elemento a' que verica (3) est determinado de manera nica por a. La asociatividad de la multiplicacin, nos garantiza que no hay ambigedad en el producto de tres elementos ordenados de G a, b, c: no importa si primero se hace ab y despus (a b) c, o primero b c y luego a (b c). El resultado es el mismo. De hecho, (1) implica que el producto cualquier n-upla ordenada a1 , a2 ...an de elementos de G est denido sin ambigedad. Probemos esto ltimo por el mtodo de induccin: En una multiplicacin, podriamos tener
(a1 ...ai ) (ai+1 ...an ) ,

(1) (2)

mientras que en otra multipliacin podra ser

(a1 ...aj ) (aj +1 ...an ) .

Ntese que la expresin en cada par de parntesis est bien denida por la hiptesis de induccin. Si i=j, es evidente que (1) es igual a (2). Si i = j , podemos suponer que i < j. Entonces
(a1 ai ) (ai+1 an ) = (a1 ai ) ((ai+1 aj ) (aj +1 an )) (a1 ai ) (ai+1 an ) = ((a1 ai ) (ai+1 aj )) (aj +1 an )

y las expresiones de la derecha son iguales por el axioma (1). La asociatividad de la multipliacin, nos permite escribir
a ( b c) = a b c

sin ambigedad alguna.

DEFINICIN 1.2 (Grupo abeliano): Un grupo abeliano G, es aquel en el que la multipliacin es conmutativa, es decir a b = b a para todo a, b G. DEFINICIN 1.3 (Orden): El orden de un grupo es el nmero deelementos de el grupo (si este es nito).