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.

The group has two generators, $a,b$ with identity $e$ and multiplication table: $$ \begin{array}{|l|l|l|} e & a & b & ba \\ \hline a & e & ba & b \\ \hline b & ba & a & e \\ \hline ba & b & e & a \end{array} $$

I've looked up the list of groups of order 4 and this isn't $\mathbb Z_4$ nor $V_4$. So it can't be a group. But I am not able to locate where the problem is.

share|improve this question
It looks like $\mathbb{Z}_4$ to me. Why do you say you don't think it is? –  Billy Aug 25 '11 at 2:31
@Billy: It is not cyclic. More precisely we have $a^2=e$ and $b^2=a$. –  user532 Aug 25 '11 at 2:32
It is cyclic. It's generated by b. Note that a = b^2, ba = b^3. :) –  Billy Aug 25 '11 at 2:32
@Billy: Accepting answers isn't just about reputation; it's also about marking the question as answered so people don't unnecessarily go back to it. If you feel you don't deserve reputation for the answer, you can always make it community wiki (by ticking the checkbox under the answer text area). –  joriki Aug 25 '11 at 2:54
The first two words of your question are a bit of a give-away..."The group..." –  user1729 Aug 25 '11 at 10:24

1 Answer 1

up vote 4 down vote accepted

The group is $\mathbb{Z}_4$: note that $a = b^2$ and so $ba = b^3$, meaning that the group is cyclic and generated by $b$.

share|improve this answer

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.