Commit 2026-10-02 15:55 24f1bff0
View on Github →feat(Algebra/QuadraticAlgebra): base change of quadratic algebras (#42977)
A base change R → S induces an R-algebra homomorphism QuadraticAlgebra R a b →ₐ[R] QuadraticAlgebra S (algebraMap R S a) (algebraMap R S b) sending ω to ω, injective when S is faithful over R, and compatible with the norm, the trace and the discriminant.
Prepared with Claude Code 🤖