Джекобсона радикал

кольца A - идеал J(А)ассоциативного кольца А, удовлетворяющий следующим двум условиям: 1) J(A) - наибольший квазирегулярный идеал в А(кольцо Rназ. квазирегулярным, если для любого его элемента аразрешимо уравнение а+x + ах=0);2) в факторкольце [img: http://localhost:8080/file/020512-59.jpg] нет квазирегулярных идеалов, кроме нулевого. Д. р. был введен и детально исследован Н. Джекобсоном (N. Jacobson) в 1945 (см. [1]). Д. р. всегда существует и может быть охарактеризован весьма многими способами: J(А)есть пересечение ядер всех неприводимых представлений кольца А, пересечение всех модулярных максимальных правых идеалов, пересечение всех модулярных максимальных левых идеалов; он содержит все квазирегулярные односторонние идеалы, все односторонние нильидеалы и т. д. Если I- идеал А, то J(I) = I ЗJ(А), если А п- кольцо всех матриц порядка пнад А, то [img: http://localhost:8080/file/020512-60.jpg] Если на ассоциативном кольце Аввести композицию о: [img: http://localhost:8080/file/020512-61.jpg] то в полугруппе <A, [img: http://localhost:8080/file/020512-62.jpg] радикал J(А)относительно композиции о будет подгруппой. Над квазирегулярным (т. е. совпадающим со своим Д. р.) ассоциативным кольцом не существует ненулевых неприводимых конечно порожденных модулей; однако простые ассоциативные квазирегулярные кольца существуют. Для того чтобы в ассоциативном кольце АД. р. был равен нулю, необходимо и достаточно, чтобы Абыло подпрямой суммой примитивных колец.