Proof: Assume G to be a contradiction. By Sylow analysis, we have:n3∈{7,49} n5∈{21,441} n7=15Index considerations disallow n3=7, though we need only look at n7=15. Since 15≢1mod72, set P0=P1∩P2 for P1,P2∈Syl7(G) such that |P0|=7. We have P0⊴P1,P2 so that 72∣|NG(P0)|≠72. Due to index considerations once more, we have |NG(P0)|=3⋅72. But in this case n7(NG(P0))=1, so that there is a unique Sylow 7-subgroup of NG(P0), despite P1 and P2 being distinct groups of order 72 contained therein. ◻
Wednesday, April 10, 2013
Analysis of Groups of Order 2205 (6.2.6)
Dummit and Foote Abstract Algebra, section 6.2, exercise 6 (excerpt):
MathJax TeX Test Page
Prove there are no simple groups of order 2205=32⋅5⋅72.
Proof: Assume G to be a contradiction. By Sylow analysis, we have:n3∈{7,49} n5∈{21,441} n7=15Index considerations disallow n3=7, though we need only look at n7=15. Since 15≢1mod72, set P0=P1∩P2 for P1,P2∈Syl7(G) such that |P0|=7. We have P0⊴P1,P2 so that 72∣|NG(P0)|≠72. Due to index considerations once more, we have |NG(P0)|=3⋅72. But in this case n7(NG(P0))=1, so that there is a unique Sylow 7-subgroup of NG(P0), despite P1 and P2 being distinct groups of order 72 contained therein. ◻
Proof: Assume G to be a contradiction. By Sylow analysis, we have:n3∈{7,49} n5∈{21,441} n7=15Index considerations disallow n3=7, though we need only look at n7=15. Since 15≢1mod72, set P0=P1∩P2 for P1,P2∈Syl7(G) such that |P0|=7. We have P0⊴P1,P2 so that 72∣|NG(P0)|≠72. Due to index considerations once more, we have |NG(P0)|=3⋅72. But in this case n7(NG(P0))=1, so that there is a unique Sylow 7-subgroup of NG(P0), despite P1 and P2 being distinct groups of order 72 contained therein. ◻
Labels:
AADF
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment