РАДИКАЛ (от лат. radix - корень), математический знак Y (изменённое лат. r), к-рым обозначают действие извлечения корня, а также результат извлечения корня, т. е. число вида корень в n-ой степени из а.
РАДИКАЛ (от лат. radix - корень), 1) член политич. партий (в капиталистич. странах), требующих в своих программах буржуазно-демократических реформ в рамках существующего строя. 2) Сторонник коренного решения каких-либо вопросов.
в классе полугрупп - функция r, ставящая в соответствие каждой полугруппе Sее конгруэнцию r (S).и обладающая следующими свойствами: 1) если Sизоморфна Т и r(S)=0 (через 0 обозначено отношение равенства), то r(T)=0; 2) если q - конгруэнция на Sи r(S/q)=0, то ; 3) r(S/r(S))=0. При выполнении 1) и 3) свойство 2) равносильно неравенству
для всякой конгруэнции q на S. Полугруппа Sназ. r-полупростой, если r(S)=0. Класс r-полупростых полугрупп содержит одноэлементную полугруппу и замкнут относительно изоморфизма и подпрямых произведений. Наоборот, каждый класс полугрупп, обладающий этими свойствами, служит классом r-полупростых полугрупп для нек-рого радикала r. Если r(S)=SxS, то полугруппа Sназ. r-р а д и к а л ь н о й. В отличие от колец Р. в полугруппах не определяется соответствующим радикальным классом. Если в определении Р. ограничиться рассмотрением конгруэнции, определяемых идеалами, то возникает другое понятие Р., где соответствующая функция выделяет в каждой полугруппе идеал.
Если -класс полугрупп, замкнутый относительно изоморфизма и содержащий одноэлементную полугруппу, то функция, ставящая в соответствии каждой полугруппе Sпересечение всех ее конгруэнции q таких, что , оказывается Р., напр.. Класс совпадает с классом -полупростых полугрупп тогда и только тогда, когда он замкнут относительно подпрямых произведений. В этом случае на можно смотреть как на наибольшую факторполугруппу полугруппы Sсреди лежащих в (ср. Реплика).
Пример. Пусть - класс полугрупп, допускающих точное неприводимое представление. Тогда
для всех , где
для некоторых
Рассматривались Р., определенные на данном классе полугрупп, замкнутом относительно гомоморфных образов.
С каждым радикалом r связан класс левых полигонов . Именно, если А - левый S-полигон, то конгруэнция q на полугруппе Sназ. A-аннулирующей, если влечет за собой для всех . Точная верхняя грань всех A-аннулирующих конгруэнций оказывается A-аннулирующей конгруэнцией и обозначается Ann А. Класс , по определению, состоит из всех таких левых S-полигонов А, что r(S/Ann A) ==0, причем Sпробегает класс всех полугрупп. Если q- конгруэнция на S, то левый (S/q)-полигон лежит в тогда и только тогда, когда он лежит в , будучи рассматриваемым как левый S-полигон. Наоборот, если дан класс левых полигонов, обладающий этим свойством, и - класс всех левых S-полигонов, лежащих в , то функция
оказывается Р.
Лит.:[1] Клиффорд А., Престон Г., Алгебраическая теория полугрупп, пер. с англ., т. 2, М., 1972; [2] С к о р н я к о в Л. А., в кн.: Избр. вопросы алгебры и логики, Новосиб., 1973, с. 283-99;[3] Clifford A. H., "Semigroup Forum", 1970, v. 1, № 2, p. 103-27; [4] R о i z E. N., S с h e i n В. М., там же, 1978, v. 16, № 3, p. 299 - 344. Л. А. Скорняков.