Ramification of a prime (source code)

= Ramification of a prime

<Ramification> specializes to primes as follows: a prime $p$ ramifies in a number field when its prime-ideal factorization contains a factor with exponent greater than one.