Proof of Cyclic Subgroup Equivalence for Finite Groups

[iamalexalright]

Homework Statement

Suppose a \in <b>
Then <a> = <b> 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 a \in &lt;b&gt; it is obvious that &lt;a&gt; \subseteq &lt;b&gt;.

Since a is in <b>, a = b^{m} for some m.
So &lt;a&gt; = &lt;b^{m}&gt; \supseteq &lt;b&gt;
Hence <a> = <b>

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

Hence a has order n.

This all look good?

 

[murmillo]

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.

 

[iamalexalright]

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?

 

[kru_]

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.