67576

Коммутативные группы с конечным числом образующих

Лекция

Математика и математический анализ

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

Русский

2014-09-12

181.5 KB

3 чел.

Лекция№5

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

Часть первая: общая теория

Определение

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

Примеры.

Циклическая группа - группа с одной образующей.

Группа   всех n-мерных векторов с целочисленными координатами с операцией сложения имеет стандартную с.о. e= , где - вектор, у которого единственная ненулевая координата - i ая , равная 1.

Отметим, что Z . Будем также считать, что   - тривиальная группа.

Система {3,7} - является с.о. группы Z . Это вытекает из тождества: m= m*7+(-2m)*3 .

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

Группа Q рациональных чисел с операцией сложения не является г.к.о.  В самом деле, если  - любые рациональные числа, записанные в виде отношения целых, то,  приводя к общему знаменателю сумму , получим дробь, знаменатель которой не превосходит N= . Поэтому любая несократимая дробь с большим чем N знаменателем не является целочисленной линейной комбинацией данных рациональных чисел и они не образуют с.о.

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

Теорема о подгруппах г.к.о.

Всякая подгруппа H группы G с с.о.  допускает конечную с.о. , причем .

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

Проведем индукцию по числу n образующих группы G . При n=1 G -циклическая группа и для нее теорема верна, так как всякая ее подгруппа циклична. Пусть для групп с (n-1) образующей теорема уже доказана; рассмотрим случай сформулированный в теореме. Определим множество

. Легко проверить, что - подгруппа и потому P=kZ, где . Если k>0 выберем  так, чтобы . Пусть - подмножество G, состоящее из всевозможных линейных комбинаций , где все  . Очевидно, что - подгруппа G с (n-1) образующей. Пусть также - подгруппа . По предположению индукции  допускает конечную с.о. , где . Если k=0, и теорема доказана. Предположим, что k>0. Докажем тогда, что - с.о. подгруппы H. Пусть - произвольный элемент. Тогда h= . Значит,

=и потому=, откуда  и теорема полностью доказана.

Итак, любая подгруппа г.к.о. является г.к.о. Укажем удобный способ задания группы G с заданной с.о.  с помощью матриц. Рассмотрим стандартный гомоморфизм . Тогда H=Ker- подгруппа г.к.о. и потому имеет конечную с.о. . Поскольку  , можно записать: , где . Матрица  с этими элементами полностью описывает подгруппу H, а, следовательно, и группу G.

Примеры.

Пусть G=- циклическая группа с образующей g. Стандартный гомоморфизм  имеет ядро nZ с образующей n. Здесь - (11) матрица (n).

Пусть G=- мультипликативная группа вычетов по модулю 20. Эта группа состоит из 8 элементов: {1, 3,7,9,11,13,17,19} ( для упрощения записи мы не ставим черту над соответствующим вычетом). Циклическая подгруппа Z(3) как нетрудно видеть состоит из элементов 1, 3, 9, 7; циклическая группа Z(13) - из элементов 1, 13, 9,17. Поскольку 3*13=19 и *13=11, мы видим, что каждый элемент из  может быть записан в виде , то есть {3, 13} -с.о. группы G. Стандартный гомоморфизм     

действует по формуле: . Ядро этого гомоморфизма  состоит из таких двумерных векторов , для которых  =1, то есть элементы и должны быть взаимно обратными. Это возможно только когда оба вычета равны 1 или 9, что соответствует значениям n=4p; m=4q или n=4p+2; m=4q+2 (). Отсюда видно, что в качестве образующих  можно выбрать элементы и  . Поэтому получаем: .

Замечание.

Построение матрицы  для данной г.к.о. G зависит от выбора с.о. группы G и подгруппы . Существует стандартный способ изменения с.о. - выполнение элементарных преобразований (э.п.). Как известно, имеются 3 типа элементарных преобразований: перестановка образующих, умножение одной из образующих на число p и прибавление к одной образующей кратного другой. Для того, чтобы при этих преобразованиях снова получалась с.о. необходима их обратимость. Поэтому число p может быть равно только 1 или -1. Выполнение  э.п. с.о. G приводит к преобразованиям строк матрицы , а э.п. с.о. H приводят к преобразованиям столбцов той же матрицы. Назовем две целочисленные матрицы эквивалентными, если одна из них получается из другой э.п. строк и столбцов . Из сказанного выше вытекает, что эквивалентные матрицы отвечают одной и той же группе. Отметим еще, что если B- любая , то взяв в качестве -множество всевозможных целочисленных комбинаций столбцов B и образовав факторгруппу G=  мы придем к группе, для которой =B. Таким образом, любая целочисленная матрица определяет некоторую г.к.о.

 


 

А также другие работы, которые могут Вас заинтересовать

73856. Начало княжеских усобиц при Святополке Изяславиче. Нашествия половцев 177.5 KB
  Вопрос с Киевским престолом. Теперь правами на Киев согласно праву старшинства обладали сыновья Изяслава из которых в живых остался только Святополк затем сыновья Святослава и только затем сыновья Всеволода. Киев мог бы занять и Владимир Мономах однако этого он не сделал опасаясь вражды со Святополком. Святополк пришел в Киев и был принят киевлянами с радостью.
73857. Новгородская земля 149.5 KB
  Участие Новгорода во Владимирских усобицах. После разгрома Ростиславичей в борьбе за Владимир Новгородцам для противостояния с Всеволодом Большое гнездо пришлось идти на союз со Смоленском. И новгородцы призвали сына киевского князя Святослава Всеволодовича Черниговского Владимира.
73858. Роль налога как основной категории налогового права 110.5 KB
  Роль налога как основной категории налогового права. Понятие налога и виды налогов. Категория налога исследуется учеными с различных позиций. Финансовый аспект связан с выражением экономической сущности налога и проявляется в экономической природе отношений возникающих между государством и налогоплательщиком.
73859. Характеристика элементов юридической конструкции налога. 235.5 KB
  Характеристика элементов юридической конструкции налога. Между элементами юридической конструкции налога образуются системные связи которые определяют особенности функционирования этой системы и определяют характеристики устанавливаемого налога как целостного правового механизма. Поэтому целесообразно рассматривать характеристики элементов юридической конструкции налога в той последовательности в которой они используются при формировании законопроекта о конкретном налоге и при исследовании действующих законов о налогах. Группа элементов...
73860. Налоговое право как подотрасль финансового права 58 KB
  Налоговое право как подотрасль финансового права. Понятие подотрасли налогового права и его место в системе финансового права. Налоговое право в качестве подотрасли финансового права начинает формироваться с конца 20 века в связи с законодательным установлением в Российской Федерации системы налогообложения нового типа. Подотрасль налогового права включает всю совокупность юридических норм осуществляющих правовое регулирование в сфере налогообложения.
73861. Федеральные налоги и сборы 341 KB
  Налогоплательщиками налога на добавленную стоимость признаются: организации; индивидуальные предприниматели; лица признаваемые налогоплательщиками налога на добавленную стоимость в связи с перемещением товаров через таможенную границу Таможенного союза определяемые в соответствии с таможенным законодательством Таможенного союза и законодательством Российской Федерации о таможенном деле. Освобождение не применяется также в отношении обязанностей возникающих в связи с ввозом товаров на территорию Российской Федерации и иные территории...
73862. Региональные и местные налоги 166.5 KB
  Исходя из этого в юридической конструкции каждого регионального местного налога можно выделить две группы элементов: нормативное содержание которых строго устанавливается федеральным законом для их неизменного действия на всей территории Российской Федерации;
73863. Соотношение понятий «налоговая система», «система налогообложения» и «система налогов» 125.5 KB
  Опираясь на выработанные в науке теоретические характеристики отдельных сторон налоговой системы, представляется возможным рассматривать налоговую систему как сложное правовое, социальное, экономическое и политическое явление общественной жизни и сложную систему, включающую комплекс взаимосвязанных и взаимообусловливающих друг друга элементов. Можным выделить следующие образующие налоговую систему элементы
73864. Налогово-правовые нормы и отношения 179 KB
  Именно поэтому нормы входящие в состав юридической конструкции конкретного налога являются изначально обязывающими и императивными за исключением нормы устанавливающей льготы. Закон не предусматривает диспозитивного регулирования отношения возникающего между налогоплательщиком и государством по поводу уплаты налога. Все юридические характеристики элементов юридической конструкции конкретного налога не имеют альтернативы а метод воздействия норм на отношение при их реализации является императивным методом. При этом установление...