Multiplicative ideal theory