1

1. La Denicion de Grupo y Algunos Ejemplos

Consideremos el conjunto que consiste en todos los n umeros enteros {0, 1, 2, . . . }.
La suma m + n de dos enteros cualesquiera m y n es tambien un entero, y
las siguientes reglas de adici on se verican para enteros arbitrarios m, n, y
p:
(1) m + n = n + m.
(2) (m + n) + p = m + (n + p).
Adem as, dados enteros cualesquiera m y n, la ecuaci on
m + x = n
tiene una unica solucion, x = n m, que tambien es un entero.
Situaciones similares a estas ocurren con frecuencia en diferentes areas de las
matem aticas, y no se reeren unicamente a los n umeros enteros. Considerese,
por ejemplo, el conjunto de las matrices 2 2 no singulares (esto es, todas
las matrices 2 2 tales que su determinante no es cero). Sean A y B dos de
estas matrices 2 2,
A =

a
1
a
2
a
3
a
4

y B =

b
1
b
2
b
3
b
4

.
Entonces, el producto de A y B es tambien una matriz 22. Este producto,
denotado porla yuxtaposici on de las letras A y B, esta denido como
AB =

a
1
b
1
+ a
2
b
3
a
1
b
2
+ a
2
b
4
a
3
b
1
+ a
4
b
3
a
3
b
2
+ a
4
b
4

.
Con respecto a la operacion binaria de multiplicaci on de matrices, obser-
vamos que, en general, AB no es necesariamente igual a BA, pero la ley
asociativa (AB)C = A(BC) es v alida para cualesquiera matrices 2 2 A, B,
y C. Si la matriz 2 2 A es no singular, entonces las ecuaciones AX = B y
Y A = B tienen soluciones unicas, X = A
1
B y Y = BA
1
, respectivamente,
donde X e Y son ambas matrices 2 2.
Un conjunto dado junto con una operacion que satisfaga la ley asociativa
se dice que es un grupo o que forma un grupo si cualquier ecuaci on lineal
tiene una unica soluci on, la cual esta en el conjunto. Luego, el conjunto de
todas las matrices 22 no singulares junto con la multiplicacion es un grupo,
2
as como el conjunto de todos los enteros lo es con la suma.
En el conjunto de todos los enteros, la multiplicacion, del mismo modo que
la adicion, est a denida, y para cualesquiera enteros m, n y p, la ley aso-
ciativa de la multiplicaci on se satisface: (mn)p = m(np). Sin embargo, la
ecuaci on mx = n no tiene porque tener una solucion entera x. De modo que
el conjunto de todos los enteros junto con la operacion producto no forma un
grupo. Por otra parte s que lo forma con respecto a la adici on como vimos
antes. De modo que podemos decir que un conjunto dado es un grupo solo
despues de que hayamos especicado la operaci on denida en el conjunto;
para ser mas precisos, debemos decir que un conjunto es un grupo con re-
specto a la operacion denida en dicho conjunto.
Una operaci on denida en un conjunto G es una regla para asignar un tercer
elemento c de G a cualquier par (a, b) de elementos a, b G. Luego, una
operaci on no es m as que una funcion del producto cartesiano G G en G.
En el caso de la adici on de enteros, el tercer elemento c es la suma de dos
enteros; mientras que en el caso de la multiplicacion es el producto. Deno-
taremos para mayor conveniencia c = ab y llamaremos a c el producto de a
y b.
Daremos ahora la denici on formal de grupo en terminos del producto.
Denici on 1.1. Un conjunto no vaco G en donde una operacion pro-
ducto est a denida se dice que es o que forma un grupo (con respecto a la
operaci on producto dada) si las siguientes propiedades se cumplen:
(i) Para cualesquiera a, b, y c de G, la ley asociativa se verica:
(ab)c = a(bc).
(ii) Para dos elementos arbitrarios a y b, existen elementos x e y de G que
satisfacen las ecuaciones
ax = b y ya = b.
Las siguientes propiedades de un grupo son importantes.
Teorema 1.2. (ii)

Existe un unico elemento e en G tal que, para todo

g G,
ge = eg = g.
3
(ii)

Para cualquier elemento a G, hay un unico elemento a

G tal que
aa

= a

a = e,
donde e es el elemento de G denido en (ii)

.
(iii) Las soluciones x e y de las ecuaciones ax = b y ya = b son unicas, y se
tiene que
x = a

b y y = ba

donde a

es el elemento asociado con el elemento a en (ii)

.
Demostracion. Dado que G es un conjunto no vaco, tomamos un elemento
a de G. Por la propiedad (ii), existen soluciones x = e y y = e

para las
ecuaciones
ax = a y ya = a.
Adem as si g es un elemento arbitrario de G, hay elementos u y v de G tales
que
au = g = va;
de modo que tenemos
ge = (va)e = v(ae) = va = g.
La segunda igualdad, (va)e = v(ae), se tiene por la ley asociativa (i). De
manera similar, obtenemos e

g = g. Dado que el elemento g es arbitrario,

tomamos g = e para llegar e

e = e. Por otra parte, el elemento e satisface

ge = g para cualquier g G, entonces e

e = e

. Luego, tenemos e

= e

e = e.
Esto prueba que una soluci on arbitraria de la ecuacion ax = a es igual a la
soluci on de ya = a. As la unicidad del elemento e queda probada, y (ii)

se
verica.
La prueba de (ii)

es similar. Por (ii), existen elementos a

y a

de G tales
que
aa

= e = a

a.
Usando (i) y (ii)

, tenemos
a

= a

e = a

(aa

) = (a

a)a

= ea

= a

.
Para la prueba de (iii). Si ax = b, entonces
a

b = a

(ax) = (a

a)x = ex = x.
4
As pues, una soluci on de ax = b es x = a

b, y es unica; la prueba de que la

soluci on de ya = b es y = ba

y de que esta solucion es unica es analoga.

Corolario. Un conjunto no vaco G con una operaci on es un grupo si las
condiciones (i), (ii)

, y (ii)

se satisfacen.
Denici on 1.3. El elemento e denido en (ii)

es llamado la identidad
de G; el elemento a

denido en (ii)

es llamado el inverso de a.
La identidad de un grupo suele denotarse por 1, mientras que el inverso
de a suele denotarse a
1
.
Teorema 1.4. Se tiene que (a
1
)
1
= a y que (ab)
1
= b
1
a
1
.
Demostracion. La primera igualdad se sigue de (ii)

(la unicidad del in-

verso). La segunda es probada por la igualdad
(ab)(b
1
a
1
) = ((ab)b
1
)a
1
= (a(bb
1
))a
1
= (ae)a
1
= aa
1
= e
y por la unicidad de la inversa. Notese el cambio en el orden de los factores
de ab a b
1
a
1
.
El producto de elementos a
1
, a
2
, . . . , a
n
(n 3) de G es denido inductiva-
mente mediante
a
1
. . . a
n
= (a
1
. . . a
n1
)a
n
.
(1.5) Para n + 1 elementos arbitrarios a
0
, a
1
, . . . , a
n
de un grupo G, ten-
emos a
0
(a
1
. . . a
n
) = a
0
a
1
. . . a
n
.
Demostracion. Pongamos a = a
0
, a
1
. . . a
n1
= b, y a
n
= c. Entonces
por la denici on anterior
a
1
. . . a
n
= bc,