Modulus of a number field (source code)

= Modulus of a number field
{wiki=Modulus_(algebraic_number_theory)}

A modulus is a formal product $\mathfrak m=\mathfrak m_0\mathfrak m_\infty$, where $\mathfrak m_0$ is a nonzero integral ideal and $\mathfrak m_\infty$ is a product of distinct real places.