Z[&radic -2], Z[&radic -3], Z[&zeta 3]; norms, units, unique factorization; Diophantine equations
Statement, proof using Euler's criterion, Chinese remainder theorem
More on &phi, multiplicative functions in general, Mobius inversion