Captulo 1

Grupos y Subgrupos
001.El concepto de grupo
Sea G un conjunto no vaco y sea
GG G
una operacion interna en G para la cual denotaremos a la imagen de un par (x, y)
mediante xy. Supongamos que
1) x, y, z G (xy)z = x(yz).
2) e G / (x G xe = ex = x).
3) x G (x1 G / xx1 = x1 x = e).
En estas condiciones se dice que la pareja
(G, G G G)
define una estructura de grupo en G para la operaci
on G G G. Mas abreviadamente, se suele decir que G es un grupo respecto de la operaci
on GG G.
Haciendo abuso de lenguaje, hablaremos simplemente del grupo G suponiendo que en
el conjunto G hemos prefijado una cierta operacion interna.
La primera propiedad se conoce como asociativa. El elemento e aludido en la segunda
se nombra como elemento neutro. Para cada x G, el x1 que aparece en la tercera,
se denomina elemento inverso o sim
etrico de x.
002.- Grupos abelianos
Un grupo G se llama abeliano (por Niels Abel), o conmutativo cuando
4) x, y G xy = yx. Esta propiedad se llama conmutativa, y la cumplen solo
algunos grupos.

003.- Notaci
on aditiva
Al definir los grupos hemos usado notacion multiplicativa. Podra sustituirse por otra
cualquiera. En particular, tambien es usual la notacion aditiva. En este caso, el elemento
neutro se nombra como elemento nulo o cero, escribiendo 0 en lugar de e; el simetrico
de uno dado x se nombra como opuesto de x, escribiendo x donde antes ponamos
x1 . La definicion de grupo se redactara as:
1) x, y, z G (x + y) + z = x + (y + z).
2) 0 G / (x G x + 0 = 0 + x = x).
3) x G ( x G / x + (x) = (x) + x = 0),
mientras que la propiedad conmutativa, de cumplirse, se escribira
4) x, y G x + y = y + x.
Precisamente en los grupos con esta propiedad, es decir, los grupos abelianos, es donde
con mas frecuencia se emplea la notacion aditiva.
004.- Primeras propiedades de los grupos
1) Propiedad asociativa generalizada
La propiedad asociativa se ha enunciado para tres datos, pero puede extenderse a
cuatro o mas. Vease, por ejemplo, que con los datos x, y, z, u, aplicando oportunamente
la propiedad asociativa para tres, obtendramos
((xy)z)u = (x(yz))u = x((yz)u) = x(y(zu)) = (xy)(zu),
es decir, todas las formas de agruparlos conducen a un mismo resultado. Una vez establecido esto, se pasara a operaciones con cinco datos y, por recurrencia, a operaciones
con una cantidad finita, pero arbitraria, de datos, obteniendo el mismo resultado para
todas las agrupaciones posibles. Esta es la generalizacion de la propiedad asociativa,
que una vez comprobada permite prescindir de los parentesis en que agrupamos el
resultado de operar parte de los datos. As se justifica el nombre de primera regla de
supresi
on de parentesis, usado por algunos tratadistas.
2) El elemento neutro es u
nico:
Si e, f G son dos posibles neutros, consideremos su producto ef. Por ser e neutro,
sale ef = f, y por serlo f es ef = e. Por tanto, e = f.
3) Para cada x G, su simetrico es u
nico:
Si y, z G son dos posibles simetricos de x, se tiene
z = ze = z(xy) = (zx)y = ey = y.
4) El simetrico de un producto es el producto de los simetricos en orden contrario:
x, y G (xy)1 = y 1 x1.
En efecto,
(xy)(y 1x1) = x(yy 1)x1 = xex1 =
= xx1 = e = y 1y =
= y 1ey = y 1 (x1 x)y = (y 1x1 )(xy)
p.2/@becedario

Introducci
on a la Teora de Grupos

y 1 x1 = (xy)1.
Con notacion aditiva, tendramos
(x + y) = (y) + (x),
que habitualmente se escribe en la forma
(x + y) = y x,
constituyendo la llamada segunda regla de supresion de parentesis, usada sobre todo
en grupos conmutativos.
5) El simetrico del simetrico de un elemento es el propio elemento:
x G (x1 )1 = x.
Cambiando el orden de las igualdades en la definicion de simetrico, sale
x1 x = xx1 = e x = (x1 )1 .
6) Es valida la propiedad de simplificacion (o cancelativa), tanto por la derecha
(x, y, z G / xz = yz) x = y,
como por la izquierda
(x, y, z G / zx = zy) x = y.
Basta multiplicar ambos miembros por el inverso del elemento a simplificar, por el
mismo lado en que este situado. Por ejemplo,
xz = yz (xz)z 1 = (yz)z 1 x(zz 1) = y(zz 1)
xe = ye x = y.
7) Se puede efectuar la operacion inversa, tanto por la derecha
x, y G (u G / x = yu),
como por la izquierda
x, y G (v G / x = vy).
Tomando, en efecto, u = y 1x, v = xy 1, se comprueba que
yu = y(y 1 x) = (y 1 y)x =
= ex = x = xe =
= x(y 1y) = (xy 1 )y = vy.
El elemento u = y 1x se conoce como cociente de x por y por la derecha, mientras que
v = xy 1es el cociente de x por y por la izquierda. Si el grupo G fuese conmutativo,
@becedario/p.3

ambos coinciden y se habla sin mas de cociente de x por y. As la operacion inversa

es una verdadera operacion en G a la que suele denominarse como division, y su resultado suele escribirse como x/y. En notacion aditiva, en lugar de cociente se habla
de diferencia a uno u otro lado. En el caso abeliano, la operacion inversa se denomina
sustracci
on y su resultado se escribe como
x y = x + (y),
constituyendo la tercera regla de supresion de parentesis.
005. El orden de un grupo
Como veremos, con ejemplos concretos que apareceran en el siguiente captulo, el cardinal del conjunto G sobre el que tengamos una estructura de grupo puede ser tanto
infinito como finito. El Teora de Grupos es frecuente llamar orden de un grupo al
cardinal de G, usando para su valor cualquiera de las dos notaciones
Ord.(G), | G | .
La observacion que hemos hecho da lugar a clasificar los grupos en grupos infinitos
o grupos finitos, seg
un que lo sea su orden.
006.- Subgrupos
Sea H 6= un subconjunto de G. Se dice que H es subgrupo de G si al operar,
mediante la operacion de G, solamente con elementos de H (esto es: al restringir la
operacion de G a H), H adquiere la estructura de grupo.
As, un subgrupo no solo es un grupo dentro de otro, sino que ha de serlo con la misma
operacion del total.
Proposici
on 01: Un subconjunto H 6= es un subgrupo de G si y solo si
1) x, y H xy H.
2) e H.
3) x H x1 H.
Demostraci
on:
a) Supongamos que H cumple las tres condiciones del enunciado. La primera indica
que la restriccion de la operacion de G a H se convierte en una operacion interna de
H. El neutro de G, que esta en H por la segunda condicion, sirve de neutro en la
operacion de H. Tambien el simetrico en G de cada x H, que pertenece a H por la
tercera condicion, sirve de simetrico en la operacion de H. Finalmente, esta operacion
es asociativa, pues, al tener tal propiedad caracter universal en G, la hereda cualquier
parte de G y, en particular, la hereda H. As, llegamos a que H, con la operacion
restringida, se ha convertido en otro grupo, o sea, H es un subgrupo de G.
b) Seg
un la definicion dada, para que H sea un grupo por s solo lo primero que
tendra que ocurrir es que la restriccion de la operacion de G a H sea una operacion
interna en H, lo cual significa que:
1) x, y H xy H. En segundo lugar, H ha de tener neutro. Como el
de G (por su universalidad) sirve para H y como el neutro en cada grupo es u
nico, se
debera cumplir que:
p.4/@becedario

Introducci
on a la Teora de Grupos

2) e H. Finalmente, si H ha de ser grupo, cada elemento suyo ha de tener un

simetrico perteneciente a H. Por la unicidad en G del simetrico, este no puede ser otro
que el que ya posea como elemento de G. O sea,
3) x H x1 H.
Proposici
on 02: Un subconjunto H 6= es un subgrupo de G si y solo si
x, y H xy 1 H.
Demostraci
on:
a) Supongamos que H cumple la condicion del enunciado. Entonces, al ser no vaco,
existe al menos un elemento x H. Aplicando la condicion a la pareja x, x se deduce
que
xx1 = e H.
Si x H, al aplicar la condicion a la pareja e, x sale
ex1 = x1 H.
Por fin, si x, y H, tambien x, y 1 H, luego
x(y 1 )1 = xy H.
As, H cumple las tres propiedades de 01 y se trata de un subgrupo.
b) Si H 6= es un subgrupo, cumple las condiciones de 01. Entonces, dados x, y H,
por la tercera se cumple que y 1 H, y por la primera, aplicada a los datos x, y 1 H
se tiene la implicacion
x, y H xy 1 H.
En lo sucesivo, la relacion H es subgrupo de G se indicara escribiendo
H G.
Trivialmente se tiene G G y {e} G. Estos subgrupos se llaman impropios. Un
subgrupo propio H sera el que cumpla {e} =
6 H 6= G.
007.- Intersecci
on de subgrupos
Proposici
on 01: La interseccion de una cantidad cualquiera de subgrupos de G, es
otro subgrupo.
Demostraci
on: Sea 6= un conjunto cualquiera y sea {H } una familia de
subgrupos de G. Entonces,
x, y H x, y H ,
xy 1 H , xy 1 H .
En particular, dados H, K G, se tendra que H K G. Sin embargo, en general, el
conjunto H K no es subgrupo de G. En el siguiente captulo aparecera alg
un ejemplo
que corrobore tal afirmacion.
@becedario/p.5

008.- Producto de dos subgrupos

Dados dos subconjuntos no vacos H y K de un grupo G, el conjunto
HK = {g = xu / x H, u K}
de todos los resultados de operar un elemento de H con otro de K, se nombra como el
producto de H por K.
Suponiendo que H y K sean subgrupos, en general HK no va a ser otro subgrupo. Lo
veremos con un ejemplo cuando mas adelante establezcamos caracterizaciones, as como
condiciones solamente suficientes, para que HK sea un subgrupo.
De momento, vamos a desarrollar una de las condiciones suficientes y vamos a se
nalar
una propiedad que posee HK en caso de ser subgrupo.
Proposici
on 01: Si H y K son subgrupos de un grupo abeliano G, se cumple que
HK es otro subgrupo de G.
Demostraci
on: Sean g = xu, h = yv, donde x, y H, u, v K, dos elementos de
HK. Entonces, aplicando las propiedades asociativa y conmutativa, tenemos
gh1 = (xu)(yv)1 = (xu)(v 1y 1 ) = (xy 1 )(uv 1) HK,
porque, al tratarse de subgrupos, sabemos que
x, y H xy 1 H, uv K uv 1 K.
A su vez, la relacion gh1 HK implica que HK es subgrupo.
Proposici
on 02: Supongamos dos subgrupos H y K de G tales que HK tambien sea
subgrupo. Sea L un tercer subgrupo. Entonces,
1) H K HK.
2) H K L HK L.
Demostraci
on:
1) Todo elemento x H se escribe en la forma x = xe, con e K, luego x HK.
Igualmente, si u K, escribiendo u = eu, con e H, vemos que u HK. As, HK
contiene a H y contiene a K, y, por ello,
H K HK.
2) Sea L un subgrupo tal que H K L. Dado un elemento g HK, se tendra g =
xu, donde x H y u K. Como los dos factores pertenecen a H K, perteneceran a
L. Siendo L subgrupo, su producto tambien. As, queda probado que HK L.
Este teorema significa que si HK es subgrupo, tiene la propiedad de ser el mnimo
subgrupo (para la relacion de contenido) que contiene a la union.

Ejercicios
01.- Razonar que en la definici
on de grupo hubiese bastado postular la existencia de neutro
y de simetricos solamente por la izquierda.
p.6/@becedario

Introducci
on a la Teora de Grupos

02.- Para cada operaci

on definida en el conjunto G, dgase cu
ando la pareja (G, ) es un
grupo. En caso negativo, se
nalar que axiomas fallan.
1) G = Z, x y = xy.
2) G = Z, x y = x y.
3) G = Q, x y = xy.
4) G = R+ , x y = xy.
5) G = C , x y = x + y.
6) G = R , x y = x.
03.- En el conjunto G = {e, a, b, c, d, f }
tabla
e a
e e a
a a e
b b c
c c d
d d f
f
f b

se define una operaci

on interna mediante la
b
b
c
e
f
a
d

c
c
d
f
e
b
a

d
d
f
a
b
e
c

f
f
b
d
a
c
e

La pareja (G, ) es un grupo abeliano? Cu

al de los axiomas falla?
04.- Sea la operaci
on * de R definida por la ley
xy =

x3 + y 3 .

Comprobar que (R, ) es un grupo abeliano.

05.- En el conjunto G de puntos de la curva de ecuaci
on xy = 1 se fija el punto P = (1, 1).
Dados A, B G, se considera la recta < A, B > que pasa por ellos (si A = B, esta recta se
sustituye por la tangente en A a la curva) y se traza la paralela a la misma que pasa por P ,
la cual cortar
a a la curva en otro punto C. Tomando la operaci
on A B = C, razonar que
(G, ) es un grupo abeliano.
06.- En el conjunto G = R {1} se define una operaci
on mediante la ley
a b = a + b + ab.
Comprobar que se trata de una operaci
on interna. Razonar que (G, ) es un grupo abeliano.
Resolver en dicho grupo la ecuaci
on 6 x = 9.
07.- Sea E 6= un conjunto, sea G = P(E). En G se define la operaci
on
X Y = (X Y c ) (X c Y ),
llamada diferencia sim
etrica. Razonar que con ella, P(E) se convierte en un grupo abeliano
en el cual cada elemento es simetrico de s mismo. Si E es de cardinal finito n, que orden
tiene el grupo?
08.- Razonar que si en un grupo G todo elemento coincide con su inverso, el grupo es abeliano.
09.- Dado un grupo (G, ), se define una operaci
on T en G por la ley
xT y = yx.
@becedario/p.7

Comprobar que (G, T ) tambien es un grupo. (Se conoce como conmutado de G y se anota
como Gc ). Que ocurre si G es abeliano?
10.- Sea G un grupo, A y B dos subconjuntos de G, y H un subgrupo tal que A H.
Razonar que
AB H = A(B H).
(Ley de Dedekind).

p.8/@becedario