FUERZA AREA ARGENTINA

INSTITUTO UNIVERSITARIO AERONUTICO

FACULTAD de Ciencias de la Administracin
Actividad

Obligatoria

Apellido y nombre: Juan Jos Martnez...... Nro. Doc.: 36575346.........

Parte A. Individual.
Busque y seleccione en Internet (plataformas como Wikipedia, Youtube, Scribd, o
bsqueda libre usando palabras clases en buscadores como Google, Google acadmica
entre otros), informacin sobre grupo, subgrupo, grupo finito, homomorfismo entre
grupos y ejemplos. Trate de no excederse de este temario. De ser necesario presente
una sntesis propia.
Luego, comparta en el foro Pizarrn de la Actividad 6 citando la fuente de consulta.
Cuando el tutor lo crea conveniente por considerar suficientes los aportes, deber
publicar aqu debajo, en la ventana de Realizar actividad.

Grupo
En lgebra abstracta, un grupo es una estructura algebraica que consta de
un conjunto con una operacin que combina cualquier pareja de sus elementos
para formar un tercer elemento. Estos comparten un parentesco fundamental con
la nocin de simetra. Un grupo de simetra codifica las caractersticas de simetra
de un objeto geomtrico: consiste en el conjunto de transformaciones que dejan
inalterado el objeto, y la operacin de combinar dos de estas transformaciones
realizando una tras la otra. Por lo tanto, un grupo es un conjunto, llammoslo G,
conjuntamente con una operacin binaria que compone dos elementos
cualesquiera a y b de G para formar otro elemento notado como a b o ab. Para
poder calificar como un grupo a (G, ), deben satisfacer cuatro axiomas:
Cerradura o Clausura
Para todo a, b de G, el resultado de la operacin a b tambin pertenece a G.

Asociatividad
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,5 una notacin heredada de la identidad multiplicativa.
Elemento inverso
Para todo a de G, existe un elemento b de G tal que a b = b a = e.

Tipos de grupos:
Grupo abeliano: (o conmutativo). Se denomina grupo conmutativo o abeliano a
aquel grupo que verifica la Propiedad conmutativa, es
decir
Grupo finito: En matemticas y lgebra abstracta, un grupo finito es
un grupo cuyo conjunto fundamental G tiene un nmero de elementos finito.
Durante el siglo XX, los matemticos han investigado ciertos aspectos de la teora
de grupos finitos en gran profundidad, especialmente la teora local de grupos
finitos, y la teora de grupos resolubles y grupos nilpotentes.
Grupo de Lie. Es un grupo que adems tiene estructura de variedad diferenciable.
Grupo cclico. Es un grupo conmutativo, finito o infinito, que puede ser generado
por multiplicacin reiterada de un slo elemento.
Grupo libre.
Grupos de Klein.

Subgrupos
En lgebra, dado un grupo G con una operacin binaria *, se dice que
un subconjunto no vaco H de G es un subgrupo de G si H tambin forma un grupo

bajo la operacin *. O de otro modo, H es un subgrupo de G si la restriccin de *

a H satisface los axiomas de grupo.
Un subgrupo propio de un grupo G es un subgrupo H que es un subconjunto
propio de G (es decir H G). El subgrupo trivial de cualquier grupo es el subgrupo
{e} que consiste solamente en el elemento identidad.
Sean

un grupo y

llama Subgrupo de

. El grupo

se

si y slo si:

H contiene al elemento identidad de G:

la operacin binaria es cerrada en H:

H contiene los elementos inversos:

.
.
.

Las dos ltimas condiciones pueden expresarse de forma equivalente en una sola:

En el caso que H sea finito, es suficiente que H sea cerrado bajo producto, puesto
que la existencia de los inversos se sigue automticamente en ese caso.
La operacin binaria es siempre asociativa en H puesto que es asociativa para
todas las ternas de elementos de G, y todos los elementos de H pertenecen a G.
Homomorfismo
En matemticas, un homomorfismo (o a veces simplemente morfismo) desde un
objeto matemtico a otro con la misma estructura algebraica, es una funcin que
preserva las operaciones definidas en dichos objetos.
Si
son grupos, segn la definicin una funcin
un homomorfismo de grupos si:
1.
2.
3.

para todo par de elementos

, siendo
para todo

los neutros de

es

Un -espacio vectorial (donde

es un cuerpo) es un conjunto que tiene definida
una suma entre elementos del grupo y un producto de escalares por elementos del

conjunto; la suma tiene un neutro y cada elemento tiene opuesto. Por lo tanto,
utilizando la definicin, para que una funcin
entre dos
espacios
vectoriales sea un homomorfismo debe verificar:
1.

, para todo

2.
3.
4.

, para todo

y todo

;
para todo

Fuentes:
https://es.wikipedia.org/wiki/Grupo_(matemtica)
https://es.wikipedia.org/wiki/Grupo_finito
https://es.wikipedia.org/wiki/Subgrupo

;
;