Instituto Universitario Aeronáutico

Ingeniería de Sistemas
Matemática I
Actividad Obligatoria 6 – 2019
Gabriel D’Intino
Parte B.
Grupo. Definición.
Se llama grupo al par (G,*) constituido por un conjunto no vacío G y una operación sobre él que verifica las siguientes
propiedades:
✔ * es estable en G, es decir, a ∗ b ∈ G, ∀a, b ∈ G
✔ asociativa, (a ∗ b) ∗ c = a ∗ (b ∗ c), ∀a, b, c ∈ G
✔ existencia de elemento neutro, e ∈ G tal que a ∗ e = e ∗ a = a, ∀a ∈ G
✔ existencia de elemento simétrico, ∀a ∈ G, ∃b ∈ G, tal que a ∗ b = b ∗ a = e (el elemento simétrico de a suele
denotarse por a‘ o a−1).

Si todos los elementos del grupo (G,*) verifican la propiedad conmutativa, a ∗ b = b ∗ a, ∀a, b ∈ G, se dice que el grupo
es conmutativo o abeliano.

Si la operación * definida en G es la adición, al elemento neutro se le suele llamar cero (0), y al elemento simétrico de a
se le llama elemento opuesto y se le denota por -a.

Si la operación * es la multiplicación, al elemento neutro se le suele denominar elemento unidad (1), y al simétrico,
elemento inverso y se le designa por a−1.

Un grupo puede tener un número finito de elementos y se dice entonces grupo finito y se llama orden del grupo al
número de elementos de ese grupo. Si tuviese infinitos elementos se diría grupo infinito.

Subgrupo. Definición.
Un subconjunto no vacío S de un grupo G es un subgrupo (de G) si, con respecto a la misma operación de G, S también
es grupo.

Homomorfismo de grupos. Definición.

Si G y K son dos grupos, un homomorfismo de G en K es una función ϕ: G → K tal que:

ϕ(gh) = ϕ(g)ϕ(h) para todo g, h ∈ G.

Un homomorfismo preserva todos los aspectos estructurales de un grupo. No solamente entrelaza los productos; también
respeta los elementos neutros y la inversión.
En efecto, si se denota por 1 ambos elementos neutros de G y K, entonces:

1ϕ(1) = ϕ(1) = ϕ(1 · 1) = ϕ(1)ϕ(1) en K

Un homomorfismo biyectivo ϕ: G → K se llama un isomorfismo.

Dos grupos G y K son isomorfos si existe un isomorfismo ϕ: G → K. Esto establece una relación de equivalencia entre
grupos: la aplicación inversa ϕ−1 : K → G : ϕ(g)→ g es también un isomorfismo; y si ψ: K → L es otro isomorfismo,
entonces ψ ◦ ϕ: G → L es también un isomorfismo.
Escribir 𝐺 ≃ 𝐾 para decir que los grupos G y K son isomorfos.

Sea G un grupo. Un isomorfismo ϕ: G → G se llama un automorfismo del grupo G.

Fuentes:
http://www.mat.ucm.es/~cruizb/2-AM/Apuntes-i/Apuntes-14/Grupos-8.pdf
http://www.kerwa.ucr.ac.cr:8080/bitstream/handle/10669/11353/Herstein.pdf?sequence=1&isAllowed=y