Еще немного определений — различия между версиями

Материал из synset
Перейти к: навигация, поиск
Строка 12: Строка 12:
 
которое называется ''левым смежным классом'' подгруппы <math>\textstyle \mathbf{H}</math> (аналогично определяются ''правые смежные классы'' <math>\textstyle \mathbf{H} g</math>, совпадающие с левыми для инвариантной подгруппы <math>\textstyle g\,\mathbf{H}=\mathbf{H}\,g</math>). Все элементы класса ''различны'' (если <math>\textstyle g\,h_i=g\,h_j</math>, умножив на <math>\textstyle g^{-1}</math>, получим <math>\textstyle h_i=h_j</math>) и ни один его элемент <math>\textstyle g\,\mathbf{H}</math> ''не принадлежит'' <math>\textstyle \mathbf{H}</math> (если <math>\textstyle g\,h_i=h_j</math>, то <math>\textstyle g=h_j\,h^{-1}_i\in \mathbf{H}</math>, что противоречит условию <math>\textstyle g\not\in\mathbf{H}</math>). Поэтому <math>\textstyle g\,\mathbf{H}</math> &mdash; это множество имеющее ''столько же'' элементов, что и у подгруппы <math>\textstyle \mathbf{H}</math>, и ''не пересекающееся'' с ней.
 
которое называется ''левым смежным классом'' подгруппы <math>\textstyle \mathbf{H}</math> (аналогично определяются ''правые смежные классы'' <math>\textstyle \mathbf{H} g</math>, совпадающие с левыми для инвариантной подгруппы <math>\textstyle g\,\mathbf{H}=\mathbf{H}\,g</math>). Все элементы класса ''различны'' (если <math>\textstyle g\,h_i=g\,h_j</math>, умножив на <math>\textstyle g^{-1}</math>, получим <math>\textstyle h_i=h_j</math>) и ни один его элемент <math>\textstyle g\,\mathbf{H}</math> ''не принадлежит'' <math>\textstyle \mathbf{H}</math> (если <math>\textstyle g\,h_i=h_j</math>, то <math>\textstyle g=h_j\,h^{-1}_i\in \mathbf{H}</math>, что противоречит условию <math>\textstyle g\not\in\mathbf{H}</math>). Поэтому <math>\textstyle g\,\mathbf{H}</math> &mdash; это множество имеющее ''столько же'' элементов, что и у подгруппы <math>\textstyle \mathbf{H}</math>, и ''не пересекающееся'' с ней.
  
Это свойство можно использовать для разбиения группы на ''смежные классы'' (подмножества). Действительно, если объединение <math>\textstyle \mathbf{H}</math> и <math>\textstyle g\,\mathbf{H}</math> не даёт ещё всех элементов <math>\textstyle \mathbf{G}</math>, возьмём <math>\textstyle g'</math> не принадлежащий ни <math>\textstyle \mathbf{H}</math>, ни <math> \{g\,\bf H\}</math>, и образуем третье множество <math>\textstyle g'\,\mathbf{H}</math>. Его элементы, также как и элементы <math>\textstyle g\,\mathbf{H}</math> не принадлежат <math>\textstyle \mathbf{H}</math>. Более того, они не принадлежат и <math> g\,\mathbf{H}</math> (если бы <math>\textstyle g'\,h_i=g\,h_j</math>, то <math>\textstyle g'=g\cdot (h_j\,h^{-1}_i)</math>, и это противоречит тому, что <math>\textstyle g'</math> не принадлежит <math>\textstyle g\,\mathbf{H}</math>, т.к. <math>\textstyle h_ih_j^{-1}\in \mathbf{H}</math>). В результате, при помощи подгруппы <math>\textstyle \mathbf{H}</math> порядка <math>\textstyle n</math>, возникает разбиение группы <math>\textstyle \mathbf{G}</math>, на <math>\textstyle m</math> ''непересекающихся'' смежных классов (используют знак плюс, вместо объединения <math>\textstyle \cap</math>):
+
Это свойство можно использовать для разбиения группы на ''смежные классы'' (подмножества). Действительно, если объединение <math>\textstyle \mathbf{H}</math> и <math>\textstyle g\,\mathbf{H}</math> не даёт ещё всех элементов <math>\textstyle \mathbf{G}</math>, возьмём <math>\textstyle g'</math> не принадлежащий ни <math>\textstyle \mathbf{H}</math>, ни <math> \{g\,\mathbf{H}\}</math>, и образуем третье множество <math>\textstyle g'\,\mathbf{H}</math>. Его элементы, также как и элементы <math>\textstyle g\,\mathbf{H}</math> не принадлежат <math>\textstyle \mathbf{H}</math>. Более того, они не принадлежат и <math> g\,\mathbf{H}</math> (если бы <math>\textstyle g'\,h_i=g\,h_j</math>, то <math>\textstyle g'=g\cdot (h_j\,h^{-1}_i)</math>, и это противоречит тому, что <math>\textstyle g'</math> не принадлежит <math>\textstyle g\,\mathbf{H}</math>, т.к. <math>\textstyle h_ih_j^{-1}\in \mathbf{H}</math>). В результате, при помощи подгруппы <math>\textstyle \mathbf{H}</math> порядка <math>\textstyle n</math>, возникает разбиение группы <math>\textstyle \mathbf{G}</math>, на <math>\textstyle m</math> ''непересекающихся'' смежных классов (используют знак плюс, вместо объединения <math>\textstyle \cap</math>):
  
 
:<center><math>\mathbf{G} = \mathbf{H} + g\,\mathbf{H}+g'\,\mathbf{H} + ... = g_1\,\mathbf{H}+g_2\,\mathbf{H}+...+g_m\,\mathbf{H},</math></center>
 
:<center><math>\mathbf{G} = \mathbf{H} + g\,\mathbf{H}+g'\,\mathbf{H} + ... = g_1\,\mathbf{H}+g_2\,\mathbf{H}+...+g_m\,\mathbf{H},</math></center>

Версия 18:25, 27 сентября 2012

Группа перестановок << Оглавление (Последняя версия в: Глава 5) >> Представления групп

Рассмотрим подгруппу группы . Возьмём некоторый элемент , не принадлежащий , и образуем новое множество элементов:

которое называется левым смежным классом подгруппы (аналогично определяются правые смежные классы , совпадающие с левыми для инвариантной подгруппы ). Все элементы класса различны (если , умножив на , получим ) и ни один его элемент не принадлежит (если , то , что противоречит условию ). Поэтому — это множество имеющее столько же элементов, что и у подгруппы , и не пересекающееся с ней.

Это свойство можно использовать для разбиения группы на смежные классы (подмножества). Действительно, если объединение и не даёт ещё всех элементов , возьмём не принадлежащий ни , ни , и образуем третье множество . Его элементы, также как и элементы не принадлежат . Более того, они не принадлежат и (если бы , то , и это противоречит тому, что не принадлежит , т.к. ). В результате, при помощи подгруппы порядка , возникает разбиение группы , на непересекающихся смежных классов (используют знак плюс, вместо объединения ):

где . Число называется индексом подгруппы в группе . Порядок группы оказывается равным , и порядок подгруппы является его делителем. Поэтому справедлива теорема Лагранжа:

\it Порядок любой подгруппы конечной группы является одним из делителей порядка группы .

Например, подгруппы , группы имеют порядки 3 и 2. Эти числа являются делителями порядка группы равного 6. Для группы можно сделать следующее разложение на классы:

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

Подчеркнём, что смежные классы не являются группами, так как, например, единичный элемент находится только в исходной порождающей подгруппе . Однако, как мы сейчас увидим, каждый класс, построенный по инвариантной подгруппе является элементом некоторой группы!

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

Произведение смежных классов построенных по инвариантной подгруппе обладает групповыми свойствами. Например, в силу , инвариантная подгруппа является "единичным" элементом:

Т.е. попарное произведение всех элементов инвариантной группы и её левого смежного класса снова приводит к этому же смежному классу. Аналогично попарные произведения двух смежных классов приводят к смежному классу построенному по элементу : Наконец, произведение смежных классов по обратным элементам дает единичный класс: .

Таким образом, если в группе порядка имеется инвариантная подгруппа порядка , то смежных классов являются элементами т.н. фактор-группы :

Инвариантная подгруппа играет в роль единичного элемента.

Рассмотрим инвариантную подгруппу группы . Возьмём любой элемент не находящийся в подгруппе, например :

Эти два множества обладают групповой таблицей умножения . Так:

где после перемножения множеств, при помощи таблицы оставлены только неповторяющиеся элементы, составляющие класс . Аналогично , и т.д. Инвариантная подгруппа имеет порядок 3, и есть только один смежный класс, поэтому порядок фактор-группы равен 2=6/3. Её таблица умножения совпадает с .

Элемент называется сопряжённым к элементу , если существует такой , что:

В группе элементы и сопряжены, так как Сопряженность элементов напоминает определение сопряжения подгруппы (стр.\,\pageref{sym_inv_gr_def}), но относится не к множеству элементов, а к одному (точнее двум, связанным сопряжением).

Сопряженность элементов обладает транзитивностью: если сопряжен , а сопряжен к , то и , сопряжены:

Понятно, что если сопряжен , то и сопряжён .

Это свойство называется симметричностью. Аналогично, справедлива рефлексивность, т.е. элемент сопряжён сам себе. В этом случае .

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

Невозможно разобрать выражение (неизвестная функция «\begin{array}»): {\displaystyle \begin{array}{lll} рефлексивность:\;\; & x\sim x\\ симметричность:\;\; & x\sim y\;\;\;\;\;\;\;\;\;\;\;\; &=>\;\;\;\;\;\;y\sim x\\ транзитивность:\;\; & x\sim y, \;\;y\sim z\;\;\;\;\;&=>\;\;\;\;\;\;x\sim z\\ \end{array}}

Этими же свойствами обладает и равенство элементов . Однако, если равенство означает полное совпадение и , то эквивалентность относительно сопряжения объявляет "похожими" некоторые группы элементов.

Так, группы и разбиваются на следующие классы эквивалентности (или классы сопряженных элементов):

Важным свойством класса эквивалентности к сопряжению является то, что все элементы данного класса имеют одинаковый порядок:

Единичный элемент любой группы образует "класс эквивалентности" состоящий только из него самого. В абелевой группе все элементы коммутируют друг с другом и сопряженным к элементу будет он сам. Поэтому, также как и единичный элемент, каждый элемент абелевой группы образует класс сопряженности состоящий из этого одного элемента.

Элемент является самосопряженным элементом, если для любого сопряжение снова даёт :

Невозможно разобрать выражение (синтаксическая ошибка): {\displaystyle \forall g\in \mathbf{G}\;\;\;\;\;\;\; z=gzg^{-1},\;\;\;\;\;или\;\;\;\;\;\;gz=zg.}

Другими словами, самосопряженный элемент коммутирует (перестановочен) с любым элементом группы. Это свойство не стоит путать с определением инвариантной подгруппы , в котором, вообще говоря слева и справа стоят разные элементы из подмножества H.

Множество всех самосопряженных элементов образует абелеву подгруппу , которую называют центром. Одновременно центр является инвариантной подгруппой (но не наоборот!). В группе центр тривиален: , а в нетривиальным центром является . Так как , то это группа .

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

Нормализатором элемента называют множество всех элементов группы , которые коммутируют с . Нормализатор самосопряженного элемента совпадает со всей группой.

Элементы каждого нормализатора обладают групповыми свойствами. Поэтому нормализатор элемента является подгруппой группы . Её порядок равен , где — индекс в разложении Лагранжа:

Справедлива теорема:

Число элементов сопряженных к равно индексу в разложении Лагранжа по нормализатору .

Действительно, чтобы построить класс эквивалентности к надо перебрать все элементы , отобрав неповторяющиеся значения . Пусть сначала пробегает элементы первого смежного класса . Тогда . Для имеем (так как не входит в и с не коммутирует). Так, для каждого из сопряженных классов получим различных эквивалентных элементов.

В группе есть 4 нормализатора:

Разложение Лагранжа этой группы имеет вид

поэтому в классе эквивалентности к есть 3 элемента (это ).

Изоморфизм — это взаимооднозначная функция связывающая два элемента множества , и сохраняющая групповое умножение:

(EQN)

Обратимость функции означает, что её упорядоченная область значений является некоторой перестановкой области определений. Другими словами, две конечные группы изоморфны, если они эквивалентны с точностью до переобозначения своих элементов. Поэтому изоморфизм абстрактных групп называется также автоморфизмом (изоморфизм группы "самой в себя").

Невозможно разобрать выражение (MathML с переходом в SVG или PNG (рекомендуется для современных браузеров и инструментов повышения доступности): Недопустимый ответ («Math extension cannot connect to Restbase.») от сервера «https://wikimedia.org/api/rest_v1/»:): {\displaystyle \begin{array}{r|ccc|} \multicolumn{1}{c}{} & \multicolumn{1}{c}{a} & \multicolumn{1}{c}{b} & \multicolumn{1}{c}{c}\\ \cline{2-4} a & b & c &\bullet \\ \mathbf{G}_1:\; b & c & \bullet &a \\ c &\bullet & a & b \\ \cline{2-4} \end{array} \begin{array}{r|ccc|} \multicolumn{1}{c}{} & \multicolumn{1}{c}{a} & \multicolumn{1}{c}{b} & \multicolumn{1}{c}{c}\\ \cline{2-4} a & c & \bullet & c \\ \;\;\;\mathbf{G}_2:\; b &\bullet & c & a \\ c & b & a &\bullet \\ \cline{2-4} \end{array}\;\;\;\;\;\; \begin{array}{l} \mathbf{G}_1 \approx\mathbf{G}_2,\;\;\;\;\;\mathbf{G}_2=\Psi(\mathbf{G}_1)\\[2mm] \Psi(\{e, a, b, c\})=\{e,a, c,b \} \end{array}}

Что бы обнаружить автоморфизм, можно начать с поиска элемента порядка 1. В таблице он единственен . Аналогично, в : , поэтому . Выбор соответствия для остальных элементов в данном случае — произволен.

Рассматривая для группы все различные функции проводящие подобные перестановки, мы приходим к группе автоморфизмов обозначаемой . Элементами этой группы являются функции, а умножением — композиция функций , выполняющих последовательные автоморфизмы. Единичным преобразованием является . Обратным — обратная функция . Для умножения двух элементов , и двух последовательных автоморфизмов и (см. ()):

Внутренним автоморфизмом называют автоморфизм возникающий при применении операции сопряжения:

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

Внутренние автоморфизмы вида являются подгруппой группы всех автоморфизмов .

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

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

Найдём прямое произведение группы саму на себя:

Невозможно разобрать выражение (неизвестная функция «\multicolumn»): {\displaystyle \begin{array}{r|c|} \multicolumn{1}{c}{} & \multicolumn{1}{c}{\alpha} \\ \cline{2-2} \alpha & e \\ \cline{2-2} \end{array} \begin{array}{r|c|l} \multicolumn{1}{c}{} & \multicolumn{1}{c}{\alpha} \\ \cline{2-2} \;\times \; \alpha & e & \;=\;\\ \cline{2-2} \end{array} \begin{array}{r|ccc|l} \multicolumn{1}{c}{} & \multicolumn{1}{c}{(\alpha,e)} & \multicolumn{1}{c}{(e,\alpha)} & \multicolumn{1}{c}{(\alpha,\alpha)}\\ \cline{2-4} (\alpha,e) & (e,e) & (\alpha,\alpha) & (e,\alpha) \\ (e,\alpha) & (\alpha,\alpha) & (e,e) & (\alpha,e) & \;=\; \\ (\alpha,\alpha) & (e,\alpha) & (\alpha,e) & (e,e) \\ \cline{2-4} \end{array} \begin{array}{r|ccc|c} \multicolumn{1}{c}{} & \multicolumn{1}{c}{a} & \multicolumn{1}{c}{b} & \multicolumn{1}{c}{c}\\ \cline{2-4} a & e & c & b &\\ b & c & e & a & =\mathbf{D_2}\\ c & b & a & e &\\ \cline{2-4} \end{array}}

Получившаяся группа из 4-х элементов (порядок равен 4) может быть записана следующим образом: .

Пусть - единичный элемент группы . Тогда множество элементов , ,..., образуют инвариантную подгруппу группы . Эта подгруппа изоморфна группе (\,H).

Если две инвариантные подгруппы и группы пересекаются только на единичный элемент, и произведение множеств приводит к множеству , то группа изоморфна прямому произведению :

Это утверждение стоит попробовать доказать (\,H), доказав сперва, что если две инвариантные подгруппы не имеют общих элементов (кроме единичного), то их элементы коммутируют друг с другом (\,H).

\hrule

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

группа, порядок группы и элемента, абелева группа, подгруппа, сопряженная и инвариантная подгруппы, простая и полупростая группы, изоморфизм, гомоморфизм, ядро, смежный класс, фактор-группа, класс эквивалентности, самосопряженный элемент, центр, нормализатор, группа автоморфизмов, прямое произведение.


Группа перестановок << Оглавление (Последняя версия в: Глава 5) >> Представления групп

Релятивистский мир - лекции по теории относительности, гравитации и космологии