Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 236 vistas

    Mamd2 U2 Ea Lapb

    Cargado por

    Laura Pontón Becerril
    Este documento presenta 4 problemas de álgebra moderna relacionados con grupos y teoremas importantes. El primer problema pide usar el Teorema de Frobenius para demostrar el Teorema de Lagrange. El segundo y tercer problema tratan sobre el centralizador de un elemento en un grupo y demostrar que es un subgrupo y relacionarlo con los conjugados del elemento. El cuarto problema pide usar el Teorema de Frobenius para relacionar el número de clases de equivalencia bajo conjugación con los tamaños de los centralizadores.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd

    Mamd2 U2 Ea Lapb

    Cargado por

    Laura Pontón Becerril
    236 vistas3 páginas
    Este documento presenta 4 problemas de álgebra moderna relacionados con grupos y teoremas importantes. El primer problema pide usar el Teorema de Frobenius para demostrar el Teorema de Lagrange. El segundo y tercer problema tratan sobre el centralizador de un elemento en un grupo y demostrar que es un subgrupo y relacionarlo con los conjugados del elemento. El cuarto problema pide usar el Teorema de Frobenius para relacionar el número de clases de equivalencia bajo conjugación con los tamaños de los centralizadores.

    Descripción original:

    Álgebra Moderna II Acciones de grupo y un teorema de Frobenius

    Título original

    MAMD2_U2_EA_LAPB

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento presenta 4 problemas de álgebra moderna relacionados con grupos y teoremas importantes. El primer problema pide usar el Teorema de Frobenius para demostrar el Teorema de Lagrange. El segundo y tercer problema tratan sobre el centralizador de un elemento en un grupo y demostrar que es un subgrupo y relacionarlo con los conjugados del elemento. El cuarto problema pide usar el Teorema de Frobenius para relacionar el número de clases de equivalencia bajo conjugación con los tamaños de los centralizadores.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    236 vistas3 páginas

    Mamd2 U2 Ea Lapb

    Cargado por

    Laura Pontón Becerril
    Este documento presenta 4 problemas de álgebra moderna relacionados con grupos y teoremas importantes. El primer problema pide usar el Teorema de Frobenius para demostrar el Teorema de Lagrange. El segundo y tercer problema tratan sobre el centralizador de un elemento en un grupo y demostrar que es un subgrupo y relacionarlo con los conjugados del elemento. El cuarto problema pide usar el Teorema de Frobenius para relacionar el número de clases de equivalencia bajo conjugación con los tamaños de los centralizadores.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    Está en la página 1de 3

    lgebra Moderna II

    Unidad 2 Evidencia de Aprendizaje

    ACCIONES DE GRUPO Y UN TEOREMA DE FROBENIUS


    17 de febrero de 2016
    Autor: Laura Pontn

    lgebra Moderna II
    Unidad 2 Evidencia de Aprendizaje
    1) Use el Teorema de Frobenius para dar otra demostracin del teorema de Lagrange

    (Zaldivar, 2006)

    (Zaldivar, 2006)
    Sea entonces por la demostracin del teorema de Frobenius en (Zaldivar,2006) tenemos:|| = | | =
    = | | | es un nmero natural que representa el nmero de rbitas
    Siendo un subgrupo de , todas las clases laterales tienen el mismo cardinal que y el nmero de
    estas clases es finito sea porque es finito.

    Si fuera el caso de que el nmero de clases es , || = =1| | || = =1| |

    Y siendo que: = || = | |, || = =1 = divide a ||


    ||
    |

    Ahora sea que: || = | | Siendo que por el teorema de rbita-estabilizador | ()| = |

    | | es el subgrupo de isotropa y al tener estructura de grupo y siendo un subgrupo de | el orden de un


    subgrupo de divide el orden del grupo se demuestra el teorema de Lagrange

    lgebra Moderna II | 17/02/2016

    2) Si es un grupo y , el centralizador de en es el conjunto: () { | =


    }, es decir, es el subconjunto de elementos de que conmutan con el elemento dado.
    Demuestre que () es un subgrupo de G sin usar el grupo de isotropa { | =
    }

    Como , , es trivial el hecho de que = (), | el elemento identidad. si ,


    = () = () = () = () = () es cerrado bajo la operacin binaria de .
    Ahora, | , 1 , 1 = 1 = () siendo que de: = y operando a cada miembro
    por 1 tanto a la izquierda como a la derecha, para el primer miembro: 1 1 = 1 y para el
    segundo miembro: 1 1 = 1 1 = 1 el inverso existe
    Y como () posee el elemento identidad, |es cerrado bajo la operacin de y cerrado bajo inversos
    ()

    3) Si G es un grupo y g G, demuestre que el nmero de conjugados de g G es [ ()]:


    Sugerencia: defina la funcin ( ) = () entre el conjunto de conjugados de g y las
    clases laterales izquierdas de (): Muestre que es biyectiva.
    Como una funcin es biyectiva si es al mismo tiempo inyectiva y sobreyectiva; tal que, si todos los
    elementos del conjunto de salida tienen una imagen distinta en el conjunto de llegada, y a cada elemento del
    conjunto de llegada le corresponde un elemento del conjunto de salida.
    Entonces si una una funcin : es sobreyectiva, tal que sea -epiyectiva, suprayectiva, suryectiva,
    exhaustiva o subyectiva- porque est aplicada sobre todo el codominio, tal que cada elemento de Y es la
    imagen de como mnimo un elemento de X.
    Entonces si tenemos que: (1 11 ) = (2 21 ) 1 () = 2 ()|1 11 = 2 21 Siendo
    que si 1 () = 2 () 1 = 2 , ()|si se multiplica por la derecha por 1 =
    2 1 = 2 por que conmutan
    Como 1 = 2 el inverso del lado izquierdo es 11 y por el derecho 1 21 11 = 1 21
    Multiplicando la ecuacin 1 = 2 por la derecha por los trminos de la ltima ecuacin1 11 =
    2 1 21 1 11 = 2 21 en este punto ya sabemos que es inyectiva y como cada clase lateral
    izquierda () al tener el conjugado 1 que vendra a ser su preimagen es sobreyectiva es biyectiva
    | la cantidad de conjugados de = a la de clases laterales izquierdas y derechas de ()y como stas son el
    orden del grupo que divide el orden de las clases laterales |: ()| clases laterales, |: ()|
    conjugados de
    4. Si es un grupo finito, y es el nmero de clases de equivalencia de la relacin de
    conjugacin en , demuestre que:
    =

    | ()|
    ||

    Por lo que para aplicar el teorema de Frobenius, nada ms tenemos que sustituir con las clases de equivalencia que
    bsicamente son las rbitas, |tengamos la siguiente igualdad | | = | ()|| | siendo los
    conjuntos invariantes bajo y| () los elementos que conmutan con , | = 1 =
    mantenindose invariantes bajo la accin de conjugacin, son los mimos conjuntos, | | =
    1

    | ()| = | ()|
    ||

    lgebra Moderna II | 17/02/2016

    (Zaldivar, 2006)

    También podría gustarte