§ 106. Представления центра
Центр алгебры о при любом неприводимом представлении должен отображаться на такие матрицы, которые перестановочны со всеми матрицами представления. Если основное поле алгебраически замкнуто и кольцо представляющих матриц — полное матричное кольцо, то матрицы центра состоят лишь из кратных единичной матрицы
следовательно, центр алгебры о в этом случае представляется матрицами вида
То же самое верно и для абсолютно неприводимых представлений, потому что в этом случае можно перейти к алгебраически замкнутому основному полю, не утрачивая неприводимости. Итак: при любом абсолютно неприводимом представлении алгебры о элементы ее центра представляются кратными единичной матрицы.
Если кольцо о коммутативно, и, следовательно, является своим собственным центром, то все матрицы абсолютно неприводимого представления имеют вид
Из неприводимости следует, что представления должны иметь первую степень. Итак: абсолютно неприводимые представления коммутативной алгебры имеют степень 1.
Любое представление первой степени алгебры о — это гомоморфное отображение из о в тело представления К- Если К коммутативно, то два эквивалентных представления первой степени просто равны, потому что если
матрица представления и
элемент поля К, то
Отсюда следует утверждение: число неэквивалентных представлений первой степени коммутативной алгебры о в поле К равно числу различных гомоморфизмов из о в К.
Вернемся к некоммутативным алгебрам и предположим, что алгебра о полупроста. Тогда она является прямой суммой простых алгебр:
и центр 3 алгебры о представляется в виде суммы того же числа полей:
Число неэквивалентных неприводимых представлений кольца о и равным образом его центра 3 равно числу
двусторонних компонент в о или в 3. потому что каждое такое представление
кольца о определяется некоторым левым идеалом в
а каждое неприводимое представление
центра 3 определяется полем
Итак: существует столько же неэквивалентных неприводимых представлений кольца
сколько неприводимых неэквивалентных представлений центра 3, и каждому неприводимому представлению
кольца о, при котором все
кроме
переходят в нуль, можно сопоставить представление IX центра 3, при котором все
кроме
переходят в нуль.
В частности, если о — сумма полных матричных колец над
то поля
имеют ранг 1 и изоморфны
тем самым в данном случае число
неприводимых представлений кольца о равно рангу центра 3- Связь между неприводимыми представлениями
кольца о и неприводимыми представлениями (первой степени) центра 3 в рассматриваемом случае совершенно проста. Именно, представление
переводит каждый элемент центра
в матрицу вида
где
единичная матрица
порядка. Каждому элементу
таким образом сопоставляется (при фиксированном
некоторый элемент а, и можно записать:
Функция
определяет гомоморфизм центра, т. е.
При этом гомоморфизме поля
за исключением
представляются нулем, т. е. гомоморфизм
— это не что иное, как обозначавшееся раньше через
представление первой степени центра.
Представление
задано всякий раз, когда задан
-базис модуля
а в качестве последнего можно взять единичный элемент
поля
Если каждый элемент
из
записать в виде
то получится
тем самым
будет представляющей матрицей, т. е.
Вместо (1) мы можем теперь писать
Иначе говоря: коэффициенты
разложения элемента
центра по идемпотентным элементам
того же центра задают гомоморфизмы или представления первой степени этого центра.
(см. скан)