Mamd2 Acd Peho

ALUMNO: HERNANDEZ ORTEGA PEDRO MATRICULA: ES1410900455 DEMOSTRACION. οƒž) Sea 𝐻 = βˆ† ∈ 𝐺 Γ— 𝐺 un grupo Γ­ndice 2. Entonces

Views 54 Downloads 5 File size 416KB

Report DMCA / Copyright

DOWNLOAD FILE

Recommend stories

Citation preview

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