Register to reply

Converse of Lagrange's Theorem is false

by math_nerd
Tags: converse, lagrange, theorem
Share this thread:
math_nerd
#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
Suddenly, the sun is eerily quiet: Where did the sunspots go?
'Moral victories' might spare you from losing again
Mammoth and mastodon behavior was less roam, more stay at home
Dick
#2
Mar6-11, 04:44 AM
Sci Advisor
HW Helper
Thanks
P: 25,251
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
#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
#4
Mar6-11, 05:53 AM
Sci Advisor
HW Helper
Thanks
P: 25,251
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