Vous êtes ici : Domaine IV · Verrous et passages ouverts · C-036 — projecteur P_H
[D · O]
Ce que vous allez lire

Pour p ≡ 1 mod 3, le projecteur orthogonal P_H sur le sous-groupe d’ordre 3 — quatre propriétés démontrées et machine-vérifiées (jusqu’à p = 61).

Pourquoi ça compte

Le candidat K^p(a′) qui survit à la chute de la voie quadratique (C-037) : le même nombre (p−4)/3, mais comme rang projectif certifié.

Ce que ça ne dit pas

Le projecteur est prouvé ; la voie n’aboutit pas. Quatre verrous ouverts (¬FUN/¬TRACE/¬EULER/¬ARCHIM). Pas encore de fichier Lean. RHClaimed = false.

À lire à côté

C-037 (la lecture énergétique close), la voie K^p et H3 (le mur global).

Commentaires
Cet espace accueille questions, remarques, intuitions et critiques.
Un commentaire n’engage pas le statut scientifique du projet.
Toute proposition mathématique doit pouvoir être formulée, testée et classée.