INSTITUTO

AERONUTICO

UNIVERSITARIO

FACULTAD DE CIENCIAS LA
ADMINISTRACIN CARRERA: DE INGENIERA DE
SISTEMAS
Matemtica I
CURSO Z41

UNIDAD 5 ACTIVIDAD 6
ALUMNO: NATALIA SOLEDAD BRAVO

Actividad A - Individual

1. Informacin sobre grupo, subgrupo, grupo finito, homomorfismo entre grupos y

ejemplos.
2. Compartir en el foro, citando fuentes de internet

GRUPO
Un grupo es una pareja (G, ), con G un conjunto no vaco, una funcin de
G G G llamada operacin binaria y denotada por (x, y) := x y, la cual
satisface:
- La operacin es asociativa, es decir, x (y z) = (x y) z para todos x,
y, z G.
- Existe e G tal que ex = x, para todo x G (neutro por la izquierda).
- Dado x G, existe x 0 G tal que x 0 x = e (inverso por la izquierda)
En la definicin anterior no se requiere que e y x sean nicos, sin embargo
ms adelante probaremos que estos elementos son, en efecto, nicos. En lo
que sigue, la operacin la denotaremos simplemente por x y = xy, (caso
multiplicativo) x y = x + y (caso aditivo). La notacin aditiva, por tradicin,
se usara cuando x y = y x, para todos x, y G.
Para poder calificar
cuatro axiomas:

como

un

grupo

(G,

),

deben

satisfacer

Cerradura o Clausura
Para todo a, b de G, el resultado de la operacin a b tambin pertenece
a G.
a , b G

a.bG

Asociativa
Para todos a, b y c de G, se cumple la ecuacin (a b) c = a (b c).
Elemento neutro

Existe un elemento e de G, tal que para todos los elementos a de G, se cumpla

la ecuacin e a = a e = a. El elemento de identidad de un grupo G se
escribe a menudo como 1 o 1G, una notacin heredada de la identidad
multiplicativa.
a a G : a . e = e . a = a

Elemento inverso
Para todo a de G, existe un elemento b de G tal que a b = b a = e.
a G a-1 : a . a-1= a-1. a = e

El orden en el que se hace la operacin de grupo puede ser significativo. En

otras palabras, el resultado de operar el elemento a con el elemento b no
debe dar necesariamente el mismo que operando b con a; la ecuacin a b =
b a puede no ser siempre cierta. Esta ecuacin siempre se cumple en el
grupo de enteros con la adicin: a + b = b + a para dos enteros cualesquiera
(propiedad conmutativa de la adicin). Sin embargo, este grupo de simetra
no siempre se cumple como se especificar ms abajo. Los grupos para los
cuales la ecuacin a b = b a se cumple siempre se denominan (en honor
a Niels Abel). As, el grupo de los enteros con la adicin es abeliano, pero el
grupo de simetra siguiente no lo es.

Ejemplo: (Z, +) es un grupo con la adicin usual de enteros.

SUBGRUPO
Sea G un grupo, H G, H . Se dice que H es un subgrupo de G si la
operacin de G restringida a H hace de ste un grupo.
Si H es subgrupo de G, se usar la notacin H G y se lee H es subgrupo
de G.
Ntese que la definicin de subgrupo implica e H, con e la identidad de G.

H de un grupo G es un subconjunto de G que a su vez forma un grupo bajo la

misma ley de composicin de G. El elemento neutro y el propio G son dos
subgrupos triviales (impropios) de G.
Ejemplo: (Z, +) (R, +)

GRUPO

FINITO

El nmero de elementos de G se denomina orden de G, y se designa como

O(G). Si el orden es un nmero finito, decimos que G es un grupo finito.
-

Todo grupo finito puede presentarse como un subgrupo de permutaciones,

ms precisamente, es isomorfo a un subgrupo de un grupo de permutaciones.
La idea del isomorfismos es asociar con cada elemento del grupo una
permutacin de los elementos del grupo, llamamos grupo de permutaciones a
cualquier subgrupo de un grupo simtrico Sn,

En el estudio y clasificacin de los grupos, los ms sencillos a considerar son

los generados por un elemento, es decir los grupos cclicos. El entender las
propiedades y estructura de estos es de gran importancia, pues como se
probar ms adelante, todo grupo abeliano finito se descompone como
producto directo de grupos cclicos.
Sea G un grupo y S G. Defnase S-1= {a-1aS}. Entonces (S) es el grupo
formado por todos los elementos que son el producto de un nmero finito de
elementos de S o de S-1. En otras palabras:

(S) = {a1,...,an a1,...,an S S-1}

Ejemplo: (R, +)

HOMOMORFISMO
Sean G y H dos grupos. Una aplicacin f: G H se llama homomorfismo
de grupos (o simplemente homomorfismo) si:
f(ab)=f(a) f(b) para todo a, b de G.
Sean G y H dos grupos y f: G H un homomorfismo, se cumple que:
1.

Si 1G y 1H son las identidades de G y H, respectivamente, entonces f (1G)

= 1H

2.

Si a G entonces f (a-1) = f (a)-1

Es claro que si f: G H y g: H K son homomorfismos entonces g o f: G

K es un homomorfismo.
i)
ii)
iii)
iv)

Si
Si
Si
Si

f
f
f
f

(xy) = f(x)f(y), x, y G, f se llama un homomorfismo.

es inyectiva y satisface i), f se llama un monomorfismo.
es suprayectiva y satisface i), f se llama un epimorfismo.
satisface ii) y iii), f se llama un isomorfismo.

Si f: G G1 es un isomorfismo, se dice que G es isomorfo a G1 y se usa la

notacin G G1
Sea f : G G1 un homomorfismo, se define:
i)
ii)

El ncleo de f, denotado ker f = {g G | f(g) = eH}.

La imagen de f, denotada Im f = {h G1 | f(g) = h para algn g G}
Ejemplo
La funcin exponencial en un homomorfismo de grupos entre los nmeros
reales bajo la adicin y el grupo multiplicativo de los reales no nulos (excluido
el 0):

f: (R,+) (R*,) tal que f(x)=ex

dado que f(x+y)=ex+y=ex.ey=f(x).f(y)
La imagen de la funcin exponencial es el subgrupo de los nmeros reales
positivos, y el ncleo es solo el elemento identidad (el 0), ya que la aplicacin
es inyectiva.

La funcin determinante, definida sobre el grupo multiplicativo de matrices

invertibles (grupo general lineal) en los nmeros reales no nulos, es un
homomorfismo de grupos:
f: GLn(R) (R*,) tal que f(A)=det(A)
dado que det(AxB)=det(A).det(B)

Bibliografia

http://www.instituto127.com.ar/Academicos/Catedras/ProfMate_algebra/1_Teoria_de_
grupos.pdf
http://www.ual.es/personal/jperalta/grupobeamer.pdf
http://mimosa.pntic.mec.es/jgomez53/matema/docums/barrera-grupos.pdf
http://www-fp.usc.es/~edels/FM/FM-grupos.pdf
https://es.wikibooks.org/wiki/%C3%81lgebra/Teor%C3%ADa_de_grupos
https://es.wikipedia.org/wiki/Grupo_(matem%C3%A1tica)