Первичное кольцо
Перви́чное кольцо́, кольцо , в котором произведение любых двусторонних идеалов и равно нулевому идеалу в том и только в том случае, когда либо , либо является нулевым идеалом. Другими словами, идеалы первичного кольца по умножению образуют полугруппу без делителей нуля. Кольцо является первичным кольцом тогда и только тогда, когда правый (левый) аннулятор любого его ненулевого правого (соответственно левого) идеала равен (), а также тогда и только тогда, когда для любых ненулевых . Центр первичного кольца является областью целостности. Любое примитивное кольцо первично. Если кольцо не содержит ненулевых нильидеалов, то – подпрямая сумма первичных колец. Класс первичных колец играет важную роль в теории радикалов колец (Андрунакиевич. 1979).
Существует следующее обобщение понятия первичного кольца. Кольцо называется полупервичным, если оно не имеет ненулевых нильпотентных идеалов.