Professional Documents
Culture Documents
Aplicaciones de Los Teoremas de Sylow - J. Ferrario - 2004 PDF
Aplicaciones de Los Teoremas de Sylow - J. Ferrario - 2004 PDF
pq. y Como vimos antes, no existen tantos elementos de orden q. Esto gfuerzaa que nq = r- Finalmenteestudiemos los casos posibles de n,.: haciendoe! mismorazonamiento queen los dos casos anteriores las tinicas posibilidades son: 4, ry qr. Que en cualquiera de los tres casos tenemos que n, > @y el grupoestaobligadoa conteneral menos q(p—1 elementos de orden p. Entoncesel grupo vaatener al menos pq(r—1)-+r(g—1)+q(p—1)-+1 =par-+rg—r—q+1 elementos distintos, pero esta cantidad es mayora |G| (pues rq > r +4). Porlo tanto, tenemos query, ng On, esiguala 1. Siny = 1,sea P € Syl,(G) . Como |@/P| = grexiste H 1G/P tal que [/| = r (por la Proposicién 3.2), HT = K/P con K <1G (por el Corolario 1.13) y || =pr. Entoneesexiste untinico RK tal que [| = r (porlaProposicién3.2). Como Res normalen Ky K esnormal en G, tenemos R-<1G. El mismo razonamientose aplica si ng = Luego en cualquiera de los casos se tiene siempre quer, = 1. PorlotantoG noes simple. lll Coloquemos los nuevos grupos no simplesen la Tabla de simples: | WR | 83 92 | [9 | 1a | | Ba [87 [88 | 89 [90 96 [97 [98 [99 | ion | 2[3]a@][5 7[8 |@ [mo | 1 13 [aa | as | 17 [18 | 19 | 20 [Dam | Bar| 23 | 24 | se | a 27 [28 [29 | 30 31 [32 | ea | Bea | Bs | Te | 37 | RT | RT| 40 Ta | 44 | 45 | ae 7 | 48 | | 50 [Bm [ 52 [33 Ba | 56 [Ba | Ba | 59 | 60 61 | Wa | 63 [165 | 66 | 67 | 68 [ism | 70 7 [727 75 | 76 |i | 78 | 79 [ 80 85 | [3s aa ‘Veamos uno como ejemplo:3. APLICACIONES 17 PIEMPLO. Ningdn grupo G de orden 30=2.3.5 es simple. Basta probar que solo existe un solo p-subgrupo de Sylow para algtin p primo que divida a 30, por el Corolario 1.33. Por el Tercer Teorema de Sylow, las posibilidades para el niimero de 5-subgrupo de Sylow son 1.6 6 y para 3-subgrupo de Sylow son 1 6 10, Pero si G tiene 6 5-subgrupo de Sylow , entonces Ja interseccién de cualquiera par de ellos es un subgrupo orden que divide 5, por tanto, es . Asi, cada uno contiene 4 elementos de orden 5 que no est en ninguno de los otros. De aqui, G debe contener 24 elementos de orden 5. De manera andloga, si G tiene 10 3-subgrupo de Sylow , tendré al menos 20 elementos de orden 3. Los dos tipos de subgrupos de Sylow juntos requeririan un total de al menos 44 elementos de G. Asi,existe algtin subgrupo normal, yasea de orden 503. ‘Teorema 3.7. Ningiin grupo de orden pq? conp,q €P es simple. Demostracién: Sea G un grupo de orden p?4?, Si p = q se verd masadelante enel Teorema 3.10. Supongamos que p1. Antesse dard otro resultado: Teorema 3.8. Sea G un p-grupoy sea A <1 Gdeorden p entonces AC Z(G),3. APLICACIONES 18, Demostracién: Hacemos actuar G en A por conjugacién: (g,a) ++ gag, Como G es un p-grupo, sabemos que, pore! Lema 1.11, [A|=, [Aah donde Aq = {a € A: gag"! =a, Yg € G}, y por lo tanto, p| Aol Ahora Ag = {a € A: ga = ag, Vg € G} = AN Z(G), asi que [AM Z(G)Jes un miltiplo de p, pero como | yAN Z(G) < A, esto fuerza aque AN Z(G) =A, conlocual AC Z(G). . Teorema3.9. Sea Gun p-grupo finito, entonces G comtiene un subgrupo normal de orden p. Demostracién: Porel Teorema anterior, tal subgrupo estard necesariamente en el centro de G. Ademés sabemos, por el Teorema de Burnside (1,28), que Z(G) es no trivial y sera también un p-grupo . Porel Teorema de Cauchy (1,29), Z(G) tendréal menos un elementode orden p; sea aese elemento, Entonces A =< a > esun subgrupo de orden p y normal en G ya que est en su centro, . Mésatin: Teorema 3.10. Sea Gun grupo de orden p" con p €P. Entonces para todo i 1, el Teorema anterior nos garantiza que existe al menos un subgrupo normal de orden p, sea A tal subgrupo, Hagamos induccién sobre. Para i = 1 es lo que se hizoen el Teorema anterior. ‘Veamos para i > 1: el cociente G/A es un p-grupo y de orden p"~* (por Lagrange y por el Teorema 1.12). Porhipétesis inductiva, éste tendrd un subgrupo normal de orden p'1, queserd de la forma N/A, para V un subgrupo normal en G y conteniendo a A (por el Corolario 1.13) Como |V|= |N/A] |A| = p'!p = p',elsubgrupo N es el que estabamos buscando. . ‘Volquemos este resultado en la Tabla de simples: 3 [a [5 Do [iw] 1 13 [aa | as | 19 | 20 ul 23 | 24 [125 | 29 [ 30 [31 | 32 [1am | Ra | BS | | (Boi [40 41 43 | 44 [ 45 we | 50 (Bu 33 | 34 [BS 30 | 60 61 6 [165 1 | 70 7 7B 15 79 | 80 [IR | 83 89 | 90 (ar ai | BH | 5, 99 | Our | El Lema quesigue es muy itil para determinar cuando un grupoes simple ono.3 APLICACIONES 19 Lema 3.11. Si Hy K son subgrupo de un grupo finito G, entonces |H\ IK] HK| = : HRY IH AK| Demostracidn: Como MK < Kel grupo K es unién disjunta desus cosetsaderecha, © sea, lo podemos escribir como: K=|(HoKy, a donde n =[K : 1K] =|K|H 2 K| (laiiltima igualdad vale por Lagrange) y Vi = 1,n, kek. Ademéscomo H(HOK) = H(yaque HK C Hentonces H(HOK) C Hysire H, © =xaa'cona€ HK) tenemos que: HK=(JHk,, i=1n, ki eK a Probemos queestaunién es también disjunta: si Hk; = Hkjentonces3h € Htalque ky = hk. sea, = k:h5! € K entonces h € HM K, lo que implica que (HO K)k; = (HO. Kk y como éstos son disjuntos tenemos que k; = kj. porlo tanto i = j. Entonces | | = n|H| = AIK AO. . {Por qué es muy titil? Por ejemplo, veamos que ningtin grupo de orden 48 es simple. Primero: 48 = 2'+ 3. Por el Tercer Teorema de Sylow 2.3, G tiene uno o tres 2-subgrupo de Sylow de orden 16. Si hay un solo subgrupo de orden 16 es normal en G. Supongamos que hay tres subgrupos de orden 16 y sean Hy KC dos de ellos. Entonces HO K debe serde orden 8, pues si 7) K fuera de orden menor o igual que 4 entonces por el Lemaanterior, HK’ tendria al menos #242 = 644 elementos, contradiciendo el hecho de que |G] =48. Por lo tanto, 17 Kes normal tanto en Hf como en K (porel Teorema 1.14). De aqui, el normalizador de HK contiene Hy Ky debe tener orden un miltiplo de 16, mayor a 1 ydivisorde 48, por lo tanto, debe ser 48. Asi HK debe ser normal en Gy porlo tanto G noes simple EJEMPLO. Veamos que ningun grupo de orden 72 es simple. Sea G de orden 72 = 2°? Porel TercerTeorema de Sylow n3es 1.64. Sifuese 1 entoncesGserianosimple. Supongamos que ng = 4. Sean P,Q € Syls(G) distintos. Luego PO Qes de orden 3, pues no puede ser 1, ya que por el Lema 3.11 || superaria al orden de G y tampoco puede ser 9 pues sino implicaria que 17 = K. Porel Teorema 1.14, como [H : 1K] =[ : HK) entonces Hy K estan contenidosenel Ne(H 0K’). Yaque [G : HK] =2y HK k y (p,m) = 1, entonces aplicando n — k veces el Primer Teorema de Sylow 2.1, 3K <, G de orden p'" tal que 7 <1’, se sigue del Corolario 1.33(i) que K€ Syl,(G) , porlotanto HT CK € Syl,(G). . Sea G un grupo de orden p", paracadar, 0i,elementos. Asitendrfamos que [S]=np=1 tp tutp Syl Jocuales absurdo. a En particular, para i = 2, tenemos que: Lema 3.17. Sean Gun grupo finito y p EP tales quem, #,2 1. Entonces existen PR € Syl,(G) tales que[P : POR) =p, y por tanto PO RP. Demostracién: Sean § = Syl,(G) y P un S-conjunto por conjugacién sobre los subgrupos de S. Para cada@ € S su érbita seréC1(Q) = {pQp™! : p € P} y su normalizador Np(Q) = {p € P: pQp-! =Q} = PNNc(Q)- Como cada Q es normal en su normalizador Nq(Q), este es su tinico p-subgrupo de Sylow Y, por lo tanto, contendré a cualquier p-subgrupode Nq(Q). En particular PM Nq(Q) C Qy entonces PM Ne(Q) = PQ. Entonces, porel Corolario 1.28, |C1(Q)| = [P : Ne(Q)] = [P: PO Q]. Entonces la Férmula de Clase (1.27) es: ny =|S|= > [P: No(Q= YP: Pn@ oa IcQ\| 1 sii P= POQsii PC Q, pero también, por oto lado, IexQ)| I sii Q)sii P-1Q, porlo tno = Q. El cardinal de las érbitascon mas de un elemento serd de la forma p" con'r > 1, yaque [C1(Q)] = L, 2 1, lo que contradice nuestra hipétesis. Por lo tanto, existe por lo ‘menos una érbita, R € S, con p elementos. Entonces Res tal que [P : PMR] = p (pues ICR] =[P : PAR), y como pes el menor primo que dividea |PM RI, porel Teorema 1.14, PORAP. : Teorema 3.18. Si |G| = p2q°, p . Pero six esdecir y b(xba!) = b(a(zya-!)x-!) = by =yb, absurdo, Observacién 3.2. La hipstesis p< q nose puede omitirSCOTT) Proposicién 3.19. Sean G un grupo finito, P € Syl,(G)y G. Entonces, 1. PN/N es unp-subgrupo de Sylow deG 2. PON esunp-subgrupode Sylow de N. Demosiracién: Para demostrar que un subgrupo H de un grupo Ges un p-subgrupo de Sylow , basta comprobar que F es un p-subgrupo y que [G' : H] noes divisible por p. 1. Por el Teorema de correspondencia (Sea NVYou might also like
The Subtle Art of Not Giving a F*ck: A Counterintuitive Approach to Living a Good LifeFrom EverandThe Subtle Art of Not Giving a F*ck: A Counterintuitive Approach to Living a Good LifeRating: 4 out of 5 stars4/5 (5822) The 7 Habits of Highly Effective PeopleFrom EverandThe 7 Habits of Highly Effective PeopleRating: 4 out of 5 stars4/5 (354) The Courage to Be Disliked: The Japanese Phenomenon That Shows You How to Change Your Life and Achieve Real HappinessFrom EverandThe Courage to Be Disliked: The Japanese Phenomenon That Shows You How to Change Your Life and Achieve Real HappinessRating: 4 out of 5 stars4/5 (404) El retrato de Dorian Gray: Clásicos de la literaturaFrom EverandEl retrato de Dorian Gray: Clásicos de la literaturaRating: 4 out of 5 stars4/5 (9461) The Subtle Art of Not Giving a F*ck: A Counterintuitive Approach to Living a Good LifeFrom EverandThe Subtle Art of Not Giving a F*ck: A Counterintuitive Approach to Living a Good LifeRating: 4.5 out of 5 stars4.5/5 (20124) The Iliad: The Fitzgerald TranslationFrom EverandThe Iliad: The Fitzgerald TranslationRating: 4 out of 5 stars4/5 (5646) Orgullo y prejuicio: Clásicos de la literaturaFrom EverandOrgullo y prejuicio: Clásicos de la literaturaRating: 4.5 out of 5 stars4.5/5 (20551) How to Win Friends and Influence People: Updated For the Next Generation of LeadersFrom EverandHow to Win Friends and Influence People: Updated For the Next Generation of LeadersRating: 4 out of 5 stars4/5 (2340) To Kill a Mockingbird \ Matar a un ruiseñor (Spanish edition)From EverandTo Kill a Mockingbird \ Matar a un ruiseñor (Spanish edition)Rating: 4.5 out of 5 stars4.5/5 (23017) Pride and Prejudice: Bestsellers and famous BooksFrom EverandPride and Prejudice: Bestsellers and famous BooksRating: 4.5 out of 5 stars4.5/5 (20479) Never Split the Difference: Negotiating As If Your Life Depended On ItFrom EverandNever Split the Difference: Negotiating As If Your Life Depended On ItRating: 4.5 out of 5 stars4.5/5 (3324) Art of War: The Definitive Interpretation of Sun Tzu's Classic Book of StrategyFrom EverandArt of War: The Definitive Interpretation of Sun Tzu's Classic Book of StrategyRating: 4 out of 5 stars4/5 (3321) Anna Karenina: Bestsellers and famous BooksFrom EverandAnna Karenina: Bestsellers and famous BooksRating: 4 out of 5 stars4/5 (7503) Matar a un ruisenor (To Kill a Mockingbird - Spanish Edition)From EverandMatar a un ruisenor (To Kill a Mockingbird - Spanish Edition)Rating: 4.5 out of 5 stars4.5/5 (23122) How To Win Friends And Influence PeopleFrom EverandHow To Win Friends And Influence PeopleRating: 4.5 out of 5 stars4.5/5 (6713) The Courage to Be Disliked: How to Free Yourself, Change Your Life, and Achieve Real HappinessFrom EverandThe Courage to Be Disliked: How to Free Yourself, Change Your Life, and Achieve Real HappinessRating: 4.5 out of 5 stars4.5/5 (1661) The 7 Habits of Highly Effective PeopleFrom EverandThe 7 Habits of Highly Effective PeopleRating: 4 out of 5 stars4/5 (2572) The Picture of Dorian Gray: Classic Tales EditionFrom EverandThe Picture of Dorian Gray: Classic Tales EditionRating: 4 out of 5 stars4/5 (9767) Wuthering Heights (Seasons Edition -- Winter)From EverandWuthering Heights (Seasons Edition -- Winter)Rating: 4 out of 5 stars4/5 (9975) American Gods: The Tenth Anniversary EditionFrom EverandAmerican Gods: The Tenth Anniversary EditionRating: 4 out of 5 stars4/5 (12964) The Iliad: A New Translation by Caroline AlexanderFrom EverandThe Iliad: A New Translation by Caroline AlexanderRating: 4 out of 5 stars4/5 (5734)