The Class Group for Quadratic Forms — Allen Hatcher
Mathematics — Number Theory · wilson-theorem-converse
Problem
As a sort of converse to Wilson's Theorem, show that if n is not a prime then (n−1)! is not congruent to −1 mod n. More precisely, when n>4 and n is not prime, show that n divides (n−1)!, so (n−1)!≡0modn. What happens when n=4?