Циклические группы. Циклические подгруппы Циклические группы конечного порядка

  • 1. Группа Z целых чисел с операцией сложения.
  • 2. Группа всех комплексных корней степени n из единицы с операцией умножения. Поскольку циклический число изоморфизм

группа является циклической и элемент образующий.

Мы видим, что циклические группы могут быть как конечными так и бесконечными.

3. Пусть - произвольная группа и произвольный элемент. Множество является циклической группой с образующим элементом g . Она называется циклической подгруппой, порожденной элементом g, а ее порядок - порядком элемента g. По теореме Лагранжа порядок элемента является делителем порядка группы. Отображение

действующее по формуле:

очевидно является гомоморфизмом и его образ совпадает с. Отображение сюръективно тогда и только тогда, когда группа G - циклическая и g ее образующий элемент. В этом случае будем называть стандартным гомоморфизмом для циклической группы G c выбранной образующей g .

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

В любой группе G могут быть определены степени элемента с целыми показателями:

Имеет место свойство

Это очевидно, если . Рассмотрим случай, когда . Тогда

Аналогично рассматриваются остальные случаи.

Из (6) следует, что

Кроме того, по определению. Таким образом, степени элемента образуют подгруппу в группе G. Она называется циклической подгруппой, порожденной элементом, и обозначается через.

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

Пусть ,; тогда. Наименьшее из натуральных чисел т, для которых, называется в этом случае порядком элемента и обозначается через .

Предложение 1. Если , то

Доказательство . 1) Разделим m на п с остатком:

Тогда в силу определения порядка

В силу предыдущего

Следствие. Если, mo подгруппа содержит n элементов.

Доказательство. Действительно,

причем все перечисленные элементы различны.

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

В аддитивной группе говорят не о степенях элемента , а о его кратных, которые обозначают через . В соответствии с этим порядок элемента аддитивной группы G -- это наименьшее из натуральных чисел т (если такие существуют), для которых

ПРИМЕР 1. Характеристика поля есть порядок любого ненулевого элемента в его аддитивной группе.

ПРИМЕР 2 . Очевидно, что в конечной группе порядок любого элемента конечен. Покажем, как вычисляются порядки элементов группы Подстановка называется циклом длины и обозначается через если она циклически переставляет

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

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

ПРИМЕР 3. Порядок комплексного числа с в группе конечен тогда и только тогда, когда это число есть корень некоторой степени из единицы, что, в свою очередь, имеет место тогда и только тогда, когда, a соизмерим с, т.е. .

ПРИМЕР 4. Найдем элементы конечного порядка в группе движений плоскости. Пусть. Для любой точки точки

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

ПРИМЕР 5 . Найдем порядок матрицы

как элемента группы. Имеем

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

Предложение 2. Если , то

Доказательство. Пусть

так что. Имеем

Следовательно, .

Определение 1 . Группа G называется циклической, если существует такой элемент , что . Всякий такой элемент называется порождающим элементом группы G.

ПРИМЕР 6. Аддитивная группа целых чисел является циклической, так как порождается элементом 1.

ПРИМЕР 7. Аддитивная группа вычетов по модулю n является циклической, так как порождается элементом .

ПРИМЕР 8. Мультипликативная группа комплексных корней n-й степени из 1 является циклической. В самом деле, эти корни суть числа

Ясно, что . Следовательно, группа порождается элементом.

Легко видеть, что в бесконечной циклической группе порождающими элементами являются только и. Так, в группе Z порождающими элементами являются только 1 и -- 1.

Число элементов конечной группы G называется ее порядком и обозначается через. Порядок конечной циклической группы равен порядку ее порождающего элемента. Поэтому из предложения 2 следует

Предложение 3 . Элемент циклической группы порядка n является порождающим тогда и только тогда, когда

ПРИМЕР 9. Порождающие элементы группы называются первообразными корнями n -й степени из 1. Это корни вида , где. Например, первообразные корни 12-й степени из 1- это.

Циклические группы -- это наиболее простые группы, которые можно себе представить. (В частности, они абелевы.) Следующая теорема дает их полное описание.

Теорема 1. Всякая бесконечная циклическая группа изоморфна группе. Всякая конечная циклическая группа порядка п изоморфна группе.

Доказательство . Если -- бесконечная циклическая группа, то в силу формулы (4) отображение есть изоморфизм.

Пусть -- конечная циклическая группа порядка п. Рассмотрим отображение

то отображение корректно определено и биективно. Свойство

вытекает из той же формулы (1). Таким образом, -- изоморфизм.

Теорема доказана.

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

Теорема 2. 1) Всякая подгруппа циклической группы является циклической.

2)В циклической группе порядка n порядок любой подгруппы делит n и для любого делителя q числа n существует ровно одна подгруппа порядка q.

Доказательство . 1) Пусть -- циклическая группа и Н -- ее подгруппа, отличная от (Единичная подгруппа, очевидно, является циклической.) Заметим, что если для какого-либо, то и . Пусть т -- наименьшее из натуральных чисел, для которых. Докажем, что . Пусть . Разделим к на т с остатком:

откуда в силу определения числа т следует, что и, значит,.

2) Если , то предыдущее рассуждение, примененное к (в этом случае ), показывает, что . При этом

и Н является единственной подгруппой порядка q в группе G. Обратно, если q -- любой делитель числа п и, то подмножество Н, определяемое равенством (9), является подгруппой порядка q. Теорема доказана.

Следствие . В циклической группе простого порядка любая неединичная подгруппа совпадает со всей группой.

ПРИМЕР 10. В группе всякая подгруппа имеет вид, где.

ПРИМЕР 11. В группе корней n-й степени из 1 любая подгруппа есть группа корней q- й степени из 1, где.

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

Множество, полученное в результате этого процесса, обозначается в тексте как . Обратите внимание также, что a 0 = e .

Пример 5.7

Из группы G = < Z 6 , +> могут быть получены четыре циклических подгруппы. Это H 1 = <{0},+>, H 2 =<{0, 2, 4}, +>, H 3 = <{0, 3}, +> и H 4 = G . Заметим, что когда операция - сложение, то a n означает умножение n на a . Заметим также, что во всех этих группах операция - это сложение по модулю 6 . Ниже показано, как мы находим элементы этих циклических подгрупп .

a. Циклическая подгруппа , сгенерированная из 0 , - это H 1 , имеет только один элемент (нейтральный элемент).

б. Циклическая подгруппа , сгенерированная на основе 1 , - это H 4 , которая есть сама группа G .

1 0 mod 6 = 0 1 1 mod 6 = 1 1 2 mod 6 = (1 + 1) mod 6 = 2 1 3 mod 6 = (1 + 1 + 1) mod 6 = 3 1 4 mod 6 = (1 + 1 + 1 + 1) mod 6 = 4 1 5 mod 6 = (1 + 1 + 1 + 1 + 1) mod 6 = 5(остановка, далее процесс повторяется)

в. Циклическая подгруппа , сгенерированная на основе 2 , - это H 2 , которая имеет три элемента: 0, 2 , и 4 .

2 0 mod 6 = 0 2 1 mod 6 = 2 2 2 mod 6 = (2 + 2) mod 6 = 4 (остановка, далее процесс повторяется)

г. Циклическая подгруппа , сгенерированная на основе 3 , - это H 3 , которая имеет два элемента: 0 и 3 .

д. Циклическая подгруппа , сгенерированная на основе 4 , - H 2 ; это - не новая подгруппа .

4 0 mod 6 = 0 4 1 mod 6 = 4 4 2 mod 6 = (4 + 4) mod 6 = 2 (остановка, далее процесс повторяется)

е. Циклическая подгруппа , сгенерированная на основе 5 , - это H 4 , она есть сама группа G .

5 0 mod 6 = 0 5 1 mod 6 = 5 5 2 mod 6 = 4 5 3 mod 6 = 3 5 4 mod 6 = 2 5 5 mod 6 = 1 (остановка, далее процесс повторяется)

Пример 5.8

Из группы можно получить три циклических подгруппы. G имеет только четыре элемента: 1, 3, 7 и 9 . Циклические подгруппы - и . Ниже показано, как мы находим элементы этих подгрупп .

a. Циклическая подгруппа , сгенерированная на основе 1 , - это H 1 . Подгруппа имеет только один элемент, а именно - нейтральный.

б. Циклическая подгруппа , сгенерированная на основе 3 , - это H 3 , которая есть группа G .

3 0 mod 10 = 1 3 1 mod 10 = 3 3 2 mod 10 = 9 3 3 mod 10 = 7 (остановка, далее процесс повторяется)

в. Циклическая подгруппа , сгенерированная на основе 7 , - это H 3 , которая есть группа G .

7 0 mod 10 = 1 7 1 mod 10 = 7 7 2 mod 10 = 9 7 3 mod 10 = 3 (остановка, далее процесс повторяется)

г. Циклическая подгруппа , сгенерированная на основе 9 , - это H 2 . Подгруппа имеет только два элемента.

9 0 mod 10 = 1 9 1 mod 10 = 9 (остановка, далее процесс повторяется)

Циклические группы

Циклическая группа - группа, которая является собственной циклической подгруппой . В примере 5.7 группа G имеет циклическую подгруппу H 5 = G . Это означает, что группа G - циклическая группа. В этом случае элемент, который генерирует циклическую подгруппу, может также генерировать саму группу. Этот элемент далее именуется "генератор". Если g - генератор, элементы в конечной циклической группе могут быть записаны как

{e,g,g 2 ,….., g n-1 } , где g n = e .

Заметим, что циклическая группа может иметь много генераторов.

Пример 5.9

а. Группа G = - циклическая группа с двумя генераторами, g = 1 и g = 5 .

б. Группа - циклическая группа с двумя генераторами, g = 3 и g = 7 .

Теорема Лагранжа

Теорема Лагранжа показывает отношение между порядком группы к порядку ее подгруппы. Предположим, что G - группа и H - подгруппа G . Если порядок G и H - |G| и |H| , соответственно, то согласно этой теореме |H| делит |G| . В примере 5.7 |G| = 6 . Порядок подгруппы - |H1| = 1, | H2| = 3, |H3| = 2 и |H4| = 6 . Очевидно, все эти порядки есть делители 6 .

Теорема Лагранжа имеет очень интересное приложение. Когда дана группа G и ее порядок |G| , могут быть легко определены порядки потенциальных подгрупп , если могут быть найдены делители. Например, порядок группы G = - это |17| . Делители 17 есть 1 и 17 . Это означает, что эта группа может иметь только две подгруппы - нейтральный элемент и H 2 = G .

Порядок элемента

Порядок элемента в группе ord (a) (порядок (a)) является наименьшим целым числом n , таким, что a n = e . Иными словами: порядок элемента - порядок группы, которую он генерирует.

Пример 5.10

a. В группе G = , порядки элементов: порядок ord(0) = 1 , порядок ord (1) = 6 , порядок ord (2) = 3 , порядок ord (3) = 2 , порядок ord (4) = 3 , порядок ord (5) = 6 .

b. В группе G = , порядки элементов: порядок ord (1) = 1 , порядок ord (3) = 4 , порядок ord (7) =4 , порядок (9) = 2 .

Пусть M – некоторое подмножество группы G. Множество всевозможных произведений элементов из M и обратных к ним является подгруппой. Она называется подгруппой, порожденной подмножеством M, и обозначается через hMi. В частности, M порождает группу G, если G = hMi. Полезно следующее простое утверждение:

подгруппа H порождена подмножеством M тогда и

Если G = hMi и |M| < ∞, то G называется конечно порожденной .

Подгруппа, порожденная одним элементом a G, называется циклической и обозначается через hai. Если G = hai для некоторого a G, то G также называется циклической. Примеры циклических групп:

1) группа Z целых чисел относительно сложения;

2) группа Z(n) вычетов по модулю n относительно сложения;

ее элементами являются множества всех целых чисел, дающих один и тот же остаток при делении на данное число n Z.

Оказывается, этими примерами исчерпываются все циклические группы:

Теорема 2.1 1) Если G – бесконечная циклическая группа, то

G Z.

2) Если G – конечная циклическая группа порядка n , то

G Z(n).

Порядком элемента a G называется наименьшее натуральное число n, такое что an = 1; если такого числа не существует, то порядок элемента считается равным бесконеччности. Порядок элемента a обозначается через |a|. Отметим, что |hai| = |a|.

2 .1 . Вычислите порядки элементов групп S3 , D4 .

2 .2 . Пусть |G| < ∞, g G. Докажите, что |g| делит |G|.

2 .3 . Пусть g G, |g| = n. Докажите, что gm = e тогда и только тогда, когда n делит m.

2 .4 . Пусть |G| = n. Докажите, что an = e для всех a G.

2 .5 . Докажите, что группа четного порядка содержит элемент порядка 2.

2 .6 . Пусть группа G имеет нечетный порядок. Докажите, что для всякого a G найдется b G такой, что a = b2 .

2 .7 . Проверьте, что |x| = |yxy−1 |, |ab| = |ba|, |abc| = |bca| = |cab|.

2 .8 . Пусть a G, |a| = n и b = ak . Докажите, что |b| = n/НОД(n, k);

2 .9 . Пусть ab = ba. Докажите, что НОК(|a|, |b|) делится на |ab|. Приведите пример, когда НОК(|a|, |b|) 6= |ab|.

2 .10 . Пусть ab = ba, НОД(|a|, |b|) = 1. Докажите, что |ab| = |a||b|.

2 .11 . Пусть σ Sn – цикл. Проверьте, что |σ| равен длине σ.

2 .12 . Пусть σ Sn , σ = σ1 . . . σm , где σ1 , . . . , σm – независимые циклы. Проверьте, что |σ| = НОК(|σ1 |, . . . , |σm |).

2 .13 . Цикличны ли группы: а) Sn ;

б) Dn ;

в) µn := {z C | zn = 1}?

2 .14 . Докажите, что если |G| = p – простое число, то G – циклическая.

2 .15 . Докажите, что в неединичной группе G нет собственных подгрупп тогда и только тогда, когда |G| = p, т. е. G изоморфна Z(p) (p – простое число).

2 .16 . Докажите, что если |G| ≤ 5, то G абелева. Опишите группы порядка 4.

2 .17 . Пусть G – циклическая группа порядка n с образующим элементом a. Пусть b = ak . Докажите, что G = hbi тогда и только тогда, когда НОД(n, k) = 1, т.е. число образующих элементов в циклической группе порядка n равно ϕ(n), где ϕ – функция Эйлера :

{k | k N, 1 ≤ k ≤ n, НОД(n, k) = 1} .

2 .18 .* Докажите, что

2 .19 . Пусть G – циклическая группа порядка n, m|n. Докажите, что в G существует, причем ровно одна, подгруппа порядка m.

2 .20 . Найдите все образующие групп: а) Z, б) Z(18).

2 .21 . Докажите, что бесконечная группа имеет бесконечное число подгрупп.

2 .22 .* Пусть |G| < ∞. Докажите, что G циклична тогда и только тогда, когда |Gd | ≤ d для всех d N, где Gd = {x G | xd = e}.

2 .23 .* Пусть F – поле, G – конечная подгруппа в F . Докажите, что G циклична.

Р А З Д Е Л 3

Гомоморфизмы. Нормальные подгруппы. Факторгруппы

Отображение групп f: G −→ H называется гомоморфизмом , если f(ab) = f(a)f(b) для любых a, b G (так что изоморфизм

– частный случай гомоморфизма). Часто используются и другие разновидности гомоморфизма:

мономорфизм – инъективный гомоморфизм, эпиморфизм – сюръективный гомоморфизм, эндоморфизм – гомоморфизм в себя, автоморфизм – изоморфизм на себя.

Подмножества

Kerf = {a G | f(a) = 1} G

Imf = {b H | f(a) = b для некоторого a G} H

называются соответственно ядром и образом гомоморфизма f. Очевидно, Kerf и Imf являются подгруппами.

Подгруппа N < G называется нормальной (это обозначается N C G), если a−1 Na = N для всех a G; это эквивалентно тому, что Na = aN. Группа называется простой , если она не содержит собственных нормальных подгрупп.

Ядро гомоморфизма является нормальной подгруппой. Верно и обратное: каждая нормальная подгруппа является ядром некоторого гомоморфизма. Чтобы показать это, введем на множестве

16 Раздел 3. Гомоморфизмы, факторгруппы

G/N = {aN | a G} смежных классов по нормальной подгруппе N операцию: aN · bN = abN. Тогда G/N превращается в группу, которая называется факторгруппой по подгруппе N. Отображение f: G −→ G/N является эпиморфизмом, причем Kerf = N.

Каждый гомоморфизм f: G −→ H является композицией эпиморфизма G −→ G/Kerf, изоморфизма G/Kerf −→ Imf и мономорфизма Imf −→ H.

3 .1 . Докажите, что данные отображения являются гомоморфиз-

мами групп, и найдите их ядро и образ. а) f: R → R , f(x) = ex ;

б) f: R → C , f(x) = e2πix ;

в) f: F → F (где F – поле), f(x) = ax, a F ; г) f: R → R , f(x) = sgnx;

д) f: R → R , f(x) = |x|; е) f: C → R , f(x) = |x|;

ж) f: GL(n, F) → F (где F – поле), f(A) = det A;

з) f: GL(2, F) → G, где G – группа дробно-линейных функций (см. задачу 1 .8 ), F – поле,

и) f: Sn → {1, −1}, f(σ) = sgnσ.

3 .2 . При каком условии на группу G отображение f: G → G, заданное формулой

а) g 7→g2 б) g 7→g−1 ,

является гомоморфизмом?

3 .3 . Пусть f: G → H – гомоморфизм, a G. Докажите, что |f(a)| делит |a|.

3 .4 . Докажите, что гомоморфный образ циклической группы цикличен.

3 .5 . Докажите, что образ и прообраз подгруппы при гомоморфизме являются подгруппами.

3 .6 . Назовем группы G1 и G2 антиизоморфными, если существует биекция f: G1 → G2 такая, что f(ab) = f(b)f(a) для всех a, b G1 . Докажите, что антиизоморфные группы изоморфны.

3 .7 .* Докажите, что не существует нетривиальных гомоморфизмов Q → Z, Q → Q+ .

3 .8 .* Пусть G – группа, g G. Докажите, что для существования f Hom(Z(m), G) такого, что f(1) = g, необходимо и достаточно, чтобы gm = e.

3 .9 . Опишите

а) Hom(Z(6), Z(18)), б) Hom(Z(18), Z(6)), в) Hom(Z(12), Z(15)), г) Hom(Z(m), Z(n)).

3 .10 . Проверьте, что

α, β R, α2 + β2 6= 0 .

3. 11. (Обобщение теоремы Кэли.) Докажите, что сопоставление элементу a G подстановки xH 7→axH на множестве смежных классах по подгруппе H < G является гомоморфизмом G в группу S(G/H). Чему равно его ядро?

3. 12. Проверьте, что множество Aut G всех автоморфизмов группы G образует группу относительно композиции.

3. 13. Проверьте, что отображение f g : G → G, f g (x) = gxg −1 , где g G, является автоморфизмом группы G (такие автоморфизмы называют внутренними ). Проверьте, что внутренние автоморфизмы образуют подгруппу Inn G < Aut G.

3 .14 . Найдите группу автоморфизмов а) Z;

б) нециклической группы порядка 4 (см. задачу 2 .16 ); в) S3 ;

18 Раздел 3. Гомоморфизмы, факторгруппы

3 .15 . Верно ли, что: а) G C G, E C G;

б) SL(n, F) C GL(n, F);

в) скалярные ненулевые матрицы образуют нормальную подгруппу в GL(n, F);

г) диагональные (верхнетреугольные) матрицы с ненулевыми диагональными элементами образуют нормальную подгруппу в

д) An C Sn ;

е) Inn G C Aut G?

3 .16 . Пусть = 2. Докажите, что H C G.

3 .17 . Пусть M, N C G. Докажите, что M ∩ N, MN C G.

3 .18 . Пусть N C G, H < G. Докажите, что N ∩ H C H.

3 .19 . Пусть N C G, H < G. Докажите, что NH = HN < G.

3 .20 . Пусть H < G. Докажите, что xHx−1 C G.

3 .21 . Пусть H < K < G. Докажите, что H C K тогда и только тогда, когда K NG (H).

3 .22 . Пусть M, N C G, M ∩ N = E. Докажите, что M и N поэлементно перестановочны.

3 .23 . Докажите, что:

а) Образ нормальной подгруппы при эпиморфизме нормален; б) Полный прообраз нормальной подгруппы (при любом гомо-

морфизме) нормален.

3 .24 . Проверьте, что G/G E, G/E G.

3 .25 . Докажите, что Z/nZ – циклическая группа порядка n.

3 .26 .* Докажите, что:

г) R /R {1, −1};

е) GL(n, F)/SL(n, F) F ;

Е. А. Каролинский, Б. В. Новиков

где GL+ (n, R) := {A GL(n, R) | det A > 0}.

3 .27 . Докажите, что Q/Z – периодическая группа (т.е. порядок любого ее элемента конечен), которая содержит единственную подгруппу порядка n для каждого натурального n. Каждая такая подгруппа – циклическая.

3 .28 .* Докажите, что: а) C(G) C G,

б) Inn G G/C(G).

3 .29 .* Пусть N C G, H < G. Докажите, что NH/N H/H ∩ N.

3 .30 .* Докажите, что если M C N C G, M C G, то

(G/M)/(N/M) G/N.

3 .31 . Докажите, что если G/C(G) циклическая, то G = C(G) (т.е. G/C(G) = E).

3 .32 . Назовем коммутатором элементов x и y группы G элемент := x−1 y−1 xy. Коммутант группы G – это ее подгруппа G0 , порожденная всеми коммутаторами. Докажите, что:

а) G0 C G;

б) Группа G/G0 абелева;

в) G абелева тогда и только тогда, когда G0 = E.

3 .33 . Пусть N C G. Докажите, что G/N абелева тогда и только тогда, когда N G0 .

3 .34 . Определим по индукции G(0) = G, G(n) = (G(n−1) )0 . Группа G называется разрешимой , если G(n) = E для некоторого n N. Проверьте, что:

а) подгруппы и факторгруппы разрешимой группы разрешимы;

б) если N C G такова, что N и G/N разрешимы, то G разрешима.

3 .35 . Докажите, что группа G разрешима тогда и только тогда, когда найдется цепочка подгрупп

E = Gn C Gn−1 C . . . C G1 C G0 = G

20 Раздел 3. Гомоморфизмы, факторгруппы

такая, что все факторгруппы Gk /Gk+1 абелевы.

3 .36 . Проверьте, что а) абелевы группы; б) группы S3 и S4 ;

в) подгруппа всех верхнетреугольных матриц в GL(n, F) (где F – поле)

являются разрешимыми.

3 .37 . Пусть G(n) – подгруппа в G, порожденная множеством {gn | g G}. Докажите, что:

а) G(n) C G;

б) G/G(n) имеет период n (т.е. в ней выполнено тождество xn = 1);

в) G имеет период n тогда и только тогда, когда G(n) = E.

3 .38 . Пусть N C G. Докажите, что G/N имеет период n тогда и только тогда, когда N G(n) .

3 .39 . Пусть G – группа (относительно композиции) отображений

φ : R → R вида x 7→ax + b (a 6= 0), H = {φ G | φ : x 7→x + b}. Докажите, что H C G. Чему равна G/H?

3 .40 . Определим на множестве G = Z × Z операцию:

(a, b)(c, d) = (a + (−1)b c, b + d)

Докажите, что G – группа и H = h(1, 0)i C G.

Подгруппы циклических групп

Следующая теорема описывает строение подгрупп циклических групп.

Теорема 1.4. Подгруппа циклической группы циклическая. Если G = (a)uH - неединичная подгруппа группы G,moH = (а п), где п - наименьшее натуральное число, такое что а п е Н.

Доказательство. Пусть G = (а) и Н - подгруппа группы G. Если подгруппа Н единичная, то Н = (е) - циклическая группа. Пусть Н - неединичная подгруппа. Обозначим через п наименьшее натуральное число, такое что а п е Н, и докажем, что Н = (а п). Включение (а п ) с Н очевидно. Докажем обратное включение. Пусть h е Н. Поскольку G = (а), то существует целый показатель к, такой что h = а к. Разделим к на п с остатком: к = nq + г, где 0 п. Если предположить, что г Ф 0, то получим h = а к = а па п ч а г, откуда a r = а~ п чН е Н. Пришли к противоречию с минимальностью показателя п. Следовательно, г = 0 и к - nq. Отсюда h = a k = а п ч е а"). Таким образом, Н с (а п), а значит, Н = (а п). Теорема доказана.

Порождающие элементы циклической группы

Какими элементами может порождаться циклическая группа? Отвечают на этот вопрос следующие две теоремы.

Теорема 1.5. Пусть дана циклическая группа G = (а) бесконечного порядка. Тогда (а) - (а к) тогда и только тогда, когда к - ± 1.

Доказательство. Пусть G = (а), |а| = °° и (а) = (а к). Тогда существует целое число п, такое что а = а кп. Отсюда а*" -1 = е, а так как | а = то кп - 1 = 0. Но тогда кп = 1 ик- ± 1. Обратное утверждение очевидно.

Теорема 1.6. Пусть дана циклическая группа G = (а) порядка т. Тогда (а) = (а к) тогда и только тогда, когда НОД(/с, т) = 1.

Доказательство. (=>) Пусть (а) = (а к), докажем, что НОД(/с, т) - 1. Обозначим НОДЦс, т) - d. Поскольку а е (а) - (а к), то а = а кп при некотором целом п. По свойству порядков элементов отсюда следует, что (1 - кп) : т, т.е. 1 - кп = mt при некотором целом t. Но тогда 1 = (кп + mt) : d, откуда d = 1 и НОД(/с, т) = 1.

(Пусть НОД (к, т) = 1. Докажем, что (а) = (а к). Включение (а к) с (а) очевидно. Обратно, из условия НОД№, т) = 1 следует существование целых чисел и и v, таких что ки + mv = 1. Пользуясь тем, что | а | - т, получаем а = a ku+mv = a ku a mv = а ки е (а к ). Следовательно, (а) = (а к ). Теорема доказана.

Напомним, что функция Эйлера ф(т) определяется как количество натуральных чисел, не превосходящих натурального числа т и взаимно простых с т. Отсюда получаем следствие.

Следствие. Циклическая группа (а) порядка т имеет ф(т) различных порождающих элементов.

Для придания геометрической наглядности теореме 1.5 изобразим циклическую группу G = (а) порядка т точками окружности А 0 , А ь..., А т _ ь делящими ее на т равных частей. Элемент а к данной группы, соответствующий точке А к, будет порождающим тогда и только тогда, когда, соединяя последовательно точки А 0 , А к, А 2к и т.д., мы придем в точку А]. Найдем все такие к при т = 10 простым перебором случаев (рис. 1.5). В результате получим к = 1,3, 7, 9. Для циклической группы (а) это означает, что (а) = (а 3) = (а 7) = (а 9). Обратно: найдя к, взаимно простое с данным числом т, можно смело вычерчивать соответствующую «звездочку», твердо зная, что рано или поздно попадешь в каждую точку, ибо (а) = (а к).