Изотипическое представление - Isotypical representation - Wikipedia
Эта статья поднимает множество проблем. Пожалуйста помоги Улучши это или обсудите эти вопросы на страница обсуждения. (Узнайте, как и когда удалить эти сообщения-шаблоны) (Узнайте, как и когда удалить этот шаблон сообщения)
|
В теория групп, изотипический, начальный или же факторное представление[1] группы G является унитарное представительство так что любые два субпредставления имеют эквивалентные подпредставления.[2] Это связано с понятием первичного или факторное представление из C * -алгебра, или к коэффициенту для алгебра фон Неймана: представление группы G изотипична тогда и только тогда, когда фактор.
Этот термин обычно используется в контексте полупростые модули.
Свойство
Одно из интересных свойств этого понятия состоит в том, что два изотипических представления либо квазиэквивалентны, либо не пересекаются (по аналогии с тем, что неприводимые представления либо унитарно эквивалентны, либо не пересекаются).
Это можно понять через соответствие между факторными представлениями и минимальными центральная проекция (в алгебре фон Неймана) ,.[3] Тогда две минимальные центральные проекции либо равны, либо ортогональны.
Пример
Пусть G - компактная группа. Следствие Теорема Питера – Вейля имеет это любое унитарное представление на сепарабельное гильбертово пространство возможно бесконечный прямая сумма конечномерных неприводимых представлений. Изотипическое представление - это любая прямая сумма эквивалентных неприводимых представлений, которые появляются (обычно несколько раз) в .
Рекомендации
- ^ Дейтмар Принципы гармонического анализа, § 8.3 с.162
- ^ Хигсон, Найджел; Роу, Джон. «Операторные алгебры» (PDF). psu.edu. Получено 11 марта 2016.
- ^ Диксмье C * -алгебры, Предложение 5.2.7 с.117
- Макки
- «C * алгебры», Жак Диксмье, глава 5
- "Группы лжи", Клаудио Прочези, опр. п. 156.
- «Группа и симметрии», Иветт Косманн-Шварцбах
Этот абстрактная алгебра -связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |