Главная > Математика > Алгебра
<< Предыдущий параграф
Следующий параграф >>
<< Предыдущий параграф Следующий параграф >>
Макеты страниц

§ 7. Индуцированные представления

Пусть G — конечная группа, S — ее подгруппа и F — некоторый -модуль. Рассмотрим категорию объектами которой являются S-гомоморфизмы модуля F в -модули Е. (Отметим, что всякий О-модуль можно рассматривать как -модуль.) Если - другой объект в , то определяем морфизм в как -гомоморфизм для которого коммутативна следующая диаграмма:

Универсальный объект в задается с точностью до однозначно определенного -изоморфизма. Его обозначением будет

Символ призван напоминать о следе. Позже мы увидим оправдание для такого обозначения.

Ниже мы докажем, что универсальный объект всегда существует. Если — универсальный объект, то мы будем называть Е индуцированным модулем. Этот модуль однозначно определен с точностью до единственного -изоморфизма, для которого коммутативна соответствующая диаграмма. Для удобства мы выберем один индуцированный модуль, такой, что —включение. Мы закрепим тогда за этим специальным модулем название G-модуля, индуцированного -модулем

Пусть - гомоморфизм. Если

— G-модуль, индуцированный F, то существует однозначно определенный -гомоморфизм для которого коммутативна следующая диаграмма:

Это просто -гомоморфизм, соответствующий универсальному свойству для -гомоморфизма изображенного в нашей диаграмме пунктирной линией. Таким образом, есть функтор из категории -модулей в категорию -модулей.

Из универсальности и единственности индуцированного модуля мы получаем некоторые формальные свойства.

коммутирует с прямыми суммами, для данной прямой суммы

причем прямая сумма справа — это G-прямая сумма.

Если — S-гомоморфизмы, то

Если — подгруппы в G и F — Т-модуль, то

Во всех трех случаях равенство между левой и правой частями наших соотношений тотчас следует из единственности универсального объекта. Проверку мы предоставим читателю.

Чтобы доказать существование индуцированного модуля, обозначим через аддитивную группу функций удовлетворяющих условию

для и G. Определим действие G на положив для . Ясно, что — G-модуль.

Предложение 8. Пусть отображение таково, что для отображения будет

Тогда отображение есть -гомоморфизм, объект универсален и гомоморфизм инъективен. Образ состоит из всех таких элементов что при

Доказательство. Пусть Тогда

Если то последнее выражение равно . Если то то и, следовательно, оба выражения равны 0. Таким образом, есть -гомоморфизм и непосредственно ясно, что он инъективен. Далее, если таково, что для то из определений следует, что где

Остается доказать, что универсален. Чтобы это сделать, исследуем более детально структуру

Предложение 9. Пусть — разложение G на правые смежные классы, аддитивная группа функций из принимающих значение 0 на элементах Тогда

где прямая сумма рассматривается как абелева группа.

Доказательство. Для всякого пусть — такая функция, что

Очевидно, для всех Непосредственно видно, что с лежит в и что

Таким образом, есть сумма подгрупп Ясно, что эта сумма прямая, что и требовалось.

Отметим, образуют систему представителей для левых смежных классов по S. Действие на определяется предыдущим разложением в прямую сумму. Мы видим, что переставляет слагаемые транзитивно. Слагаемое -изоморфно исходному модулю F, как установлепо в предложении 8.

Теорема 11. Пусть — некоторая система представителей левых смежных классов по S. Тогда существует -модуль Е, содержащий F в качестве -подмодуля и такой, что

есть прямая сумма (как абелева группа). Пусть отображение включения. Тогда универсально в нашей категории , т. е. Е — индуцированный модуль.

Доказательство. Обычной теоретико-множественной процедурой замены на F в получаем -модуль Е, содержащий F в качестве -подмодуля и обладающий нужным нам разложением в прямую сумму. Пусть -гомоморфизм в -модуль Е. Определим отображение правилом

где . Это отображение правильно определено, так как наша сумма для Е — прямая. Мы должны показать, что -гомоморфизм. Пусть Тогда

где — некоторый индекс, зависящий от — элемент из S, также зависящий от . Имеем

Так как -гомоморфизм, то это выражение равно

В силу линейности заключаем, что h — -гомоморфизм, что и требовалось.

Предположим, что мы фиксировали основное поле k и рассматривали не произвольные модули, а только -пространства, на которых имеется представление . Ясно, что все наши конструкции и определения применимы и в этом контексте. Поэтому, имея представление подгруппы S на -пространстве F, мы получаем индуцированное представление группы на

Предложение 10. Пусть — характер представления подгруппы S на -пространстве F, Е — пространство индуцированного представления. Тогда характер представления на Е равен индуцированному характеру т. е. задается формулой

где сумма берется по всем правым смежным классам с группы по S, с — фиксированный представитель для с и -продолжение на , которое получается, если положить для

Доказательство. Пусть — базис для F над k. Мы знаем, что

Пусть а — элемент из . Элементы образуют базис для

Заметим, что есть элемент из S, так как

Имеем

Пусть

— компоненты матрицы, представляющей действие на F относительно базиса . Тогда действие о на задается соотношениями

По определению

Но в том и только в том случае, если . Кроме того,

Следовательно,

что и требовалось показать.

Следующие три параграфа, которые по существу независимы друг от друга, дают примеры индуцированных представлений. В каждом случае мы показываем, что какие-то представления либо индуцированы представлениями некоторых хорошо известных типов, либо являются линейными комбинациями с целочисленными коэффициентами таких представлений. Самое замечательное во всех этих результатах то, что все характеры могут быть представлены как линейные комбинации индуцированных характеров, возникающих из одномерных характеров.

Таким образом, теория характеров сводится к изучению одномерных, или абелевых характеров.

<< Предыдущий параграф Следующий параграф >>
Оглавление