1. Φₙ est irréductible sur Q. 2. Démonstration (réduction modulo p). 3. Conséquences : [Q(ζₙ):Q] = φ(n). 4. Application aux extensions cyclotomiques
Critère de réduction modulo p. Lemme de Gauss