Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 169 vistas

    Grupos y Subgrupos

    Cargado por

    DanielGaiardo
    Este documento presenta definiciones y propiedades relacionadas con los grupos y subgrupos. Introduce la definición formal de un grupo y sus propiedades asociativas, existencia de elemento neutro e inverso. Luego define subgrupos y propiedades como que un subconjunto de un grupo es un subgrupo si es cerrado bajo la operación del grupo. Finalmente introduce homomorfismos de grupos y define qué es un homomorfismo, monomorfismo, epimorfismo e isomorfismo entre grupos.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Descargue como PDF, TXT o lea en línea desde Scribd

    Grupos y Subgrupos

    Cargado por

    DanielGaiardo
    169 vistas2 páginas
    Este documento presenta definiciones y propiedades relacionadas con los grupos y subgrupos. Introduce la definición formal de un grupo y sus propiedades asociativas, existencia de elemento neutro e inverso. Luego define subgrupos y propiedades como que un subconjunto de un grupo es un subgrupo si es cerrado bajo la operación del grupo. Finalmente introduce homomorfismos de grupos y define qué es un homomorfismo, monomorfismo, epimorfismo e isomorfismo entre grupos.

    Derechos de autor

    © Attribution Non-Commercial (BY-NC)

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento presenta definiciones y propiedades relacionadas con los grupos y subgrupos. Introduce la definición formal de un grupo y sus propiedades asociativas, existencia de elemento neutro e inverso. Luego define subgrupos y propiedades como que un subconjunto de un grupo es un subgrupo si es cerrado bajo la operación del grupo. Finalmente introduce homomorfismos de grupos y define qué es un homomorfismo, monomorfismo, epimorfismo e isomorfismo entre grupos.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    169 vistas2 páginas

    Grupos y Subgrupos

    Cargado por

    DanielGaiardo
    Este documento presenta definiciones y propiedades relacionadas con los grupos y subgrupos. Introduce la definición formal de un grupo y sus propiedades asociativas, existencia de elemento neutro e inverso. Luego define subgrupos y propiedades como que un subconjunto de un grupo es un subgrupo si es cerrado bajo la operación del grupo. Finalmente introduce homomorfismos de grupos y define qué es un homomorfismo, monomorfismo, epimorfismo e isomorfismo entre grupos.

    Copyright:

    Attribution Non-Commercial (BY-NC)
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    de 2

    Instituto Universitario Aeronutico Facultad Ciencias de la Administracin

    INGENIERA DE SISTEMAS Matemtica I programa 2010 Tutora A. Olmos

    Nombre y apellido: Gaiardo Daniel Fernando Curso: Matemtica I Fecha: 19/11/2013

    Grupos y subgrupos
    1.1. Primeras definiciones y propiedades Definicin 1.1.1 Un grupo es un conjunto G dotado de una operacin binaria que satisface los siguientes axiomas: (G1) Operacin interna: x, y G, x y G (G2) Propiedad asociativa: x, y, z G, (x y) z = x (y z) (G3) Existencia de elemento neutro: e G : g G, e g = g e = g (G4) Existencia de elemento inverso: g G, g1 G : g g1 = e = g1 g Definicin 1.1.2 Se dice que un grupo (G, ) es abeliano si para todos x, y G se cumple x y = y x. Definicin 1.1.3 Sea (G, ) un grupo. Se llama orden de (G, ) al cardinal |G| del conjunto subyacente. Se dice que (G, ) es finito si dicho cardinal lo es, e infinito en caso contrario. Proposicin 1.1.4 (Propiedades cancelativas) Sea (G, ) un grupo. Para todos a, b, c G se cumple ac=bc=a=b ca=cb=a=b Proposicin 1.1.5 El elemento neutro e de un grupo (G, ) es nico. Demostracin. Supongamos que existiesen en (G, ) dos elementos neutros distintos e, f G. Entonces, utilizando el axioma (G3), e= ef= f. Proposicin 1.1.6 El elemento inverso de cualquier elemento g de un grupo (G, ) es nico. Demostracin. Supongamos que existiesen dos elementos g 1, g G tales que g g1= g1 g = e y g g = g g = e. Entonces, g g1 = g g , y utilizando la propiedad cancelativa por la izquierda, se tiene g 1= g .

    Proposicin 1.1.7 Sea (G, ) un grupo. Para todo g G se tiene que (g1)1= g. Proposicin 1.1.8 Sea (G, ) un grupo. Para todos x, y G se tiene que (x y) 1 = y1 x1 . Proposicin 1.1.9 Sea (G, ) un grupo. Entonces, (G, ) es abeliano x, y G, (x y) 1= x1 y1 Demostracin. De la definicin de grupo abeliano, (x y) 1 = y1 x1 = x1 y1. Recprocamente, si para todos x, y G se tiene (x y) 1 = x1 y1 , entonces, utilizando sucesivamente las proposiciones 1.1.7 y 1.1.8, la hiptesis y de nuevo la proposicin 1.1.7, x y = (x1) 1 (y1)1 = (y1 x1) 1 = (y1) 1 (x1)1 = y x

    1.2. Subgrupos
    Definicin 1.2.1 Dado un grupo (G, ) y un subconjunto H G, se dice que (H, ) es un subgrupo de (G,), y se denota (H, ) (G, ), si H es un grupo con respecto a la operacin definida en G. Definicin 1.2.2 Sea (G, ) un grupo. Los subconjuntos G y {e} reciben el nombre de subgrupos impropios de G. El resto de subgrupos de G reciben el nombre de subgrupos propios de G. Proposicin 1.2.3 Sea (G, ) un grupo, y sea H G,H 6 = . (H, ) es un subgrupo de (G, ) si y slo si para todos x, y H se cumple x y1 H.

    Homomorfismos de Grupos
    Definicin Sean (G, ) y (H, ) dos grupos. Una funci n f de G a H f:GH se dice ser a) Un homomorfismo si f (x y) = f (x) f (y), x, y (G, ), se puede prescindir de las operaciones y escribir simplemente f (xy) = f (x)f (y). b) Un monomorfismo si es un homomorfismo inyectivo de G en H. c) Un epimorfismo si es un homomorfismo sobreyectivo de G en H. d) Un isomorfismo de H en G si es un homomorfismo biyectivo entre estos dos grupos. G y H se dicen isomorfos, y se escribe . e) Un automorfismo si es un isomorfismo de G en G. Ejemplo 1. Sea h : (IR, +) (IR {0}, ), se define h(x) = 3 x. Vemos que h(x + y) = 3 x+y, = 3 x3y, = h(x)h(y). As h es un homomorfismo.
    Fuente: Introduccin a la teora de grupos finitos, por Alberto Garca Raboso 8 de marzo de 2007.

    También podría gustarte