Вы находитесь на странице: 1из 10

Grupos Simples

Manuel Emilio Montero Soler


EE-6887
Universidad Autonoma de Santo Domingo
Facultad de ciencias
Escuela de Matematicas
May 7, 2014
Manuel Emilio Montero Soler EE-6887 Grupos Simples
Relacion de congruencia
Denicion
Sea G un grupo y H G. Diremos que dos elementos u y v de G
son congruentes por la izquierda modulo H (y lo representaremos
u
i
v (mod H) si cumplen u
1
v H.
Diremos que u y v son congruentes por la derecha modulo H si
cumplen uv
1
H. Lo representaremos u
d
v (mod H).
Las relaciones de congruencia de la denicion anterior son
relaciones de equivalencia.
Manuel Emilio Montero Soler EE-6887 Grupos Simples
La clase de equivalencia de un elemento a G para la
congruencia por la izquierda es el conjunto aH = {ah| h H},
mientras que la clase de equivalencia de a para la congruencia por
la derecha es Ha = {ha | h H}.
Llamaremos (G/H)
i
y (G/H)
d
a los conjuntos cocientes para
las relaciones de congruencia modulo H por la izquierda y por la
derecha, respectivamente.
En general se cumple que todas las clases de equivalencia tienen
tantos elementos como H, pues la aplicacion que a cada h H le
asigna el elemento ah H biyecta H con aH (e igualmente por la
derecha).
Manuel Emilio Montero Soler EE-6887 Grupos Simples
Asi pues, todas las clases de equivalencia de un grupo G
respecto a un subgrupo H tienen cardinal igual a |H|, luego si G
es nito, los dos conjuntos cocientes (G/H)
i
y (G/H)
d
tienen
cardinal igual a |G|/|H|. A este cardinal lo llamaremos indice del
subgrupo H en el grupo G, y lo representaremos por |G : H|.
Manuel Emilio Montero Soler EE-6887 Grupos Simples
Conjugacion
Hemos visto que en general las relaciones de congruencia por la
izquierda y por la derecha respecto a un subgrupo no tienen
porque coincidir, y sucede que solo cuando coinciden puede
denirse consistentemente una estructura de grupo en el conjunto
cociente. Estudiemos, pues, en que casos coinciden. Para ello nos
sera de utilidad el concepto de automorsmo interno de un grupo.
Denicion
Sea G un grupo y g, h G. Denimos el conjugado de h por g
como el elemento h
g
= g
1
hg G. Denimos la funcion

g
: G G dada por
g
(h) = h
g
. Es facil comprobar qe
g
es
un automorsmo de G. Mas aun, la aplicacion : G AutG
dada por (g) =
g
es un homomorsmo de grupos. A la imagen
de este homomorsmo, es decir, al subgrupo IntG = {
g
| g G}
se le llama grupo de los automorsmos internos de G.
Manuel Emilio Montero Soler EE-6887 Grupos Simples
Es evidente que h
g
= h si y solo si gh = hg, luego IntG = {I
G
}
si y solo si G es abeliano.
Si A G, escribimos A
g
=
g
[A] = {a
g
| a A}. El conjunto
A
g
esta formado por los conjugados a A por g.
Teorema
Sea G un grupo y H un subgrupo de G. Las siguientes
armaciones son equivalentes:
1
La relacion de congruencia modulo H por la izquierda coincide
con la relacion de congruencia modulo H por la derecha.
2
gH = Hg para todo elemento g G.
3
(G/H)
i
= (G/H)
d
(lo cual podemos escribir como G/H).
4
H
g
= H para todo elemento g G.
5
H
g
H para todo elemento g G.
Manuel Emilio Montero Soler EE-6887 Grupos Simples
Demostracion: Teniendo en cuenta que gH y Hg son las
clases de equivalencia de g por la izquierda y por la derecha
modulo H, es claro que 1), 2) y 3) son equivalentes.
Podemos probar que gH = Hg equivale a que
H = g
1
Hg = H
g
. Solo falta probar que 5) implica 4), pero esto
es consecuencia de que H
g
1
H implica que H H
g
, luego de
hecho H = H
g
.
Notar que en general, si H G y g G, el conjunto H
g
es la
imagen de H por un automorsmo de G, luego H
g
G. Los
subgrupos de la forma H
g
se llaman conjugados de H.
Dos elementos g, h G son conjugados si existe un x G tal
que g = h
x
. La conjugacion es una relacion de equivalencia en G.
A la clase de equivalencia de un elemento g G para la relacion
de conjugacion se le llama clase de conjugacion de g y se
representa por cl(g).
Manuel Emilio Montero Soler EE-6887 Grupos Simples
Subgrupo Normal
Denicion
Diremos que N es un subgrupo normal de un grupo G si N
permanece invariante bajo todo automorsmo interno de G, es
decir, N = g
1
Ng para todo g G. Lo representaremos mediante
N G.
Teorema
Todo subgrupo de un grupo abeliano es normal.
Demostracion: La demostracion es trivial. Si G es un grupo
abeliano, g G y N un subgrupo de G, entonces
N = g
1
Ng = H(g
1
g) = N. Asi que N permanece invariante
para todo automorsmo interno de G, por tanto N es un subgrupo
normal de G.
Manuel Emilio Montero Soler EE-6887 Grupos Simples
Grupos Simples
Una caracteristica de un grupo factor es que da informacion
supercial acerca de la estructura de todo el grupo. Claro que en
ocasiones no hay subgrupos normales propios no triviales.
Denicion
Un grupo es simple si no tiene subgrupos normales propios no
triviales, es decir, si el unico subgrupo normal propio es el trivial.
Manuel Emilio Montero Soler EE-6887 Grupos Simples
Ejemplo
Ejemplo
Mostrar que todo grupo de orden primo es simple.
Sea G un grupo de orden primo. Por el teorema de Lagrange
sabemos que si H es un subgrupo de G, entonces el orden de H
divide al orden de G. Dado que el orden de G es primo, tenemos
que G tiene dos subgrupos. A saber, el impropio y el trivial.
Sabemos que el subgrupo impropio y el trivial son subgrupos
normales, ya que son invariantes bajo todo automorsmo interno
de G, por lo que el grupo G es simple.
Manuel Emilio Montero Soler EE-6887 Grupos Simples

Вам также может понравиться

  • Mamd1 U1 A3 Elvc
    Mamd1 U1 A3 Elvc
    Документ5 страниц
    Mamd1 U1 A3 Elvc
    jose calderon
    Оценок пока нет
  • Codificación
    Codificación
    Документ17 страниц
    Codificación
    Adrian Peña Rodriguez
    Оценок пока нет
  • Resumen Grupos
    Resumen Grupos
    Документ7 страниц
    Resumen Grupos
    María Guadalupe Hernández García
    Оценок пока нет
  • Guia
    Guia
    Документ1 страница
    Guia
    mitoxalfaro
    Оценок пока нет
  • Grupos Prop-1
    Grupos Prop-1
    Документ10 страниц
    Grupos Prop-1
    Celineth
    Оценок пока нет
  • Grupo
    Grupo
    Документ5 страниц
    Grupo
    Yeltsin Acahuana
    Оценок пока нет
  • Grupos, Subgrupos y Teo de Lagrange
    Grupos, Subgrupos y Teo de Lagrange
    Документ10 страниц
    Grupos, Subgrupos y Teo de Lagrange
    Franco Andres Olivares Contador
    100% (1)
  • Clases Laterales-Algebra Moderna
    Clases Laterales-Algebra Moderna
    Документ4 страницы
    Clases Laterales-Algebra Moderna
    Daniel E. Taveras
    100% (1)
  • Ed 2 Cap 6 G
    Ed 2 Cap 6 G
    Документ12 страниц
    Ed 2 Cap 6 G
    Cristofer Tejeda
    Оценок пока нет
  • Isomorfismos
    Isomorfismos
    Документ27 страниц
    Isomorfismos
    Arquimedes Matemático
    Оценок пока нет
  • Demostraciones de Grupos
    Demostraciones de Grupos
    Документ13 страниц
    Demostraciones de Grupos
    Antonio Vega
    Оценок пока нет
  • Topologia II PDF
    Topologia II PDF
    Документ139 страниц
    Topologia II PDF
    Ernesto Americo Hidalgo Castellanos
    Оценок пока нет
  • Topologia - II (Apuntes Clase Fjlopez)
    Topologia - II (Apuntes Clase Fjlopez)
    Документ138 страниц
    Topologia - II (Apuntes Clase Fjlopez)
    amcm25
    Оценок пока нет
  • Sesión 4 - Algebra I - Clases Laterales - Subgrupo Normal - Teorema de Lagrange
    Sesión 4 - Algebra I - Clases Laterales - Subgrupo Normal - Teorema de Lagrange
    Документ8 страниц
    Sesión 4 - Algebra I - Clases Laterales - Subgrupo Normal - Teorema de Lagrange
    gonzales994
    100% (1)
  • Series de Grupos
    Series de Grupos
    Документ4 страницы
    Series de Grupos
    Sebastian Zapata
    Оценок пока нет
  • Sub Grupo
    Sub Grupo
    Документ4 страницы
    Sub Grupo
    Estefi Peñaloza
    Оценок пока нет
  • Grupos Normales - Teoremas de Isomorfismo
    Grupos Normales - Teoremas de Isomorfismo
    Документ11 страниц
    Grupos Normales - Teoremas de Isomorfismo
    Felipe Pereira
    Оценок пока нет
  • Problemas Algebra Posgrado
    Problemas Algebra Posgrado
    Документ4 страницы
    Problemas Algebra Posgrado
    Felipe Mira Mejia
    Оценок пока нет
  • Algebra Maestria
    Algebra Maestria
    Документ142 страницы
    Algebra Maestria
    DamarisHenostroza
    100% (1)
  • Tarea 1 Lineal 1
    Tarea 1 Lineal 1
    Документ4 страницы
    Tarea 1 Lineal 1
    Alberto Ramirez
    Оценок пока нет
  • Unidad 7 Estructuras Algebraicas
    Unidad 7 Estructuras Algebraicas
    Документ5 страниц
    Unidad 7 Estructuras Algebraicas
    Charly Ok
    Оценок пока нет
  • Mamd2 U1 A2 V2 Luac PDF
    Mamd2 U1 A2 V2 Luac PDF
    Документ6 страниц
    Mamd2 U1 A2 V2 Luac PDF
    Luis Gerardo Aguilar Cruz
    Оценок пока нет
  • EAh 2
    EAh 2
    Документ2 страницы
    EAh 2
    Maria
    Оценок пока нет
  • Grupobeamer
    Grupobeamer
    Документ15 страниц
    Grupobeamer
    DANIEL CASTRO
    Оценок пока нет
  • Ejercicios Grupos
    Ejercicios Grupos
    Документ6 страниц
    Ejercicios Grupos
    JHON ALEXANDER ORDONEZ CHICAIZA
    100% (1)
  • Clase de Subgrupos
    Clase de Subgrupos
    Документ9 страниц
    Clase de Subgrupos
    Jorge Luis Saint-Hilaire Rodriguez
    Оценок пока нет
  • U III - Tema Grupo Simetrico
    U III - Tema Grupo Simetrico
    Документ18 страниц
    U III - Tema Grupo Simetrico
    Cliffor Jerry Herrera Castrillo
    Оценок пока нет
  • Ayudantía 3
    Ayudantía 3
    Документ22 страницы
    Ayudantía 3
    Jim Manriquez Garrido
    Оценок пока нет
  • Teoria de Galois en Grupos Profinitos
    Teoria de Galois en Grupos Profinitos
    Документ8 страниц
    Teoria de Galois en Grupos Profinitos
    Brujo جدوگر S
    Оценок пока нет
  • Ejercicios de Álgebra II
    Ejercicios de Álgebra II
    Документ4 страницы
    Ejercicios de Álgebra II
    Yue Clow
    Оценок пока нет
  • Te2 Am1
    Te2 Am1
    Документ8 страниц
    Te2 Am1
    Pedro Eduardo Medina Gonzalez
    Оценок пока нет
  • Tarea 3
    Tarea 3
    Документ4 страницы
    Tarea 3
    Alberto Ramirez
    Оценок пока нет
  • Estructuras Algebraicas Una Introduccion
    Estructuras Algebraicas Una Introduccion
    Документ4 страницы
    Estructuras Algebraicas Una Introduccion
    zepapi
    Оценок пока нет
  • Ejer Cici Os
    Ejer Cici Os
    Документ6 страниц
    Ejer Cici Os
    Jesus Natividad macedo
    Оценок пока нет
  • Álgebra Tema 1 Grupos y Morfismos
    Álgebra Tema 1 Grupos y Morfismos
    Документ11 страниц
    Álgebra Tema 1 Grupos y Morfismos
    TheMasterRex
    Оценок пока нет
  • Estructuras Algebraicas
    Estructuras Algebraicas
    Документ26 страниц
    Estructuras Algebraicas
    Jytgcc
    Оценок пока нет
  • Mamd2 Acd Peho
    Mamd2 Acd Peho
    Документ4 страницы
    Mamd2 Acd Peho
    pedro hernandez
    Оценок пока нет
  • Grupo Topologico
    Grupo Topologico
    Документ78 страниц
    Grupo Topologico
    Martin Cabrera
    100% (1)
  • Repaso Grupos
    Repaso Grupos
    Документ35 страниц
    Repaso Grupos
    oscar leonardo delgado triana
    Оценок пока нет
  • Demostraciones Teoría de Grupos
    Demostraciones Teoría de Grupos
    Документ31 страница
    Demostraciones Teoría de Grupos
    NeoKurono
    50% (4)
  • Teoría de Grupos
    Teoría de Grupos
    Документ34 страницы
    Teoría de Grupos
    Emma Dumm
    Оценок пока нет
  • 01# Unidad 1 - Grupo y Anillo
    01# Unidad 1 - Grupo y Anillo
    Документ8 страниц
    01# Unidad 1 - Grupo y Anillo
    rdarioponce
    Оценок пока нет
  • Actividad N: 6: Grupo
    Actividad N: 6: Grupo
    Документ5 страниц
    Actividad N: 6: Grupo
    Daniel Evans
    Оценок пока нет
  • Mamd2 U1 A2 Luac
    Mamd2 U1 A2 Luac
    Документ7 страниц
    Mamd2 U1 A2 Luac
    Luis Gerardo Aguilar Cruz
    Оценок пока нет
  • Codificación
    Codificación
    Документ28 страниц
    Codificación
    Samuel Camacho Miranda
    Оценок пока нет
  • T5 Aplicaciones
    T5 Aplicaciones
    Документ22 страницы
    T5 Aplicaciones
    ATS AEMET
    Оценок пока нет
  • Clases Laterales
    Clases Laterales
    Документ9 страниц
    Clases Laterales
    Laura Lucila Arbulú Baquedano
    Оценок пока нет
  • Tema 5b
    Tema 5b
    Документ37 страниц
    Tema 5b
    Pedro Javier González García
    Оценок пока нет
  • Guía Álgebra 2018
    Guía Álgebra 2018
    Документ15 страниц
    Guía Álgebra 2018
    Saverio_
    Оценок пока нет
  • Universidad de Puerto Rico Problemas Algebra Abstracta
    Universidad de Puerto Rico Problemas Algebra Abstracta
    Документ4 страницы
    Universidad de Puerto Rico Problemas Algebra Abstracta
    giancarlo
    Оценок пока нет
  • P Grupos
    P Grupos
    Документ10 страниц
    P Grupos
    jjjjair
    Оценок пока нет
  • B Grupos 2015
    B Grupos 2015
    Документ5 страниц
    B Grupos 2015
    Gilberto Platero Aratia
    Оценок пока нет
  • GyAExamen2020Julio10 Soluciones
    GyAExamen2020Julio10 Soluciones
    Документ7 страниц
    GyAExamen2020Julio10 Soluciones
    isanchez_174906
    Оценок пока нет
  • Ejercicios Uchile Grupos y Anillos PDF
    Ejercicios Uchile Grupos y Anillos PDF
    Документ26 страниц
    Ejercicios Uchile Grupos y Anillos PDF
    amrdif_20066729
    Оценок пока нет
  • AED Tema 2 Grupos - Grupo Simetrico
    AED Tema 2 Grupos - Grupo Simetrico
    Документ18 страниц
    AED Tema 2 Grupos - Grupo Simetrico
    Romii Fernandez Pego
    Оценок пока нет
  • Caropal - Capítulo 6 Clases Laterales.
    Caropal - Capítulo 6 Clases Laterales.
    Документ8 страниц
    Caropal - Capítulo 6 Clases Laterales.
    Catalina Ballesteros
    Оценок пока нет
  • Álgebra lineal
    Álgebra lineal
    От Everand
    Álgebra lineal
    Рейтинг: 4.5 из 5 звезд
    4.5/5 (7)
  • Ejercicios de Conjuntos y Funciones
    Ejercicios de Conjuntos y Funciones
    От Everand
    Ejercicios de Conjuntos y Funciones
    Оценок пока нет
  • Ejercicios de Teoría de Galois
    Ejercicios de Teoría de Galois
    От Everand
    Ejercicios de Teoría de Galois
    Оценок пока нет
  • Ejercicios de Cálculo Integral
    Ejercicios de Cálculo Integral
    От Everand
    Ejercicios de Cálculo Integral
    Рейтинг: 5 из 5 звезд
    5/5 (1)
  • FExpLog Main
    FExpLog Main
    Документ22 страницы
    FExpLog Main
    Ivan Francisco Gil Cruz
    Оценок пока нет
  • Materialprimero Adel 1 Erparcialredesparasubiralaweb
    Materialprimero Adel 1 Erparcialredesparasubiralaweb
    Документ31 страница
    Materialprimero Adel 1 Erparcialredesparasubiralaweb
    Ivan Francisco Gil Cruz
    Оценок пока нет
  • Model Oex
    Model Oex
    Документ1 страница
    Model Oex
    Ivan Francisco Gil Cruz
    Оценок пока нет
  • Resolucionderelacionesderecurrencia
    Resolucionderelacionesderecurrencia
    Документ28 страниц
    Resolucionderelacionesderecurrencia
    Kevin Matias
    Оценок пока нет
  • Formas Bilineales
    Formas Bilineales
    Документ7 страниц
    Formas Bilineales
    Ivan Francisco Gil Cruz
    Оценок пока нет
  • Analisis Tensorial y Geometria de Riemann
    Analisis Tensorial y Geometria de Riemann
    Документ45 страниц
    Analisis Tensorial y Geometria de Riemann
    jcupiita
    Оценок пока нет
  • Ejercicios
    Ejercicios
    Документ35 страниц
    Ejercicios
    elfenpaulo-1
    Оценок пока нет
  • Ruby Facil
    Ruby Facil
    Документ73 страницы
    Ruby Facil
    Samuel Adrian G
    100% (1)
  • Grupo Factores
    Grupo Factores
    Документ24 страницы
    Grupo Factores
    Ivan Francisco Gil Cruz
    Оценок пока нет
  • 6.2-Algoritmos de Distribucion de Instalaciones - (Prof - Pelaez)
    6.2-Algoritmos de Distribucion de Instalaciones - (Prof - Pelaez)
    Документ29 страниц
    6.2-Algoritmos de Distribucion de Instalaciones - (Prof - Pelaez)
    Ivan Francisco Gil Cruz
    Оценок пока нет
  • Grupos Simples
    Grupos Simples
    Документ10 страниц
    Grupos Simples
    Ivan Francisco Gil Cruz
    Оценок пока нет
  • Ldesc 2 e
    Ldesc 2 e
    Документ79 страниц
    Ldesc 2 e
    Ivan Francisco Gil Cruz
    Оценок пока нет
  • Padron de Las ESCUELAS
    Padron de Las ESCUELAS
    Документ148 страниц
    Padron de Las ESCUELAS
    Ivan Francisco Gil Cruz
    Оценок пока нет
  • Python para Todos
    Python para Todos
    Документ160 страниц
    Python para Todos
    Junior Sumosa
    100% (2)
  • Teoria de Las Funciones Analiticas Tomo1 Archivo2
    Teoria de Las Funciones Analiticas Tomo1 Archivo2
    Документ174 страницы
    Teoria de Las Funciones Analiticas Tomo1 Archivo2
    Ivan Francisco Gil Cruz
    Оценок пока нет
  • Pearson Spearman
    Pearson Spearman
    Документ9 страниц
    Pearson Spearman
    Ivan Francisco Gil Cruz
    Оценок пока нет
  • Teoria de Las Funciones Analiticas Tomo1 Archivo1
    Teoria de Las Funciones Analiticas Tomo1 Archivo1
    Документ207 страниц
    Teoria de Las Funciones Analiticas Tomo1 Archivo1
    Ivan Francisco Gil Cruz
    Оценок пока нет
  • Calculo Fraccional
    Calculo Fraccional
    Документ20 страниц
    Calculo Fraccional
    Bruno Gerardo Salas Cardoso
    Оценок пока нет
  • Programación 2013-1
    Programación 2013-1
    Документ2 736 страниц
    Programación 2013-1
    FelabelSede
    Оценок пока нет
  • Python para Todos
    Python para Todos
    Документ160 страниц
    Python para Todos
    Junior Sumosa
    100% (2)
  • Alexandra
    Alexandra
    Документ7 страниц
    Alexandra
    Ivan Francisco Gil Cruz
    Оценок пока нет
  • 9-Ayuda An Lisis Bayesiano
    9-Ayuda An Lisis Bayesiano
    Документ60 страниц
    9-Ayuda An Lisis Bayesiano
    picudo
    Оценок пока нет
  • Cal Culo
    Cal Culo
    Документ7 страниц
    Cal Culo
    Ivan Francisco Gil Cruz
    Оценок пока нет
  • Alexandra
    Alexandra
    Документ7 страниц
    Alexandra
    Ivan Francisco Gil Cruz
    Оценок пока нет
  • Actuarial Conr
    Actuarial Conr
    Документ26 страниц
    Actuarial Conr
    Ivan Francisco Gil Cruz
    Оценок пока нет
  • Bonos
    Bonos
    Документ28 страниц
    Bonos
    Ivan Francisco Gil Cruz
    Оценок пока нет
  • Deuda Externa de La RD
    Deuda Externa de La RD
    Документ14 страниц
    Deuda Externa de La RD
    Ivan Francisco Gil Cruz
    Оценок пока нет
  • Bonos
    Bonos
    Документ28 страниц
    Bonos
    Ivan Francisco Gil Cruz
    Оценок пока нет