MATEMATICA 1

Alumno: Horacio Faras Dni:93883277

Grupo COR-AOLMOS-DIST-A
ACTIVIDAD 6
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.
Puntaje mximo:

10 puntos.

a) Grupo.
El concepto de un grupo surgi del estudio de ecuaciones polinmicas,
comenzando con variste Galois durante los aos 1830. Despus de
contribuciones desde otros campos como la teora de nmeros y la
geometra, la nocin de grupo se generaliz y se estableci firmemente en
torno a 1870.
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:
a) tener la propiedad asociativa.
b) tener elemento identidad.
c) tener elemento inverso.
Mientras que estas caractersticas son familiares a muchas estructuras
matemticas, como los diferentes sistemas de nmeros (por ejemplo los
enteros dotados de la operacin de adicin forman una estructura de grupo),
la formulacin de los axiomas se separa de la naturaleza concreta del grupo
y su funcionamiento. Esto permite, en lgebra abstracta y otros campos,
manejar entidades de orgenes matemticos muy diferentes de una manera
flexible, mientras se conservan aspectos estructurales esenciales de muchos
objetos.

MATEMATICA 1
Alumno: Horacio Faras Dni:93883277
Grupo COR-AOLMOS-DIST-A
Los grupos 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.
Los grupos de matrices, por ejemplo, se pueden utilizar para entender las
leyes fsicas fundamentales en que se basan la relatividad y los fenmenos
de simetra en la qumica molecular.
Adems de sus propiedades abstractas, los tericos de los grupos tambin
estudian las maneras en que un grupo se puede expresar en forma concreta
(sus representaciones de grupo), tanto desde un punto de vista terico como
de un punto de vista computacional. Una teora especialmente rica ha
desarrollado para grupos finitos, que culmin con la clasificacin de los
grupos simples finitos completada en 1983.
Asimismo, desde mediados de 1980, la teora de grupos geomtricos, que
estudia los grupos de generacin finita como objetos geomtricos, se ha
convertido en un rea particularmente activa en la teora de grupos.

Definicin formal
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.

a , b G :a . b G
Asociatividad:
Para todos a, b y c de G, se cumple la ecuacin:

(a b) c = a (b c).
Elemento neutro:

MATEMATICA 1
Alumno: Horacio Faras Dni:93883277
Grupo COR-AOLMOS-DIST-A
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.

e 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 a1 :a . a1=a1 . 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 siguiente:
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 (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.
Tipos de grupos:
Grupo abeliano (o conmutativo).
Se denomina grupo conmutativo o abeliano a aquel grupo que verifica
la Propiedad conmutativa, es decir

a . b=ba a , b G
Grupo abeliano con torsin - Definicin de torsin.

a A

Diremos que un elemento :

torsin, si para algn

n N , a =1

posee torsin o, que es de

. Si a es de torsin, entonces el

MATEMATICA 1
Alumno: Horacio Faras Dni:93883277
Grupo COR-AOLMOS-DIST-A
menor nmero natural n con la propiedad

n
a =1 , coincide con el

orden de a. Definicin de grupo abeliano con torsin: Un grupo

abeliano A se dice con torsin si es igual a 0 o si posee elementos no
nulos de torsin.
Grupo abeliano de torsin. Un grupo abeliano A se dice de torsin
si todo elemento de A es de torsin.
Grupo finito. Es un grupo con un nmero finito de elementos.
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.

b) Subgrupo.
Con el fin de explorar los grupos, los matemticos han ideado diversas
nociones con tal de dividir grupos en trozos ms pequeos, ms
comprensibles, como subgrupos, grupos cociente y grupos simples.
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.1
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.
El grupo G a veces se denota por el par ordenado (G, *), generalmente para
acentuar la operacin * cuando G lleva varias estructuras algebraicas o de
otro tipo. En lo siguiente, se sigue la convencin usual y se escribe el
producto a*b como simplemente ab.
Definicin de un subgrupo:

MATEMATICA 1
Alumno: Horacio Faras Dni:93883277
Grupo COR-AOLMOS-DIST-A
Decimos que un subconjunto F de un grupo G es un un subgrupo de G
cuando F es un grupo con la operacin (de adicin o multiplicacin) de G
restringida a los elementos de F.
Sean (G,o) un grupo y
si:

H G : H 0.

H contiene al elemento identidad de

Se llama subgrupo de (G,o) si y solo

G: e H .

La operacin binaria es cerrada en H:

H contiene los elementos inversos

a,bH aobH .

a H a1 H

Estas ultimas condiciones pueden expresarse de forma equivalente en una

sola:

a , b H a1 o b1 H
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 finaria 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.
Propiedades de los subgrupos

Todo grupo G con ms de un elemento tiene al menos dos

subgrupos:

el subgrupo trivial {e}, que contiene slo al elemento

identidad.

el mismo G, que es el subgrupo mximo de G.

Dado un grupo de H de un grupo G, se puede definir un

homomorfismo natural

:H

G definido por

( x )=x .

Dicha

funcin es la inyeccin cannica de H en G.

Todo elemento a de un grupo G genera un subgrupo cclico <a>. Si

<a> es isomorfo a Z/n Z para algn nmero entero positivo n,
entonces n es el nmero entero positivo ms pequeo para el cual an
= e, y n se llama el orden de a. Si <a> es isomorfo a Z, entonces a
se dice que tiene orden infinito.

MATEMATICA 1
Alumno: Horacio Faras Dni:93883277
Grupo COR-AOLMOS-DIST-A

Si S es un subconjunto de G, entonces existe un subgrupo mnimo de

G que contiene S: es el subgrupo generado por S y se denota por
<S>. Un elemento de G est en <S> si y solamente si es un
producto finito de elementos de S y de sus inversos.

El centro de un grupo G, denotado por Z(G), es el subgrupo que

contiene a todos los elementos que conmutan con cualquier elemento
g de G. El centro es siempre un subgrupo normal y abeliano. El
centro de un grupo abeliano G es el propio G.

Los subgrupos de cualquier grupo dado forman un reticulado

completo bajo inclusin. El nfimo del retculo, dado por la
interseccin de conjuntos, es el subgrupo trivial {e}. En cambio el
supremo no es la unin de conjuntos, sino el subgrupo generado por
la unin, y es el mismo G.

c) 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. 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.
Durante la mitad del siglo XX, matemticos tales como Claude Chevalley y
Robert Steinberg tambin incrementaron el entendimiento de los anlogos
finitos de los grupos clsicos, y otros grupos relacionados. Una de estas
familias de grupos es la familia de los grupos generales lineales sobre
cuerpos finitos. Los grupos finitos tambin surgen cuando se considera la
simetra de objetos matemticos o fsicos, cuando esos objetos admiten slo
un nmero finito de transformaciones que preservan la estructura. La teora
de los grupos de Lie, que puede ser vista como un trato con la simetra
continua, est fuertemente influenciada por los grupos de Weil asociados.
Hay grupos finitos generados por reflexiones que actan sobre un espacio
eucldeo de dimensin finita. Las propiedades de los grupos finitos pueden
as jugar un papel importante en reas como la fsica terica y qumica.
Ejemplos de subgrupos:
Grupos de permutacin

MATEMATICA 1
Alumno: Horacio Faras Dni:93883277
Grupo COR-AOLMOS-DIST-A
El grupo simtrico SN describe todas las permutaciones de S 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 simtricopara un
determinado entero N. El grupo alternante es el subgrupo
correspondiente nicamente de las permutaciones pares.
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
d) homomorfismo entre grupos y ejemplos.
En lgebra, un homomorfismo de grupos es una funcin entre grupos
que preserva la operacin binaria. Dados los grupos (G,o) y (H,*) la
aplicacin : G H es un homomorfismo de grupos si se verifica
que para todos los pares de elementos

a , b G

( a o b )= ( a ) (b)
donde la operacin en el lado izquierdo de la ecuacin (o) es la ley de
composicin interna en G, y la operacin del lado derecho de la
ecuacin (*) es la ley de composicin interna en H.

e s biyectiva entonces es un isomorfismo de

Si la aplicacin
grupos, lo que significa que ambos grupos tienen la misma estructura
algebraica (son isomorfos), y slo se diferencian por los smbolos
utilizados para denotar los elementos y la operacin.
Dados dos grupos (G,o) y (H,*) en el que cada grupo esta compuesto
por un conjunto de elementos y una ley de composicin interna entre
ellos (no necesariamente la misma), es posible definir una funcin
que asigne a cada elemento g de G un elemento h de H:

:G H
Dicha funcin es un homomorfismo de grupos si se verifica que para
todos los pares de elementos a,b G .

( a o b )= ( a ) (b)

MATEMATICA 1
Alumno: Horacio Faras Dni:93883277
Grupo COR-AOLMOS-DIST-A
Donde la operacin en el lado izquierdo de la ecuacin (o) es la ley de
composicin interna en G, y la operacin del lado derecho de la ecuacin (g) es
la ley de composicin interna en H.
Ejemplo:

R ,+

R { 0 } , }
Sea h :

, se define h(x) = 3x. Vemos que:

H(x+y) = 3x+y
= 3x3y
=h(x)h(y)
Asi h es un homomorfismo, por otro lado se tiene que:

dh ( x )
=ln3 .3 x > 0, x R
dx
Esto significa que h es creciente estrictamente y por lo tanto
inyectiva, as que h es un monomorfismo.