Proof with order and primitive root modulo
120629
Prove if $n$ has a primitive root, then it has exactly $\phi(\phi(n))$ of them
117484
Why is $c+q$ still a primitive root modulo $q$?
107349
Working with elementary type proofs of divisor functions
74827
Integer ordered pair of $(x,y)$ in complex algebraic equation
116686
$p=2^n+1$. Prove that every quadratic nonresidue modulo $p$ is a primitive root modulo $p$
41312
Question on primitive roots of unity
29231
Proof of : $x^{n}\equiv x^{\varphi(m)+[n \bmod \varphi(m)]} \mod m$
71788
Prove existence of multiplicative inverse modulo p when p is prime
82921
Uniqueness of $k$th root mod $m$ if $(k, \phi(m)) = 1$.
33735
The square of an integer is congruent to 0 or 1 mod 4
2614
Prove that , any primitive root $r$ of $p^n$ is also a primitive root of $p$
140106
How to prove a finite field is not ordered?
154459
Constructing a HoTT proof term of 1≠0
65276
Residues and poles proof
10966
gcd and lcm from prime factorization proof
13656
Prove existence of a real root.
37915
$\sqrt{2}$ is irrational proof using well-Ordering Property