Universidad del Valle - Departamento de Matemáticas

Álgebra Lineal I - Mat

Tarea 3
Prof: Luz Victoria De La Pava C y Yamidt Bermúdez

Definición 1 Un grupo es un conjunto G dotado de una operación binaria ∗ que satisface lo

siguientes axiomas: Para todo a, b, c ∈ G:
1. a ∗ b ∈ G
2. a ∗ (b ∗ c) = (a ∗ b) ∗ c
3. Existe un elemento e, tal que para todo a ∈ G, a ∗ e = e ∗ a = a.
4. Para todo a ∈ G, existe un b ∈ G tal que a ∗ b = b ∗ a = e.
Decimos que el grupo G es abeliano, si además ∗ es conmutativa, es decir, si:
5. a ∗ b = b ∗ a.
Remark 2 El elemento e del item 3. se llama elemento neutro, respecto a la operación ∗.
El elemento b, del item 4., será denotado por a−1 y se llama el inverso de a, respecto a la
operación ∗.
Usaremos la notación (G, ∗, e) para referirnos a un grupo con su operación ∗ y su elemento
neutro e.
Definición 3 Sea (G, ∗, e) un grupo. Sea S 6= ∅ un subconjunto de G. Decimos que S es un sub-
grupo de G si S bajo la operación ∗ tiene estructura de grupo.
Remark 4 Note que en particular, cada grupo (G, ∗, e), se tiene que G y {e} son subgrupos de G.
Estos se llaman los subgrupos triviales.

Ejercicios
1. Justifique el Remark 2, es decir, demuestre que el elemento neutro de un grupo es único, y
que para cada a ∈ G, existe un único b ∈ G tal que a ∗ b = b ∗ a = e.
2. Observe que para probar que un subconjunto S de un grupo G, es un subgrupo, deben pro-
barse los 4 axiomas de grupo de la Definición 1. Sin embargo, basta con probar sólo dos
condiciones; investigue al respecto y diga cuáles son estas condiciones. Escriba el enunciado
correspondiente.
3. Sea GLn (R) el conjunto de matrices invertibles de orden n, con entradas reales. Demuestre
que GLn (R) es un grupo con el producto usual de matrices. ¿Quién es el elemento neutro?
¿Quién es el inverso de cada elemento? ¿Es abeliano?
4. Encuentre al menos dos subgrupos diferentes (no triviales) del grupo GLn (R) del ejercicio
anterior.
5. Demuestre que el conjunto de matrices simétricas, de orden n, es un subgrupo del grupo
aditivo de matrices cuadradas (Mn (R), +, O).