You are Here: Home >< Maths

# Group theory help!

Announcements Posted on
Why bother with a post grad? Are they even worth it? Have your say! 26-10-2016
1. Let G be a nontrivial group (remember that the trivial group is the group with only one element, so a
nontrivial group is a group with at least 2 elements). Suppose that the only subgroups of G are G and
{1}. Prove that G is cyclic and finite, and prove that the number of elements in G is a prime number.

I can do the first part but not the second in bold, help would be appreciated.
2. If it isn't prime, can you show that it has some subgroups other than those stated?
3. Have a look at Sylow's theorems.
4. (Original post by Gimothy)
Have a look at Sylow's theorems.

wouldn't lagrange suffice?
5. Suppose is infinite, and split it into two cases: if is finitely-generated then it contains an element of infinite order; and if is infinitely-generated then it contains infinitely many generators (duh). In each of these cases you can find a proper subgroup by choosing every second power or every second generator, say. I'll let you fill in the details.

Now suppose is finite. If it is generated by more than on element, can you find a proper subgroup? What about if it is generated by precisely one element which has composite order?

(Original post by ben-smith)
wouldn't lagrange suffice?
No. That shows that if then divides ; it doesn't show that if divides then there is a subgroup of order . (And rightly so -- this isn't true!)
6. (Original post by nuodai)
No. That shows that if then divides ; it doesn't show that if divides then there is a subgroup of order . (And rightly so -- this isn't true!)
ooops, right you are
7. (Original post by Hopple)
If it isn't prime, can you show that it has some subgroups other than those stated?
I think I might be on the right tracks if I start by assuming if

G=<g>, then write the identity element as g^(a) for some integer a and then do some more stuff. Will get back to you soon.

Ok, I think that g^n=e must be the case. And because of this if n=ab a,b>1, we can take any (g^a), (g^2a),...,(g^ba) will form a subgroup. Think need to prove this a bit more rigorously but I'm starting to see it. If I'm on the wrong tracks please tell me.
8. Thanks TSR.
9. (Original post by ben-smith)
wouldn't lagrange suffice?
Nope, Sylow gives a partial converse to Lagrange, as a poster above has detailed I think.
10. (Original post by Gimothy)
Nope, Sylow gives a partial converse to Lagrange, as a poster above has detailed I think.
But it's pretty much overkill here, I think.
11. (Original post by Gimothy)
Nope, Sylow gives a partial converse to Lagrange, as a poster above has detailed I think.
Does Sylow obviously cover the case where the order of G is p^n with p prime and n > 1 ? I'd use Cauchy's theorem instead. It's lighter and covers this case cleanly.
12. (Original post by SsEe)
Does Sylow obviously cover the case where the order of G is p^n with p prime and n > 1 ? I'd use Cauchy's theorem instead. It's lighter and covers this case cleanly.
Isn't Cauchy's theorem just a trivial consequence of Sylow's theorems?
13. Am I being stupid, or did Nuodai answer this completely without using Sylow/Cauchy/etc?
14. Every subgroup of a cyclic group is normal (because a cyclic group is abelian) and so appeal to the classification theorem for finite simple groups.
15. (Original post by DFranklin)
Am I being stupid, or did Nuodai answer this completely without using Sylow/Cauchy/etc?
Nuodai is workin in ZFC, pretty sure the OP wanted a solution working within ZF.
16. (a) I'm not sure why you think that, and (b) surely ZF v.s. ZFC only arises in the case G is infinite and since Cauchy/Sylow are for finite groups they can't help anyhow?
17. Srs bsnizz.

## Register

Thanks for posting! You just need to create an account in order to submit the post
1. this can't be left blank
2. this can't be left blank
3. this can't be left blank

6 characters or longer with both numbers and letters is safer

4. this can't be left empty
your full birthday is required
1. Oops, you need to agree to our Ts&Cs to register

Updated: April 23, 2012
TSR Support Team

We have a brilliant team of more than 60 Support Team members looking after discussions on The Student Room, helping to make it a fun, safe and useful place to hang out.

This forum is supported by:
Today on TSR

### Who is getting a uni offer this half term?

Find out which unis are hot off the mark here

Poll
Useful resources

## Make your revision easier

### Maths Forum posting guidelines

Not sure where to post? Read here first

### How to use LaTex

Writing equations the easy way

### Study habits of A* students

Top tips from students who have already aced their exams

Can you help? Study help unanswered threads

## Groups associated with this forum:

View associated groups
Study resources

The Student Room, Get Revising and Marked by Teachers are trading names of The Student Room Group Ltd.

Register Number: 04666380 (England and Wales), VAT No. 806 8067 22 Registered Office: International House, Queens Road, Brighton, BN1 3XE

Reputation gems: You get these gems as you gain rep from other members for making good contributions and giving helpful advice.