Domaine I - Le socle fini

Borne KLMN

[C] Conditionnel[O] Ouvertdémonstratif

Caractères de Dirichlet mod 30

[D] Démontrédémonstratif

Trichotomie spectrale {3, 1, −1}

[D] Démontrédémonstratif

Triplet canonique T_C = {1, 11, 29}

[D] Démontré[M] Mesuré[O] Ouvertdémonstratif

H₃₀ — espace centré dim 7

[D] Démontrédémonstratif

G₃₀ ≅ C₂ × C₄

[D] Démontrédémonstratif

U₃₀ — huit classes admissibles mod 30

[D] Démontrédémonstratif

λ = 1/√7

[D] Démontré[H] Heuristique[M] Mesuré[O] Ouvertdémonstratif

Cay(G₃₀, T_C) — Ramanujan finie

[D] Démontré[M] Mesuré[O] Ouvertdémonstratif