maximalIdeal