Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I am a newcomer to group theory. I am looking at $C_4$ which has the elements $\{1,a,a^2,a^3\}$

Its subgroups are -

order 4: $\{1,a,a^2,a^3\}$

order 2: $\{1,a^2\}$

order 1: $\{1\}$

Why isn't $\{1,a,a^2\}$ a subgroup?

share|improve this question
Keep in mind that $a^4 = 1$ in this group. Thus, even though $a^3 \cdot a^3 = a^6$ does not appear to be an element of $C_4$, it is secretly $a^4 \cdot a^2 = 1 \cdot a^2 = a^2$. –  Austin Mohr Sep 22 '12 at 18:09
It seems you saying $a^3$ is a member of $C_4$... –  Jim_CS Sep 23 '12 at 0:14
It is a member of $C^4$ as you've defined it. What I mean is that you can take two elements ($a^3$ and $a^3$) and multiply them together to get something that, at first glance, does not appear to belong to the group ($a^6$). –  Austin Mohr Sep 23 '12 at 0:46
add comment

2 Answers

up vote 12 down vote accepted

Try multiplying $a$ and $a^2$. Does it lie in your "subgroup"?

share|improve this answer
Cheers, this is the level I am operating at the moment :( –  Jim_CS Sep 22 '12 at 17:33
@Jim_CS That's okay. It's by asking questions that you will learn. –  M Turgeon Sep 22 '12 at 17:35
add comment

Well, because $\,a\cdot a^2=a^3\notin \{1,a,a^2\}\,$ , so it isn't closed under the group operation!

Also, Lagrange's theorem tells us that any subgroup's order must divide the group's order...

share|improve this answer
add comment

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.