Топ (математика) - Top (mathematics)

В контексте модуль M через звенеть р, то верх из M самый большой полупростой модуль частного из M если он существует.

Для конечномерных k-алгебры (k поле) R, если rad (M) обозначает пересечение всех собственных максимальные подмодули из Mрадикал модуля ), то вершина M является M/ рад (M). В случае локальных колец с максимальным идеалом п, вершина M является M/ВЕЧЕРА. В общем, если р это полулокальное кольцо (= полуартиново кольцо), т. е. если р/ Рад (р) является Артинианское кольцо, где Rad (р) это Радикал Якобсона из р, тогда M/ рад (M) - полупростой модуль и вершина M. Сюда входят случаи локальных колец и конечномерных алгебр над полями.

Смотрите также

Рекомендации

  • Дэвид Эйзенбуд, Коммутативная алгебра с точки зрения алгебраической геометрии ISBN  0-387-94269-6