Documente Academic
Documente Profesional
Documente Cultură
Matemtica I
Unidad 5 / Actividad N 6 / Parte B
Fecha: 23/06/2015
Nota: _________
Parte B)
Qu es un Grupo?.
Qu es un Subgrupo?.
Grupo
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 : ab 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
Elemento inverso
Para todo a de G, existe un elemento b de G tal que a b = b a = e.
a G a1
: aa1
= a1a = 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 (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.
Subgrupo
Sean
un grupo y
. El grupo
llama Subgrupo de
si y slo si:
H contiene al elemento identidad de G:
la operacin binaria es cerrada en H:
se
.
.
.
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.