- #1

- 107

- 1

This was a problem at the end of a chapter on Lagrange's theorem. I know that every subgroup of order 77 is cyclic. But I don't know how to prove this using only Lagrange. Any suggestions?

You are using an out of date browser. It may not display this or other websites correctly.

You should upgrade or use an alternative browser.

You should upgrade or use an alternative browser.

- Thread starter matticus
- Start date

- #1

- 107

- 1

This was a problem at the end of a chapter on Lagrange's theorem. I know that every subgroup of order 77 is cyclic. But I don't know how to prove this using only Lagrange. Any suggestions?

- #2

- 26

- 0

This argument will prove that there must exist at least one element of order 7 OR 11. A similar argument will prove that there must be elements of both orders.

- #3

- 120

- 0

Lets work for this case without cauchy:

First of all the elements of a group of order 77 are either going to have order 1, 7, 11 and 77 as obvious from lagrange.

If the group has no elements with order 7 or 11 then all its elements can have order 77 or 1. We know that only identity has order 1. So in this case all elements would have to have order 77. As shaggy says, take any such element a (not e), a^11 has order 7 and a^7 has order 11.

We used: only divisors of 77 are 7 and 11. We didn't use the fact that they are primes but if you try to prove it generally by cauchy's theorem you will need it.

- #4

- 107

- 1

- #5

- 120

- 0

edit: wait right it is not right let me think some more

edit2: ok as matt says this only applies IF the group is cyclic sorry

What I wrote was if this group of 77 elements is cyclic, then there exists atleast one element which has order 77. Take that element, a then a^11 and a^7 is certainly elements with order respectively 7 and 11.

edit2: ok as matt says this only applies IF the group is cyclic sorry

What I wrote was if this group of 77 elements is cyclic, then there exists atleast one element which has order 77. Take that element, a then a^11 and a^7 is certainly elements with order respectively 7 and 11.

Last edited:

- #6

matt grime

Science Advisor

Homework Helper

- 9,420

- 4

Sorry, but I think you just said the 77 is prime, and wrote down 7 and 11, the prime factors of 77.

- #7

matt grime

Science Advisor

Homework Helper

- 9,420

- 4

HINT: if K and L are subgroups of G and |K|=|L|=p a prime then either KnL={e} or L=K.

- #8

- 120

- 0

you are right I am just too sleepy thanks for pointing it out

- #9

- 107

- 1

Let G be a group of order 77. If G is cyclic we're done. If not, then either the hypothesis holds or all elements have order 7 or they all have order 11 (excluding the identity). Supposing all non-identity elements have order 7, then using your hint we can write G = {e,x[tex]^{1}_{1}[/tex],x[tex]^{2}_{1}[/tex],...,x[tex]^{6}_{1}[/tex],...x[tex]^{1}_{k}[/tex],x[tex]^{2}_{k}[/tex],x[tex]^{6}_{k}[/tex]} for a total of 6k + 1 elements for some integer k. Similarly, if all non-identity elements had order 11 then G would have 10m + 1 elements for some integer m. Since the equations 6k + 1 = 77 and 10m + 1 = 77 have no solutions in the integers, neither of these cases can occur.

Share: