maximal ideals