Cyclic subgroup proof

  • #1

Homework Statement


Suppose [itex] a \in <b>[/itex]
Then [itex]<a> = <b>[/itex] iff a and b have the same order (let the order be n - the group is assumed to be finite for the problem).


Proof:
Suppose a and b have the same order (going this direction I'm trying to show that <a> is contained in <b> and <b> is contained in <a> ergo <a> = <b>).

Since [itex]a \in <b>[/itex] it is obvious that [itex]<a> \subseteq <b>[/itex].

Since a is in <b>, [itex]a = b^{m}[/itex] for some m.
So [itex]<a> = <b^{m}> \supseteq <b>[/itex]
Hence <a> = <b>

Suppose <a> = <b> and <b> has order n.
[itex]a = b^{m}[/itex]'
[itex]a^{n} = (b^{m})^{n} = (b^{n})^{m} = e^{m} = e[/itex]

Hence a has order n.

This all look good?
 

Answers and Replies

  • #2
118
0
For the first part, it doesn't look like you used the fact that a and b have the same order... That might be a problem. Also, it's not true that the subgroup generated by b is contained in the subgroup generated by b^m. It should go the other way.
 
  • #3
Yeah, I see that now...
Well, its obvious that <a> is contained in <b>

Not sure how I can use the fact that a and b have the same order to prove the other direction, any hints?
 
  • #4
85
0
You know that the order of any subgroup of a group must be a divisor of the order of the group.

Oh, that is confusing to read.

Let me try again. You know that some group has order n. You should also know that the order of any subgroup of that group is going to divide n.
 

Related Threads on Cyclic subgroup proof

  • Last Post
Replies
1
Views
2K
Replies
5
Views
1K
  • Last Post
Replies
1
Views
1K
Replies
1
Views
1K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
3
Views
4K
  • Last Post
Replies
3
Views
2K
Replies
0
Views
5K
Replies
17
Views
6K
Top