Looking for different proofs for $-1$ is a quadratic residue of primes of the form $4k+1$ and related facts

Question

Suppose $p$ is a prime of the form $4k+1$ , then $4|p-1=|\mathbb Z_p^*|$ , as $\mathbb Z^*_p$ is a cyclic group , so there is $\bar x \in \mathbb Z_p^*$ such that $o(\bar x)=4$ , then $o(\bar x^2)=2$ , now in any field of odd characteristic , $-1$ is the only element of multiplicative order $2$ , so $\bar x ^2=-\bar1=\bar{-1}$ , hence $p|x^2+1$ i.e. $-1$ is a quadratic residue of $p$ . Is this proof correct ? Moreover , is there any other proof , except the usual proofs by Wilson's theorem and quadratic reciprocation theory , that $-1$ is a quadratic residue of primes of the form $4k+1$ ? Moreover I am looking for some proofs of the fact $\mathbb Z^*_p$ is cyclic and then in general that any finite subgroup of the multiplicative group of a field is cyclic , can someone please provide some links or references . Please help . Thanks in advance .

Answer 1

If you look at Zagier's one-sentence-proof of Fermat's theorem on sums of two squares, you will notice that every prime of the form $p=4k+1$ can be written as the sum of two squares: from $$ a^2+b^2 = p $$ it follows that $-1$ is a quadratic residue $\!\!\pmod{p}$.

Obviously, the last sentence also follows from the fact that the Legendre symbol satisfies: $$\left(\frac{-1}{p}\right)=(-1)^{\frac{p-1}{2}}.$$