Vous êtes ici : Domaine III · Résultats et théorèmes · A.4′ — orbite A₄
[D] fait fini
[D] fait fini
Ce que vous allez lire
Une identité finie, machine-vérifiée : l’ensemble A₄ = {1, 11, 19, 29} est exactement la 2-torsion de G₃₀ — le sous-groupe de Klein C₂×C₂ à l’intérieur de G₃₀ ≅ C₂×C₄.
Pourquoi ça compte
Une pièce du socle certifiée sans réserve, reliée à la structure du groupe (théorème torsion2_eq, sans sorry).
Ce que ça ne dit pas
L’habillage « orbite A₄ » et l’étiquette « P » attendent encore confirmation ; et ce fait, purement fini, ne porte à lui seul aucune conséquence spectrale ou globale.
À lire à côté
La fiche G₃₀ (la structure du groupe) et la trichotomie (le reste du socle fini).