Extension of an ideal