18/10/2019 Concepto de grupo | Fernando Revilla

Fernando Revilla
Tiempo, aritmética y conjetura de
Goldbach & Docencia matemática

Concepto de grupo
Publicado el febrero 20, 2014 por Fernando Revilla

Proporcionamos ejercicios sobre el concepto de grupo.

 RESUMEN TEÓRICO

Definición. Se llama grupo a cualquier par (G, ∗) en donde G es un conjunto no vacío y ∗ una operación en G
que satisface las propiedades:
1. Interna. Para todo x, y elementos de G , se verifica x ∗ y ∈ G .
2. Asociativa. Para todo x, y, z elementos de G , se verifica

(x ∗ y) ∗ z = x ∗ (y ∗ z).

3. Existencia de elemento neutro. Existe e ∈ G, al que llamamos neutro de G tal que

x ∗ e = e ∗ x = x para todo x ∈ G.

4. Existencia de elemento simétrico. Para todo x existe un elemento x ′

∈ G al que llamamos simétrico de x tal
que

′ ′
x∗x = x ∗ x = e.

Si además se cumple la propiedad conmutativa, es decir x ∗ y = y ∗ x para todo x, y elementos de G , se dice

que el grupo es conmutativo o abeliano.

Enunciado
1. Demostrar de manera esquemática que (Z, +) , (Q, +) , (R, +) y (C, +) son grupos abelianos en donde +
representa en cada caso la suma habitual.
2. Demostrar de manera esquemática que el conjunto de las matrices reales de ordenes m × n (denotado por
Mm×n (R) o bien por R m×n
) es grupo abeliano, siendo + la suma habitual de matrices.
3. En el conjunto de los números reales se define la operación x ∗ y = x + y + 4. Demostrar que (R, ∗) es grupo
abeliano.
4. Demostrar que el conjunto R ∖ {0} de los números reales no nulos con la operación ⋅ producto habitual es un
grupo abeliano.
5. Sea G el conjunto de las matrices cuadradas reales de orden n invertibles. Demostrar de manera esquemática
que (G, ⋅) es grupo, siendo ⋅ la operación usual producto de matrices. ¿Es abeliano?
6. Sea R[x] el conjunto de los polinomios en la indeterminada x y coeficientes reales. Demostrar de manera
esquemática que (R[x], +) es grupo abeliano, en donde + representa la suma habitual de polinomios.
−−−−−−
7. En el conjunto de los números reales R se define la operación ∗ mediante x ∗ y = √x 3 3 3
+y . Demostrar que
(R, ∗) es un grupo abeliano.

fernandorevilla.es/blog/2014/02/20/concepto-de-grupo/ 1/5
18/10/2019 Concepto de grupo | Fernando Revilla

8. En G = Z × Z se define la ley de composición interna ∗ mediante

y1
(x1 , y 1 ) ∗ (x2 , y 2 ) = (x1 + (−1) x2 , y 1 + y 2 ).

Probar que ley ∗ confiere a G estructura de grupo no abeliano.

9. 1) Demostrar que sobre R la ley interna definida por x ∗ y = x + y − xy, es conmutativa, asociativa y que
admite elemento neutro. ¿Es (R, ∗) un grupo?
2) Calcular x ∗ x ∗ … ∗ x .

n

ab
10. Estudiar si (Q ∖ {0}, ∗) es grupo siendo a ∗ b = .
7

Solución
1. Z con la operación + usual es un grupo.Efectivamente, la suma de enteros es un entero. La suma de enteros es
asociativa. Para todo entero x se verifica x + 0 = 0+x = x , por tanto e = 0 ∈ Z es elemento neutro. Para
todo x entero, −x se satisface x + (−x) = (−x) + x = 0 , es decir todo entero tiene simétrico x ′
= −x ∈ Z .
Además, sabemos que la suma de enteros es conmutativa y por tanto (Z, +) es grupo abeliano.
Razonando de manera análoga, deducimos que (Q, +) , (R, +) y (C, +) son grupos abelianos.
2. La suma de dos matrices de órdenes m × n es otra matriz de orden m × n . La suma de matrices es asociativa.
Para toda matriz A de orden m × n se verifica A + 0 = 0+A = A , siendo 0 la matriz nula de m × n, por
tanto 0 es elemento neutro. Para toda matriz A de orden m × n, la matriz −A de orden m × n verifica
A + (−A) = (−A) + A = 0, es decir todo elemento A de M m×n
(R) tiene simétrico, siendo este, −A.
Además, sabemos que la suma de matrices es conmutativa y por tanto (M m×n
(R), +) es grupo abeliano.
3. La operación ∗ es claramente interna. Para x, y, z números reales cualesquiera se verifica

(x ∗ y) ∗ z = (x + y + 4) ∗ z = x + y + 4 + z + 4 = x + y + z + 8.

x ∗ (y ∗ z) = x ∗ (y + z + 4) = x + y + z + 4 + 4 = x + y + z + 8.

Es decir, la operación es asociativa.

Para x, y números reales cualesquiera se verifica

x ∗ y = x + y + 4 = y + x + 4 = y ∗ x,

por tanto la operación es conmutativa. En consecuencia, el número real e es neutro para la operación ∗ si y
sólo si e ∗ x = x para todo x ∈ R .
Esto equivale a e + x + 4 = x , es decir e = −4 es elemento neutro para la operación ∗.
Debido a la conmutatividad, un x ∈ R tiene elemento simétrico x ′
∈ R si y sólo si x ∗ x ′
= e o bien si
′
x + x + 4 = −4 . Existe por tanto x para cada x siendo éste x
′ ′
= −8 − x .
4. El producto de números reales no nulos es no nulo. El producto de reales tiene la propiedad asociativa. Se
verifica 1 ⋅ x = x ⋅ 1 = x para todo x ∈ R ∖ {0} y por tanto e = 1 es elemento neutro. Si x es real no nulo,
entonces 1/x es real no nulo y se verifica x ⋅ (1/x) = (1/x) ⋅ x = 1 , por tanto x ′
= 1/x es elemento simétrico
de x. Además el producto de reales es conmutativo.
5. Interna. Si A y B pertenecen a G entonces A y B son invertibles es decir, det A ≠ 0 y det B ≠ 0 . Dado que
det(AB) = (det A)(det B) ≠ 0 concluimos que AB es invertible y por tanto, pertenece a G .
Asociativa. Es una conocida propiedad del producto de matrices.
Elemento neutro. La matriz identidad I real de orden n es invertible (det I = 1 ≠ 0 ) y cumple AI = IA = A

para toda A ∈ G , por tanto existe elemento neutro.

fernandorevilla.es/blog/2014/02/20/concepto-de-grupo/ 2/5
18/10/2019 Concepto de grupo | Fernando Revilla

Elemento simétrico. Dada A ∈ G se verifica det A −1

= (det A)
−1
≠ 0 , es decir A −1
∈ G y
A
−1
A = A
−1
A = I , por tanto todo A ∈ G tiene elemento simétrico.Es decir, (G, ⋅) es grupo.
No es abeliano porque en general no se verifica la propiedad conmutativa del producto de matrices, incluso
para matrices invertibles. Basta tomar como contraejemplo:

1 1 1 0
A = [ ], B = [ ].
0 1 1 1

Ambas matrices son invertibles, sin embargo AB ≠ BA como inmediatamente se comprueba.

6. Interna. La suma de dos elementos de R[x] es claramente un elemento de R[x] .
Asociativa. Es una conocida propiedad de la suma de polinomios.
Existencia de elemento neutro. El polinomio

2 n
e(x) = 0 + 0x + 0x + … + 0x +…

satisface p(x) + e(x) = e(x) + p(x) = p(x) para todo p(x) ∈ R[x].
Existencia de elemento simétrico. Dado

2 n
p(x) = a0 + a1 x + a2 x + … + an x + … ∈ R[x],

el polinomio −p(x) = −a 0 − a1 x − a2 x
2
+ … − an x
n
− … ∈ R[x] satisface

p(x) + (−p(x)) = (−p(x)) + p(x) = e(x).

Conmutativa. Es una conocida propiedad de la suma de polinomios.

7. Ver Un grupo conmutativo.
8. Ver Grupo no abeliano en Z × Z.
9. 1) Tenemos y ∗ x = y + x − yx = x + y − xy = x ∗ y , por tanto la operación es conmutativa. Por otra parte

(x ∗ y) ∗ z = (x + y − xy) ∗ z = (x + y − xy) + z − (x + y − xy)z

= x + y − xy + z − xz − yz + xyz.

x ∗ (y ∗ z) = x ∗ (y + z − yz) = x + y + z − yz − x(y + z − yz)

= x + y + z − yz − xy − xz + xyz.

Es decir, la operación es asociativa. Veamos que existe elemento neutro e para ∗. Efectivamente, e es elemento
neutro para ∗ si y sólo si x ∗ e = e ∗ x = x para todo x ∈ R , o equivalentemente x + e − xe = x para todo
x ∈ R . Claramente e = 0 cumple la igualdad anterior.Sea ahora x ∈ R , entonces existe simétrico x simétrico ′

de x si y sólo si x ∗ x ′ ′
= x ∗x = 0 o bien x + x ′
− xx
′
= 0 o bien x ′
(1 − x) = −x. Si x ≠ 1 entonces existe
x
′
= x/(x − 1) . Si x = 1 tenemos la relación x ′
⋅ 0 = −1 y por tanto no existe x . Concluimos que (R, ∗) no
′

es un grupo.
2) Tenemos:

2 2 2
x∗x = x+x−x = 2x − x = 1 − (1 − x) ,

2 2 2
x ∗ x ∗ x = (2x − x ) ∗ x = 2x − x + x − (2x − x )x

2 3 3
= 3x − 3x +x = 1 − (1 − x) .

fernandorevilla.es/blog/2014/02/20/concepto-de-grupo/ 3/5
18/10/2019 Concepto de grupo | Fernando Revilla

Lo anterior sugiere la fórmula

n
x ∗ x ∗ … ∗ x = 1 − (1 − x) . (1)

n

Vamos a demostrarla por inducción. La fórmula hemos visto que es cierta para n = 2 . Sea cierta para n.
Entonces

x ∗ x ∗ … ∗ x = (x ∗ x ∗ … ∗ x ) ∗ x
 
n+1 n

n n
= 1 − (1 − x) + x − [1 − (1 − x) ]x

n n
= 1 − (1 − x) + x̸ − x̸ + x(1 − x)

n n+1
= 1 − (1 − x) (1 − x) = 1 − (1 − x) ,

es decir la fórmula (1) es cierta para n + 1 .

10. Interna. El producto de dos números racionales no nulos es un número racional no nulo y 1/7 es un racional
no nulo, en consecuencia se verifica la propiedad interna.
Asociativa. Para a, b, c elementos de Q ∖ {0} :
ab
ab c abc
7
(a ∗ b) ∗ c = ∗c = = ,
7 7 49

bc
bc a abc
7
a ∗ (b ∗ c) = a ∗ = = .
7 7 49

Se cumple.
Elemento neutro. e ∈ Q ∖ {0} es elemento neutro si y sólo si a ∗ e = e ∗ a = a para todo a ∈ Q ∖ {0} o
equivalentemente si y sólo si
ae ea
= = a ∀a ∈ Q ∖ {0},
7 7

relaciones que se verifican para e = 7 .

Elemento simétrico. Sea a ∈ Q ∖ {0} , entonces a ′
∈ Q ∖ {0} es simétrico de a si y sólo si a ∗ a
′ ′
= a ∗a = 7

o equivalentemente si y sólo si
′ ′
aa a a
= = 7,
7 7

relaciones que se verifican para a ′

= 49/a . Hemos demostrado que (Q ∖ {0}, ∗) es grupo.
Es además abeliano pues para a, b elementos de Q ∖ {0} :

ab ba
a∗b = = = b ∗ a.
7 7

Esta entrada fue publicada en Álgebra. Guarda el enlace permanente.

Fernando Revilla

fernandorevilla.es/blog/2014/02/20/concepto-de-grupo/ 4/5
18/10/2019 Concepto de grupo | Fernando Revilla
Funciona con WordPress.

fernandorevilla.es/blog/2014/02/20/concepto-de-grupo/ 5/5