# P2: [Proof Group A] G2(2) AUTOMORPHISM GROUP — STRUCTURE PROOF

**Category:** proof_prompt | **Kernel:** PHAT v1.27.5 | **Status:** PENDING

## 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