Циклические подгруппы
Ввиду ассоциативности действия в группе (полугруппе) можно говорить о «произведении» трех элементов (а◦b◦c) =(а◦b)◦c = а◦(b◦c). Аналогично вводится понятие сложного произведения из n элементов: а1◦а2◦…◦аn = ◦ аn = = ◦.
Произведение n одинаковых элементов группы называется степенью элемента и обозначается an=. Это определение имеет смысл для любого натурального n. Для любого элемента группы aG обозначают а0=е – нейтральный элемент группы G. А отрицательные степени элемента a‑n определяют как (a‑1)n или (an)‑1, где a‑1 – обратный элемент к а. Оба определения a‑n совпадают, т.к. an ◦(a‑1)n = (а◦а◦ ◦а)◦(a‑1◦a‑1◦ ◦a‑1) = а◦а◦◦(а◦a‑1)◦a‑1◦◦a‑1 =еn =e. Таким образом, (a‑1)n = (an)‑1.
В аддитивной группе аналогом степени элемента an будет n‑кратное к нему, обозначаемое обычно na, которое не стоит воспринимать как произведение n на а, поскольку nℕ и, возможно, nG. Т.о. na⇋, где nℕ, и 0а=е⇋0, и (‑n)a = ‑(na) = n(‑a) для любого натурального n, где (‑a) – обратный к aG.
Легко показать, что при выбранных обозначениях для любых целых чисел m и n и для любого aG выполняются известные свойства: а) при мультипликативной записи an ◦am = an +m и (an)m = anm; б) при аддитивной записи na+ma = (n+m)a и n(ma)=(nm)a.
Рассмотрим подмножество группы G, составленное из всех степеней произвольного элемента gG. Обозначим его Аg. Таким образом, Аg ={g0, g1, g‑1, g2, g‑2,}. Очевидно, Аg является подгруппой группы G, т.к. для любых элементов х,уАg следует, что (х◦у)Аg, и для любого элемента хАg найдется х‑1Аg, кроме того, g0=еАg.
Подгруппа Аg называется циклической подгруппой группы G, порожденной элементом g. Эта подгруппа всегда коммутативна, даже если сама G не коммутативна. Если группа G совпадает с одной из своих циклических подгрупп, то она называется циклической группой, порожденной элементом g.
Если все степени элемента g различны, то группа G называется бесконечной циклической группой, а элемент g – элементом бесконечного порядка.
Если среди элементов циклической группы имеются равные, например, gk=gm при k>m, то gk‑m=e; и, обозначив k-m через n, получим gn=e, nℕ.
Наименьший натуральный показатель n такой, что gn=e, называется порядком элемента g, а сам элемент g называется элементом конечного порядка.
Такой элемент всегда найдется в конечной группе, но может быть и в бесконечной группе.
Группы, все элементы которых имеют конечный порядок, называются периодическими.
Так как любой элемент конечной группы имеет конечный порядок, то все конечные группы являются периодическими. Кроме того, периодическими являются все циклические подгруппы конечной группы, поскольку они конечны, и каждый элемент конечного порядка n порождает циклическую группу того же порядка n, состоящую из элементов {g0, g1, g2,, gn‑1}. Действительно, если бы число элементов было бы равно некоторому k<n, тогда gk=e=gn, что противоречит выбору n, как наименьшей степени такой, что gn=e; с другой стороны, k>n также невозможно, т.к. в этом случае имелись бы одинаковые элементы.
Утверждение: 1) все степени g0, g1, g2,, gn‑1 различны, т.к. если бы имелись равные, например, gi=gj (i>j), то gi‑j=e, но (i‑j)<n, а по определению n – наименьшая степень такая, что gn=e.
2) Всякая другая степень g, положительная или отрицательная, равна одному из элементов g0, g1, g2,, gn‑1, т.к. любое целое число k можно представить выражением: k=nq+r, где q,rℤ и 0r<n, r – остаток и gk=gnq+r= gnq gr= (gn)q gr= eq gr= gr.
Примеры:
1) Всякая группа обладает единственным элементом первого порядка {e}, порождающим циклическую подгруппу первого порядка, состоящую из одного элемента е.
2) Рассмотрим группу подстановок S3, состоящую из элементов: , , , , , . Порядок S3=6. Порядок элемента а равен 2, т.к. . Порядок элемента b также равен 2, т.к. . Порядок элемента с равен 3, т.к. и . Порядок элемента f также равен 3, т.к. и . И, наконец, порядок d равен 2, т.к. . Тем самым, циклические подгруппы S3, порожденные элементами e, a, b, d, c и f, соответственно равны: {e}, {e, a}, {e, b}, {e, d}, {e, c, f} и {e, f, c}, где последние две совпадают. Заметим также, что порядок каждой циклической подгруппы делит порядок группы без остатка. Справедлива следующая теорема.
-
(Лагранжа) Порядок конечной группы делится на порядок любого её элемента (т.к. порядок элемента и порядок циклической подгруппы, порожденной им, совпадают).
Отсюда также следует, что любой элемент конечной группы при возведении в степень порядка группы дает единицу группы. (Т.к. gm=gnk=ek=e, где m – порядок группы, n – порядок элемента g, k – целое число).
В группе S3 подгруппа Н={e, c, f} является нормальным делителем, а подгруппы 2‑го порядка нормальными делителями не являются. Это легко проверить, найдя левый и правый классы смежности по Н для каждого элемента группы. Например, для элемента а левый класс смежности На={е ◦ а, с ◦ а, f ◦ a} = {а, b, d} и правый класс смежности аН={а ◦ е, а ◦ c, а ◦ f} = {а, d, b} совпадают. Аналогично для всех остальных элементов S3.
3) Множество всех целых чисел со сложением образует бесконечную циклическую группу с порождающим элементом 1 (или –1), т.к. любое целое число кратно 1.
4) Рассмотрим множество корней n‑ой степени из единицы: Еn=. Это множество является группой относительно операции умножения корней. Действительно, произведение любых двух элементов k и m из En, где k, m n‑1, также будет элементом En, поскольку = = , где r=(k+m) mod n и r n‑1; умножение ассоциативно, нейтральный элемент е=0=1 и для любого элемента k имеется обратный и . Эта группа циклическая, её порождающим элементом является первообразный корень . Нетрудно видеть, что различными являются все степени: , далее для kn корни начинают повторяться. На комплексной плоскости корни расположены на окружности единичного радиуса и делят её на n равных дуг, как показано на рисунке 11.
Последними двумя примерами исчерпываются по существу все циклические группы. Поскольку справедлива следующая теорема.
-
Все бесконечные циклические группы изоморфны между собой. Все конечные циклические группы порядка n изоморфны между собой.
Доказательство. Пусть (G, ∘ ) – бесконечная циклическая группа с порождающим элементом g. Тогда существует биективное отображение f: ℤ G такое, что для любых целых чисел k и m их образы f(k) и f(m), равные соответственно gk и gm, являются элементами G. И при этом f(k+m)=f(k)∘f(m), поскольку gk+m=gk∘ gm.
Пусть теперь (G, ∘ ) – конечная циклическая группа порядка n с порождающим элементом g. Тогда каждому элементу gkG единственным способом можно сопоставить элемент kEn (0k<n), по правилу f(gk)=k. И при этом для любых gk и gmG следует, что f(gk∘ gm)= f(gk) ∘ f(gm), поскольку f(gk∘ gm)= f(gk+m)= f(gr), где r=(k+m) mod n, и f(gr)=r=km. Понятно, что такое сопоставление является биективным отображением.
- Часть I
- Введение в теорию множеств
- Понятие «множества»
- Способы задания множества
- Операции над множествами
- Свойства множественных операций
- Декартово (прямое) произведение множеств
- Некоторые свойства декартова произведения
- Соответствия между множествами
- Композиция двух соответствий
- Отображения и функции
- Операции над образами и прообразами отображений и их свойства
- Равномощность и мощность множеств
- Бинарные отношения
- Отношение эквивалентности
- Отношение упорядоченности
- Диаграммы Хассе
- Алгебраические действия общего типа
- Основные понятия
- Способы задания действий
- Свойства действий (операций)
- Простейшие алгебраические системы
- Подгруппы
- Конечные группы
- Циклические подгруппы
- Кольца, тела и поля
- Введение в теорию графов
- История и применение
- Основные определения теории графов
- Способы задания графов
- Теоремы о степенях вершин и изоморфизм графов
- Подграфы
- Операции над графами
- Маршруты, пути и циклы в графах
- Некоторые свойства маршрутов, путей и циклов
- Связность и компоненты графа
- Циклический и коциклический ранг графа
- Фундаментальные циклы и разрезы
- Специальные графы
- Эйлеровы графы
- Гамильтоновы графы
- Планарные графы
- Задачи и упражнения
- Список литературы
- Часть I
- 400131, Волгоград, просп. Им. В.И.Ленина, 28
- 400131, Волгоград, ул. Советская, 35