67577

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

Лекция

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

Для нулевой матрицы теорема очевидно верна. Будем считать, что А0. Выберем из множества ненулевых элементов А любой из наименьших по модулю и назовем его главным элементом А. Абсолютная величина главного элемента будет обозначаться h(A). Таким образом для любого ненулевого элемента этой матрицы.

Русский

2014-09-12

209.5 KB

0 чел.

Лекция№6

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

Часть вторая: классификация.

Как было показано на предыдущей лекции, каждая г.к.о. G с n образующими задается  (n m) матрицей , причем эквивалентные матрицы определяют одинаковые группы. Будем называть прямоугольную матрицу А диагональной , если все ее элементы =0 при i j. Последовательно перечисляя ее диагональные элементы, будем записывать такую матрицу в виде: A=diag().

Теорема о приведении матрицы к диагональному виду.

Всякая целочисленная прямоугольная матрица А эквивалентна диагональной матрице  diag(), с положительными , причем все числа  - целые.

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

Для нулевой матрицы теорема очевидно верна. Будем считать, что А0. Выберем из множества ненулевых элементов А любой из наименьших по модулю и назовем его главным элементом А. Абсолютная величина главного элемента будет обозначаться  h(A). Таким образом для любого  ненулевого элемента этой матрицы .

Лемма

Существует матрица эквивалентная А, все элементы которой кратны ее главному элементу.

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

Выберем среди всех матриц эквивалентных А ту матрицу , у которой h() минимально. Покажем, что эта матрица удовлетворяет условию, указанному в лемме. Проведем доказательство от противного. Пусть  - главный элемент этой матрицы  так что  . Допустим, что некоторый элемент этой матрицы не делится на  нацело и придем к противоречию. Рассмотрим 3 случая. Пусть сначала p=i, то есть выбранные элементы расположены в одной строке. Разделим на с остатком: , где . Вычитая из q-ого столбца  j-ый с коэффициентом s, придем к эквивалентной матрице , у которой h()r<h(), что противоречит выбору матрицы . Если p i, но q=j, то можно произвести аналогичное преобразование строк матрицы, что опять приведет нас к противоречию. Пусть, наконец, все элементы i-ой строки и все элементы j-ого столбца кратны  , но  не делится на главный элемент нацело. Пусть k=. Вычитая из p-ой строки  ее i-ую строку с коэффициентом (k-1) придем к эквивалентной матрице , у которой  и элемент не делится на  нацело. Имеем: h()=h(A). Строгое неравенство приводит к противоречию; если же имеет место равенство, мы получаем первый случай и снова впадаем в противоречие. Лемма доказана.

Доказательство теоремы будем проводить индукцией по n. При n=1 утверждение теоремы очевидно. Пусть теорема уже доказана для матриц с (n-1) строкой. Рассмотрим матрицу А с n строками. Выберем для нее эквивалентную матрицу , удовлетворяющую условиям леммы. Пусть . Переставляя строки и столбцы   и если надо умножая ее строку на -1, приходим к эквивалентной матрице  , у которой . Вычитая теперь из каждой строки ее первую строку с подходящим коэффициентом и проделывая аналогичные операции с ее столбцами, приходим к матрице, у которой все элементы первой строки и первого столбца равны 0 за исключением первого элемента, равного , причем все элементы этой матрицы кратны . Применяя предположение индукции к матрице , полученной вычеркиванием первой строки и первого столбца, мы и завершаем доказательство теоремы.

Пример.

(стрелками обозначены э.п. строк и столбцов)

.

Опишем теперь структуру группы G с  с.о.   , для которой =diag() , причем мы считаем, что  По построению G=, где H- подгруппа с с.о. {}. Пусть -циклическая подгруппа G.  Очевидно, ( при i>r). Каждый элемент  однозначно представляется в виде суммы:  , где 0< при i=1,2,...r и при i>r .

Определение.

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

Таким образом, диагональный вид матрицы  означает, что , где количество слагаемых  Z равно n-r . Очевидно, что слагаемые, отвечающие тривиальным группам (d=1) могут быть исключены из этой суммы.

Примеры.

Очевидно, что .

Отметим, что если все подгруппы  имеют конечные порядки  , то порядок  равен .

Подгруппа   состоит из элементов: , а - из элементов  . Поскольку += и +=, мы видим, что .

В развитие предыдущего примера установим, что, если числа p и q взаимно просты, то. Используем основную теорему теории делимости: существуют целые x и y, такие что 1=xp+yq . Отсюда для любого n получаем, что n=nyq+nxp и значит . Остается заметить, что эти группы имеют одинаковые порядки.    

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

Подводя итог всему вышесказанному, можно утверждать, что всякая г.к.о. G является прямой суммой своих циклических подгрупп ,                                        (1)

 где порядки  конечных подгрупп удовлетворяют условию: числа - целые. Разложение (1) называется первым каноническим разложением группы G.


 

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

11851. Шифраторы (кодеры) и дешифраторы 55.5 KB
  Лабораторная работа №5 Шифраторы и дешифраторы Теоретическое введение Шифраторы кодеры используются чаще всего для преобразования десятичных чисел в двоичный или двоичнодесятичный код например в микрокалькуляторах в которых нажатие десятичной клавиши со
11852. Цифровой компаратор 81.5 KB
  Лабораторная работа №6 Цифровой компаратор Теоретическое введение Цифровые компараторы от английского compare сравнивать выполняют сравнение двух чисел А В одинаковой разрядности заданных в двоичном или двоичнодесятичном коде. В зависимости от схемного исп...
11853. Устройство контроля четности 67 KB
  Лабораторная работа №7 Устройство контроля четности Теоретическая часть Операции контроля четности двоичных чисел позволяет повысить надежность передачи и обработки информации. Ее сущность заключается в суммировании по модулю 2 всех разрядов с целью выяснени
11854. Модуляция и детектирование сигналов оптического диапазона 542.5 KB
  Тема: Модуляция и детектирование сигналов оптического диапазона Текст лекции № 20 по дисциплине: Теория электрической связи Модуляция и детектирование сигналов оптического диапазона Введение Волоконно-оптические линии связи ВОЛС имеют ряд преимущес...
11855. Характеристики модуляции сигналов оптического диапазона 683.5 KB
  Текст лекции № 21 по дисциплине: Теория электрической связи Характеристики модуляции сигналов оптического диапазона Введение Волоконнооптические линии связи ВОЛС имеют ряд преимуществ по сравнению с линиями связи на основе металлических кабелей. К ни
11856. Представление аналогового сигнала в цифровом виде 163.5 KB
  Текст лекции № 22 по дисциплине: Теория электрической связи Представление аналогового сигнала в цифровом виде Введение Цифровая обработка сигналов как направление развития науки и техники зародилась в 1950х годах. За прошедшие 50 лет благодаря успехам микро
11857. Робота з Кубом Caché 1.1 MB
  Лекція 2. Робота з Кубом Caché Для розробки застосувань та роботи з БД система Caché пропонує наступний набір утиліт: студію Caché Studio; термінал Caché Terminal; портал управління системою. Дані утиліти запускаються з Cachéкуба розташованого в панелі задач рис. 1. ...
11858. Думи мої, думи мої 58 KB
  Думи мої думи мої. Літературний вечір 1. Ведуча. Я вас вітаю з березневим днем. І всетаки зійдуть сніги і нам привітно усміхнуться дерева своїм листям трава і квіти. І прилетять гусилебеді. Такого ж березневого дня колись принесли лемки до кріпацької хати малень
11859. Хімія - світ кави 92 KB
  Тема: Хімія світ кави. Мета: поглибити знання з хімії. Форма проведення: хімічний вечір Оформлення сцени: фізична карта світу прапорцями відмічено країни де виробляють каву: Бразилія Колумбія Уганда КостаРіка Камерун Сальвадор Гватемала Мексика Перу Інд