Modulus of a number field (source code)

= Modulus of a number field

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.