Golden Algebraic Model

Abstract

The golden integer carrier is a quadratic quotient with explicit conjugation, trace, and norm.

Definition 1.1 (Quadratic quotient, conjugation, trace, and norm).

Lean statement: D5/S0/Carrier/AlgebraicModel.golden_algebraic_model_spec

Formalization. D5/S0/Carrier/AlgebraicModel.golden_algebraic_model_spec (✓ std3).

Citation. Ian Stewart and David Tall (2025). Algebraic Number Theory and Fermat’s Last Theorem. DOI: 10.1201/9781003462002.

Commentary.

The coordinate ring is realized as the quotient at the golden polynomial. The kernel-checked conjunction identifies its distinguished root and gives the conjugate, trace, and norm formulas in integral coordinates.

References

• Truth anchor: D5/S0/Carrier/AlgebraicModel.golden_algebraic_model_spec
• Dependency: D5/S0/Carrier/Norm