I)%{J) ... = IT, JJ, ... = (IJ ...) (IJ ...) = %(IJ

Théorème. — Le diviseur d'un produit d'idéaux est divisible par le produit des diviseurs des facteurs. Car si l'on appelle d, d' ... les diviseurs des facteurs, ces facteurs peuvent être représentés par d\, d'\\ ... et leur produit par dd' ... II' . . . , dont le diviseur est égal au produit de dd' ... par le diviseur de IF ...