Таблица символов - Character table

В теория групп, филиал абстрактная алгебра, а таблица символов двумерная таблица, строки которой соответствуют неприводимые представления, а столбцы которой соответствуют классы сопряженности элементов группы. Записи состоят из символы, то следы матриц, представляющих элементы группы класса столбца в представлении группы данной строки. В химия, кристаллография, и спектроскопия, таблицы символов точечных групп используются для классификации например молекулярные колебания в соответствии с их симметрией, и предсказать, запрещен ли переход между двумя состояниями по причинам симметрии. Многие учебники университетского уровня по физическая химия, квантовая химия, спектроскопия и неорганическая химия посвятите главу использованию таблиц символов групп симметрии.^{[1][2][3][4][5][6]}

Определение и пример

Неприводимые комплексные характеры конечная группа сформировать таблица символов который кодирует много полезной информации о группа грамм в компактном виде. Каждая строка помечена значком неприводимый характер а записи в строке - это значения этого символа на любом представителе соответствующего класс сопряженности из грамм (потому что персонажи функции класса ). Столбцы помечены (представителями) классов сопряженности грамм. Принято маркировать первую строку символом тривиальное представление, что является тривиальным действием грамм на одномерном векторном пространстве по ${\displaystyle \rho (g)=1}$ для всех ${\displaystyle g\in G}$. Таким образом, каждая запись в первой строке равна 1. Точно так же первый столбец обычно помечается символом личность. Записи первого столбца - это значения неприводимых символов в тождестве, градусы неприводимых характеров. Знаки степени 1 известны как линейные персонажи.

Вот таблица символов C₃ = <u>, циклическая группа с тремя элементами и образующей ты:

	(1)	(u)	(ты^2)
1	1	1	1
χ1	1	ω	ω^2
χ2	1	ω^2	ω

где ω - примитивный корень третьей степени из единицы. Таблица характеров для общих циклических групп (скалярное кратное) Матрица ДПФ.

Другой пример - таблица символов ${\displaystyle S_{3}}$:

	(1)	(12)	(123)
χтрив	1	1	1
χsgn	1	${\displaystyle -}$1	1
χстоять	2	0	${\displaystyle -}$1

где (12) представляет класс сопряженности, состоящий из (12), (13), (23), и (123) представляет класс сопряженности, состоящий из (123), (132). Чтобы узнать больше о таблице символов симметричных групп, см. [2].

Первая строка таблицы символов всегда состоит из единиц и соответствует тривиальное представление (1-мерное представление, состоящее из матриц 1 × 1, содержащих элемент 1). Кроме того, таблица символов всегда квадратная, потому что (1) неприводимые символы попарно ортогональны и (2) никакая другая нетривиальная функция класса не ортогональна каждому символу. (Функция класса - это функция, которая постоянна на классах сопряженности.) Это связано с тем важным фактом, что неприводимые представления конечной группы грамм находятся в биекции с его классами сопряженности. Эта биекция также следует из показа того, что суммы классов образуют базис для центра групповой алгебры грамм, размерность которого равна количеству неприводимых представлений грамм.

Отношения ортогональности

Основная статья: Соотношения ортогональности Шура

Пространство комплекснозначных функций классов конечной группы грамм имеет естественный внутренний продукт:

${\displaystyle \left\langle \alpha ,\beta \right\rangle :={\frac {1}{\left|G\right|}}\sum _{g\in G}\alpha (g){\overline {\beta (g)}}}$

куда ${\displaystyle {\overline {\beta (g)}}}$ означает комплексное сопряжение значения ${\displaystyle \beta }$ на ${\displaystyle g}$. Что касается этого внутреннего продукта, неприводимые символы образуют ортонормированный базис для пространства классов-функций, и это дает соотношение ортогональности для строк таблицы характеристик:

${\displaystyle \left\langle \chi _{i},\chi _{j}\right\rangle ={\begin{cases}0&{\mbox{ if }}i\neq j,\\1&{\mbox{ if }}i=j.\end{cases}}}$

За ${\displaystyle g,h\in G}$ соотношение ортогональности для столбцов выглядит следующим образом:

${\displaystyle \sum _{\chi _{i}}\chi _{i}(g){\overline {\chi _{i}(h)}}={\begin{cases}\left|C_{G}(g)\right|,&{\mbox{ if }}g,h{\mbox{ are conjugate }}\\0&{\mbox{ otherwise.}}\end{cases}}}$

где сумма берется по всем неприводимым персонажам ${\displaystyle \chi _{i}}$ из грамм и символ ${\displaystyle \left|C_{G}(g)\right|}$ обозначает порядок централизатора ${\displaystyle g}$.

Для произвольного персонажа ${\displaystyle \chi _{i}}$, она неприводима тогда и только тогда, когда ${\displaystyle \left\langle \chi _{i},\chi _{i}\right\rangle =1}$.

Отношения ортогональности могут помочь во многих вычислениях, включая:

• Разложение неизвестного символа как линейной комбинации неприводимых символов, т. Е. # Копий неприводимого представления V_я в V = ${\displaystyle \left\langle \chi ,\chi _{i}\right\rangle }$.
• Построение полной таблицы символов, когда известны только некоторые из неприводимых символов.
• Нахождение порядков централизаторов представителей классов сопряженности группы.
• Находя порядок в группе, ${\displaystyle \left|G\right|=\left|Cl(g)\right|*\sum _{\chi _{i}}\chi _{i}(g){\overline {\chi _{i}(g)}}}$, для любого грамм в грамм.

Если неприводимое представление V нетривиально, то ${\displaystyle \sum _{g}\chi (g)=0}$.

В частности, рассмотрим регулярное представительство которая является перестановкой, полученной из конечной группы грамм действует на себя. Персонажи этого представления ${\displaystyle \chi (e)=\left|G\right|}$ и ${\displaystyle \chi (g)=0}$ за ${\displaystyle g}$ не личность. Тогда для неприводимого представления ${\displaystyle V_{i}}$,

${\displaystyle \left\langle \chi _{\text{reg}},\chi _{i}\right\rangle ={\frac {1}{\left|G\right|}}\sum _{g\in G}\chi _{i}(g){\overline {\chi _{\text{reg}}(g)}}={\frac {1}{\left|G\right|}}\chi _{i}(1){\overline {\chi _{\text{reg}}(1)}}=\operatorname {dim} V_{i}}$.

Затем разложив регулярные представления в виде суммы неприводимых представлений грамм, мы получили ${\displaystyle V_{\text{reg}}=\oplus V_{i}^{\operatorname {dim} V_{i}}}$. Из чего заключаем

${\displaystyle \left|G\right|=\operatorname {dim} V_{\text{reg}}=\sum (\operatorname {dim} V_{i})^{2}}$

по всем неприводимым представлениям ${\displaystyle V_{i}}$. Эта сумма может помочь сузить размеры неприводимых представлений в таблице символов. Например, если группа имеет классы сопряженности 10 и 4 порядка (например, группа диэдра порядка 10), то единственный способ выразить порядок группы в виде суммы четырех квадратов - это ${\displaystyle 10=1^{2}+1^{2}+2^{2}+2^{2}}$, поэтому мы знаем размерности всех неприводимых представлений.

Характеристики

Комплексное сопряжение действует в таблице символов: поскольку комплексное сопряжение представления снова является представлением, то же самое верно и для символов, и, таким образом, символ, который принимает нетривиальные комплексные значения, имеет сопряженный характер.

Некоторые свойства группы грамм можно вывести из его таблицы символов:

• Получатель чего-то грамм дается суммой квадратов элементов первого столбца (степеней неприводимых символов). (Видеть Теория представлений конечных групп # Применение леммы Шура.) В более общем плане сумма квадратов абсолютных значений записей в любом столбце дает порядок централизатора элемента соответствующего класса сопряженности.
• Все нормальные подгруппы грамм (и, следовательно, независимо от того, грамм прост) можно узнать из его таблицы символов. В ядро характера χ - это множество элементов грамм в грамм для которого χ (g) = χ (1); это нормальная подгруппа грамм. Каждая нормальная подгруппа грамм является пересечением ядер некоторых неприводимых характеров грамм.
• Количество неприводимых представлений грамм равно количеству классов сопряженности, которые грамм имеет.
• В коммутаторная подгруппа из грамм является пересечением ядер линейных характеров грамм.
• Если грамм конечно, то, поскольку таблица символов квадратная и имеет столько же строк, сколько классов сопряженности, следует, что грамм является абелевым тогда и только тогда, когда каждый класс сопряженности является одноэлементным, если и только если таблица символов грамм является ${\displaystyle |G|\times |G|}$ тогда и только тогда, когда каждый неприводимый характер линейен.
• Отсюда следует, используя некоторые результаты Ричард Брауэр из модульная теория представлений, что простые делители порядков элементов каждого класса сопряженности конечной группы могут быть выведены из ее таблицы характеров (наблюдение Грэм Хигман ).

Таблица символов в целом не определяет группу вплоть до изоморфизм: например, группа кватернионов Q и группа диэдра из 8 элементов (D₄) имеют ту же таблицу символов. Брауэр спросил, определяет ли таблица символов вместе со знанием того, как распределены степени элементов ее классов сопряженности конечную группу с точностью до изоморфизма. В 1964 г. на это был дан отрицательный ответ. Э. К. Дейд.

Линейные представления грамм сами являются группой под тензорное произведение, поскольку тензорное произведение одномерных векторных пространств снова одномерно. То есть, если ${\displaystyle \rho _{1}:G\to V_{1}}$ и ${\displaystyle \rho _{2}:G\to V_{2}}$ линейные представления, то ${\displaystyle \rho _{1}\otimes \rho _{2}(g)=(\rho _{1}(g)\otimes \rho _{2}(g))}$ определяет новое линейное представление. Это дает начало группе линейных характеров, называемых группа персонажей под операцией ${\displaystyle [\chi _{1}*\chi _{2}](g)=\chi _{1}(g)\chi _{2}(g)}$. Эта группа подключена к Персонажи Дирихле и Анализ Фурье.

Внешние автоморфизмы

В внешний автоморфизм group воздействует на таблицу символов, переставляя столбцы (классы сопряженности) и, соответственно, строки, что придает таблице другую симметрию. Например, абелевы группы обладают внешним автоморфизмом ${\displaystyle g\mapsto g^{-1}}$, что нетривиально, за исключением элементарные абелевы 2-группы, и внешними, поскольку абелевы группы - это в точности те, для которых сопряжение (внутренние автоморфизмы) действует тривиально. На примере ${\displaystyle C_{3}}$ выше, эта карта отправляет ${\displaystyle u\mapsto u^{2},u^{2}\mapsto u,}$ и соответственно переключатели ${\displaystyle \chi _{1}}$ и ${\displaystyle \chi _{2}}$ (переключая их значения ${\displaystyle \omega }$ и ${\displaystyle \omega ^{2}}$). Обратите внимание, что этот конкретный автоморфизм (отрицательный в абелевых группах) согласуется с комплексным сопряжением.

Формально, если ${\displaystyle \phi \colon G\to G}$ является автоморфизмом грамм и ${\displaystyle \rho \colon G\to \operatorname {GL} }$ это представление, то ${\displaystyle \rho ^{\phi }:=g\mapsto \rho (\phi (g))}$ это представление. Если ${\displaystyle \phi =\phi _{a}}$ является внутренний автоморфизм (сопряжение некоторым элементом а), то он действует тривиально на представлениях, поскольку представления являются функциями классов (сопряжение не меняет их значения). Таким образом, данный класс внешних автоморфизмов действует на характеры - поскольку внутренние автоморфизмы действуют тривиально, действие группы автоморфизмов Aut спускается в фактор Out.

Это отношение может использоваться обоими способами: с учетом внешнего автоморфизма можно производить новые представления (если представление не равно на классах сопряженности, которые меняются местами внешним автоморфизмом), и, наоборот, можно ограничить возможные внешние автоморфизмы на основе символа стол.

Смотрите также

• Неприводимое представление § Приложения в теоретической физике и химии
• Молекулярная симметрия
• Список таблиц символов для химически важных групп трехмерных точек
• Таблицы символов малых групп на GroupNames
• Айзекс, И. Мартин (1976). Теория характеров конечных групп. Дувр.
• Роуленд, Тодд; Вайсштейн, Эрик В. «Таблица символов». MathWorld.

Рекомендации

1. Квантовая химия, 3-е изд. Джон П. Лоу, Кирк Петерсон ISBN  0-12-457551-X
2. Физическая химия: молекулярный подход Дональд А. МакКуорри, Джон Д. Саймон ISBN  0-935702-99-7
3. Химическая связь, 2-е изд. J.N. Мюррелл, С.Ф.А. Чайник, Дж. М. Теддер ISBN  0-471-90760-X
4. Физическая химия, 8-е изд. П.В. Аткинс и Дж. Де Паула, W.H. Фримен, 2006 ISBN  0-7167-8759-8, глава 12
5. Молекулярная симметрия и спектроскопия, 2-е изд. Филип Р. Банкер и Пер Дженсен, NRC Research Press, Оттава, 1998 г. [1] ISBN  9780660196282
6. Г. Л. Мисслер, Д. А. Тарр Неорганическая химия, 2-е изд. Пирсон, Прентис-Холл, 1998 г. ISBN  0-13-841891-8, глава 4.