extension of an ideal