A modulus of a number field is a formal product
where is a nonzero integral ideal and is a product of distinct real embeddings of . Only finitely many are nonzero; complex places do not occur.