Системы образующих. Циклические группы

Системы образующих. Циклические группы Министерство сельского хозяйства Российской Федерации Департамент научно-технологической политики и образования ФГОУ ВПО «Красноярский аграрный университет» Системы образующих. Циклические группы Курсовая работа Выполнила студентка Гульбис Вероника Викторовна Красноярск, 2010. Пересечение любых двух подгрупп Н и F группы G не может быт пустым, так как всякая подгруппа группы G содержит элемент 1. Эпи пересечение будет в действительности подгруппой группы G: если D есть пересечение подгрупп HnF,D=H{]F,a если элементы а и Ъ принадлежат к 5, то их произведение и обратные к ним элементы содержатся как в Н, так и в F, а поэтому также принадлежат к D. Если дано не две, а вообще произвольное конечное или даже бес- бесконечное множество подгрупп группы G, то произведение любых двух элементов из пересечения всех этих подгрупп лежит в каждой из них. Пересечение любого множества подгрупп группы G само является, Пересечение всех подгрупп группы G, содержащих все элементы множества называется подгруппой, порожденной множеством М, и обозначается символом {М}. Она содержится, очевидно, во всякой подгруппе группы G, содержащей целиком множество М. им подгруппа {а} называется циклической подгруппой элемента а. К под- подгруппе {а} принадлежат, конечно, все степени элемента а; но эти степени сами составляют подгруппу, так как произведение элементов ап и ат равно ап+т, а обратным для элемента ап является элемент а~п (см. § 3). Отсюда следует, что циклическая подгруппа {а} состоит из всех степеней элемента а. Это показывает, что циклическая подгруппа {а} будет счет- порядке элемента а; в этом последнем случае порядок подгруппы {а} равен порядку элемента а. Группа, совпадающая с одной из своих циклических подгрупп,, т. е. состоящая из степеней одного из своих элементов, называется циклическая группа, называется образующим элементом этой группы. Всякая циклическая группа, очевидно, коммутативна. примером конечной циклической группы порядка п — . все циклические группы. Все бесконечные циклические группы изоморфны между собой; изо- изоморфны между собой также все конечные циклические группы данного порядка п. Действительно, бесконечная циклическая группа с образующим элементом а взаимно однозначно отображается на аддитивную группу целых чисел, если всякому элементу ah ставится в соответствие число k-r степеней элемента а показатели складываются. Аналогичным путем полу- Эта теорема позволяет говорить в дальнейшем* просто о бесконечной Действительно, пусть G = {а} есть циклическая группа с образую- образующим элементом а, бесконечная или конечная порядка п, и пусть Н будет отличная от Е подгруппа из G. Пусть, далее, наименьшая на к. Тогда, если (к, I) = d, d > 0, есть общий наибольший делитель- чисел к и I, то существуют такие целые числа и и v, что ки + lv = dr и, следовательно, в Н должен содержаться элемент (ah)u (а1 у = ad; но так как d < к, то мы приходим в противоречие с выбором элемента ah. В бесконечной циклической группе с образующим элементом а в качестве образующего элемента можно взять также элемент а-1; отлична от всей группы. В циклической группе {а} порядка п в качестве <;A; < п, тогда и только тогда, если кип взаимно просты. Действительно, если (к, п) = 1, то- существуют такие и и v, что ku-\-nv = 1. Тогда (ah)u = a1-nv = a-a-nv = a. Если, с другой стороны, при некотором к будет (ak)s = а, то разность показателей ks — 1 должна делиться на п (см. § 3): ks— 1 =nq, откуда ks — nq = 1, т. е. (к, п) — 1. и в случае циклических подгрупп, легко указать закон, по которому элементы подгруппы {М} изображаются через элементы множества М. Подгруппа {М} должна содержать положительные и отрицательные- степени всех элементов из М, а поэтому и всевозможные произведения любого конечного числа этих степеней, взятых в произвольном порядке. Но все элементы группы G, представимые в виде произведения конечного- числа степеней элементов из М,— хотя бы и многими различными, способами,— сами образуют, очевидно, подгруппу группы G, содержащую - все элементы из М. Этим доказано, что подгруппа, порожденная множеством М, состоит из всех элементов группы, равных произведениям конечного числа степеней элементов множества М. и если М есть теоретико-множественная сумма этих подгрупп, т. е. множество, состоящее из элементов группы G, входящих хотя бы в одну из заданных подгрупп, то подгруппа {М} является минимальной под- подгруппой группы G, содержащей все эти подгруппы. Эта подгруппа {М} называется подгруппой, порожденной заданными подгруппами, и обозначается символом {Аа}, a?N, если заданы подгруппы Аа, где а пробе- пробегает некоторое множество индексов N; в частности, если заданы лишь и т. д. Из сказанного выше следует, что подгруппа, порожденная некоторым множеством подгрупп группы G, состоит из всех элементов группы, равных произведениям конечного числа элементов, взятых в заданных подгруппах. системой образующих элементов или просто системой образующих этой группы. Всякая группа обладает системами образующих — достаточно взять множество всех элементов группы или множество всех элементов, кроме 1. Из сказанного выше о подгруппе, порожденной некоторым множеством, следует, что множество М тогда и только тогда будет системой •образующих группы G, если всякий элемент из G может быть записан хотя бы одним способом в виде произведения конечного числа степеней элементов из М. Пусть истинная подсистема уже не является для G системой образующих. [См. Д. 1. З.] Примеры. 1. Всякая циклическая группа обладает системой образующих, состоящей из одного элемента, а именно, из образующего элемента этой группы. Обратно, всякая группа с одним образующим эле- элементом является циклической. Заметим, что в циклической группе можно •более чем из одного элемента. Так, систему образующих для аддитивной группы целых чисел составляют, например, числа 2 и 3. 2. В § 4 было отмечено, что всякая подстановка п-ж степени являет- является произведением транспозиций. Отсюда следует, что одной из систем транспозиций, содержащихся в этой группе. Симметрическая группа п-ш -степени может быть порождена также двумя образующими элементами: а = A 2), b = A 2... п). Действительно, Если теперь i -< / — 1, то (/, /-1) ... (i + 2, i + l)(i, i + l)(i + l, i + 2) ... (у-1,/) = (*/), т. е. подгруппа {а, Ь} содержит все транспозиции и поэтому совпадает \ ± ± _L _L i, 2 , 6 , 24 , • .., л, , ... составляют систему образующих для аддитивной группы рациональных чисел R. Легко видеть, что всякое бесконечное подмножество этого множества также будет системой образующих для R. Больше того, можно доказать, что аддитивная группа рациональных чисел R не имеет ни одной неприводимой системы образующих. Действительно, пусть М есть некоторая система образующих для R и пусть а есть произвольный эле- элемент из М. Обозначим через Н подгруппу, порожденную множеством М', состоящим из всех элементов множества М, кроме а; множество М' не может быть пустым, так как иначе все рациональные числа были бы кратными числу а, что невозможно. Если Ъ есть произвольный элемент из М', то из свойств рациональных чисел следует существование такого целого числа к, отличного от нуля, что число ка будет уже кратным числу гС к группе R, может быть записано в виде суммы конечного числа рациональных чисел, кратных некоторым числам из М, т. е. может быть пред- представлено в виде -г- а = sa-\- h, некоторый элемент из подгруппы Н. Отсюда а = s (ка) -\-lch, т. е. а содержится в Я и поэтому Н = R. Множество М' является, следовательно, системой образующих для группы R. 4. Мультипликативная группа положительных рациональных чисел обладает неприводимой системой образующих, состоящей из всех про- простых чисел. Если группа G обладает системой образующих, состоящей из конечного числа элементов, то G называется группой с конечным числом образующих. Таковы, очевидно, все конечные и все циклические группы. Пример бесконечной циклической группы показывает, что из конечно- конечности числа образующих не следует конечность самой группы. Всякая система образующих группы с конечным числом образующих содержит конечное подмножество, являющееся неприводимой системой образующих этой группы. Так как конечная система образующих всегда может быть сделана неприводимой путем удаления лишних элементов, то нужно лишь дока- доказать, что при наших предположениях всякая бесконечная система образующих содержит конечное подмножество, также являющееся системой образующих для рассматриваемой группы. Пусть G есть группа с образующими аи а2, ¦ ¦ ., ап, G = {at, а2, ..., ап), и пусть М есть некоторая другая система образующих этой группы. Всякий элемент at, i = 1, 2, . . ., га, записывается в виде произведения щ одну из таких записей и собирая те элементы из М, которые входят в эти записи для i = 1, 2, . . ., га, мы получим конечное подмножество at, а2, . . ., ап и поэтому совпадает с G. Заметим, что различные неприводимые системы образующих группы Всякий гомоморфный образ группы с конечным числом образующие G = {й1, а2, ¦ ¦ ., ап} и если гомоморфизм ф отображает группу G на группу G, то элементы ад, а2ф> • • •, а«Ф A) составляют для G систему образующих. В самом деле, если а — произвольный элемент из группы G и а — один из его прообразов в группе G, то а так же записывается через степени элементов A), как а — через степени элементов ац, а2, • ¦ •, ап. Некоторые из элементов A) могут, конечно, совпадать, т. е. мы получим для группы G систему образующих с повторениями. Эти повторения можно было бы исключить. Мы условимся, однако, и в будущем допускать к рассмотрению системы образую- Всякая бесконечная группа с конечным числом образующих являет- является счетной. Действительно, если элементы а4, а2, . . ., ап являются образую- в виде произведения а, а, а (вообще говоря, многими различными способами); всякое i^ есть одно- из чисел 1, 2, . . ., п, причем возможно, что ik = i; при кф1. Будем называть длиной этого произведения сумму абсолютных величин пока- показателей: Легко видеть, что существует лишь конечное число произведений степе- степеней образующих элементов а±, а2, . . ., ап данной длины h. Множество всех произведений степеней этих элементов будет, следовательно, суммой группа G будет не более чем счетной. Примеры 3 и 4 настоящего параграфа показывают, что существуют счетные группы, не имеющие конечных систем образующих. Группы с конечным числом образующих составляют, следовательно, класс групп, промежуточный между конечными и счетными группами. Всякая подгруппа группы с конечным числом образующих будет, конечно, не более чем счетной. В гл. 9 мы встретим, однако, примеры не обладают конечными системами образующих. Группы с конечным Заметим, что таким же путем, как выше, можно доказать, что если группа G обладает бесконечной системой образующих {без повторений) мощности ttt, то и сама группа имеет мощность т. Литература: Курош А. Г Теория групп, Наука, Москва 1967г