Радикал Джекобсона
Радика́л Дже́кобсона кольца , идеал ) ассоциативного кольца , удовлетворяющий следующим двум условиям: 1) – наибольший квазирегулярный идеал в (кольцо называется квазирегулярным, если для любого его элемента разрешимо уравнение ); 2) в факторкольце нет квазирегулярных идеалов, кроме нулевого. Радикал Джекобсона был введён и детально исследован Н. Джекобсоном (Джекобсон. 1961) в 1945 г.
Радикал Джекобсона всегда существует и может быть охарактеризован весьма многими способами: есть пересечение ядер всех неприводимых представлений кольца , пересечение всех модулярных максимальных правых идеалов, пересечение всех модулярных максимальных левых идеалов; он содержит все квазирегулярные односторонние идеалы, все односторонние нильидеалы и т. д. Если – идеал , то , если – кольцо всех матриц порядка над , тоЕсли на ассоциативном кольце ввести композицию : то в полугруппе радикал относительно композиции будет подгруппой.
Над квазирегулярным (т. е. совпадающим со своим радикалом Джекобсона) ассоциативным кольцом не существует ненулевых неприводимых конечно порождённых модулей; однако простые ассоциативные квазирегулярные кольца существуют. Для того чтобы в ассоциативном кольце радикал Джекобсона был равен нулю, необходимо и достаточно, чтобы было подпрямой суммой примитивных колец.