В коммутативном кольце идеал называется простым, если факторкольцо по нему является областью целостности. Равносильная формулировка: если и из следует или . Понятие простого идеала является частным случаем понятия первичного идеала. Одна из важнейших конструкций коммутативной алгебры, использующих понятие простого идеала — локализация кольца по простому идеалу . Множество всех простых идеалов кольца образует спектр кольца . В его определение также входит описание топологии и структурного пучка локальных колец, превращающие его в аффинную схему — базовый объект алгебраической геометрии.
В коммутативном кольце идеал называется простым, если факторкольцо по нему является областью целостности. Равносильная формулировка: если и из следует или . Понятие простого идеала является частным случаем понятия первичного идеала. Одна из важнейших конструкций коммутативной алгебры, использующих понятие простого идеала — локализация кольца по простому идеалу . Множество всех простых идеалов кольца образует спектр кольца . В его определение также входит описание топологии и структурного пучка локальных колец, превращающие его в аффинную схему — базовый объект алгебраической геометрии.