Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

For each of the groups $\mathbb Z_4$,$\mathbb Z_4^*$ indicate which are cyclic. For those that are cyclic list all the generators.


$\mathbb Z_4=${0,1,2,3}

$\mathbb Z_4$ is cyclic and all the generators of $\mathbb Z_4=${1,3}

Now if we consider $\mathbb Z_4^*$

$\mathbb Z_4^*$={1,3}

How do i know that $\mathbb Z_4^*$ is cyclic?

In our lecture notes it says that the $\mathbb Z_4^*$ is cyclic and the generators of $\mathbb Z_4^*$=3

Can anyone help me on the steps to follow in order to prove the above?

share|cite|improve this question
Perhaps you should start by writing out the group multiplication table for $\mathbb Z^*_4$. But one way to know the answer is that $\mathbb Z^*_4$ has only two elements; there is only one group of order 2, and so $\mathbb Z^*_4$ must be isomorphic to $\mathbb Z_2$. – MJD Feb 21 '13 at 3:33
Step 1: make sure you know the definitions of cyclic and generator. Step 2: apply what you know to that group and that generator. – Gerry Myerson Feb 21 '13 at 3:33
may help:… – user59671 Feb 21 '13 at 3:37
No, there are two different groups with 4 elements, and only one of them is $\mathbb Z_4$. The trick only works when the number of elements is a prime. – MJD Feb 21 '13 at 3:54
In addition to MJD, after you write out the Cayley Table for $\mathbb Z_4^*$, the table is supposed to contain only the two elements in $\mathbb Z_4^*$ which are 1,3. By using the same way you found the generators for $\mathbb Z_4$, do so for finding the generators in $\mathbb Z_4^*$. You will then see that the only generator is 3, as 1 is the identity element. So then, it is true that $\mathbb Z_4^*$ is cyclic and the only generator is 3. – Faye Feb 21 '13 at 20:13

Its a group with two elements and therefore must be isomorphic to $\mathbb{Z}_2$ a simple check will show you which one is not the identity element and therefore the generator of the group.

share|cite|improve this answer

Consulting here, you can easy see that in modulo $4$ there are two relatively prime congruence classes, $1$ and $3$, so $(\mathbb{Z}/4\mathbb{Z})^\times \cong \mathrm{C}_2$, the cyclic group with two elements.

share|cite|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.