Ideal theory in commutative semigroups