FACULTAD DE CIENCIAS DE LA ADMINISTRACIN

CARRERA DE INGENIERIA DE SISTEMAS

MATERIA MATEMATICA 1

PROFESORES:
Olmos, Adriana Natividad

PARTE B
Alumnos: Gustavo Bahamonde
-1-

FACULTAD DE CIENCIAS DE LA ADMINISTRACIN

CARRERA DE INGENIERIA DE SISTEMAS
MATERIA MATEMATICA 1

PROFESORES:
Olmos, Adriana Natividad
Qu es un grupo? Un grupo es un conjunto G dotado de una operacin binaria
que satisface los siguientes axiomas:

Operacin interna: x,y G, x y G

Propiedad asociativa: x,y,z G, (x y) z = x (y z)

Existencia del elemento neutro:

Existencia del elemento inverso: g G, g G : g g = = g g

G : g G, g = g = g

https://www.uam.es/personal_pdi/ciencias/fchamizo/realquiler/fich/Alberto2rev.pdf
Qu es un subgrupo? Sea G un grupo y H G. H es un subgrupo de G (se denotara
H < G) si H es un grupo con la operacin que hace de G un grupo.
http://www.ciencias.ula.ve/matematica/publicaciones/guias/algebra_olgap_julio2010.pd
f
Qu se entiende con homomorfismo entre grupos finitos?
Definicin de homomorfismo de grupos: Sean (G, ) y (H, ) dos grupos. Una funcin f
de G a H
f:GH
se dice ser
a) Un homomorfismo si f(x y) = f(x) f(y), x, y (G, ), se puede prescindir de las
operaciones y escribir simplemente f(xy) = f(x)f(y).
b) Un monomorfismo si es un homomorfismo inyectivo de G en H.
c) Un epimorfismo si es un homomorfismo sobreyectivo de G en H.
d) Un isomorfismo de H en G si es un homomorfismo biyectivo entre estos dos grupos.
G y H se dicen isomorfos, y se escribe G = H.
e) Un automorfismo si es un isomorfismo de G en G.
https://loshijosdelagrange.files.wordpress.com/2012/11/homomorfismos.pdf
Retomando las definiciones anteriores sobre grupo finito, homomorfismo y nociones
sobre espacio vectorial, nos da lugar a la siguiente definicin.
Definicin: Sea G un grupo finito. Sea k= C, una representacin de G es un par (V, ),
donde V es un k-espacio vectorial y es un homomorfismo de grupos.
:G
GL(V)
Donde al k-algebra de G se define como f: G
k

Alumnos: Gustavo Bahamonde

-2-