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