Documente Academic
Documente Profesional
Documente Cultură
1.-Conceptos previos
Si un grupo G se puede particionar en celdas de modo que la operacin inducida este bien definida en cada una de las celdasy el conjunto formado por las celdas tenga una estructura de grupo, entonces sea Be la celda, que contiene la identidad, se sabe por el teorema siguiente que Be es subgrupo de G. Teorema 1 Si un grupo G se puede partir en celdas donde la operacin inducida est bien definida y si las celdas forman un grupo bajo esta operacin inducida, entonces, la celda que contiene la identidad e de G debe ser un subgrupo de G. Sea Ba otra celda que contiene un a G. Si escogemos un representante a Ba y todos los + debe elementos de Be, mostrado en la siguiente ecuacin BaBe=Ba, el conjunto aBe= * | estar contenido en Ba. Lo anteriormente descrito hace referencia que aBe son las clases laterales de un subgrupo Be.
En los dos primeros subconjuntos est bien definida la operacin suma (si sumamos cualesquiera nmeros del subconjunto el resultado est en el subconjunto) pero slo uno de los subconjuntos tiene estructura de grupo, el que tiene el cero, que es el elemento neutro para la suma. Vemos tambin que si sumamos un elemento del primer subconjunto con un elemento del segundo subconjunto el resultado es un elemento del segundo subconjunto El subconjunto S0 es el ms importante porque tiene estructura de grupo y porque nos permite generar los otros. En efecto, si escogemos un elemento cualquiera y lo 'sumamos' a S 0 obtenemos S1 .O sea, tomando cualquier elemento siempre se genera uno de los dos subconjuntos. El efecto de aplicar el subconjunto S0 (que es subgrupo) a cualquiera de los elementos del conjunto es la obtencin de otro subconjunto determinado. A esos subconjuntos obtenidos se les llama clases laterales del subgrupo S0. Ejemplos: 1) Sea G=P(A), A= {a,b}; (G,*) es un grupo * + * + * + * + * * * + * + + * + * + * * + + * * + * + * + + * + * + + (diferencia simtrica)
* ++ es un subgrupo de G
Entonces * + * + * + ** + + ** + * ++ + * ++ ** * * ++ * + ** + + * + ** + * ++ * + ** + * ++ * * ++
** + *
** + *
3.-Definicin 2Sea G un grupo, H un subgrupo de G, para ab lo que escribimos a b md H, si ab-1 H. Lema 01.- La relacin G decimos que a es congruente con b md H,
Para que sea una relacin de equivalencia debe cumplirse, la ley de reflexividad, ley de simetra y la ley de reflexividad para todo a,b,c G. 1) 2) 3) Demostracin: 1) H es un subgrupo de G, por definicin de subgrupo, sabemos que el elemento neutro pertenece a H es decir e H. Tambin sabemos , por consiguiente entonces por definicin . 2) , por definici , como H es un subgrupo de G, sus elementos tiene elemento simtricos en H, por con siguiente ( ) ) , sabemos que ( , luego y por definicin . ; implica implica ;
3) Tomando como hiptesis y . Por definicin y hiptesis tenemos y ; como H es un subgrupo de G, por la ley de cerradura, ( )( )( ) ( ) ) . Pero ( , luego , por consiguiente
4.- Lema N 02
Para todo , * Prueba Sea , * +. +
i)
, -
+ entonces para que este incluido en , -, debe darse ha , - por Sabemos Ha = * | ( ) ello a de cumplirse la condicin a(ha)-1 H. ( ) . , como H es un subgrupo de G, su elemento simtrico tambin pertenece a H, es decir . Segn la definicin de congruencia md H esto implica que , - para todo , luego , -
ii) , Supongamos, que , -, debemos probar que . Por la definicin de congruencia ) . El elemento simtrico est tambin en H, es decir ( , por lo tanto , para algn . Multiplicando ambos lados por a la derecha obtenemos , luego . Por tanto, , . Probado las dos inclusiones , lo que afirma el lema. y , - podemos concluir que , , que es
5.-Lema N 03:
Hay una correspondencia biyectiva entre dos clases laterales derechas cualquiera de H en G Definimos
Entonces por hiptesis y definicin: Por ley cancelativa: Multiplicamos por la derecha por a
por lo tanto
es inyectiva ii) Sobreyectiva Sabemos que para que sea sobreyectiva debe cumplir que: ( ) Sea Por hipotesis tenemos Si Por definicion ( ( ) ) ( ) Por lo tanto ( ) ( ) ( ) ( ) ( )
De i y ii Ejemplo.El Lema 03 nos garantiza la existencia de una correspondencia biyectiva entre dos clases laterales a derecha cualesquiera. El lema slo garantiza la existencia de esta correspondencia pero no dicta la forma que esta tendr (Es decir, queda a nuestro criterio el encontrarla o definirla). Sabemos que una relacin se puede expresar tanto con una regla de correspondencia como con un conjunto de pares ordenados. Tomemos el siguiente ejemplo y usemos la segunda forma: 1) Sea G=P(A), A={a,b}; (G,*) es un grupo * + * + * + * + * * * + * + + * + * + * * + + * * + * + * + + * + * + + (diferencia simtrica)
* ++ es un subgrupo de G
* + * + *
** + +
+ ++
** + *
Si establecemos la correspondencia R entre estas dos clases mediante pares ordenados tal que: *(* + * +) ( * +)+
Esta correspondencia es inyectiva pues a pre imgenes diferentes le corresponde imgenes diferentes (o en otras palabras no se repiten las segundas componentes) * +, es decir, * + y * +, Esta relacin tambin es sobreyectiva, pues para todo elemento de existen elementos que en el dominio a los que ellos corresponden mediante R (A * + le corresponde * + y a le corresponde * +). Por tanto, R es biyectiva. Adems, notamos que el teorema garantiza la existencia de una correspondencia biyectiva pero en ningn momento garantiza que esta sea nica. Existe al menos una relacin biyectiva pero pueden existir ms, por ejemplo: *(* + * +) ( * +)+ + )+ )+
*(* + * +) (* *(*
+ * +) (* +
Son tambin correspondencias biyectivas entre dos clases laterales a derecha de G Como se ha dicho antes, dos clases laterales tiene el mismo nmero de elementos, entonces intuitivamente es correcto pensar que a cada elemento de una clase lateral se le puede hacer corresponder uno a uno, un elemento de otra clase lateral hasta relacionar todos los elementos de esta segunda clase; por lo que se tendra una correspondencia inyectiva y sobreyectiva (y por ende biyectiva) Por el lema N03, se puede afirmar, si H es un subgrupo finito, dos clases laterales derechas de H tienen el mimo nmero de elementos. Como H= H.e es una clase lateral derecha de H, entonces cualquier clase lateral derecha de H en G tiene o (H).
6.-Aplicaciones
Teorema de Lagrange.Si G es un grupo finito y H un subgrupo de G, entonces o (H) es un divisor de o (G). Demostracin:
Sea K el nmero de clases laterales derecha de H en G, entonces por el lema N02 y el lema N03 se tiene que dos clases laterales derechas no tienen elementos en comn, luego el nmero de elementos de las clases laterales derechas ser: o(H) Para cualquiera a G se tiene una nica clase lateral derecha Ha.Por lo tanto todas las clases laterales derechas Ha, llenan totalmente a G. Si K es el nmero distinto de clases laterales derechas de H en G, entonces, Se tiene que: K o(H) = o(G)
( ) ( )
( ) ndice de un subgrupo
Si H es un subgrupo de G, el ndice de H en G, es el nmero de distintas laterales derechas de H en G. Denotamos el ndice de H en G por: ig(H) (ndice de H en G) Observacin.- Si G es finito, entonces por el teorema de Lagrange se tiene que: ig(H) =
( ) ( )
( )
clases
7.-Anexos
Observaciones
Observacin 1. Toda clase lateral es diferente del vaco Observacin 2. El nmero de clases laterales a derecha es igual al nmero de clases a izquierda Observacin 3. El nmero de elementos de cada clase lateral es igual al nmero de elementos del subgrupo Observacin 4. En las clases laterales no siempre se cumple la propiedad conmutativa Observacin 5. La interseccin de dos clases diferentes es el vaco Observacin 6. La unin de las clases laterales derechas (izquierdas) es igual al grupo Observacin 7. Si , entonces no implica que
Teorema1.- Si un grupo G se puede partir en celdas donde la operacin inducida est bien
definida y si las celdas forman un grupo bajo esta operacin inducida, entonces, la celda que contiene la identidad e de G debe ser un subgrupo de G. Demostracin Si Be es un subgrupo de G debe cumplir: i) ii) Tomamos como hiptesis que G est partido en celdas con la operacin inducida descrita anteriormente bien definida y formando un grupo, y sea Be la celda que contiene la identidad. i) Al operar Be.Br, tomamos un elemento de cada una de las celdas. Sean e yr Be.Br = e.r = r por lo tanto Be. Br = Br Br.Be = r.e = r por lo tanto Br. Be = Br Be es la identidad de las celdas. Por tanto Be.Be=Be Be es cerrado bajo la operacin inducida en G. Por definicin, Be contiene a e Sean a y a-1 . Sabemos que Be es la celda identidad entonces Be.Bk=Bk. Si operamos los elementos a y a-1 , observamos que -1 Be.Bk=Be, pero Be.Bk=Bk por lo tanto Bk=Be y a Be. Por lo tanto por i y ii, Be es un subgrupo de G.
ii)
Bibliografa y Linkografa
1) Algebra Moderna- I.N.Herstein Editorial Trillas, Mxico 2) Algebra Abstracta J on Fraleig - Addison Wesley Iberoamericana 1988. 3) Teora de Grupos Camilo Quintos- Eulalio Altamirano- 1998