Instituto Universitario Aeronutico

Matemtica I
Estructuras algebraicas. Qu es un grupo? Qu es un subgrupo? Qu se
entiende con homomorfismo entre grupos finitos?
La teora de grupos estudia ciertos objetos matemticos llamados grupos, as como las
relaciones entre ellos, los homomorsmos. Podramos justicar el estudio de la teora de
los grupos diciendo que los conjuntos son para la matemtica como los grupos son para
el lgebra.
.!rupo
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 aiomas de grupo, estas
condiciones son! tener la propiedad asociati"a, tener elemento identidad y elemento
in"erso. #ientras que estas caractersticas son familiares a muchas estructuras
matemticas, como los diferentes sistemas de n$meros %por ejemplo los enteros
dotados de la operacin de adicin forman una estructura de grupo&, la formulacin de
los aiomas se separa de la naturale'a concreta del grupo y su funcionamiento. Esto
permite, en lgebra abstracta y otros campos, manejar entidades de orgenes
matemticos muy diferentes de una manera fleible, mientras se conser"an aspectos
estructurales esenciales de muchos objetos. La ubicuidad de los grupos en numerosas
reas %tanto dentro como fuera de las matemticas& los con"ierte en un principio
central en torno al cual se organi'an las matemticas contemporneas.
Los grupos comparten un parentesco fundamental con la nocin de simetra. (n grupo
de simetra codifica las caractersticas de simetra de un objeto geom)trico! consiste
en el conjunto de transformaciones que dejan inalterado el objeto, y la operacin de
combinar dos de estas transformaciones reali'ando una tras la otra. *ales grupos de
simetra, especialmente los grupos de Lie continuos, tienen un papel importante en
muchas disciplinas acad)micas. Los grupos de matrices, por ejemplo, se pueden
utili'ar para entender las leyes fsicas fundamentales en que se basan la relati"idad y
los fenmenos de simetra en la qumica molecular.
(n grupo es un conjunto, +, conjuntamente con una operacin binaria ,-. que
combina dos elementos cualesquiera a y b de + para formar otro elemento notado en
a - b o ab. El smbolo ,-. es un elemento general para representar una operacin
concretamente dada cualquiera, como la adicin especificada ms arriba. Para poder
calificar como un grupo, el conjunto y la operacin %+, -&, deben satisfacer cuatro
requisitos conocidos como los aiomas de grupo!
Pgina /
Instituto Universitario Aeronutico
Matemtica I
0lausura!
Para todo a, b de +, el resultado de la operacin a - b tambi)n pertenece a +.
Propiedad asociati"a.
Para todos a, b y c de +, se cumple la ecuacin %a - b& - c 1 a - %b - c&.
Elemento identidad
Eiste un elemento e de +, tal que para todos los elementos a de +, se cumpla
la ecuacin e - a 1 a - e 1 a. El elemento de identidad de un grupo + se
escribe a menudo como / o /+, una notacin heredado de la identidad
multiplicati"a.
Elemento in"erso.
Para todo a de +, eiste un elemento b de + tal que a - b 1 b - a 1 e.
El orden en el que se hace la operacin de grupo puede ser significati"o. En otras
palabras, el resultado de operar el elemento a con el elemento b no debe dar
necesariamente el mismo que operando b con a2 la ecuacin
a - b 1 b - a
puede no ser siempre cierta. Esta ecuacin siempre se cumple en el grupo de
enteros con la adicin, para que a 3 b 1 b 3 a para dos enteros cualesquiera
%propiedad conmutati"a de la adicin&. 4in embargo, este grupo de simetra no
siempre se cumple como se especificar ms abajo. Los grupos para los cuales la
ecuacin a - b 1 b - a se cumple siempre se denominan abelianos %en honor a
5iels 6bel&. 6s, el grupo de los enteros con la adicin es abeliano, pero el grupo
de simetra siguiente no lo es.
."#ubgrupo
En lgebra, dado un grupo + con una operacin binaria 7, se dice que un
subconjunto no "aco 8 de + es un subgrupo de + si 8 tambi)n forma un grupo
Pgina 9
Instituto Universitario Aeronutico
Matemtica I
bajo la operacin 7. : de otro modo, 8 es un subgrupo de + si la restriccin de 7 a
8 satisface los aiomas de grupo./
(n subgrupo propio de un grupo + es un subgrupo 8 que es un subconjunto
propio de + %es decir 8 ; +&. El subgrupo tri"ial de cualquier grupo es el subgrupo
<e= que consiste solamente en el elemento identidad.
El grupo + a "eces se denota por el par ordenado %+, 7&, generalmente para
acentuar la operacin 7 cuando + lle"a "arias estructuras algebraicas o de otro
tipo. En lo siguiente, se sigue la con"encin usual y se escribe el producto a7b
como simplemente ab.
4ean un grupo y . El grupo se
llama Subgrupo de si y slo si!
o $ contiene al elemento identidad de !! .
o la operacin binaria es cerrada en $! .
o $ contiene los elementos in"ersos! .
Las dos $ltimas condiciones pueden epresarse de forma equi"alente en una sola!
.
En el caso que $ sea finito, es suficiente que $ sea cerrado bajo producto, puesto
que la eistencia de los in"ersos se sigue automticamente en ese caso.
La operacin binaria es siempre asociati"a en $ puesto que es asociati"a para
todas las ternas de elementos de !, y todos los elementos de $ pertenecen a !.
%ropiedades de los subgrupos
*odo grupo ! con ms de un elemento tiene al menos dos subgrupos!
el subgrupo tri"ial <e=, que contiene slo al elemento identidad.
el mismo !, que es el subgrupo mimo de !.
Pgina >
Instituto Universitario Aeronutico
Matemtica I
?ados dos subgrupos H y K de un grupo !, la interseccin es un
subgrupo. En general, la unin de subgrupos no forma un subgrupo, sal"o que
uno de ellos est) contenido en el otro.
?ado un subgrupo H de un grupo !, se puede definir
un homomorfismo natural definido por . ?icha
funcin es la inyeccin cannica de H en !.
*odo elemento a de un grupo ! genera un subgrupo cclico @aA. 4i @aA
es isomorfo a &Bn & para alg$n n$mero entero positi"o n, entonces n es el
n$mero entero positi"o ms pequeCo para el cual a
n
1 e, y n se llama
el orden de a. 4i @aA es isomorfo a &, entonces a se dice que tiene orden
infinito.
4i S es un subconjunto de !, entonces eiste un subgrupo mnimo de ! que
contiene S! es el subgrupo generado por S y se denota por @SA. (n elemento
de G est en @SA si y solamente si es un producto finito de elementos de S y
de sus in"ersos.
El centro de un grupo +, denotado por , es el subgrupo que contiene a
todos los elementos que conmutan con cualquier elemento g de !. El centro es
siempre un subgrupo normal y abeliano. El centro de un grupo abeliano ! es el
propio !.
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 tri"ial <e=. En cambio el supremo no es la unin de conjuntos, sino el
subgrupo generado por la unin, y es el mismo !.
.'!rupo finito
(n grupo finito es un grupo cuyo conjunto fundamental + tiene un n$mero de
elementos finito. ?urante el siglo DD, los matemticos han in"estigado 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. (na completa determinacin de la estructura de todos los grupos
finitos es demasiado ambiciosa2 el n$mero de posibles estructuras pronto se
con"ierte en abrumadora. 4in embargo, la clasificacin completa de grupos
Pgina E
Instituto Universitario Aeronutico
Matemtica I
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.
?urante la mitad del siglo DD, matemticos tales como 0laude 0he"alley y
Fobert 4teinberg tambi)n incrementaron el entendimiento de los anlogos
finitos de los grupos clsicos, y otros grupos relacionados. (na de estas
familias de grupos es la familia de los grupos generales lineales sobre cuerpos
finitos. Los grupos finitos tambi)n surgen cuando se considera la simetra de
objetos matemticos o fsicos, cuando esos objetos admiten slo un n$mero
finito de transformaciones que preser"an la estructura. La teora de los grupos
de Lie, que puede ser "ista como un trato con la ,simetra continua., est
fuertemente influenciada por los grupos de Geil asociados. 8ay grupos finitos
generados por refleiones que act$an sobre un espacio eucldeo de dimensin
finita.
.($omomorfismo
(n homomorfismo, %o a "eces simplemente morfismo& desde un objeto
matemtico a otro de la misma categora, es una funcin que preser"a la
estructura entre dos estructuras matemticas rele"antes. La nocin de
homomorfismo se estudia abstractamente en el lgebra uni"ersal, y )se es el
punto de "ista tomado en este artculo. (na nocin ms general de morfismo
se estudia abstractamente en la teora de las categoras. Por ejemplo, en un
homomorfismo de orden, si un objeto consiste en un conjunto D con un orden "
y el otro objeto consiste en un conjunto H con orden u, entonces su "alor para
la funcin debe ser
.
:, si en estos conjuntos hay definidas operaciones binarias 3 y 7,
respecti"amente, entonces se tiene la relacin
Pgina I
Instituto Universitario Aeronutico
Matemtica I
.
Ejemplos de morfismo son los homomorfismos de grupos, los homomorfismos
de anillo, los operadores lineales, las funciones continuas, etc.
En el estudio de los grupos en lgebra, una representacin de grupo es una
JdescripcinJ de un grupo como grupo concreto de transformaciones %o grupo de
automorfismos& de un cierto objeto matemtico. #s formalmente, la JdescripcinJ
significa que hay un homomorfismo del grupo a un cierto grupo de automorfismos.
(na representacin fiel es una en la cual este homomorfismo es inyecti"o.
Pgina K
Instituto Universitario Aeronutico
Matemtica I
)uente consultada
!rupo
http!BBes.LiMipedia.orgBLiMiB+rupoN%matemO0>O6/tica&
#ubgrupo
http!BBes.LiMipedia.orgBLiMiB4ubgrupo
!rupo finito
http!BBes.LiMipedia.orgBLiMiB+rupoNfinito
$omomorfismo
http!BBes.LiMipedia.orgBLiMiB8omomorfismo
http!BBes.LiMipedia.orgBLiMiB8omomorfismoNdeNgrupos
http!BBes.LiMipedia.orgBLiMiBFepresentaciO0>OP>nNdeNgrupo
*ambin se recomienda consultar
http!BBLLL.matematicas.unal.edu.coBsac9BcuadernosBgrupos.pdf
Pgina Q