166018 (685434), страница 6

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 6)

(18)

где |G| - число элементов в группе G; |K(b)| - число элементов в классе сопряженных элементов K(b); - характеры неприводимых представлений T_i, i=1, 2, …, m.

2. Таблицы характеров неприводимых представлений

Приведенные свойства характеров позволяют описать построение таблиц характеров неприводимых представлений. Строки таблицы будем нумеровать, как принято в теории представлений групп характерами, но одновременно будем указывать обозначения, принятые в молекулярной спектроскопии и кристаллографии: одномерные представления обозначаются A₁, B₁, A₂, B₂, …, двумерные – E₁, E₂, … и, наконец, трехмерные – F₁, F₂, … .

Так как по свойству 2 характеры постоянны на каждом классе сопряженных элементов, то столбцы таблицы нумеруются классами сопряженных элементов. Под обозначением класса сопряженных элементов указывается число элементов в классе – порядок класса. Рассмотрим в качестве примера группу C_3V. Классы сопряженных элементов группы C_3V имеют вид K₁={I}, K₂={C₃, C₃²}, K₃={ , , }. Известно, что группа C_3V имеет три неприводимых представления, характеры которых приведены в табл. 2.

Таблица 2.

3. Разложение характеров по неприводимым представлениям

В соответствии с рассмотренными свойствами характер приводимого представления _T можно представить в виде разложения по характерам неприводимых представлений :

,

где n_i – число, показывающее, сколько раз характер неприводимого представления T_i содержится в характере приводимого представления Т. На основании свойств ортогональности это число легко определяется, а именно:

. (19)

Формула (19) имеет важные применения в теории молекулярных спектров для определения числа состояний данного типа симметрии.

4. Определение характеров неприводимых представлений при применении групповых алгебр групп

Для достаточно широкого класса групп желательно иметь общий метод нахождения характеров неприводимых представлений.

Пусть дана группа G. Найдем классы сопряженных элементов K_i группы и обозначим сумму элементов группы, принадлежащих классу K_i. Здесь С_i являются элементами групповой алгебры PG группы G над полем Р. Проверим, перестановочны ли элементы С_i со всеми элементами алгебры PG. Для этого достаточно проверить, что для всех gG справедливы равенства gС_i=С_ig или С_i=g^-1С_ig.

Действительно,

g^-1 С_ig=g^-1(k₁+k₂+…)g=g^-1k₁g+g^-1k₂g+…

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

Определение 5. Множество элементов алгебры, перестановочных со всеми элементами алгебры, называется центром алгебры.

Определение 6. Подмножество В алгебры называется подалгеброй алгебры А, если оно является подпространством векторного пространства А, и из того, что b₁, b₂B, следует, что .

Можно доказать, что элементы C_i образуют базис центра Z групповой алгебры PG:

Алгебру можно записать, задав таблицу умножения базисных элементов

. (20)

Элементы C_ijk называются структурными константами алгебры. Для элементов С_i, образующих базис центра групповой алгебры, формула (20) принимает вид

. (21)

Теперь, на основании выражения (21), фиксируя индекс i (что обозначим, взяв этот индекс в скобки), получим матрицу C(i) коэффициентов C_ijk. Эту матрицу можно рассматривать как матрицу линейного оператора , действующего в векторном пространстве, которым является центр алгебры Z. Действие его на базисные элементы C_j состоит в умножении C_i на C_j. Для того, чтобы записать матрицу C(i), надо рассмотреть столбец, в котором записаны произведения C_i на C_j. В результате получим матричное представление центра групповой алгебры. Матричное представление центра будет центром матричного представления всей алгебры. Иначе говоря, все матрицы C(i) коммутируют со всеми элементами матричного представления алгебры и между собой.

Мы приходим к задаче, аналогичной известной квантово-механической задаче: дана система коммутирующих между собой операторов, найти собственные значения и собственные векторы этих операторов. Оказывается, решение такой задачи имеет важное значение и для нахождения характеров неприводимых представлений.

Полученные выше матрицы C_i являются образующими элементами алгебры матриц, изоморфной алгебре Бозуа–Меснера, которая определяется следующим образом.

Назовем i-ой матрицей смежности A_i матрицу порядка, равного порядку группы G, строки и столбцы которой занумерованы элементами группы G, причем элементы матрицы A_i с номером (g, h), g, hG определяются как

Матрицы A_i состоят из нулей и единиц, поэтому их называют (0, 1) – матрицами.

Определение 7. Алгеброй Боуза – Меснера называется подалгебра алгебры матриц M_n(C), порожденная (0, 1) – матрицами A_i, i=1, 2, …, d, удовлетворяющими следующим условиям:

1. A₁=E, где Е – единичная матрица;

2. A₁+A₂+…+A_d=J, где J – матрица, все элементы которой равны единице;

3. , i[1, 2, …, d], где - матрица, транспонированная с матрицей A_i;

4. ;

5. .

Если построить матрицы смежности для группы G по указанному выше правилу, то они образуют базис алгебры Боуза–Меснера в соответствии с определением 7.

Если А – алгебра Боуза–Меснера, то из коэффициентов в соотношении можно образовать матрицы порядка d. Рассмотрим алгебру В, порожденную матрицами C₁, C₂, …, C_d, являющуюся подалгеброй алгебры dd матриц M_d(C). Эта алгебра изоморфна алгебре А Боуза–Меснера. В силу того, что в алгебре изоморфные объекты не различаются, будем называть ее также алгеброй Боуза–Меснера.

Если рассматривать А как векторное пространство, то в А имеется естественный базис, состоящий из матриц A_i, которые по условию 5 определения 7 попарно коммутируют. Кроме того, эти матрицы нормальны (т. е. , где - комплексно-сопряженная и транспонированная с А матрица). Все матрицы A_i можно одновременно диагонализировать с помощью унитарной матрицы S. Столбцы являются общими собственными векторами матриц A_i, образующими базис общих собственных подпространств, а ее диагональные элементы являются собственными значениями матриц A_i, соответствующими общим собственным векторам. Если

, (22)

где diag – диагональная матрица, вне главной диагонали которой стоят нули, то p_i(1), p_i(2), …, p_i(d) – указанные собственные значения. Тогда можно записать

k, i=1, 2, …, d,

где E₁+E₂+…+E_d=E, E_i²=E_i, E_iE_j=E_jE_i=0, ij.

Итак, в А появился второй базис, состоящий из идемпотентов E_i, i=1, 2, …, d, который связан с общими собственными векторами матриц A_i, из которых состоят линейно независимые столбцы матриц S.

Определение 8. Квадратная матрица Р порядка d, (j, i)-м элементом которой является p_i(j), называется первой собственной матрицей алгебры Боуза–Меснера А. Матрица Q=(g_i(j)) такая, что PQ=QP=|G|E, называется второй собственной матрицей Боуза–Меснера.

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

Теорема 1. Если G – конечная группа, а Т – ее таблица характеров, А – алгебра Боуза–Меснера классов сопряженных элементов, изоморфная алгебре пересечений В, P=(p_i(j)) и Q=(q_i(j)) – соответственно первая и вторая собственная матрицы этих алгебр, то таблица характеров определяется как произведение матриц в виде

где k₁, k₂, …, k_d – мощности классов сопряженных элементов, m_i определяются по формуле m_i=f_i², где f_i – степени неприводимых представлений.

Теорема 2. Каждый столбец таблицы характеров является общим левым собственным вектором матрицы C_i, C_j, …, C_d, а каждая строка является общим правым собственным вектором этих матриц. И наоборот, каждый стандартный общий левый собственный вектор матриц C_i и, каждый стандартный общий правый собственный вектор этих матриц с точностью до расположения строк и столбцов является строкой и соответственно столбцом матрицы характеров.

Замечание. Собственный вектор матрицы называется стандартным, если его правая координата равна единице.

5. Алгоритм нахождения характеров неприводимых представлений

Алгоритм. Для нахождения характеров неприводимых представлений группы G, надо:

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

Список файлов ВКР