ideal theory