2
$\begingroup$

Let $G = Z^*_p$ under multiplication, with $p$ being a prime $> 3$ and $|G|=p-1$ and $G$ is cyclic. $H = \{a^2\mid a \in G\}$. Want to prove $H < G$ and $|H| = (p-1)/2$.

I can show that $H < G$, but how do I find the order of $H$ if I have to use the natural group homomorphism?

I know that $|H|$ divides $p-1$.

Thank you for your help!

1 Answers 1

6

Large-ish Hint:

First, note that $|H| \leq \frac{p-1}{2}$ as $H \neq G$ coupled with your observation that $|H|$ divides $|G|$.

Since $G$ is cyclic, we can write $G = \langle g \rangle = \{e, g, g^2, \dots , g^{p-2}\}$. Finally, consider $H = \{g^{2k} \mid 0 \leq k \leq p-2\}$. What do you notice?

  • 0
    I'm not sure what you mean when you say "I have to use group homomorphism." All you need to notice is that $H = \{e, g^2, g^4, \dots , g^{p-3}\}$. This set has cardinality $\frac{p-1}{2}$.2012-12-11