Скрученные подмножества в группах и их обобщения тема автореферата и диссертации по математике, 01.01.06 ВАК РФ

Вепринцев, Дмитрий Владимирович АВТОР
кандидата физико-математических наук УЧЕНАЯ СТЕПЕНЬ
Красноярск МЕСТО ЗАЩИТЫ
2008 ГОД ЗАЩИТЫ
   
01.01.06 КОД ВАК РФ
Диссертация по математике на тему «Скрученные подмножества в группах и их обобщения»
 
Автореферат диссертации на тему "Скрученные подмножества в группах и их обобщения"

На правах рукописи

ВЕПРИНЦЕВ ДМИТРИЙ ВЛАДИМИРОВИЧ

СКРУЧЕННЫЕ ПОДМНОЖЕСТВА В ГРУППАХ И ИХ ОБОБЩЕНИЯ

01 01 06 — математическая логика, алгебра и теория чисел

АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата физико-математических наук

Краспоярск-2008

1 Б та га

003172249

Работа выполнена в Красноярском государственном а! рарном университете

Научный руководитель

доктор физико-математических наук, профессор Беляев В В

Официальные оппоненты

доктор физико-математических наук, доцент Васильев А В

доктор физико-математических наук, доцент Колесников С Г

Ведущая организация

Институт математики и механики УрО РАН

Защита состоится 30 06 2008 г в часов на заседании

диссертационного совета Д212 099 02 при Сибирском федеральном университете по адресу 660041, г Красноярск, пр Свободный, 79

С диссертацией можно ознакомиться в библиотеке Сибирского федерального университета

Автореферат разослан "¿9 " и<1&тЯ- 2008 г

Ученый секретарь диссертационного совета

Вушуева Н А

Общая характеристика работы

Актуальность темы

В работе [8] М Лнгбалср вводит понятие врученной подгруппы в группе При этом скрученной подгруппой (twisted subgroupJ называется подмножество К группы G, удовлетворяющее следующим условиям (tsl) 1 6 К,

(ts2) Если х,у € К, то хух е К

В В Беляевым было замечено, что в ряде случаев вместо свойства (ts2) удобнее рассматривать свойство

(ts2*) Если i,je К, то ху~1х 6 К

Подмножество К группы G, для которого выполняются (tsl) и (ts2*) называется скрученным подмножеством

Нетрудно показать, что скрученные подмножества всегда являются скрученными подгруппами В конечных группах справедливо и обратное При этом стоит заметить, что М Ашбахер в [8] работает только в конечных группах

Понятно, что любая подгруппа в группе является скрученным подмножеством В качестве нетривиальных примеров скрученных подмножеств можно указать множество инволюций группы, пополненное 1, а также множества 1(<р) = { х € G \ ¡р(х) = х~1} и D(ip) = {x~l<p{x) | х е G}, где <р — инволютивный автоморфизм группы G

Следует отметить, что понятия скрученного подмножества и скрученной подгруппы в группе были введены недавно, ноэтому пока эти объекты не подвергались систематическому изучению Так, например, в работе [8] М Ашбахер исследует в основном скрученные подгруппы специального вида, которые возникают в работе Т Федера и М Варди [13] и связаны с прикладными задачами

С другой стороны, понятие скрученного подмножества обнаруживает связь с рядом классических объектов, которые происходят как из теории групп так и из геометрии и теоретической физики

Остановимся на этой связи более подробно, но сначала заметим, что

определив на произвольной группе б бинарную операцию

х о у = ху~хх

для всех х, у € й, мы ставим в соответствие группе б группоид (С, о), в котором выполняются следующие тождества (э1) хох — х, (в2) х о (х о у) = у, (вЗ) х о (у о г) = (х о у) о (х о г).

1 По всей видимости, первым историческим примером изучения системы тождеств (в!.)—(вЗ) является понятие симметрического пространства, ставшее классическим благодаря работам Э Картана, и вошедшее в учебники по дифференциальной геометрии ([7])

Пользуясь современной терминологией [2], симметрическим пространством называют гладкое многообразие М, на котором задана бинарная операция, удовлетворяющая тождествам (з1)—(вЗ) и дополнительному топологическому свойству

(в4) для любой точки х из М существует такая ее окрестность (7, что равенство хоги = и) влечет равенство х — и) для всех точек ги € II

Операция "о" имеет следующую геометрическую интерпретацию если А и В — точки некоторой поверхности М, лежащие достаточно близко друг от друга, то А о В — точка геодезической, проведенной из В в А, лежащая симметрично точке В относительно А

2 В теории групп лиева типа возникает понятие системы корней, необходимое для построения группы Вейля [И]

Пусть V — евклидово пространство Скалярное произведение векторов х, у £ V будем обозначать через (х,у) Для произвольного ненулевого вектора V 6 V определяется отображение V —» V

2(х,у)

•Шу(х) =х - -г-У,

(V, V)

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

Конечное подмножество Ф ненулевых векторов пространства V называется системой корней V [11], если выполняются следующие аксиомы

(1) Ф порождает V

(2) Если г, я е Ф, то тг(я) е Ф

(3) Если г, в £ Ф, то 2(г, в)/(г, г) — целое число

(4) Если г, Ля ё Ф, где Л е ж, то Л = ±1

Пусть Ф — система корней пространства V Нетрудно проверить, что определив на Ф бинарную операцию

г о э = гуг(в)

для произвольных г, в £ Ф и профакторизовав группоид (Ф, о) по разбиению на подмножества вида {г,—г}, получим фактор-группоид, в котором бинарная операция " о " удовлетворяет тождествам (в1)—(зЗ)

3 В связи с задачей классификации симметричных билинейных форм большую роль играет множество симметричных матриц в матричных кольцах

Пусть 5 — множество симметричных матриц в матричной группе в Тогда понятно, что Е € 5, где Е — единичная матрица Оказывается также, что для произвольных матриц X, У 6 5 матрица X о У = ХУ~1Х снова содержится в в Это можно проверить непосредственно, а можно заметить, что 5 совпадает с множеством /(у), где (р — инволютивный автоморфизм группы С?, переводящий произвольную матрицу X в матрицу (Х~г)т

Таким образом, множество 5 является скрученным подмножеством группы (7

4 В работах [16], [17], Дж Глауберман исследовал группы нечетного порядка с введенной следующим образом бинарной операцией х<Эу — х^ухъ Относительно этой операции группа является лупой

Заметим, что если подмножество Я группы нечетного порядка содержит 1 и замкнуто относительно операции "0", то Я замкнуто и относительно операции х * у — хух, поскольку х * у = I 0 (х О ¡/) Таким образом, следуя терминологии М Ашбахера [8], множество Я есть скрученная подгруппа Но нетрудно показать, что тогда Я есть скрученное подмножество Справедливо и обратное, то есть, если Н — скрученное подмножество из группы нечетного порядка, то Н замкнуто относительно операции "о"

Таким образом, фактически, в работах [16], [17] изучались скрученные подмножества в группах нечетного порядка

Возвращаясь к свойствам операции "0"в группах нечетного порядка, что Дж Глауберман в [16] отмечает следующее тождество

х О (у О (х О z}) ~ (х О (у О х)) О г В работах [18, 20] рассматривается двойственное тождество

((г © х) О у) О х = г © ((ж О у) О х) Лупы, в которых имеет место последнее тождество называются правыми лупами Бола В работе [9] М Ашбахер, следуя Бэру [10], для произвольной лупы (X, ) рассматривает множество К(Х) = {R(x) | х 6 X} С Sym(X), где каждая подстановка R(x) действует на X следующим образом yR{x) = у х для всякого у £ X Со ссылкой на работы [14, 19], Ашбахер отмечает, что лупа А" является правой лупой Бола тогда и только тогда, когда множество подстановок -ЙТ(АТ) является скрученным подмножеством группы Sym(X)

5 Гирогруппы — это лупы специального вида, которые впервые появились в работе Абрахама А Унгара [21] в 1988 году В этой работе рассматривался так называемый релятивистский группоид M.f, в котором бинарная операция не является ни коммутативной, ни ассоциативной Понятие гирогруппы обобщает конструкцию релятивистского группоида Rf Физические интерпретации гирогрупп приводятся в работах [22] и [23], а в работах: [15], [24] показано, что любая гирогруппа может быть вложена в некоторую группу в виде скрученной подгруппы Таким образом, скрученные подмножества в группах обнаруживают связь с конструкциями, возникающими в теоретической физике

В силу приведенных выше примеров правомерно поставить общий вопрос об изучении скрученных подмножеств и разработке некоторой теории этих структур Заметим, что построению начал такой теории посвящены работы Мыльникова А Л [3, 4, 5, 6] и совместная работа Беляева В В и Мыльникова А Л [1]

Цель диссертации

Целью диссертации является исследование свойств скрученных подмножеств в группах с точки зрения тождеств, которым удовлетворяет операция х о у = ху~*х, и изучение поведения скрученных подмножеств в подгруппах, ими порожденных Основные результаты

1 Построены примеры негрупповых симметроидов и симметроидов, изоморфно не вложимых в групповые

2 Показано, что проективные скрученные подмножества и только они порождают в конечной группе 2-подгруппы

3 Описаны конечные группы, обладающие ииволютивным автоморфизмом, который оставляет неподвижными ровно два класса сопряженных элементов

Методы исследования

Применяются методы теории групп Научная новизна

Все основные результаты диссертации являются новыми Практическая ценность

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

Диссертация состоит из введения и четырех глав основного текста Список литературы состоит из 41 наименования Работа изложена на 96 страницах текста, набранного в редакционно-издательской системе ИЩХ Публикации

Основные результаты по теме диссертации опубликованы в работах [25, 26, 27, 28, 29]

Содержание диссертации.

Диссертация состоит из введения и четырех глав В каждой главе нумерация утверждений начинается заново

Глава I

В первой главе диссертации исследуется операция скручивания в группах Определим на произвольной группе G бинарную операцию х о у = ху^х для всех х, у € G Таким образом группе G соответствует группоид (G, о) Понятно, что скрученными подмножествами группы G являются подгруппоиды группоида (G, о), содержащие 1 Как замечено выше, в группоиде (G, о) выполняются тождества (sl)-(s3) Введем основные определения

Определение [Беляев В.В ] Пусть (S,°) — группоид, в котором выполняются тождества (si), (s2) и (s3) Тогда S будем называть симметроидом, а операцию „о" — скручиванием

Определение. Если G — группа, то симметроид (G, о) будем называть присоединенным симметроидом группы G и обозначать через S[G)

Определение Симметроиды S и Т будем называть изоморфными, если существует такое биективное отображение <р S —► Т, что ^(sj о s2) — v(si) 0 v(52) для всех sb S2 € S

Определение. Симметроид будем называть групповым, если он изоморфен присоединенному симметроиду некоторой группы

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

Определение. Элементы а и Ь симметроида S будем называть коллинеарными, если а о х — b о х для произвольного х € S

Нетрудно показать, что в произвольном симметроиде отношение коллинеарности является конгруэнцией Фактор-симметроид симметроида S по отношению коллинеарности будем обозначать через P(S)

Определим теперь для произвольного симметроида S последовательность

P°(S), Pl(S), , P"(S), , где P°{S) = S, и Pn(S) = P(Pn~1(S)) для n > 1

Определение. Симметпроид Б будем называть проективным, если Рп(8) — одноэлементный симметпроид для некоторого п

Получены следующие результаты о проективных симметроидах

'Георема 3. Пусть б — конечная группа и 5(С) — присоединенный симметпроид группы С? Тогда следующие условия эквивалентны

(1) £(<3) — проективный симметпроид,

(2) в - 2-группа

Теорема 4. Пусть б — конечная группа, (3 ф. 1 и Б — скрученное подмножество из (7 такое, что С =< 5 > Тогда следующие условия эквивалентны

(1) Б — проективный симметроид,

(2) <3 — 2-группа

Мы вводим понятие симметроида, исходя из свойств операции скручивания в группах А любой ли симметроид может быть получен таким образом7 Точнее

Вопрос 1. Всякий ли симметроид является групповым?

Ответ оказывается отрицательным Доказана

Теорема 5 Существуют негрупповые симметроиды

Таким образом, существуют симметроиды, которые не реализуются как присоединенные к группам Следующий вопрос возникает в связи с решением первого вопроса

Вопрос 2. Всякий ли симметроид изоморфно вложим в групповой?

Ответ снова оказывается отрицательным Получена

Теорема 6. Существуют симметроиды, изоморфно не вложимые в групповые

Значит, имеются симметроиды, которые не реализуются как скрученные подмножества в группах С другой стороны, получены достаточные условия вложимости Например, симметроид не содержащий двух различных коллинеарных элементов изоморфно вложим в групповой

Глава II

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

Пусть скрученное подмножество Т порождает группу С Тогда справедливы (см ниже) два утверждения

(Я) Для любого х 6 (? существует у € С? такой, что Тх = уТ (Ь) Для любого ж € С существует у е (7 такой, что хТ — Ту Определение Подмножество Т группы С?, удовлетворяющее (Я) и (Ь) назовем симметричным

Естественно возникает вопрос о связи между свойствами (Я) и (Ь) Вопрос. Верно ли, что условия (Я) и (Ь) равносильны? В общем случае вопрос открыт, но в случае конечной группы получен положительный ответ

Теорема 2. Пусть (3 — конечная группа иТ — подмножество из С? Тогда условия (Я) и (Ь) эквивалентны

В главе обобщаются некоторые понятия и результаты статьи М Ашбахера [8], посвященной исследованию скрученных подмножеств в группах Оказывается, что часть результатов, сформулированных в [8] для скрученных подмножеств, остается справедливой и для симметричных

Определение. Пусть 5 — симметричное подмножество группы (2 Ядром 5 будем называть подгруппу Кег(З) = { д; 6 <5 | = ^ }

Ядро симметричного подмножества является нормальной подгруппой в группе

Определение. Симметричное подмножество 5 группы С назовем редуцированным, если Кег(Б) — 1

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

Теорема 3. Пусть б — гомоморфный образ группы С7 под действием гомоморфизма и 5" — симметричное подмножество из (3 Тогда

(1) Б — симметричное подмножество группы б

(2) если С? = 6г//Гег(5'), то 5 - редуцированное симметричное подмножество группы й

Далее, в работе [8] при определенных предположениях по скрученному подмножеству строится инволютивный автоморфизм группы Оказалось,

что аналогичное построение может быть проведено и для симметричных подмножеств Построенный при этом автоморфизм уже не обязательно является инволютивным

Теорема 4 Пусть Б — редуцированное симметричное подмножество группы Тогда

(1) Для любого 1€(? существует единственный у 6 б такой, что хБ = Бу,

(2) Отображение х —> у является автоморфизмом группы С

Определение. Автоморфизм х —» у будем называть

автоморфизмом, ассоциированным с редуцированным симметричным подмножеством Б Обозначим этот автоморфизм через ¡/^

Определение [Беляев В.В ] Пусть б — произвольная группа, а 6 С?, ф € АЫ(0) Дивергенцией автоморфизма •ф в точке а назовем множество = {х~1аф(х) \ х 6 (3}

Таким образом, автоморфизму группы <? ставится в соответствие набор подмножеств из Например, дивергенциями тождественного автоморфизма будут классы сопряженных элементов группы С?

Теорема 5. Редуцированное симметричное подмножество 5 группы является объединением некоторого набора дивергенций ассоциированного автоморфизма <р 5 = У

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

Теорема 7. Пусть Т — скрученное подмножество группы (?, причем < Т >= С Тогда Т — симметричное подмножество группы С

Глава III

Цусть б — конечная группа и уз — автоморфизм группы й Введем обозначения

А((р, С) — число дивергенций автоморфизма (р в группе С,

6(<р, <3) — число (^инвариантных классов сопряженных элементов группы О

Получены следующие основные результаты

Теорема 2. Пусть С — конечная группа и <р — автоморфизм группы С Тогда следующие условия эквивалентны

(1)А(<р,0) = 1,

(2) Са{<р) = 1

Теорема 5 Пусть С — конечная группа и (р — произвольный автоморфизм группы С? Тогда 6(<р, С?) = Д(у, С)

Глава IV

В заключительной главе диссертации рассматриваются автоморфизмы конечных групп, близкие к регулярным Пусть О — конечная группа и уз — автоморфизм группы С? Тогда р действует на множестве классов сопряженных элементов из в Естественно возникает вопрос о связи между числом С) и другими числовыми характеристиками автоморфизма (р

Из результатов главы III следует, что в случае конечной группы автоморфизмы с 6(<р, (7) = 1 — это в точности регулярные автоморфизмы

Предположим теперь, что <р — автоморфизм конечной группы С и 6((р, (?) = 2 Тогда удается показать, что |Сс(^)| = 2, то есть всякий автоморфизм с двумя неподвижными классами сопряженных элементов имеет ровно две неподвижные точки Отметим, что обратное утверждение неверно, и, таким образом, условие 5(<р, б) = 2 (или эквивалентное условие Д (<£>, С) = 2) выделяет некоторый собственный подкласс в классе автоморфизмов с двухэлементным централизатором

В главе исследуются конечные группы, обладающие инволютивным автоморфизмом с Д(у, (7) = 2 Интерес к случаю инволютивного автоморфизма вызван прежде всего тем, что дивергенция такого автоморфизма в точке 1 является скрученным подмножеством в группе Для формулировки результатов оказалось удобным Определение. Пусть С — группа и <р — автоморфизм й Группу (2 будем называть <р-приводимой, если (7 представима в виде прямого произведения двух нетривиальных ¡р--инвариантных подгрупп, и <р-неприводимой в противном случае

Основными результатами главы являются теоремы 2 и 3, первая из которых сводит изучение конечной (^-приводимой группы с условием A(tp,G) = 2 к исследованию (^-неприводимых групп с таким же условием, а вторая дает список ^-неприводимых групп

Теорема 2 Пусть G — конечная группа и tp — автоморфизм группы G Тогда следующие условия эквивалентны

(I) tp — инволютивный автоморфизм G, Д(tp, G) = 2 и G tp-приводима

(II) G = В х А, где В и А — нетривиальные tp-инвариантные подгруппы из G, причем

(a) А — абелева группа нечетного порядка и ip(a) = а"1 для всех

а € А

(b) Выполняется одно из условий

(1) В — группа порядка 2

(2) tp — инволютивный автоморфизм В, Д(<р, В) = 2 и В tp-неприводима

Теорема 3 Пусть G — конечная группа и tp — автоморфизм группы G Тогда следующие условия эквивалентны

(I) ip — инволютивный автоморфизм G, A(ip,G) = 2 и G tp-иеприводима

(II) Группа G и автоморфизм <р удовлетворяют одному из случаев

(1) G —< Ь > — циклическая 2-группа порядка > 2, ip(b) = b~\

(2) G =< b > — циклическая 2-группа порядка > 4, tp(b) = 6_1ui, где w — инволюция из В,

(3) G =< w > х < b > — четверная группа Клейна, где w и b — инволюции, tp(w) = w, <p(b) = bw,

(4) G = Q\ A, причем

(г) Q =< w > x < b >, где w и b — инволюции,

(и) A =< a >, где a — элемент порядка 3™ для n > 1, wa — b,

(m) ip(w) = w, <p(b) = bw, y?(a) = a-1

Автор выражает глубокую благодарность профессору В В Беляеву, под руководством которого выполнена эта работа

Апробация

Результаты диссертации докладывались автором на алгебраических семинарах Красноярского Государственного Университета, Красноярского Государственного Аграрного Университета, Московского Государственного Университета, Московского Физико-Технического Института, на конференциях "Мальцевские чтения "в 2005, 2006 гг и международной конференции "Алгебра и ее приложения", посвященной 75-летию профессора ВП Шункова в 2007 г

Список литературы

[1] Беляев, В В Оценка порядка группы, порожденной конечным скрученным подмножеством /В В Беляев, А Л Мыльников //Математические системы Вып 6 /Краснояр гос аграр ун-т — Красноярск, 2007 —С 3—5

[2] Лоос, О Симметрические пространства /О Лоос—M Наука, 1985

[3] Мыльников, А Л Конечные перекрученные группы /А Л Мыльников //Математические системы Вып 3 /Краснояр гос аграр ун-т— Красноярск, 2005 —С 53-58

[4] Мыльников, А Л Нильпотентность коммутанта конечной перекрученной группы /А Л Мыльников //Сиб матем ж—2006 — T47-N5-C 1117-1127

[5] Мыльников, АЛ О ступени разрешимости конечной перекрученной группы /АЛ Мыльников //Вестник Красноярского госуниверситета— 2006 -N1 -С 61-67

[6] Мыльников, А Л Конечные минимальные неперекрученные группы /А Л Мыльников //Вестник Красноярского госуниверситета —2005 — N1 —С 71-76

[7] Трофимов, В В Введение в геометрию многообразий с симметриями /В В Трофимов- M Изд-во МГУ, 1989

[8] Aschbacher, M Near subgroups of finite groups /M Aschbacher //J Group Theory—1998 —v 1 N2 -P 113-129

[9] Aschbacher, M On Bol loops of exponent 2 ,/M Aschbarher //1 of Algebra 288(2005) -P 99-136

[10] Ba«r, R Nets and Groups /R Baer //Trans Amer Math Soc 47(1939) —P 110-141

[11] Carter, R W Simple groups of Lie type /R W Carter //New York Wiley and Sons -1972

[12] Feder, T Strong near subgroups and left gyrogroups /T Feder//J of Algebra 259(2003)-P 177-190

[13] Feder, T The computational structure of monotone monadic S!\iP and constraint satisfaction A study through datalog and group theory /T Feder, M Vardi //SIAM J Comput N28 -1998 -P 57-104

[14] Foguel, T On twisted subgroups and Bol loops of odd order /T Foguel, M Kmyon, J Philips //submitted for publication

[15] Foguel, T Involutory decomposition of groups into twisted subgroups and subgroups /T Foguel, A A Ungar //J Group Theory 3(2000) -P 27-46

[16] Glauberman, G On loops of odd order /G Glauberman //J of Algebra — 1964 N1 -P 374-395

[17] Glauberman, G On loops of odd order II /G Glauberman //J of Algebra — 1964 N8 —P 393-414

[18] Kiechle, H Theory of K-loops, Lecture Notes in Mathematics 1778 /H Kiechle //Springer-Verlag, Berlin Heidelberg New York —2002

[19] Kreuzer, A Inner mappings of Brack loops /A Kreuzer//Math Proc Cambridge Philos Soc 123 (1998) -P 53-57

[20] Robinson, D A Bol loops /D A Robmson //Tians Amer Math Soc 123 (1966) -P 341-354

[21] Ungar, A A Thomas rotation and the parametrization of the Lorentz transformation group /А A Ungar //Found Phys Lett —1988 N1 —P 57-89

[22] Ungar, A A Thomas precession and its associated grouphke structure /А A Ungar // Amer J Phys -1991 -v 59 -P 824-834

[23] Ungar, A A The holomorphic automorphism group of complex disk /А A Ungar//Aequat Math-1994-v 47-P 240-254

[24] Ungar, A A Thomas precession its underlying gyrogroup axiom and their use m hyperbolic geometry and relativistic physics /А A Ungar //Found Phys -1997 -v 27 -P 881-951

РАБОТЫ АВТОРА ПО ТЕМЕ ДИССЕРТАЦИИ

[25] Вепринцев, Д В Симметричные подмножества в группах /Д В Вепринцев //Математические системы Вып 4 /Краснояр гос аграр унт—Красноярск, 2005—С 3—12

[26] Вепринцев, Д В Редуцированные симметричные подмножества в группах /Д В Вепринцев//Математические системы Вып 4/Краснояр гос аграр ун-т—Красноярск, 2005—С 13—17

[27] Вепринцев, Д В Конечные группы, обладающие инволютивным автоморфизмом с небольшим числом неподвижных классов сопряженных элементов /Д В Вепринцев //Математические системы Вып 6 /Краснояр гос аграр ун-т —Красноярск, 2007 —С 17—39

[28] Вепринцев, Д В Об операции скручивания в группах /Д В Вепринцев //Математические системы Вып 6 /Краснояр гос аграр ун-т— Красноярск, 2007 —С 6—16

[29] Вепринцев, Д В Инволютивная декомпозиция группы и скрученные подмножества с малым количеством инволюций /Д В Вепринцев, АЛ Мыльников //Сиб матем ж —2008 —Т49 — N2 —С 275—280

Сашпарно-эпвдемиологаческое заключение № 24 49 04 953 П 000381 09 03 от 25 09 2003 г Подписано в печать 23 05 08 Формат 60x84/16 Бумага тип №1 Печать - ризограф Объем 1 0 п л Тираж 100 экз Заказ № 1547 Издатетьство Красноярского государственного аграрного университета 660017, Красноярск, ул Ленина, 117

 
Содержание диссертации автор исследовательской работы: кандидата физико-математических наук, Вепринцев, Дмитрий Владимирович

Введение

Глава I Скрученные подмножества и симметроиды

1. Предварительные результаты.

2. Отношение коллинеарности в симметроидах.

3. Коллинеарность в групповых симметроидах

4. Проективные симметроиды.

5. Решение вопросов 1 и 2.

Глава II Симметричные подмножества в группах

1. Предварительные результаты.

2. Правые и левые подмножества.

3. Симметричные подмножества.

4. Редуцированные симметричные подмножества.

5. Связь симметричных подмножеств со скрученными.

Глава III Дивергенции автоморфизмов групп

1. Общие свойства дивергенций автоморфизмов.

2. Размеры дивергенций.

3. Вычисление числа дивергенций.

4. Ядра дивергенций.

5. Индуцированные автоморфизмы и их дивергенции.

6. Критерий инволютивной декомпозиции группы.

Глава IV Автоморфизмы малой ширины

1. Предварительные результаты.

2. Инволютивные автоморфизмы ширины 1.

3. Инволютивные автоморфизмы ширины 2.

A. Предварительный анализ.

B. Случай 2-группы.

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

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

 
Введение диссертация по математике, на тему "Скрученные подмножества в группах и их обобщения"

В работе [13] М. Ашбахер вводит понятие скрученной подгруппы в группе. При этом скрученной подгруппой (twisted subgroup) называется подмножество К группы G, удовлетворяющее следующим условиям: tsi) 1 е к, ts2) Если х,у е К, то хух е К.

В.В. Беляевым было замечено, что в ряде случаев вместо свойства (ts2) удобнее рассматривать свойство ts2*) Если х,у G К, то xy~lx G К.

Основное определение. (Беляев В.В.) Подмножество К группы G, для которого выполняются (tsl) и (ts2*) будем называть скрученным подмноэюеством.

Нетрудно показать, что скрученные подмножества всегда являются скрученными подгруппами. В конечных группах справедливо и обратное, то есть любая скрученная подгруппа есть скрученное подмножество. При этом стоит заметить, что М. Ашбахер в [13] работает только в конечных группах.

Понятно, что любая подгруппа в группе является скрученным подмножеством. В качестве нетривиальных примеров скрученных подмножеств можно указать множество инволюций группы, пополненное 1, а также множества = { х G G | ip(x) = ж-1 } и D(ip) = { x~lcp(x) | х G G }, где ip — инволютивный автоморфизм группы G.

Следует отметить, что понятия скрученного подмножества и скрученной подгруппы в группе были введены недавно. Поэтому пока эти объекты не подвергались систематическому изучению. Так, например, в работе [13] М. Ашбахер исследует в основном скрученные подгруппы специального вида, которые возникают в работе Т. Федера и М. Варди [18] и связаны с прикладными задачами.

С другой стороны, понятие скрученного подмножества обнаруживает связь с рядом классических объектов, которые происходят как из теории групп так и из геометрии и теоретической физики. Остановимся на этой связи более подробно.

Пусть С? — произвольная группа. Исходя из определим на бинарную операцию х о у := ху~хх для всех х, у £ Таким образом, мы ставим в соответствие группе Сг группоид (С?, о). При этом скрученными подмножествами группы (7 являются подгруппоиды группоида (С, о), содержащие 1.

Несложно проверить, что в любой группе выполняются следующие тождества: з1) х о х = х,

62) х о (х о у) = у,

63) х о (у о г) = (х о у) о {х о х).

Симметрические пространства

Понятие симметрического пространства, ставшее классическим и вошедшее в учебники по дифференциальной геометрии (см. например [3], [10], [11]) благодаря работам Э. Картана является, по всей видимости, первым историческим примером изучения системы тождеств (з1)—(бЗ).

Сам Э. Картан [4] определял симметрическое пространство, как риманово многообразие, любая симметрия которого сохраняет метрику.

В более поздних работах, например [5], симметрическое пространство определяется, как гладкое многообразие М, на котором задана бинарная операция, удовлетворяющая тождествам (з1)—(бЗ) и дополнительному топологическому свойству б4) для любой точки х из М существует такая ее окрестность что равенство х о уо = т влечет равенство х = ги для всех точек т Е II.

Операция "о" имеет следующую геометрическую интерпретацию. Пусть А и В — точки некоторой поверхности М, лежащие достаточно близко друг от друга. Проведем геодезическую линию / из В в А. Продолжая I далее, отложим от точки А на линии I точку С с тем условием, что \ВА\ = \АС\. Полагая, теперь А о В := С, мы вводим бинарную операцию на точках поверхности М. Проверяется, что данная операция удовлетворяет условиям (в1)-(в4).

Отметим, что общая теория симметрических пространств излагается в монографиях [2], [5], [12].

Системы корней

Понятие системы корней возникает в теории групп лиева типа и необходимо для построения группы Вейля [16].

Пусть V — евклидово пространство размерности п. Скалярное произведение векторов х, у £ V будем обозначать через {х,у). Для произвольного ненулевого вектора V £ V определим отображение V —* V

2 (Х,У) У)„{х) := х - --—г;.

Геометрически шь{х) есть отражение вектора х относительно гиперплоскости, ортогональной вектору V. Отображение тг1 является линейным оператором пространства V для всякого V ф 0, причем ш,,(г>) = —V.

Подмножество ФСК называется системой корней пространства V [16], если выполняются следующие аксиомы:

1) Ф — конечное множество ненулевых векторов.

2) Ф порождает V.

3) Если г, 5 € Ф, то гуг(5) € Ф.

4) Если Ф, то 2(г, з)/(г, г) — целое число.

5) Если г, Ля € Ф, где Л € Е, то Л = ±1.

Пусть Ф — система корней пространства V. Определим на Ф бинарную операцию г о б := гиг(з) для произвольных г, в Е Ф.

Непосредственная проверка показывает, что операция "©"удовлетворяет тождествам (з2) и (бЗ). Заметим, однако, что г ог — —г для всех г € Ф.

Далее, из условия (3) следует, что если г 6 Ф, то— г Ё Ф. Рассмотрим разбиение тг множества Ф на подмножества вида {г,—г}, где г € Ф. Нетрудно видеть, что разбиение 7Г является конгруэнцией группоида (Ф,о). Следовательно в фактор-группоиде Ф = Ф/тг выполняются (в2) и (эЗ). Кроме того в Ф выполняется и (б1).

Таким образом, произвольной системе корней можно поставить в соответствие группоид, в котором бинарная операция удовлетворяет тождествам (з1)—(эЗ).

Заметим в заключении, что если функция ги сопоставляет элементам из группоида Ф их действие на V, то образ гЬф лежит в группе ортогональных преобразований пространства V и является подмножеством, замкнутым относительно операции "о", причем гиг*03* = ги^ о гЬ8* для всех г, в £ Ф.

Симметричные матрицы

Множество симметричных матриц в матричных кольцах играет большую роль в связи с задачей классификации симметричных билинейных форм.

Пусть 5 — множество симметричных матриц в матричной группе С?. Тогда понятно, что Е € 5, где Е — единичная матрица. Оказывается также, что для произвольных матриц 6 5 матрица X о У = ХУ~1Х снова содержится в ¿>. Это можно проверить непосредственно, а можно заметить, что £ совпадает с множеством 1(<р), где <р — инволютивный автоморфизм группы (2, переводящий произвольную матрицу X в матрицу

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

Заметим, что скрученным подмножеством в (3 будет также множество матриц вида ХХТ, где X Е 6?. Это следует из того, что указанное множество совпадает с -О(^) для определенного выше автоморфизма </?.

Лупы нечетного порядка

В работах [21], [22], Дж. Глауберман исследовал группы нечетного порядка с введенной следующим образом бинарной операцией: х 0 у ух^. Относительно этой операции группа является лупой. В работе [21] для данных луп были доказаны аналоги теорем Лагранжа и Силова.

Заметим, что если подмножество Н группы нечетного порядка содержит 1 и замкнуто относительно операции "О", то Н замкнуто и относительно операции х * у — хух, поскольку х*у = х<Э(х<Эу). Таким образом, следуя терминологии М. Ашбахера [13], множество Н есть скрученная подгруппа. Но нетрудно показать, что тогда Н есть скрученное подмножество. Справедливо и обратное, то есть, если Н — скрученное подмножество из группы нечетного порядка, то Н замкнуто относительно операции "О".

Таким образом, фактически, в работах [21], [22] изучались скрученные подмножества в группах нечетного порядка.

Возвращаясь к свойствам операции 110"в группах нечетного порядка, что Дж. Глауберман отмечает в [21], что имеет место следующее тождество:

Ь) х О (у О {х © г)) = (х О {у 0 ж)) О г.

В работе [19] тождество (Ь) называется левым тождеством Бола, а лупы, в которых оно имеет место, соответственно, левыми лупами Бола. В [24, 26] рассматривается двойственное тождество

И,) ((г © х) © у) © х = г ® ((ж © у) © х).

Лупы обладающие свойством (Ы) называются правыми лупами Бола. Естественно, результаты, полученные, скажем, для правых луп Бола могут быть легко перенесены на левые и наоборот.

М. Ашбахер в [14] работает с тождеством (Я). Следуя Бэру [15], для произвольной лупы (X, •) рассматривается множество К(Х) = { И{х) | х € X } С Зут(Х), где каждая подстановка Я(х) действует на X следующим образом: уН{х) := у ■ х для всякого у е X. Со ссылкой на работы [19, 25], Ашбахер отмечает, что лупа X является правой лупой Бола тогда и только тогда, когда множество подстановок К(Х) является скрученным подмножеством группы Зут(Х).

Гирогруппы

Гирогруппы — это лупы специального вида, которые, по всей видимости, впервые появились в работе Абрахама А. Унгара [30] в 1988 году. В этой работе рассматривался так называемый релятивистский группоид в котором бинарная операция не является ни коммутативной, ни ассоциативной. Понятие гирогруппы обобщает конструкцию релятивистского группоида .

Группоид (С, О) называется гирогруппой [17, 20], если его бинарная операция удовлетворяет следующим условиям:

1) в С существует по крайней мере один элемент, обозначаемый 1, такой, что 1 0 д — д для любого элемента д из С.

2) существует элемент 1 из С, удовлетворяющий (1), такой, что для любого элемента д из С? найдется элемент г из С, такой, что -г 0 д = 1.

3) для любых элементов а, Ь, г из С? существует единственный элемент дуг[а, Ъ){г) е (2, такой, что а © (Ь © г) = (а © Ь) © дуг[а, Ъ]{г).

4) отображение гг —> дуг [а, 6] (ж) является автоморфизмом группоида

С,©).

5) дуг[а, 6] = дуг[а © 6,6] для всех а, Ь е С.

Конструкции гирогрупп и их физические интерпретации приводятся в работах [31],[32] и [34].

В работах [20], [33] показано, что любая гирогруппа может быть вложена в некоторую группу в виде скрученной подгруппы. Таким образом, скрученные подмножества в группах обнаруживают связь с конструкциями, возникающими в теоретической физике.

В силу приведенных выше примеров правомерно поставить общий вопрос об изучении скрученных подмножеств и разработке некоторой теории этих структур. Заметим, что построению начал такой теории посвящены работы Мыльникова А.Л. [6, 7, 8, 9] и совместная работа Беляева В.В. и Мыльникова А.Л. [1].

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

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

В главе II исследуется поведение скрученных подмножеств в подгруппах, ими порожденных и вводится понятие симметричного подмножества, которое обобщает понятие скрученного.

 
Список источников диссертации и автореферата по математике, кандидата физико-математических наук, Вепринцев, Дмитрий Владимирович, Красноярск

1. Беляев, В.В. Оценка порядка группы, порожденной конечным скрученным подмножеством /В.В. Беляев, А.Л. Мыльников. //Математические системы. Вып.6 /Краснояр. гос. аграр. ун-т.— Красноярск, 2007.—С. 3—5.

2. Вольф, Дж. Пространства постоянной кривизны /Дж. Вольф.— М.: Наука, 1982.

3. Дубровин, Б.А. Современная геометрия. Методы и приложения. В 2т. Т.2 Геометрия и топология многообразий /Б.А. Дубровин, С.П. Новиков, А.Т. Фоменко.— М.: Эдиториал УРСС, 1998.

4. Картан, Э. Геометрия групп Ли и симметрические пространства: сб. ст. /Э. Картан— М.: Изд-во иностр. лит-ры, 1949.

5. Лоос, О. Симметрические пространства /О. Лоос— М.: Наука, 1985.

6. Мыльников, А.Л. Конечные перекрученные группы /А.Л. Мыльников //Математические системы. Вып.З /Краснояр. гос. аграр. ун-т,— Красноярск, 2005.—С. 53—58.

7. Мыльников, А.Л. Нильпотентность коммутанта конечной перекрученной группы /А.Л.Мыльников //Сиб. матем. ж.—2006.— Т.47,—N5,—С. 1117-1127.

8. Мыльников, A.JI. О ступени разрешимости конечной перекрученной группы /A.JI. Мыльников //Вестник Красноярского госуниверситета.— 2006—N1.-C. 61-67.

9. Мыльников, A.JI. Конечные минимальные неперекрученные группы /A.JI. Мыльников //Вестник Красноярского госуниверситета.—2005.— N1.-C. 71-76.

10. Постников, М.М. Лекции по геометрии. Семестр V. Риманова геометрия. /М.М. Постников— М.: Изд-во "Факториал", 1998.

11. Трофимов, В.В. Введение в геометрию многообразий с симметриями /В.В. Трофимов- М.: Изд-во МГУ, 1989.

12. Хелгасон, С. Дифференциальная геометрия и симметрические пространства /С. Хелгасон— М.: Мир, 1964.

13. Aschbacher, М. Near subgroups of finite groups /М. Aschbacher //J. Group Theory.—1998.—v.l. N2.-P. 113-129.

14. Aschbacher, M. On Bol loops of exponent 2 /М. Aschbacher //J. of Algebra 288(2005).-P. 99-136.

15. Baer, R. Nets and Groups /R. Baer //Trans. Amer. Math. Soc. 47(1939)—P. 110-141.

16. Carter, R. W. Simple groups of Lie type /R.W. Carter //New York: Wiley and Sons—1972.

17. Feder, T. Strong near subgroups and left gyrogroups /Т. Feder //J. of Algebra 259(2003).-P. 177-190.

18. Feder, T. The computational structure of monotone monadic SNP and constraint satisfaction: A study through datalog and group theory /Т. Feder, M. Vardi //SIAM J. Comput. N28. -1998.-P. 57-104.

19. Foguel, T. On twisted subgroups and Bol loops of odd order /T. Foguel, M. Kinyon, J. Philips //submitted for publication.

20. Foguel, T. Involutory decomposition of groups into twisted subgroups and subgroups /T. Foguel, A.A. Ungar //J. Group Theory 3(2000).-P. 27-46.

21. Glauberman, G. On loops of odd order /G. Glauberman //J. of Algebra.— 1964. Nl.-P. 374-395.

22. Glauberman, G. On loops of odd order II /G. Glauberman //J. of Algebra.— 1964. N8—P. 393-414.

23. Gorenstein, D. Finite groups /D. Gorenstein //Harper and Row.—New York, 1968.

24. Kiechle, H. Theory of K-loops, Lecture Notes in Mathematics 1778 /H. Kiechle //Springer-Verlag, Berlin Heidelberg New York.—2002.

25. Kreuzer, A. Inner mappings of Bruck loops /A. Kreuzer //Math. Proc. Cambridge Philos. Soc. 123 (1998).-P. 53-57.

26. Robinson, D. A. Bol loops /D.A. Robinson //Trans. Amer. Math. Soc. 123 (1966).—P. 341-354.

27. Rotman, Joseph J. An introduction to the theory of groups.—4th ed. /Joseph Rotman //1995 Springer-Verlag New York, Inc.

28. Suzuki, M. Group theory I /Michio Suzuki //1982 Springer-Verlag New York, Inc.

29. Suzuki, M. Group theory II /Michio Suzuki //1986 Springer-Verlag New York, Inc.

30. Ungar, A.A. Thomas rotation and the parametrization of the Lorentz transformation group /A.A. Ungar //Found. Phys. Lett—1988. N1.—P. 57—89.

31. Ungar, A.A. Thomas precession and its associated grouplike structure /A.A. Ungar // Amer. J. Phys—1991. -v.59.-P. 824-834.

32. Ungar, A.A. The holomorphic automorphism group of complex disk /A.A. Ungar //Aequat. Math—1994—v.47—P. 240-254.

33. Ungar, A.A. Thomas precession: its underlying gyrogroup axiom and their use in hyperbolic geometry and relativistic physics /A.A. Ungar //Found. Phys.—1997.—v.27.—P. 881-951.

34. Ungar, A.A. From Pythagoras to Einstein: the hyperbolic Pythagorean theorem /A.A. Ungar //Found. Phys.—1997. —v.28.—P. 1283—1321.Работы автора по теме диссертации

35. Вепринцев, Д.В. Симметричные подмножества в группах /Д.В. Вепринцев //Математические системы. Вып.4 /Краснояр. гос. аграр. унт—Красноярск, 2005—С. 3—12.

36. Вепринцев, Д.В. Редуцированные симметричные подмножества в группах /Д.В. Вепринцев //Математические системы. Вып.4 /Краснояр. гос. аграр. ун-т.—Красноярск, 2005.—С. 13—17.

37. Вепринцев, Д.В. Конечные группы, обладающие инволютивным автоморфизмом с небольшим числом неподвижных классов сопряженных элементов /Д.В. Вепринцев //Математические системы. Вып.6 /Краснояр. гос. аграр. ун-т.—Красноярск, 2007.—С. 17—39.

38. Вепринцев, Д.В. Об операции скручивания в группах /Д.В. Вепринцев //Математические системы. Вып.6 /Краснояр. гос. аграр. ун-т.— Красноярск, 2007.—С. 6—16.

39. Вепринцев, Д.В. Инволютивная декомпозиция группы и скрученные подмножества с малым количеством инволюций /Д.В. Вепринцев, А.Л. Мыльников //Сиб. матем. ж.-2008.-Т.49,-Ш,-С. 275—280.

40. Вепринцев, Д.В. Симметричные подмножества в группах /Д.В. Вепринцев //Мат-лы ХЫУ междунар. науч. студен, конф.— Новосибирск, 2006.—С. 89.

41. Вепринцев, Д.В. Конечные группы, обладающие инволютивным автоморфизмом с небольшим числом неподвижных классов сопряженных элементов /Д.В. Вепринцев //Мат-лы междунар. конф. „Алгебра и ее приложения" .—Красноярск, 2007.—С. 29—30.У