Commit 2025-12-03 17:53 007ae995
View on Github →feat(CyclotomicField): splitting of the prime p in a cyclotomic field ℚ(ζₙ) (#32217)
Let p be a prime number and let n be a positive integer divisible by p. Write n = p ^ (k + 1) * m with m not divisible by p. In this PR, we prove that the residual degree of p in ℚ(ζₙ) is the order of p modulo m and its ramification index is p ^ k * (p - 1).