Utilisateur : Théo Jaudon

Développement : Théorème de Sylow (version opération de groupes)

Développement : Théorème de Gauss (polygones constructibles)

Développement : Fonction dont la différentielle en tout point est une isométrie

Développement : Irréductibilité des polyômes cyclotomiques sur Q

Développement : Irréductibilité des polynômes cyclotomiques et application aux extensions finies de Q

Développement : Théorème de l'élement primitif

Développement : Théorème de l'élément primitif en caractéristique 0

Développement : Théorème des deux carrés de Fermat (par les entiers de Gauss)