essential ideal