Циклические группы и их свойства. Циклические группы

Рассмотрим мультипликативную группу всех целых степеней двойки (2Z, ), где 2Z= {2 n | п е Z}. Аналогом этой группы на аддитивном языке является аддитивная группа четных целых чисел (2Z, +), 2Z = {2n | п е Z}. Дадим общее определение групп, частными примерами которых являются данные группы.

Определение 1.8. Мультипликативная группа (G, ) (аддитивная группа (G, +)) называется циклической, если она состоит из всех целых степеней (соответственно, всех целых кратных) одного элемента а е G, т.е. G = {а п | п е Z} (соответственно, G - {па | п е Z}). Обозначение: (а), читается: циклическая группа, порожденная элементом а.

Рассмотрим примеры.

  • 1. Примером мультипликативной бесконечной циклической группы может служить группа всех целых степеней некоторого фиксированного целого числа а Ф ±1, она обозначается а г. Таким образом, а г - {а).
  • 2. Примером мультипликативной конечной циклической группы является группа С„ корней n-й степени из единицы. Напомним, что корни n-й степени из единицы находятся

по формуле e k = cos---hisin^-, где к = 0, 1, ..., п - 1. Следо- п п

вательно, С„ =(е х)= {е х = 1, е х, ef = е 2 ,..., е" -1 = ?„_ х }. Вспомним, что комплексные числа е к, к = 1, ..., п - 1, изображаются точками единичной окружности, которые делят ее на п равных частей.

  • 3. Характерным примером аддитивной бесконечной циклической группы является аддитивная группа целых чисел Z, она порождается числом 1, т.е. Z = (1). Геометрически она изображается в виде целых точек числовой прямой. По существу так же изображается мультипликативная группа 2 7 - = (2), в общем случае a z = (а), где целое число а Ф ±1 (см. рис. 1.3). Это сходство изображений мы обсудим в параграфе 1.6.
  • 4. Выберем в произвольной мультипликативной группе G некоторый элемент а. Тогда все целые степени этого элемента образуют циклическую подгруппу (а) = {а п п е Z} G.
  • 5. Докажем, что аддитивная группа рациональных чисел Q сама не циклическая, а любые два ее элемента лежат в циклической подгруппе.

А. Докажем, что аддитивная группа Q не циклическая. Предположим противное: пусть Q = (-). Существует целое число Ь,

не делящее т. Поскольку - eQ = (-) = sn-|neZ>, то суще-

Ъ т/ { т J

ствует целое число гс 0 , такое что - = п 0 -. Но тогда т = n 0 kb,

откуда т:Ъ - пришли к противоречию.

Б. Докажем, что два произвольных рациональных числа -

с „ /1

и - принадлежат циклической подгруппе (-), где т есть наи- d т/

меньшее общее кратное чисел b и d. В самом деле, пусть т-Ьи

, а аи 1 /1 с cv 1 /1

и m = av, u, v е Z,тогда - = - = аи -е(-)и - = - = cv- е (-).

b Ьи т т/ a dv т т/

Теорема 1.3. Порядок циклической группы равен порядку порождающего элемента этой группы, т.е. |(а)| = |а|.

Доказательство. 1. Пусть |а| = «>. Докажем, что все натуральные степени элемента а различны. Предположим противное: пусть а к = а т и 0 к Тогда т - к - натуральное число и а т ~ к = е. Но это противоречит тому, что | а =°°. Таким образом, все натуральные степени элемента а различны, откуда следует бесконечность группы (а). Следовательно, | (а)| = °° = |а |.

2. Пусть | а | = п. Докажем, что (а) = {е - а 0 , а, а 2 , ..., а" -1 }. Из определения циклической группы вытекает включение {а 0 , а, а 2 , ..., o" 1-1 } с (а). Докажем обратное включение. Произвольный элемент циклической группы (а) имеет вид а т, где те Z. Разделим шнапс остатком: m-nq + r, где 0 п. Поскольку а п = е, то а т = а п я +г = а п ч? а г = а г е {а 0 , а, а 2 , ..., а"- 1 }. Отсюда (а) с {а 0 , а, а 2 ,..., Таким образом, (а) = {а 0 , а, а 2 ,..., а" -1 }.

Остается доказать, что все элементы множества {а 0 , а, а 2 , ..., а” -1 } различны. Предположим противное: пусть 0 i п, но а" = а). Тогда оН - е и 0 j - i - пришли к противоречию с условием | а | = п. Теорема доказана.

Пусть G – группа и элемент a G . Порядком элемента а (обозначается ׀а׀) называется такое наименьшее натуральное число n N , что

a n = a . . . . a =1.

Если же такого числа не существует, то говорят, что а – элемент бесконечного порядка.

Лемма 6.2. Если a k = 1 , то k делится на порядок элемента а .

Определение. Пусть G – группа и а G . Тогда множество

H = {a k ׀ k}

является подгруппой группы G , называемой циклической подгруппой, порожденной элементом а (обозначается Н = < а >).

Лемма 6.3. Циклическая подгруппа Н , порожденная элементом а порядка n , является конечной группой порядка n , причем

H = {1=a 0 , а, … ,а n-1 }.

Лемма 6.4. Пусть а – элемент бесконечного порядка. Тогда циклическая подгруппа Н = <а > – бесконечна и любой элемент из Н записывается в виде a k , к Z , причем единственным образом.

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

Пример 1 . Аддитивная группа Z всех целых чисел – бесконечная циклическая группа, порожденная элементом 1.

Пример 2. Множество всех корней n -ой степени из 1 является циклической группой порядка n .

Теорема 6.2. Любая подгруппа циклической группы – циклическая.

Теорема 6.3. Всякая бесконечная циклическая группа изоморфна аддитивной группе целых чисел Z . Всякая конечная циклическая порядка n изоморфна группе всех корней n -ой степени из 1.

Нормальная подгруппа. Фактор группа.

Лемма 6.5. Пусть Н – подгруппа группы G , для которой все левые смежные классы одновременно являются и правыми смежными классами. Тогда

aH = Ha , aG .

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

aH = Ha , a G .

Теорема 6.4. Пусть Н
G , G/Н – множество всех смежных классов группы G по подгруппе Н . Если определить на множестве G/Н операцию умножения следующим образом

(аН)(bН) = (аb)Н,

то G/Н становится группой, которая называется фактор группой группы G по подгруппе Н .

Гомоморфизм групп

Определение. Пусть G 1 и G 2 – группы. Тогда отображение f : G 1
G 2 называется гомоморфизмом G 1 в G 2 , если

F (ab ) = f (a )f (b ) , a,b G 1 .

Лемма 6.6. Пусть f – гомоморфизм группы G 1 в группу G 2 . Тогда:

1) f (1) – единица группы G 2 ;

2) f (a -1) = f (a ) -1 ,a G 1 ;

3) f (G 1) – подгруппа группы G 2 ;

Определение. Пусть f – гомоморфизм группы G 1 в группу G 2 . Тогда множество

ker f = {a G 1 ׀f (a ) = 1G 2 }

называется ядром гомоморфизма f .

Теорема 6.5. k er f
G .

Теорема 6.6. Любая нормальная подгруппа группы G является ядром некоторого гомоморфизма.

Кольца

Определение. Непустое множество К называется кольцом , если на нем определены две бинарные операции, называемые сложением и умножением и удовлетворяющие следующим условиям:

    К – абелева группа относительно операции сложения;

    умножение ассоциативно;

    выполняются законы дистрибутивности

x (y+z ) = xy+xz ;

(x+y )z = xz+yz , x,y,z K .

Пример 1. Множества Q и R – кольца.

Кольцо называется коммутативным , если

xy = yx , x,y K .

Пример 2. (Сравнения ). Пусть m – фиксированное натуральное число, a и b – произвольные целые числа. Тогда число а сравнимо с числом b по модулю m , если разность a b делится на m (пишется: a b (mod m )).

Отношение уравнения является отношением эквивалентности на множество Z , разбивающее Z на классы, называемые классами вычетов по модулю m и обозначается Z m . Множество Z m является коммутативным кольцом с единицей.

Поля

Определение. Полем называется непустое множество Р , содержащее не 2-х элементов, с двумя бинарными операциями сложения и умножения такими, что:

Пример 1 . Множество Q и R бесконечные поля.

Пример 2 . Множество Z r – конечное поле.

Два элемента a и b поля Р отличные от 0 называются делителями нуля, если ab = 0.

Лемма 6.7. В поле нет делителей нуля.

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

Множество, полученное в результате этого процесса, обозначается в тексте как . Обратите внимание также, что 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 .

Конечные группы

Группа (полугруппа) называется конечной , если она состоит из конечного числа элементов. Число элементов конечной группы называется её порядком . Любая подгруппа конечной группы конечна. И если Н ÍG – подгруппа группы G , то для любого элемента а ÎG множество Н а ={х : x =h a , для любых h ÎH } называется левым классом смежности для G относительно Н . Понятно, что число элементов в Н а равно порядку Н . (Аналогично можно сформулировать определение а Н – правого класса смежности относительно Н ).

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

Действительно, если два класса Н a и H b , где a , b ÎG , имеют общий элемент х , то существует t ÎH такое, что x = t a . И тогда левый класс для х : Н х ={y : y =h x = h ◦(t a ) = (h t )◦a } ÍH a , но a = t ‑1 ◦x и Н a ={y : y =h a = h ◦(t ‑1 ◦x ) = (h t ‑1)◦x } ÍH x . Отсюда Н х = Н a . Аналогично можно показать, что Н х = Н b . И, следовательно, Н a = Н b . Если же классы Н a и H b не имеют общих элементов, то они и не пересекаются.

Такое разбиение группы на левые (правые) классы смежности называется разложением группы по подгруппе Н .

Теорема 2.6.1. Порядок конечной группы делится на порядок любой её подгруппы.

Доказательство. Так как G – конечная группа, то и любая её подгруппа Н имеет конечный порядок. Рассмотрим разложение группы по подгруппе Н . В каждом классе смежности в этом разложении число элементов одинаково и равно порядку Н . Поэтому, если n – порядок группы G , а k – порядок подгруппы Н , то n =m ×k , где m – число классов смежности по Н в разложении группы G .

Если для любого элемента a ÎG Þ Н a = а Н (левый и правый классы смежности по подгруппе Н совпадают), то Н называется нормальным делителем группы G .

Утверждение : если G – коммутативная группа, то любая её подгруппа Н является нормальным делителем G .

Ввиду ассоциативности действия в группе (полугруппе) можно говорить о «произведении» трех элементов (а b c ) =(а b )◦c = а ◦(b c ). Аналогично вводится понятие сложного произведения из n элементов: а 1 ◦а 2 ◦…◦а n = ◦ а n = = ◦.

Произведение n одинаковых элементов группы называется степенью элемента и обозначается a n =. Это определение имеет смысл для любого натурального n . Для любого элемента группы a ÎG обозначают а 0 =е – нейтральный элемент группы G . А отрицательные степени элемента a n определяют как (a ‑1) n или (a n ) ‑1 , где a ‑1 – обратный элемент к а . Оба определения a n совпадают, т.к. a n ◦(a ‑1) n = (а а ◦ ¼◦а )◦(a ‑1 ◦a ‑1 ◦ ¼◦a ‑1) = а а ◦¼◦(а a ‑1)◦a ‑1 ◦¼◦a ‑1 =е n =e . Таким образом, (a ‑1) n = (a n ) ‑1 .


В аддитивной группе аналогом степени элемента a n будет n ‑кратное к нему, обозначаемое обычно na , которое не стоит воспринимать как произведение n на а , поскольку n Îℕ и, возможно, n ÏG . Т.о. na ⇋, где n Îℕ, и 0а =е ⇋0, и (‑n )a = ‑(na ) = n (‑a ) для любого натурального n , где (‑a ) – обратный к a ÎG .

Легко показать, что при выбранных обозначениях для любых целых чисел m и n и для любого a ÎG выполняются известные свойства: а ) при мультипликативной записи a n a m = a n + m и (a n ) m = a nm ; б ) при аддитивной записи na +ma = (n +m )a и n (ma )=(nm )a .

Рассмотрим подмножество группы G , составленное из всех степеней произвольного элемента g ÎG . Обозначим его А g . Таким образом, А g ={g 0 , g 1 , g ‑1 , g 2 , g ‑2 ,¼}. Очевидно, А g является подгруппой группы G , т.к. для любых элементов х ,у ÎА g следует, что (х у А g , и для любого элемента х ÎА g найдется х ‑1 ÎА g , кроме того, g 0 =е ÎА g .

Подгруппа А g называется циклической подгруппой группы G , порожденной элементом g . Эта подгруппа всегда коммутативна, даже если сама G не коммутативна. Если группа G совпадает с одной из своих циклических подгрупп, то она называется циклической группой , порожденной элементом g .

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

Если среди элементов циклической группы имеются равные, например, g k =g m при k >m , то g k ‑ m =e ; и, обозначив k-m через n , получим g n =e , n Îℕ.

Наименьший натуральный показатель n такой, что g n =e , называется порядком элемента g , а сам элемент g называется элементом конечного порядка .

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

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

Так как любой элемент конечной группы имеет конечный порядок, то все конечные группы являются периодическими. Кроме того, периодическими являются все циклические подгруппы конечной группы, поскольку они конечны, и каждый элемент конечного порядка n порождает циклическую группу того же порядка n , состоящую из элементов {g 0 , g 1 , g 2 ,¼, g n ‑1 }. Действительно, если бы число элементов было бы равно некоторому k <n , тогда g k =e =g n , что противоречит выбору n , как наименьшей степени такой, что g n =e ; с другой стороны, k >n также невозможно, т.к. в этом случае имелись бы одинаковые элементы.

Утверждение : 1) все степени g 0 , g 1 , g 2 ,¼, g n ‑1 различны, т.к. если бы имелись равные, например, g i =g j (i >j ), то g i ‑ j =e , но (i j )<n , а по определению n – наименьшая степень такая, что g n =e .

2) Всякая другая степень g , положительная или отрицательная, равна одному из элементов g 0 , g 1 , g 2 ,¼, g n ‑1 , т.к. любое целое число k можно представить выражением: k =nq +r , где q ,r Îℤ и 0£r <n , r – остаток и g k =g nq + r = g nq ° g r = (g n ) q ° g r = e q ° g r = g r .

1) Всякая группа обладает единственным элементом первого порядка {e }, порождающим циклическую подгруппу первого порядка, состоящую из одного элемента е .

2) Рассмотрим группу подстановок S 3 , состоящую из элементов: , , , , , . Порядок S 3 =6. Порядок элемента а равен 2, т.к. . Порядок элемента b также равен 2, т.к. . Порядок элемента с равен 3, т.к. и . Порядок элемента f также равен 3, т.к. и . И, наконец, порядок d равен 2, т.к. . Тем самым, циклические подгруппы S 3 , порожденные элементами e , a , b , d , c и f , соответственно равны: {e }, {e , a }, {e , b }, {e , d }, {e , c , f } и {e , f , c }, где последние две совпадают. Заметим также, что порядок каждой циклической подгруппы делит порядок группы без остатка. Справедлива следующая теорема.

Теорема 2.7.1. (Лагранжа) Порядок конечной группы делится на порядок любого её элемента (т.к. порядок элемента и порядок циклической подгруппы, порожденной им, совпадают).

Отсюда также следует, что любой элемент конечной группы при возведении в степень порядка группы дает единицу группы. (Т.к. g m =g nk =e k =e , где m – порядок группы, n – порядок элемента g , k – целое число).

В группе S 3 подгруппа Н ={e , c , f } является нормальным делителем, а подгруппы 2‑го порядка нормальными делителями не являются. Это легко проверить, найдя левый и правый классы смежности по Н для каждого элемента группы. Например, для элемента а левый класс смежности Н а ={е ◦ а , с а , f a } = {а , b , d } и правый класс смежности а Н ={а ◦ е , а c , а f } = {а , d , b } совпадают. Аналогично для всех остальных элементов S 3 .

3) Множество всех целых чисел со сложением образует бесконечную циклическую группу с порождающим элементом 1 (или –1), т.к. любое целое число кратно 1.

4) Рассмотрим множество корней n ‑ой степени из единицы: Е n =. Это множество является группой относительно операции умножения корней. Действительно, произведение любых двух элементов e k и e m из E n , где k , m £ n ‑1, также будет элементом E n , поскольку = = , где r =(k+m ) mod n и r £ n ‑1; умножение ассоциативно, нейтральный элемент е =e 0 =1 и для любого элемента e k имеется обратный и . Эта группа циклическая, её порождающим элементом является первообразный корень . Нетрудно видеть, что различными являются все степени: , далее для k ³n корни начинают повторяться. На комплексной плоскости корни расположены на окружности единичного радиуса и делят её на n равных дуг, как показано на рисунке 11.

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

Теорема 2.7.2. Все бесконечные циклические группы изоморфны между собой. Все конечные циклические группы порядка n изоморфны между собой.

Доказательство. Пусть (G , ∘) – бесконечная циклическая группа с порождающим элементом g . Тогда существует биективное отображение f : ℤ ® G такое, что для любых целых чисел k и m их образы f (k ) и f (m ), равные соответственно g k и g m , являются элементами G . И при этом f (k +m )=f (k )∘f (m ), поскольку g k + m =g k g m .

Пусть теперь (G , ∘) – конечная циклическая группа порядка n с порождающим элементом g . Тогда каждому элементу g k ÎG единственным способом можно сопоставить элемент e k ÎE n (0£k <n ), по правилу f (g k )=e k . И при этом для любых g k и g m ÎG следует, что f (g k g m )= f (g k ) ∘ f (g m ), поскольку f (g k g m )= f (g k + m )= f (g r ), где r =(k +m ) mod n , и f (g r )=e r =e k ×e m . Понятно, что такое сопоставление является биективным отображением.

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

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

Теорема 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). Обратно: найдя к, взаимно простое с данным числом т, можно смело вычерчивать соответствующую «звездочку», твердо зная, что рано или поздно попадешь в каждую точку, ибо (а) = (а к).