Vous êtes sur la page 1sur 4

Actividad 6

ALUMNO DANIEL OYHAMBURU


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. Para que se pueda calificar como un grupo, el
conjunto y la operacin deben satisfacer algunas condiciones
llamadas axiomas de grupo, estas condiciones son: tener la propiedad
asociativa, tener elemento identidad y elemento inverso.
Un grupo es un conjunto, 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.
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
ab=ba
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 abelianos honor a Niels Abel). As, el grupo de los

enteros con la adicin es abeliano, pero el grupo de simetra siguiente no


lo es.
SUBGRUPO
Sean

un grupo y

. El grupo

se llama Subgrupo de

si y

slo si:

H contiene al elemento identidad G:

la operacin binaria es cerrada en H:

H contiene los elementos inverso

.
.
.

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

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.5
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

GRUPOS FINITO
En matemticas y algebra 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. Una completa determinacin
de la estructura de todos los grupos finitos es demasiado ambiciosa; el nmero
de posibles estructuras pronto se convierte en abrumadora. Sin embargo, la
clasificacin completa de grupos finitos simples se ha podido conseguir, lo que
significa que los bloques de construccin con los cuales todos los grupos
finitos pueden ser construidos se conoce ahora, ya que cada grupo finito tiene
una serie de composicin
Grupos de permutacin
El grupo simtrico SN describe todas las permutaciones de N elementos.
Hay N! permutaciones posibles que dan el orden del grupo. Por el teorema de
Cayley, cualquier grupo finito puede ser expresado como un subgrupo de un
grupo simtrico para un determinado entero N. El grupo alternante es el
subgrupo correspondiente nicamente de las permutaciones pares.
Grupos cclicos
Un grupo cclico ZN es un grupo en la que todos sus elementos son potencias
de un determinado elemento a donde aN=a0=e, el elemento identidad. Un
ejemplo tpico de este grupo son las N-simas races de la unidad complejas.

Relacionando a a una raz primitiva de la unidad se obtiene un isomorfismo


entre las dos. Esto puede ser realizado con cualquier grupo cclico finito.

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.
Sean
y
dos sistemas
algebraicos del mismo tipo, donde
son conjuntos
y
son las operaciones algebraicas definidas en dichos
conjuntos.
Una funcin

es un homomorfismo si verifica:
para cada i=1,...,k

Ejemplos

Los grupos son conjuntos que tienen definida una operacin con neutro
y en que cada elemento tiene inverso.

Por lo tanto, si
funcin

son grupos, segn la definicin una


es un homomorfismo de grupos si:

1.
2.
3.

para todo par de elementos


, siendo
para todo

los neutros de

Puede probarse que si una funcin cumple la primera condicin entonces


cumple las otras dos, de ah que en la definicin clsica de homomorfismo de
grupos no se pidan las otras condiciones.

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:
, para todo

, para todo

y todo

;
para todo

Las transformaciones lineales son exactamente las funciones que cumplen esto
(las condiciones 3 y 4 se deducen de 1 y 2). Por lo tanto, los homomorfismos
de espacios vectoriales son las transformaciones lineales.

Si
y
son dos anillos entonces una
funcin
es un homomorfismo de anillos si se cumplen las
siguientes dos condiciones:
, cualesquiera que sean
, cualesquiera que sean

;
;

;
para todo

La condiciones 3 y 4 se deducen de la primera, de ah que en la definicin


clsica no se pidan.
En el caso de anillos con unidad, tambin se exige

Si
y
son dos R-mdulos (donde R es un anillos dado) entonces
una funcin
es un homomorfismo de R-mdulos si cumple
las siguientes dos condiciones:
, cualesquiera que
sean

;
, cualesquiera que sean

Biografa consultada
https://es.wikipedia.org/wiki/Grupo_(matem%C3%A1tica)
https://es.wikipedia.org/wiki/Subgrupo
https://es.wikipedia.org/wiki/Grupo_finito

https://es.wikipedia.org/wiki/Homomorfismo