Number theory
Warm-upHumanHow many primitive roots are there modulo ?
How many primitive roots are there modulo ?
Use quadratic reciprocity to compute the Legendre symbol . (Enter or .)
For which moduli does a primitive root exist? (Select all that apply.)
Which of these numbers are sums of two squares of integers? (Select all that apply.)
In the proof of Euler's criterion, let be a primitive root modulo an odd prime and . Why is exactly when is even?
Compute , where is the Möbius function.
The fundamental solution of is . Using composition, , find the next solution. What is its ?
In Lean, legendreSym p a is the Legendre symbol . Which statement is the law of quadratic reciprocity for primes p, q (with [Fact p.Prime] [Fact q.Prime])?
Write order(a, n) returning the multiplicative order of modulo (assume , ), and primitive_roots(p) returning the sorted list of primitive roots modulo a prime . Check that there are of them.