Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 232 vistas

    Mamd1 U1 A2 V2 Luac

    Cargado por

    Luis Gerardo Aguilar Cruz
    Este documento presenta un resumen de la primera unidad de un curso de álgebra moderna sobre grupos y subgrupos. Incluye las definiciones de las propiedades de cancelación izquierda y derecha en una operación binaria y demuestra que si un conjunto finito tiene una operación binaria asociativa que satisface estas propiedades, entonces constituye un grupo. El documento contiene también instrucciones y demostraciones de ejercicios relacionados con estos conceptos.

    Copyright:

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

    Mamd1 U1 A2 V2 Luac

    Cargado por

    Luis Gerardo Aguilar Cruz
    232 vistas4 páginas
    Este documento presenta un resumen de la primera unidad de un curso de álgebra moderna sobre grupos y subgrupos. Incluye las definiciones de las propiedades de cancelación izquierda y derecha en una operación binaria y demuestra que si un conjunto finito tiene una operación binaria asociativa que satisface estas propiedades, entonces constituye un grupo. El documento contiene también instrucciones y demostraciones de ejercicios relacionados con estos conceptos.

    Descripción original:

    Álgebra Moderna 1. unidad 1. Actividad 2. Grupos y subgrupos

    Título original

    MAMD1_U1_A2_V2_LUAC

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    DOCX, PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento presenta un resumen de la primera unidad de un curso de álgebra moderna sobre grupos y subgrupos. Incluye las definiciones de las propiedades de cancelación izquierda y derecha en una operación binaria y demuestra que si un conjunto finito tiene una operación binaria asociativa que satisface estas propiedades, entonces constituye un grupo. El documento contiene también instrucciones y demostraciones de ejercicios relacionados con estos conceptos.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    232 vistas4 páginas

    Mamd1 U1 A2 V2 Luac

    Cargado por

    Luis Gerardo Aguilar Cruz
    Este documento presenta un resumen de la primera unidad de un curso de álgebra moderna sobre grupos y subgrupos. Incluye las definiciones de las propiedades de cancelación izquierda y derecha en una operación binaria y demuestra que si un conjunto finito tiene una operación binaria asociativa que satisface estas propiedades, entonces constituye un grupo. El documento contiene también instrucciones y demostraciones de ejercicios relacionados con estos conceptos.

    Copyright:

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

    Álgebra moderna I

    Unidad 1. Grupos y subgrupos


    Profesor: Dr. RAMIRO VÁZQUEZ VERA
    Actividad 1. Grupos
    Luis Gerardo Aguilar Cruz
    Matricula: ES1511108497
    sábado, 26 de octubre de 2019
    Actividad 1. Grupos | Luis Gerardo Aguilar Cruz

    Instrucciones: demuestra lo que pide en los siguientes ejercicios, utilizando técnicas de


    demostración, definiciones formales de teoría de grupos y sin abusar de elementos intuitivos.
    3. Investiga y enuncia formalmente qué son las propiedades de cancelación a izquierda y derecha
    en una operación binaria.

    Teorema 1. Si 𝐺 es un grupo con una operación binaria ∗, entonces las leyes de cancelación
    izquierda y derecha se cumplen en 𝐺, es decir, 𝑎 ∗ 𝑏 = 𝑎 ∗ 𝑐 implica 𝑏 = 𝑐 y 𝑏 ∗ 𝑎 = 𝑐 ∗ 𝑎
    implica 𝑏 = 𝑐 para 𝑎, 𝑏, 𝑐 ∈ 𝐺.

    Demostración. Supóngase que 𝑎 ∗ 𝑏 = 𝑎 ∗ 𝑐. Entonces existe 𝑎−1 y


    𝑎−1 ∗ (𝑎 ∗ 𝑏) = 𝑎−1 ∗ (𝑎 ∗ 𝑐)
    Por la ley asociativa
    (𝑎−1 ∗ 𝑎) ∗ 𝑏 = (𝑎−1 ∗ 𝑎) ∗ 𝑐
    Por definición 𝑎−1 ∗ 𝑎 = 𝑒, luego
    𝑒∗𝑏 = 𝑒∗𝑐
    Además 𝑒 ∗ 𝑏 = 𝑏, 𝑒 ∗ 𝑐 = 𝑐, por tanto
    𝑏=𝑐
    Ahora supóngase 𝑏 ∗ 𝑎 = 𝑐 ∗ 𝑎. Entonces existe 𝑎−1 y
    (𝑏 ∗ 𝑎) ∗ 𝑎−1 = (𝑐 ∗ 𝑎) ∗ 𝑎 −1
    Por la ley asociativa
    𝑏 ∗ (𝑎 ∗ 𝑎−1 ) = 𝑐 ∗ (𝑎 ∗ 𝑎−1 )

    Por definición 𝑎−1 ∗ 𝑎 = 𝑒, luego


    𝑏∗𝑒=𝑐∗𝑒
    Además 𝑏 ∗ 𝑒 = 𝑏, 𝑐 ∗ 𝑒 = 𝑐, por tanto
    𝑏=𝑐
    ∎

    1
    4. Demuestra que si (G; *) es un conjunto finito con una operación binaria * asociativa que
    satisface las propiedades de cancelación a izquierda y derecha, entonces (G; *) es un grupo.

    Demostración. Supongamos que (G; *) es un conjunto finito con una operación binaria *
    asociativa que satisface las propiedades de cancelación a izquierda y derecha, es decir,
    𝑎 ∗ 𝑏 = 𝑎 ∗ 𝑐 implica 𝑏 = 𝑐, con 𝑎, 𝑏, 𝑐 ∈ 𝐺, luego debe existir 𝑒 ∈ 𝐺 tal que
    𝑒 ∗ 𝑏 = 𝑏, 𝑒∗𝑐 =𝑐
    Así
    𝑒∗𝑏 = 𝑒∗𝑐
    y debe existir 𝑎−1 tal que 𝑎−1 ∗ 𝑎 = 𝑒, por lo que
    (𝑎−1 𝑎) ∗ 𝑏 = (𝑎−1 ∗ 𝑎) ∗ 𝑐.
    Además, por la propiedad asociativa
    𝑎−1 ∗ (𝑎 ∗ 𝑏) = 𝑎−1 ∗ (𝑎 ∗ 𝑐)
    Así que
    𝑎∗𝑏 = 𝑎∗𝑐
    Por lo tanto, si (G; *) es un conjunto finito con una operación binaria * asociativa que satisface
    las propiedades de cancelación a izquierda y derecha, entonces existe 𝑒 ∈ 𝐺 y existe 𝑎−1 ∈ 𝐺,
    es decir, el elemento neutro del conjunto 𝐺 y un inverso de cada elemento 𝑎 ∈ 𝐺.
    Cumpliéndose así la definición de grupo.
    ∎
    Actividad 1. Grupos | Luis Gerardo Aguilar Cruz

    Referencias
    Fraleigh, J. B. (1988). Álgebra abstracta primer curso. CDMX: Addison-Wesley.
    Rodriguez Castillo, E. (s.f.). Notas de Álgebra Moderna. Obtenido de Scribd:
    https://es.scribd.com/document/248472706/Curso-de-Algebra-Moderna
    UnADM. (diciembre de 2015). Álgebra Moderna I. Unidad 1. Grupos y subgrupos. Obtenido de
    Aula virtual UnADM: https://unadmexico.blackboard.com
    Wikibooks. (02 de febrero de 2019). Álgebra abstracta/ grupos. Obtenido de Wikibooks:
    https://es.wikibooks.org/wiki/%C3%81lgebra_Abstracta/Grupos
    Zaldívar, F. (2006). Introducción a la teoría de grupos. CDMX: UAM.

    También podría gustarte