Полупростой эндоморфизм
Полупросто́й эндоморфи́зм (полупростое линейное преобразование) векторного пространства над полем , эндоморфизм пространства такой, что всякое подпространство в , инвариантное относительно , обладает инвариантным прямым дополнением. Другими словами, требуется, чтобы определял на структуру полупростого модуля над кольцом . Например, любое ортогональное, симметрическое или кососимметрическое линейное преобразование конечномерного евклидова пространства, а также любое диагонализируемое (т. е. записывающееся в некотором базисе диагональной матрицей) линейное преобразование конечномерного векторного пространства являются полупростым эндоморфизмом. Полупростота эндоморфизма сохраняется при переходе к инвариантному подпространству и к факторпространству .
Пусть . Эндоморфизм является полупростым эндоморфизмом тогда и только тогда, когда его минимальный многочлен не имеет кратных множителей. Пусть, кроме того, – расширение поля и – продолжение эндоморфизма на пространство . Если полупрост, то и полупрост, а если cenapaбельно над , то верно и обратное. Эндоморфизм называется абсолютно полупростым, если полупрост для любого расширения ; для этого необходимо и достаточно, чтобы минимальный многочлен не имел кратных корней в алгебраическом замыкании поля , т. е. чтобы эндоморфизм был диагонализиpyeм.
