Commit 2025-07-10 03:45 c30c25bf

feat(NumberField): specialized version of Kummer Dedekind for the splitting of prime numbers (part 1) (#26137) First part of the Kummer-Dedekind isomorphism for the splitting of rational prime numbers in number fields. We define the exponent of an algebraic integer θ and define the isomorphism between (ℤ / pℤ)[X] / (minpoly θ) and 𝓞 K / p(𝓞 K) for primes p which doesn't divide the exponent of θ.