ALUMNO: HERNANDEZ ORTEGA PEDRO MATRICULA: ES1410900455 DEMOSTRACION. ο) Sea π» = β β πΊ Γ πΊ un grupo Γndice 2. Entonces
Views 54 Downloads 5 File size 416KB
ALUMNO: HERNANDEZ ORTEGA PEDRO
MATRICULA: ES1410900455
DEMOSTRACION. ο) Sea π» = β β πΊ Γ πΊ un grupo Γndice 2. Entonces si π β π», se tiene que gH es el conjunto de los elementos que no estΓ‘n en H, pues si πβ β π» πππ β β π» implicarΓa que π β π». Lo mismo ocurre con Hg. Luego si π β π» se tiene que gH = Hg = G/H, es decir ππ»πβ1 = π» y si g ο H entonces se tiene trivialmente que ππ»πβ1 = π» , ππ’πππ βπ β πΊ se tiene que ππ»πβ1 = π» ο) En el caso de H es normal en G se tiene la operaciΓ³n π1 π»π2 π» = π1 π2 π»
esta bien definida en G / οΎ, de hecho si g1H = g1βH y g2H = g2βH entonces existen h1 y h2 tales que g1h1 = gβ1 y g2 h2 = g2β. De esta forma π1β² π2β² π» = π» = π1 β1 π2 β2 π» = π1 β1 π2 π» Como H es normal en G se tiene que π2 π» = π»π2 por lo tanto π1β² π2β² π» = π» = π1 β1 π2 β2 π» = π1 β1 π2 π» = π1 β1 π»π2 = π1 π»π2 De nuevo como H es normal en G se tiene que π2 π»π2 por tanto π1β² π2β² π» = π» = π1 β1 π2 β2 π» = π1 β1 π2 π» = π1 β1 π»π2 = π1 π»π2 = π1 π2 π» Lo cual implica que es abeliano. QED
DEMOSTRACION. Sea x ο G, entonces su estabilizador o grupo de isotropΓa es πΊπ₯ = {π β πΊ βΆ ππ₯ = π₯ } = {π β πΊ βΆ ππ₯π β1 = π₯ } = {π β πΊ βΆ ππ₯ = π₯π} = πΆπΊ (π₯) Para determinar su Γ³rbita O(x) π(π₯ ) = {ππ₯ βΆ π β πΊ }0{ ππ₯π β1 = π₯ βΆ π β πΊ } = πΆ(π₯) Que es la clase de conjugaciΓ³n utilizada comΓΊnmente Para demostrar que solo hay una Γ³rbita demostramos el nΓΊmero de elementos en la clase de conjugaciΓ³n asΓ |πΆ (π₯)| = |π(π₯ )| = |πΊ βΆ πΊπ₯ | = |πΊ βΆ πΆπΊ (π₯ )| Finalmente hay solo una Γ³rbita en esta acciΓ³n. QED
Sabemos que el orden de S5 es 20 = 22 β 5. Sea G un grupo de orden 20. Por el tercer teorema de Sylow ( Si G es un grupo y p es un primo que divide el orden de G entonces ππ = 1, ππ πππ£πππ π |πΊ | π¦ ππ = [πΊ βΆ ππΊ (π)] donde π β ππ¦ππ (πΊ )), el numero de 5 - subgrupos de Sylow que G contiene es congruente con 1 modulo 5 y divisor de 20 es solamente un grupo. Entonces este 5 β subgrupo de Sylow tiene que ser normal esto debido al siguiente corolario,
Entonces G no es simple. QED
REFERENCIAS 1) PDF. Recuperado de: https://rodas5.us.es/file/a774213d-a15a-41df-816c-e633fb1a5876/1/02-PresentacionPermutaciones.pdf
2) PDF. Recuperado de https://www.ucursos.cl/ingenieria/2010/1/MA3101/1/material_docente/bajar?id_material=277788
3) PDF. Recuperado de http://www.dim.uchile.cl/~mkiwi/ma31a/05/apunte.pdf