Converse of Lagrange's Theorem is false


by math_nerd
Tags: converse, lagrange, theorem
math_nerd
math_nerd is offline
#1
Mar6-11, 04:40 AM
P: 22
This is not a homework problem. In Gallian, there is an example given:

The group A_4 of order 12 has no subgroups of order 6. I can't seem to understand what this means in terms of how this is the "converse" of Lagrange's Theorem.
Phys.Org News Partner Science news on Phys.org
NASA's space station Robonaut finally getting legs
Free the seed: OSSI nurtures growing plants without patent barriers
Going nuts? Turkey looks to pistachios to heat new eco-city
Dick
Dick is offline
#2
Mar6-11, 04:44 AM
Sci Advisor
HW Helper
Thanks
P: 25,170
A converse of Lagrange's theorem would say for every divisor of the order of group, there's a subgroup of that order. It's false. Apparently.
math_nerd
math_nerd is offline
#3
Mar6-11, 05:02 AM
P: 22
Hmm...okay. So here's a problem in the book that I think applies this concept. Prove that group order of 12 must have an element of order 2. This problem uses the converse, because 12|1,2,3,4,6,12. But by Lagrange we can say that order of 2 is definitely there. But to prove that order 3 is not a possibility, we can use the converse to make a contradiction: for every divisor of the order of the group, there's a subgroup of order 12. I hope this makes sense!

Dick
Dick is offline
#4
Mar6-11, 05:53 AM
Sci Advisor
HW Helper
Thanks
P: 25,170

Converse of Lagrange's Theorem is false


They didn't use a "converse to the Lagrange theorem". They used Cauchy's theorem, which is that if p is prime and divides the order of G then there is a subgroup of order p. There is no complete converse to the Lagrange theorem. Which is what they are trying to tell you. 6 isn't prime. There is a subgroup of order 3.


Register to reply

Related Discussions
question of lagrange theorem converse. Calculus & Beyond Homework 1
Proving converse of fundamental theorem of cyclic groups Calculus & Beyond Homework 4
converse of mean value theorem? Calculus 2
is there a converse of uniqueness theorem Classical Physics 10
Is anyone familiar with Converse to Rouche's Theorem? Calculus 9