Ideal theory for semigroups Semigroups mathematics