Факторная группа

Группа, полученная путем объединения аналогичных элементов более крупной группы.

Факторгруппа или факторгруппа — это математическая группа , полученная путем агрегирования аналогичных элементов более крупной группы с использованием отношения эквивалентности , которое сохраняет часть структуры группы (остальная часть структуры «выбрасывается»). Например, циклическая группа сложения по модулю n может быть получена из группы складываемых целых чисел путем идентификации элементов, которые отличаются кратным, и определения структуры группы, которая работает с каждым таким классом (известным как класс конгруэнтности ) как одиночный сущность. Это часть математической области, известной как теория групп . ${\displaystyle n}$

Для отношения конгруэнции в группе класс эквивалентности единичного элемента всегда является нормальной подгруппой исходной группы, а другие классы эквивалентности являются в точности смежными классами этой нормальной подгруппы. Полученное частное обозначается ⁠ ⁠ ${\displaystyle G\,/\,N}$ , где – исходная группа, – нормальная подгруппа. Это читается как ' ⁠ ⁠ ', что является сокращением от modulo . (Обозначение ⁠ ⁠ следует интерпретировать с осторожностью, поскольку некоторые авторы (например, Винберг ^[1] ) используют его для обозначения левых смежных классов in для любой подгруппы , даже если эти смежные классы не образуют группу, если не является нормальным в . Другие (например, Даммит и Фут ^[2] ) используют это обозначение только для обозначения факторгруппы, причем появление этого обозначения подразумевает нормальность in . ) ${\displaystyle G}$ ${\displaystyle N}$ ${\displaystyle G{\bmod {N}}}$ ${\displaystyle {\mbox{mod}}}$ ${\displaystyle G\,/\,H}$ ${\displaystyle H}$ ${\displaystyle G}$ ${\displaystyle H}$ ${\displaystyle H}$ ${\displaystyle G}$ ${\displaystyle H}$ ${\displaystyle G}$

Большая часть важности факторгрупп вытекает из их связи с гомоморфизмами . Первая теорема об изоморфизме утверждает, что образ любой группы G при гомоморфизме всегда изоморфен фактору . В частности , образ при гомоморфизме изоморфен где обозначает ядро ​​⁠ ⁠ . ${\displaystyle G}$ ${\displaystyle G}$ ${\displaystyle \varphi :G\rightarrow H}$ ${\displaystyle G\,/\,\ker(\varphi )}$ ${\displaystyle \ker(\varphi )}$ ${\displaystyle \varphi }$

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

Определение и иллюстрация

Учитывая группу , подгруппу и фиксированный элемент , можно рассмотреть соответствующий левый смежный класс : ⁠ ⁠ . Классы смежности — это естественный класс подмножеств группы; например, рассмотрим абелеву группу G целых чисел с операцией , определяемой обычным сложением, и подгруппу четных целых чисел. Тогда существует ровно два смежных класса: ⁠ ⁠ , которые являются четными целыми числами, и ⁠ ⁠ , которые являются нечетными целыми числами (здесь мы используем аддитивную запись для бинарной операции вместо мультипликативной записи). ${\displaystyle G}$ ${\displaystyle H}$ ${\displaystyle a\in G}$ ${\displaystyle aH:=\left\{ah:h\in H\right\}}$ ${\displaystyle H}$ ${\displaystyle 0+H}$ ${\displaystyle 1+H}$

Для общей подгруппы ⁠ ⁠ ${\displaystyle H}$ желательно определить совместимую групповую операцию на множестве всех возможных смежных классов ⁠ ⁠ ${\displaystyle \left\{aH:a\in G\right\}}$ . Это возможно именно тогда, когда это нормальная подгруппа, см. ниже. Подгруппа группы нормальна тогда и только тогда, когда равенство смежных классов выполняется для всех ⁠ ⁠ . Нормальная подгруппа обозначается ⁠ ⁠ . ${\displaystyle H}$ ${\displaystyle N}$ ${\displaystyle G}$ ${\displaystyle aN=Na}$ ${\displaystyle a\in G}$ ${\displaystyle G}$ ${\displaystyle N}$

Определение

Пусть – нормальная подгруппа группы ⁠ ⁠ . Определите набор как набор всех левых смежных классов в ⁠ ⁠ . То есть ⁠ ⁠ . ${\displaystyle N}$ ${\displaystyle G}$ ${\displaystyle G\,/\,N}$ ${\displaystyle N}$ ${\displaystyle G}$ ${\displaystyle G\,/\,N=\left\{aN:a\in G\right\}}$

Поскольку единичный элемент ⁠ ⁠ ${\displaystyle e\in N}$ , ⁠ ⁠ ${\displaystyle a\in aN}$ . Определите бинарную операцию на множестве смежных классов ⁠ ⁠ ${\displaystyle G\,/\,N}$ следующим образом. Для каждого и в ⁠ ⁠ произведение и ⁠ ⁠ , ⁠ ⁠ равно ⁠ ⁠ . Это работает только потому, что не зависит от выбора представителей и ⁠ ⁠ каждого левого смежного класса, и ⁠ ⁠ . Чтобы доказать это, предположим, что и для некоторого ⁠ ⁠ . Затем ${\displaystyle aN}$ ${\displaystyle bN}$ ${\displaystyle G\,/\,N}$ ${\displaystyle aN}$ ${\displaystyle bN}$ ${\displaystyle (aN)(bN)}$ ${\displaystyle (ab)N}$ ${\displaystyle (ab)N}$ ${\displaystyle a}$ ${\displaystyle b}$ ${\displaystyle aN}$ ${\displaystyle bN}$ ${\displaystyle xN=aN}$ ${\displaystyle yN=bN}$ ${\displaystyle x,y,a,b\in G}$

${\textstyle (ab)N=a(bN)=a(yN)=a(Ny)=(aN)y=(xN)y=x(Ny)=x(yN)=(xy)N}$.

Это зависит от того, что ⁠ ⁠ ${\displaystyle N}$ — нормальная подгруппа. Осталось показать, что это условие не только достаточно, но и необходимо для определения операции над ⁠ ⁠ ${\displaystyle G\,/\,N}$ .

Чтобы показать, что это необходимо, рассмотрим, что для подгруппы ⁠ ⁠ нам дано, что операция корректно определена. То есть для всех и ⁠ ⁠ для ⁠ ⁠ . ${\displaystyle N}$ ${\displaystyle G}$ ${\displaystyle xN=aN}$ ${\displaystyle yN=bN}$ ${\displaystyle x,y,a,b\in G,\;(ab)N=(xy)N}$

Пусть и ⁠ ⁠ . Поскольку ⁠ ⁠ , мы имеем ⁠ ⁠ . ${\displaystyle n\in N}$ ${\displaystyle g\in G}$ ${\displaystyle eN=nN}$ ${\displaystyle gN=(eg)N=(eN)(gN)=(nN)(gN)=(ng)N}$

Теперь и ⁠ ⁠ . ${\displaystyle gN=(ng)N\Leftrightarrow N=(g^{-1}ng)N\Leftrightarrow g^{-1}ng\in N,\;\forall \,n\in N}$ ${\displaystyle g\in G}$

Следовательно, это нормальная подгруппа в ⁠ ⁠ . ${\displaystyle N}$ ${\displaystyle G}$

Также можно проверить, что эта операция над всегда ассоциативна, имеет единичный элемент ⁠ ⁠ , а обратный элемент всегда может быть представлен как ⁠ ⁠ . Следовательно, множество вместе с операцией, определенной с помощью, образует группу, факторгруппу по ⁠ ⁠ . ${\displaystyle G\,/\,N}$ ${\displaystyle G\,/\,N}$ ${\displaystyle N}$ ${\displaystyle aN}$ ${\displaystyle a^{-1}N}$ ${\displaystyle G\,/\,N}$ ${\displaystyle (aN)(bN)=(ab)N}$ ${\displaystyle G}$ ${\displaystyle N}$

Из-за нормальности ⁠ ⁠ ${\displaystyle N}$ левые и правые смежные классы in одинаковы, и поэтому их можно было определить как набор правых смежных классов in ⁠ ⁠ . ${\displaystyle N}$ ${\displaystyle G}$ ${\displaystyle G\,/\,N}$ ${\displaystyle N}$ ${\displaystyle G}$

Пример: Сложение по модулю 6.

Например, рассмотрим группу со сложением по модулю 6: ⁠ ⁠ ${\displaystyle G=\left\{0,1,2,3,4,5\right\}}$ . Рассмотрим подгруппу ⁠ ⁠ ${\displaystyle N=\left\{0,3\right\}}$ , которая нормальна, поскольку абелева . Тогда набор (левых) смежных классов имеет размер три: ${\displaystyle G}$

${\displaystyle G\,/\,N=\left\{a+N:a\in G\right\}=\left\{\left\{0,3\right\},\left\{1,4\right\},\left\{2,5\right\}\right\}=\left\{0+N,1+N,2+N\right\}}$.

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

Мотивация названия «частное».

Причина , по которой называется факторгруппа, происходит от деления целых чисел . При делении 12 на 3 получается ответ 4, поскольку можно перегруппировать 12 объектов в 4 подколлекции по 3 объекта. Факторгруппа — та же идея, хотя в итоге мы получаем группу для окончательного ответа вместо числа, поскольку группы имеют большую структуру, чем произвольный набор объектов. ^{[ нужна цитата ]} ${\displaystyle G\,/\,N}$

Более подробно: при рассмотрении нормальной подгруппы ⁠ ⁠ структура группы используется для формирования естественной «перегруппировки». Это смежные классы в ⁠ ⁠ . Поскольку мы начали с группы и нормальной подгруппы, итоговое частное содержит больше информации, чем просто количество смежных классов (что дает регулярное деление), но вместо этого имеет саму групповую структуру. ${\displaystyle G\,/\,N}$ ${\displaystyle N}$ ${\displaystyle G}$ ${\displaystyle N}$ ${\displaystyle G}$

Примеры

Четные и нечетные целые числа

Рассмотрим группу целых чисел (при сложении) и подгруппу, состоящую из всех четных целых чисел. Это нормальная подгруппа, потому что она абелева . Есть только два смежных класса: набор четных целых чисел и набор нечетных целых чисел, поэтому факторгруппа является циклической группой с двумя элементами. Эта факторгруппа изоморфна множеству со сложением по модулю 2; неофициально иногда говорят, что множество равняется сложению по модулю 2. ${\displaystyle \mathbb {Z} }$ ${\displaystyle 2\mathbb {Z} }$ ${\displaystyle \mathbb {Z} }$ ${\displaystyle \mathbb {Z} \,/\,2\mathbb {Z} }$ ${\displaystyle \left\{0,1\right\}}$ ${\displaystyle \mathbb {Z} \,/\,2\mathbb {Z} }$ ${\displaystyle \left\{0,1\right\}}$

Пример далее объяснен...

Пусть это остатки при делении на ⁠ ⁠ . Затем, когда четное, а когда нечетное. ${\displaystyle \gamma (m)}$ ${\displaystyle m\in \mathbb {Z} }$ ${\displaystyle 2}$ ${\displaystyle \gamma (m)=0}$ ${\displaystyle m}$ ${\displaystyle \gamma (m)=1}$ ${\displaystyle m}$

По определению ⁠ ⁠ ${\displaystyle \gamma }$ ядро ​​⁠ ⁠ ${\displaystyle \gamma }$ , ⁠ ⁠ ${\displaystyle \ker(\gamma )=\{m\in \mathbb {Z} :\gamma (m)=0\}}$ , представляет собой набор всех четных целых чисел.

Пусть ⁠ ⁠ ${\displaystyle H=\ker(\gamma )}$ . Тогда это подгруппа, поскольку тождество в ⁠ ⁠ , то есть ⁠ ⁠ , находится в ⁠ ⁠ , сумма двух четных целых чисел четна и, следовательно, если и находятся в ⁠ ⁠ , находится в (замыкании), а если четно, также четно и поэтому содержит свои обратные. ${\displaystyle H}$ ${\displaystyle \mathbb {Z} }$ ${\displaystyle 0}$ ${\displaystyle H}$ ${\displaystyle m}$ ${\displaystyle n}$ ${\displaystyle H}$ ${\displaystyle m+n}$ ${\displaystyle H}$ ${\displaystyle m}$ ${\displaystyle -m}$ ${\displaystyle H}$

Определите , что и является факторгруппой левых смежных классов; ⁠ ⁠ . ${\displaystyle \mu :\mathbb {Z} /H\to \mathrm {Z} _{2}}$ ${\displaystyle \mu (aH)=\gamma (a)}$ ${\displaystyle a\in \mathbb {Z} }$ ${\displaystyle \mathbb {Z} /H}$ ${\displaystyle \mathbb {Z} /H=\{H,1+H\}}$

Обратите внимание, что мы определили ⁠ ⁠ ${\displaystyle \mu }$ , это если нечетно и если четно. ${\displaystyle \mu (aH)}$ ${\displaystyle 1}$ ${\displaystyle a}$ ${\displaystyle 0}$ ${\displaystyle a}$

Таким образом, является изоморфизмом от до ⁠ ⁠ . ${\displaystyle \mu }$ ${\displaystyle \mathbb {Z} /H}$ ${\displaystyle \mathrm {Z} _{2}}$

Остатки целочисленного деления

Небольшое обобщение последнего примера. Еще раз рассмотрим сложенную группу целых чисел . Пусть ⁠ ⁠ — любое целое положительное число. Мы рассмотрим подгруппу , состоящую из всех кратных ⁠ ⁠ . Еще раз нормально, потому что абелева. Смежные классы — это коллекция ⁠ ⁠ . Целое число принадлежит классу ⁠ ⁠ , где является остатком при делении на ⁠ ⁠ . Фактор можно рассматривать как группу «остатков» по ​​модулю ⁠ ⁠ . Это циклическая группа порядка ⁠ ⁠ . ${\displaystyle \mathbb {Z} }$ ${\displaystyle n}$ ${\displaystyle n\mathbb {Z} }$ ${\displaystyle \mathbb {Z} }$ ${\displaystyle n}$ ${\displaystyle n\mathbb {Z} }$ ${\displaystyle \mathbb {Z} }$ ${\displaystyle \mathbb {Z} }$ ${\displaystyle \left\{n\mathbb {Z} ,1+n\mathbb {Z} ,\;\ldots ,(n-2)+n\mathbb {Z} ,(n-1)+n\mathbb {Z} \right\}}$ ${\displaystyle k}$ ${\displaystyle r+n\mathbb {Z} }$ ${\displaystyle r}$ ${\displaystyle k}$ ${\displaystyle n}$ ${\displaystyle \mathbb {Z} \,/\,n\mathbb {Z} }$ ${\displaystyle n}$ ${\displaystyle n}$

Комплексные целые корни из 1

Классы корней четвертой степени из единицы N по корням двенадцатой степени из единицы G .

Корни двенадцатой степени из единицы , которые являются точками на комплексной единичной окружности , образуют мультипликативную абелеву группу ⁠ ⁠ ${\displaystyle G}$ , показанную на рисунке справа в виде цветных шариков, число в каждой точке которых указывает ее комплексный аргумент. Рассмотрим ее подгруппу, состоящую из корней четвертой степени из единицы, показанных в виде красных шариков. Эта нормальная подгруппа разбивает группу на три смежных класса, показанных красным, зеленым и синим цветом. Можно проверить, что смежные классы образуют группу из трех элементов (произведение красного элемента на синий — синий, инверсия синего элемента — зеленый и т. д.). Таким образом, факторгруппа — это группа трёх цветов, которая оказывается циклической группой из трёх элементов. ${\displaystyle N}$ ${\displaystyle G\,/\,N}$

Действительные числа по модулю целых чисел

Рассмотрим сложенную группу действительных чисел и подгруппу целых чисел. Каждый смежный класс in представляет собой набор вида ⁠ ⁠ , где – действительное число. Поскольку и являются идентичными множествами, когда нецелые части и равны , можно наложить ограничение без изменения смысла. Добавление таких смежных классов осуществляется путем добавления соответствующих действительных чисел и вычитания 1, если результат больше или равен 1. Факторгруппа изоморфна группе кругов , группе комплексных чисел с абсолютным значением 1 при умножении или, соответственно, , группа вращений в 2D вокруг начала координат, то есть специальная ортогональная группа ⁠ ⁠ . Изоморфизм задается формулой (см. тождество Эйлера ). ${\displaystyle \mathbb {R} }$ ${\displaystyle \mathbb {Z} }$ ${\displaystyle \mathbb {Z} }$ ${\displaystyle \mathbb {R} }$ ${\displaystyle a+\mathbb {Z} }$ ${\displaystyle a}$ ${\displaystyle a_{1}+\mathbb {Z} }$ ${\displaystyle a_{2}+\mathbb {Z} }$ ${\displaystyle a_{1}}$ ${\displaystyle a_{2}}$ ${\displaystyle 0\leq a<1}$ ${\displaystyle \mathbb {R} \,/\,\mathbb {Z} }$ ${\displaystyle \mathrm {SO} (2)}$ ${\displaystyle f(a+\mathbb {Z} )=\exp(2\pi ia)}$

Матрицы действительных чисел

Если – группа обратимых вещественных матриц и – подгруппа вещественных матриц с определителем 1, то нормальна в (поскольку она является ядром детерминантного гомоморфизма ). Смежные классы - это наборы матриц с заданным определителем и, следовательно, изоморфны мультипликативной группе ненулевых действительных чисел. Группа известна как специальная линейная группа ⁠ ⁠ . ${\displaystyle G}$ ${\displaystyle 3\times 3}$ ${\displaystyle N}$ ${\displaystyle 3\times 3}$ ${\displaystyle N}$ ${\displaystyle G}$ ${\displaystyle N}$ ${\displaystyle G\,/\,N}$ ${\displaystyle N}$ ${\displaystyle \mathrm {SL} (3)}$

Целочисленная модульная арифметика

Рассмотрим абелеву группу (то есть множество со сложением по модулю 4) и ее подгруппу ⁠ ⁠ . Факторгруппа — ⁠ ⁠ . Это группа с единичным элементом ⁠ ⁠ и групповыми операциями, такими как ⁠ ⁠ . И подгруппа , и факторгруппа изоморфны ⁠ ⁠ . ${\displaystyle \mathrm {Z} _{4}=\mathbb {Z} \,/\,4\mathbb {Z} }$ ${\displaystyle \left\{0,1,2,3\right\}}$ ${\displaystyle \left\{0,2\right\}}$ ${\displaystyle \mathrm {Z} _{4}\,/\,\left\{0,2\right\}}$ ${\displaystyle \left\{\left\{0,2\right\},\left\{1,3\right\}\right\}}$ ${\displaystyle \left\{0,2\right\}}$ ${\displaystyle \left\{0,2\right\}+\left\{1,3\right\}=\left\{1,3\right\}}$ ${\displaystyle \left\{0,2\right\}}$ ${\displaystyle \left\{\left\{0,2\right\},\left\{1,3\right\}\right\}}$ ${\displaystyle \mathrm {Z} _{2}}$

Целочисленное умножение

Рассмотрим мультипликативную группу ⁠ ⁠ ${\displaystyle G=(\mathbb {Z} _{n^{2}})^{\times }}$ . Множество ⁠ ⁠- х вычетов является мультипликативной подгруппой, изоморфной ⁠ ⁠ . Тогда нормально и фактор-группа имеет классы ⁠ ⁠ . Криптосистема Пайе основана на гипотезе о том, что трудно определить класс случайного элемента по , не зная факторизации ⁠ ⁠ . ${\displaystyle N}$ ${\displaystyle n}$ ${\displaystyle (\mathbb {Z} _{n})^{\times }}$ ${\displaystyle N}$ ${\displaystyle G}$ ${\displaystyle G\,/\,N}$ ${\displaystyle N,(1+n)N,(1+n)2N,\;\ldots ,(1+n)n-1N}$ ${\displaystyle G}$ ${\displaystyle n}$

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

Факторгруппа изоморфна тривиальной группе (группе с одним элементом) и изоморфна ⁠ ⁠ . ${\displaystyle G\,/\,G}$ ${\displaystyle G\,/\,\left\{e\right\}}$ ${\displaystyle G}$

Порядок ⁠ ⁠ , по определению количества элементов , равен ⁠ ⁠ , индексу в ⁠ ⁠ . Если конечно, то индекс также равен порядку деленного на порядок ⁠ ⁠ . Множество может быть конечным, хотя оба и бесконечны (например, ⁠ ⁠ ). ${\displaystyle G\,/\,N}$ ${\displaystyle \vert G:N\vert }$ ${\displaystyle N}$ ${\displaystyle G}$ ${\displaystyle G}$ ${\displaystyle G}$ ${\displaystyle N}$ ${\displaystyle G\,/\,N}$ ${\displaystyle G}$ ${\displaystyle N}$ ${\displaystyle \mathbb {Z} \,/\,2\mathbb {Z} }$

Существует «естественный» гомоморфизм сюръективной группы ⁠ ⁠ ${\displaystyle \pi :G\rightarrow G\,/\,N}$ , отправляющий каждый элемент в смежный класс, которому он принадлежит, то есть: ⁠ ⁠ . Отображение иногда называют канонической проекцией на ⁠ ⁠ . Его ядро ​​— ⁠ ⁠ . ${\displaystyle g}$ ${\displaystyle G}$ ${\displaystyle N}$ ${\displaystyle g}$ ${\displaystyle \pi (g)=gN}$ ${\displaystyle \pi }$ ${\displaystyle G}$ ${\displaystyle G\,/\,N}$ ${\displaystyle N}$

Существует биективное соответствие между подгруппами, которые содержат, и подгруппами из ⁠ ⁠ ; если это подгруппа, содержащая ⁠ ⁠ , то соответствующая подгруппа — это ⁠ ⁠ . Это соответствие справедливо и для нормальных подгрупп и формализовано в теореме о решетке . ${\displaystyle G}$ ${\displaystyle N}$ ${\displaystyle G\,/\,N}$ ${\displaystyle H}$ ${\displaystyle G}$ ${\displaystyle N}$ ${\displaystyle G\,/\,N}$ ${\displaystyle \pi (H)}$ ${\displaystyle G}$ ${\displaystyle G\,/\,N}$

Некоторые важные свойства факторгрупп зафиксированы в фундаментальной теореме о гомоморфизмах и теоремах об изоморфизме .

Если абелева , нильпотентная , разрешимая , циклическая или конечно порожденная , то и ⁠ ⁠ тоже . ${\displaystyle G}$ ${\displaystyle G\,/\,N}$

Если это подгруппа в конечной группе ⁠ ⁠ , а порядок составляет половину порядка ⁠ ⁠ , то гарантированно является нормальной подгруппой, поэтому она существует и изоморфна ⁠ ⁠ . Этот результат также можно сформулировать как «любая подгруппа индекса 2 нормальна», и в этой форме он применим и к бесконечным группам. Кроме того, если — наименьшее простое число, делящее порядок конечной группы, ⁠ ⁠ , то if имеет порядок ⁠ ⁠ , должно быть нормальной подгруппой ⁠ ⁠ . ^[3] ${\displaystyle H}$ ${\displaystyle G}$ ${\displaystyle H}$ ${\displaystyle G}$ ${\displaystyle H}$ ${\displaystyle G\,/\,H}$ ${\displaystyle \mathrm {C} _{2}}$ ${\displaystyle p}$ ${\displaystyle G}$ ${\displaystyle G\,/\,H}$ ${\displaystyle p}$ ${\displaystyle H}$ ${\displaystyle G}$

Если дана нормальная подгруппа ⁠ ⁠ , то она является групповым расширением группы с помощью ⁠ ⁠ . Можно задаться вопросом, является ли это расширение тривиальным или расщепленным; другими словами, можно было бы спросить, является ли это прямым или полупрямым произведением и ⁠ ⁠ . Это частный случай проблемы расширения . Пример, когда расширение не расщепляется, следующий: пусть ⁠ ⁠ и ⁠ ⁠ , что изоморфно ⁠ ⁠ . Тогда также изоморфен ⁠ ⁠ . Но имеет только тривиальный автоморфизм , поэтому единственным полупрямым произведением и является прямое произведение. Поскольку отличается от ⁠ ⁠ , мы заключаем, что он не является полупрямым произведением и ⁠ ⁠ . ${\displaystyle G}$ ${\displaystyle N}$ ${\displaystyle G}$ ${\displaystyle G\,/\,N}$ ${\displaystyle N}$ ${\displaystyle G}$ ${\displaystyle N}$ ${\displaystyle G\,/\,N}$ ${\displaystyle G=\mathrm {Z} _{4}=\left\{0,1,2,3\right\}}$ ${\displaystyle N=\left\{0,2\right\}}$ ${\displaystyle \mathrm {Z} _{2}}$ ${\displaystyle G\,/\,N}$ ${\displaystyle \mathrm {Z} _{2}}$ ${\displaystyle \mathrm {Z} _{2}}$ ${\displaystyle N}$ ${\displaystyle G\,/\,N}$ ${\displaystyle \mathrm {Z} _{4}}$ ${\displaystyle \mathrm {Z} _{2}\times \mathrm {Z} _{2}}$ ${\displaystyle G}$ ${\displaystyle N}$ ${\displaystyle G\,/\,N}$

Частные групп Ли

Если это группа Ли и нормальная и замкнутая (в топологическом, а не в алгебраическом смысле слова) подгруппа Ли группы ⁠ ⁠ , фактор также является группой Ли. В этом случае исходная группа имеет структуру расслоения ( точнее, главного ⁠ ⁠ -расслоения ) с базовым пространством и слоем ⁠ ⁠ . Размерность равна ⁠ ⁠ . ^[4] ${\displaystyle G}$ ${\displaystyle N}$ ${\displaystyle G}$ ${\displaystyle G\,/\,N}$ ${\displaystyle G}$ ${\displaystyle N}$ ${\displaystyle G\,/\,N}$ ${\displaystyle N}$ ${\displaystyle G\,/\,N}$ ${\displaystyle \dim G-\dim N}$

Обратите внимание, что условие замкнутости является необходимым. Действительно, если оно не замкнуто, то фактор-пространство не является T1-пространством (поскольку в фактор-пространстве существует смежный класс, который не может быть отделен от единицы открытым множеством) и, следовательно, не является хаусдорфовым пространством . ${\displaystyle N}$ ${\displaystyle N}$

Для ненормальной подгруппы Ли ⁠ ⁠ ${\displaystyle N}$ пространство левых смежных классов является не группой, а просто дифференцируемым многообразием, на котором действует. Результат известен как однородное пространство . ${\displaystyle G\,/\,N}$ ${\displaystyle G}$

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

• Расширение группы
• Категория фактора
• Короткая точная последовательность

Примечания

1. Винберг, Ė Б. (2003). Курс алгебры . Аспирантура по математике. Провиденс, Род-Айленд: Американское математическое общество. п. 157. ИСБН 978-0-8218-3318-6.
2. Даммит и Фут (2003, стр. 95)
3. Даммит и Фут (2003, стр. 120)
4. Джон М. Ли, Введение в гладкие многообразия, второе издание, теорема 21.17

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

• Даммит, Дэвид С.; Фут, Ричард М. (2003), Абстрактная алгебра (3-е изд.), Нью-Йорк: Wiley , ISBN 978-0-471-43334-7
• Херштейн, Индиана (1975), Темы алгебры (2-е изд.), Нью-Йорк: Wiley , ISBN 0-471-02371-Х