Library entry, recorded March 2026. This page is a historical record of one AI-coalition exchange under the kernel of its time (PHAT v1.x); the claims and tier words inside it are as they stood then and are not restated to the current state. The suite of record is Rev33.1 (sealed 2026-09-26); read any number here against the scorecard and its reading rule — since Rev29 no row is cited as zero-parameter, and α and the colour real form are declared inputs.

P2: [Proof Group A] G2(2) AUTOMORPHISM GROUP ā€” STRUCTURE PROOF

PROOF_PROMPT | PHAT v1.27.5 | Model: ā€” | Status: PENDING [JSON] [RAW]

Prompt

G2(2) AUTOMORPHISM GROUP ā€” STRUCTURE PROOF Prove that G2(2) (dim=14, rank=2, non-compact real form of G2) is the full automorphism group of Os. Show: (a) any automorphism must fix the identity and preserve the quadratic form of signature (4,4); (b) the maximal compact subgroup is SU(2)xSU(2) (dim=6); (c) the 8 non-compact generators correspond to the zero-divisor directions relevant to mass generation. Cite Jacobson 1958. Assess peer-review readiness. #SuperGrokTOE #G2algebra

← Back to Library