Матриц Алгебра

Матричная алгебра,- подалгебра полной матричной алгебры Fn всех -матриц над полем F. Операции в Fn определяются следующим образом: для Алгебра Fn изоморфна алгебре всех эндоморфизмов n-мерного линейного пространства над F. Размерность Fn ' над Fравна n2. Любая ассоциативная алгебра с единицей, размерность к-рой над Fне больше п, изоморфна нек-рой подалгебре в Fn. Ассоциативная алгебра без единицы, размерности меньше пнад F, также изоморфно вкладывается в F п. В силу теоремы Веддерберна алгебра Fn проста, т. е. имеет лишь тривиальные двусторонние идеалы. Центр алгебры Fn состоит из всех скалярных -матриц над F. Группа обратимых элементов алгебры Fn есть полная линейная группа Каждый автоморфизм hалгебры Fn является внутренним: Неприводимая М. а. проста. Если М. а. Аабсолютно неприводима (напр., когда поле Fалгебраически замкнуто), то A = Fn при n>1 (теорема Бёрнсайда). М. а. полупроста тогда и только тогда, когда она вполне приводима. С точностью до сопряженности в Fn имеется единственная максимальная нильпотентная подалгебра — алгебра всех верхних треугольных матриц с нулевой диагональю. В алгебре F п тогда и только тогда имеется коммутативная подалгебра размерности r, когда (теорема — Шура). Для поля комплексных чисел С множество классов сопряженных максимальных коммутативных подалгебр алгебры при конечно, а при n>6 бесконечно. В алгебре Fn выполняется стандартное тождество степени 2n: где S2n- симметрич. группа, и никакое тождество меньшей степени не выполняется. Лит.:[l] Вейль Г., Классические группы, их инварианты и лредставленип, пер. с англ., М., 1947; [2] Джекобсон Н., Строение колец, пер. с англ., М.. 1961; [3] Херстейн И., Некоммутативные кольца, пер. с англ., М., 1972; [4] Ван дер Варден Б. Л., Алгебра, пер. с нем., М., 1976; [5] Супруненко Д. А., Тышкевич Р. И., Перестановочные матрицы, Минск, 1966. Д. Л. Супруненко.