1
$\begingroup$

Prove that $\mathbb{Z}_p^{\times}/(\mathbb{Z}_p^{\times})^2$ is isomorphic to $\{\pm1\}$, where $p$ is a prime integer.

  • 0
    What does $(\mathbb{Z}_p^x)^2$ mean. I was taking it to mean the cross product of $(\mathbb{Z}_p^x)$. Perhaps this is the confusion.2011-12-13

3 Answers 3

4

I take it that you mean to prove that $\mathbb{F}_p^\times/(\mathbb{F}_p^\times)^2 \cong \{\pm 1\}$, where $\mathbb{F}_p = \mathbb{Z}/p\mathbb{Z}$.

If so, use the fact that the map $(\mathbb{Z}/p\mathbb{Z})^\times \to \{\pm 1\}$ given by $a\bmod p\mapsto (\frac{a}{p})$ is a homomorphism of groups, where $(\frac{a}{p})$ is the Legendre symbol of $a$ over $p$.

3

Mod $p$, there is an equal number of quadratic residues and nonresidues (ignoring 0 of course). Therefore, the index of $(\mathbb{Z}_p^\times)^2$ in $\mathbb{Z}_p^\times$ is 2, and so the quotient is isomorphic to $\{\pm 1\}$, as this is the only group of order 2.

Edited to only use words from group theory: Note that $\mathbb{Z}_p^\times$ is cyclic of order $p-1$. We'll show that the subgroup $(\mathbb{Z}_p^\times)^2$, which is the set of squares in $\mathbb{Z}_p^\times$, has index 2. Then the quotient is $\{\pm 1\}$, since this is the only group of order 2.

Let $a$ be a generator for $\mathbb{Z}_p^\times$. Then the elements of $\mathbb{Z}_p^\times$ are $a,a^2,\ldots,a^{p-1}=1$. If $k$ is even, then $a^k = (a^{k/2})^2$ is a square. However if $k$ is odd, then $a^k$ is not a square, for if $a^k = b^2$ for some $b \in \mathbb{Z}_p^\times$ and $k$ odd, then $b= a^j$ for some $j$, and so $a^k = a^{2j}$. But then $k -2j\equiv 0$ mod $p-1$, which is impossible since $k-2j$ is odd. Since $p-1$ is even, there are the same number of elements of $\mathbb{Z}_p^\times$ which are even and odd powers of $a$, so $(\mathbb{Z}_p^\times)^2$ has index 2.

  • 0
    Pretty close to Sacramento. I'm from Santa Rosa.2011-12-13
2

I'll write $\mathbf F_p$ for $\mathbf Z/p\mathbf Z$. We need to assume that $p$ is odd, since all elements of $\mathbf F_2$ are squares. Maybe the easiest way to see the result is by looking at the squaring map $\mathbf F_p^* \to \mathbf F_p^*$, $x \mapsto x^2$. Since multiplication is abelian this map is a group homomorphism, and its image is the set of squares. You'd like to show that the kernel has order $2$. If $x$ is one of the integers $\{1, 2, \ldots, p - 1\}$ and $x^2 - 1$ is divisible by the prime $p$, then what?