On ideals of implicative semigroups