κ-вполне транзитивные абелевы группы без кручения тема автореферата и диссертации по математике, 01.01.06 ВАК РФ
Рогозинский, Михаил Иванович
АВТОР
|
||||
кандидата физико-математических наук
УЧЕНАЯ СТЕПЕНЬ
|
||||
Томск
МЕСТО ЗАЩИТЫ
|
||||
2013
ГОД ЗАЩИТЫ
|
|
01.01.06
КОД ВАК РФ
|
||
|
На правах рукописи
Рогозинский Михаил Иванович /г-вполне транзитивные абелевы группы без кручения
01.01.06 — Математическая логика, алгебра и теория чисел
7 НОЯ 20)3
АВТОРЕФЕРАТ
диссертации на соискание ученой степени кандидата физико-математических наук
Томск 2013 005537463
005537463
Работа выполнена в федеральном государственном бюджетном образовательном учреждении высшего профессионального образования «Национальный исследовательский Томский государственный университет», на кафедре алгебры.
Научный руководитель: доктор физико-математических наук, профессор Гриншпон Самуил Яковлевич
Официальные оппоненты:
Пестов Герман Гаврилович, доктор физико-математических наук, профессор, федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Национальный исследовательский Томский государственный университет», кафедра математического анализа, профессор
Ельцова Тамара Александровна, кандидат физико-математических наук, доцент, федеральное государственное бюджетное образовательное учреждение высшего профессионального образования «Томский государственный университет систем управления и радиоэлектроники», кафедра высшей математики, доцент
Ведущая организация:
Федеральное государственное бюджетное учреждение науки Институт математики имени С.Л. Соболева СО РАН, г.Новосибирск
Защита состоится 28 ноября 2013 г. в 18 ч. 00 мин. на заседании диссертационного совета Д 212.267.21, созданного на базе федерального государственного бюджетного образовательного учреждения высшего профессионального образования «Национальный исследовательский Томский государственный университет», по адресу: 634050, Томск, ул. Ленина, 36 (корпус 2, ауд. 304).
С диссертацией можно ознакомиться в научной библиотеке Томского государственного университета.
Автореферат разослан 25 октября 2013 г.
Ученый секретарь диссертационного совета
Малютина
Александра Николаевна
Общая характеристика работы
Актуальность темы. В классе абелевых групп значительный интерес представляют группы, насыщенные эндоморфизмами. К таким группам относятся вполне транзитивные абелевы группы. Первоначально, понятие вполне транзитивности возникло в контексте изучения вполне характеристических подгрупп р-групп, но вскоре приобрело самостоятельную ценность как объект исследования.
Для редуцированных абелевых р-групп понятие «вполне транзитивность» ввел И. Капланский: редуцированная абелева р-группа называется вполне транзитивной, если для любых ее элементов а и Ь, для которых Н(а) < Н(Ь), где Н(а), Н(Ь) — индикаторы элементов а и Ь соответственно, существует эндоморфизм этой группы, переводящий а в Ь ([14]). И. Капланский показал, что всякая сепарабельная редуцированная р-группа является вполне транзитивной. Далее, он ставит вопрос, будет ли всякая р-группа вполне транзитивной.
В [29] П. Хилл показал, что всякая тотально проективная р-группа является вполне транзитивной. А. Корнер ([21]) изучал вполне транзитивные р-группы в связи с действием кольца эндоморфизмов Е{А) на ршА. Он построил пример редуцированной р-группы, не являющейся вполне транзитивной. С. Файле и Б. Голдсмит рассматривают вполне транзитивность прямых сумм р-групп ([25]). Свойства вполне транзитивных р-групп рассматривались в ряде работ (см., например, [12], [13], [21], [25], [26], [29]).
В [2] показано, что всякая р-группа, первая ульмовская подгруппа которой циклическая, является вполне транзитивной. С.Я. Гриншпоном доказана теорема ([2]), выделяющая широкий класс р-групп, не являющихся вполне транзитивными.
П.А. Крылов в [7] по аналогии с понятием вполне транзитивности дляр-групп вводит понятие вполне транзитивной абелевой группы без кручения. Редуцированная абелева группа без кручения называется вполне транзитивной, если для любых двух элементов а и Ь, таких, что х(а) — х(р)> гДе х(а), х(6) — характеристики элементов а и Ь соответственно, существует эндоморфизм этой группы, переводящий а в Ъ.
Изучению вполне транзитивных групп без кручения и различных важных подклассов таких групп посвящено большое количество работ (см., например,
[2], [3], [5], [6], [8], [9], [10], [16], [17], [18], [19], [22], [27], [28]).
В [4] С. Я. Гриншпон и В. М. Мисяков рассматривают понятие «вполне транзитивность» для произвольной абелевой группы (в том числе и нередуцированной), которое формулируется в терминах высотных матриц и согласуется с соответствующими понятиями дляр-групп и групп без кручения. Это понятие уточнялось в [2]. Вполне транзитивные смешанныер-локальные абелевы группы изучаются С. Файлсом в [24]. Там же показано, что редуцированная ранга 1 без кручения р-локальная группа вполне транзитивна, если ее периодическая часть сепарабельна. Вполне транзитивность редуцированной р-адической алгебраически компактной группы установлена А. Мадером в [31]. Исследование вполне транзитивности прямых произведений абелевых групп проведено В. М. Мисяковым в [11].
Ряд содержательных результатов о вполне транзитивных группах и их К-прямых суммах получены С. Я. Гриншпоном ([1], [2], [3]).
Естественным обобщением вполне транзитивности является понятие к-вполне транзитивности. Истоки этого понятия лежат в известной теореме линейной алгебры, говорящей о том, что всякую линейно независимую систему, состоящую из п векторов можно перевести линейным оператором в произвольную систему, состоящую из того же количества векторов.
Понятие /с-вполнс транзитивности для абелевых р-групп ввел в [20] Д. Кэрролл в следующем виде.
Пусть б — абелева р-группа и Ь € N. Группа С называется к-вполне транзитивной, если для любых кортежей X = {х\, ...,Хк), у = (ух, ...,ук) элементов группы б из выполнения условий:
(1) Я(х,) < Н(у() для всех г = 1, к;
(2) кортеж X высотно независим, в том смысле, что при г ф j к{гх{) ^ И(зх^) для всех целых г, кроме случая гх^ = вх^ = 0;
следует существование эндоморфизма в € Е(С) со свойством 0(хд = У1 {1 = 1, к).
Там же Д. Кэрролл показал, что тотально проективные и сепарабельные р-группы являются ¿-вполне транзитивными для всех к 6 N.
В настоящей диссертационной работе вводится понятие ¿-вполне транзитивности для абелевых групп без кручения.
Пусть (7 — абелева группа без кручения и А; £ N. Кортеж X = {х\, ...,3^)
ненулевых элементов группы С? назовем 1;-независимым, если при г ф ] t(xi} несравним с для всех г, = 1, к.
Пусть С?— абелева группа без кручения и I- 6 N. Группа С называется к-вполне транзитивной, если для любых кортежей длины к X — (х1,..., Хк); У = (у1, Ук) элементов группы С? из выполнения условий:
(1) х(я>) < хШ для всех г = 1,к;
(2) кортеж X — ^независим;
следует существование эндоморфизма в группы (3, такого что в(х,) = у, для всех г = 1, к.
Показано, что замена условия ^независимости кортежа X на его линейную независимость значительно сужает класс рассматриваемых групп.
Цель работы. Целью диссертационной работы является исследование свойств ¿-вполне транзитивных абелевых групп без кручения и описание /е-вполне транзитивных групп в различных классах абелевых групп без кручения.
Общая методика исследования. В диссертации используются методы теории абелевых групп и модулей, а также некоторые идеи и факты, связанные с комбинаторикой.
Научная новизна. Все основные результаты диссертационной работы являются новыми. Основными результатами работы можно считать следующие.
• Найдено значение ^длины для однородно разложимых групп, удовлетворяющих условию контрастности для типов.
• Исследована связь между ^независимостью и линейной независимостью в /с-вполне транзитивных группах.
• Доказано, что абелева группа без кручения й-вполне транзитивна для некоторого к > 1 тогда и только тогда, когда /г-вполне транзитивна ее редуцированная часть.
• Показано, что вполне разложимые группы без кручения ранга 2 являются /с-вполнс транзитивными для всех к > 1.
• Найдены необходимые и достаточные условия /с-вполне транзитивности вполне разложимых групп из некоторых классов.
• Для вполне разложимых групп с жесткой системой прямых слагаемых ранга 1 доказано, что из /с-вполне транзитивности для некоторого к > 1
следует (к + 1)-вполне транзитивность. При этом приведены примеры, когда обратное неверно.
• Полностью описаны однородно сепарабельные (в том числе однородно разложимые, сепарабельные и вполне разложимые) группы без кручения, являющиеся /г-вполне транзитивными при всех к £ N.
Теоретическая и практическая ценность. Результаты диссертационной работы имеют теоретическое значение и могут быть использованы в исследованиях по теории абелевых групп и модулей, а также при чтении спецкурсов для бакалавров, магистрантов и аспирантов.
Апробация результатов. Результаты диссертационной работы докладывались на XIII Всероссийской конференции студентов, апирантов и молодых ученых «Наука и образование» (Томск, 2009), Международных молодежных научных форумах «Ломоносов-2011», «Ломоносов-2013» (Москва, 2011. 2013), на II Всероссийской молодежной научной конференции «Современные проблемы математики и механики» (Томск, 2011), на всероссийском симпозиуме «Абелевы группы и модули» (Бийск, 2012), на Всероссийской конференции по математике и механике, посвященной 135-летию Томского государственного университета и 65-летию Механико-математического факультета (Томск, 2013).
Основные результаты неоднократно докладывались на семинарах кафедры алгебры Томского государственного университета и дважды — на семинаре кафедры алгебры Московского государственного педагогического университета (2011, 2013). По теме диссертации опубликовано 8 работ.
Структура и объем работы. Данная диссертационная работа состоит из введения, списка обозначений, трех глав и списка литературы, работа изложена на 80 страницах. Библиография содержит 39 наименований.
Содержание работы. Все рассматриваемые в работе группы являются абелевыми.
В первой главе диссертации вводятся ключевые понятия 1;-длины и к-вполне транзитивности для групп без кручения и рассматриваются некоторые общие свойства данных понятий.
Первый параграф содержит основные определения и известные результаты, используемые в работе.
Во втором параграфе вводятся понятия ^¡-независимости, 1-длины и к-вполне транзитивности для групп без кручения. В этом параграфе исследована связь между ^независимостью и линейной независимостью и найдены значения -длины для однородно разложимых групп, удовлетворяющих условию контрастности для типов.
Условие контрастности для типов было введено в [1] и означает следующее.
Говорят, что однородно разложимая группа С — ф {Т — некоторое
<еТ
множество типов) удовлетворяет условию контрастности для типов, если для всяких двух типов 6 Т и любого простого числа р, такого что
рСи ± имеет место рС(2 = (?<2.
-длина группы б (обозначается (С)) — это наибольшая длина независимого кортежа в группе б. Если в группе С для всякого к 6 N существует ^независимый кортеж длины к, то полагаем /сг(б) = оо.
Основными результатами второго параграфа являются следующие теоремы.
Теорема 2.4. Пусть С? = Ф (?< — однородно разложимая редуцирован-
гет
ная группа. Если С? удовлетворяет условию контрастности для типов, то ^(в) = с!Ч если \Т\=п и А*(<3) = оо, если |Т| > К0.
Теорема 2.6. Пусть к > 2 и С является к-вполне транзитивной группой. Тогда всякий Ь-независимый кортеж длины к является линейно независимым.
Третий параграф первой главы посвящен изучению семейства прямых слагаемых ¿-вполне транзитивных групп без кручения. В этом параграфе также установлено, что при исследовании к-вполне транзитивных групп без кручения можно ограничиться редуцированными группами.
В начале параграфа вводится следующее понятие.
Пусть к 6 N и М = {С?г}1б/ семейство групп без кручения. Семейство М назовем ¿-вполне транзитивным семейством групп, если для каждой пары групп (С7г-, (З,), j € I и любых двух кортежей X = (х\,..., хь); У = (Уи •••, У к) элементов групп С?,-, С^ соответственно из выполнения условий
(1) х(я») < хЫ Для всех г = 1, /е;
(2) кортеж X — ^независим;
следует существование в 6 Нот(Сч, С,-), такого что в(хг) = у; (г = 1, к).
Основными результатами третьего параграфа являются следующие теоремы.
Теорема 3.2. Пусть к € N. Если группа без кручения С = ф 6ч являет-
¿е/
ся к-вполне транзитивной группой, то семейство М = {С,}^ является к-вполне транзитивным семейством групп.
Теорема 3.5. Группа без кручения С к-вполне транзитивна для некоторого к > 1 тогда и только тогда, когда к-вполне транзитивна ее редуцированная часть.
Вторая глава состоит из двух параграфов и посвящена исследованиям к-вполне транзитивности вполне разложимых групп.
Для вполне разложимых групп ранга 2 получен следующий результат. Теорема 4.1. Вполне разложимые группы без кручения ранга 2 являются к-вполне транзитивными для всех к > 1.
Далее в параграфе 4 рассматриваются вполне разложимые группы
С = 0 Лг, семейство прямых слагаемых ранга 1 которых {А{}{е1 образует ¡е/
жесткую систему групп. Для таких групп получены необходимые и достаточные условия ^-вполне транзитивности для произвольного натурального к.
Для удобства введем следующее обозначение. Для всякого J С / обозначим ^ = т£и. В частности, если J = {г}, то tJ = =
ге.7
Теорема 4.5. Пусть С7 = фЛ* — вполне разложимая группа, семей-
¿61
ство прямых слагаемых ранга 1 которой { Л,}ге/ образует жесткую систему групп, и пусть к £ N. Группа С является к-вполне транзитивной тогда и только тогда, когда для любых конечных множеств ,/г,..., ^ С I, таких что типы и несравнимы при тфп, выполнены условия
I. Зт П Зп = 0 при т ф п;
II. группы (Зт = ф А, удовлетворяют условию контрастности для ти-
__¿еЛп
пов (т = 1, к);
III. если для некоторого конечного множества ,7 С / и числа т = 1, к справедливо tJ > то 3 С
В пятом параграфе рассмотрена зависимость между к-вполне транзитивностью и (к + 1)-вполне транзитивностью для групп указанного строения. Доказан следующий результат.
Теорема 5.1. Пусть С? = фЛ* — вполне разложимая группа, семей-
ш
ство прямых слагаемых ранга 1 которой {Л,}ге/ образует жесткую систему групп. Если группа (7 является к-вполне транзитивной для некоторого к > 1, то б также (к+ 1)-вполне транзитивна.
В этом параграфе приведен пример вполне разложимой 3-вполне транзитивной группы, не являющейся 2-вполне транзитивной, а также пример вполне разложимой группы, не являющейся ¿-вполне транзитивной ни для какого А; € N.
Третья глава состоит из двух параграфов и посвящена исследованию к-
вполне транзитивности однородно разложимых и сепарабельных групп.
Шестой параграф начинается с описания условия контрастности для типов
в более удобной для дальнейшего исследования форме.
Предложение 6.1. Однородно разложимая группа С = ф С?г удовле-
teГ
творяет условию контрастности для типов тогда и только тогда, когда
для любых различных € Т тип ^ - t2 — делимый.
Следующий результат описывает связь между вполне транзитивностью и
¿-вполне транзитивностью для однородно разложимых групп.
Теорема 6.3. Пусть б = ф йь — однородно разложимая группа, при-
ьет
чем |Т| > 2. Если (7 вполне транзитивна, то С не является к-вполне транзитивной для всех к, таких что 1 < к < к^(С).
Напомним определение однородно сепарабельной группы. Группа без кручения С называется однородно сепарабельной, если существует такое семейство £ однородных прямых слагаемых этой группы, что каждое конечное множество элементов группы С можно вложить в прямое слагаемое этой группы, являющееся прямой суммой некоторых групп из семейства С, ([3]).
В параграфе 7 исследуется /с-вполне транзитивность однородно сепарабельных групп (в том числе вполне разложимых, сепарабельных и однородно разложимых групп без кручения) при всех значениях к. Доказаны следующие результаты.
Теорема 7.1. Однородно разложимая группа С = ф бг является к-
геТ
вполне транзитивной для всех к £ N тогда и только тогда, когда (? удовлетворяет одному из следующих условий: (/) б — однородная вполне транзитивная группа;
(II) в = ф где <3(1, <3(.2 — вполне транзитивные группы различных
типов, причем • —делимый тип.
Теорема 7.2. Однородно сепарабельная группа без кручения в является
к-вполне транзитивной для всех к € N тогда и только тогда, когда либо
С? — однородная вполне транзитивная группа, либо С представима в виде
С = ф С^, где , С^ — однородные вполне транзитивные группы
различных типов ^ Ь2, причем тип t1 • t2 - делимый.
Следствие 7.3. Сепарабельная группа является к-вполне транзитивной
для всех к € N тогда и только тогда, когда С — однородная группа или С?
представима в виде прямой суммы двух однородных групп различных типов
и удовлетворяет условию контрастности для типов.
Для формулировки следующего результата, нам понадобится следующее
обозначение: /г (а) — для элемента а однородно разложимой группы
О = ф С4 — это множество типов t € Т, таких что щ(а) ^ О (7Г4 — проекция <ет
группы б на прямое слагаемое С^).
Теорема 7.4. Пусть С? — вполне разложимая группа ий = ф бч — ее
<е т
каноническое разложение. Эквивалентны следующие утверждения:
1. Группа О к-вполне транзитивна для всех к 6 М;
2. в — однородная группа или б = фС?(2, причем Ь) ■ — делимый тип;
3. в удовлетворяет условию контрастности для типов и
НС) < 2;
4. б удовлетворяет условию контрастности для типов и
\Т\ < 2;
5. в удовлетворяет условию контрастности для типов и для любых элементов а, Ь € в с несравнимыми типами справедливо 1т(а) П 1т(Ь) = 0.
Автор искренне благодарит научного руководителя профессора Самуила Яковлевича Гриншпона за постановку задач, внимание к моей научной работе, помощь в оформлении статей и данной диссертации.
Список литературы
[1] Гриншпон С. Я. О строении вполне характеристических подгрупп абеле-вых групп без кручения // Абелевы группы и модули. — 1982. — С. 56-92.
[2] Гриншпон С. Я. Вполне характеристические подгруппы абелевых групп и вполне транзитивность // Фундамент, и прикл. матем. — 2002. — Т. 8. - № 2. - С. 407-473.
[3] Гриншпон С. Я. Вполне транзитивные однородно сепарабельные группы // Матем. заметки. — 1997. — № 62. — С. 471-474.
[4] Гриншпон С. Я. О вполне транзитивных абелевых группах / С. Я. Гриншпон, В. М. Мисяков // Абелевы группы и модули. — 1986. — С. 12-27.
[5] Добрусин Ю. Б. Квазисервантно инъективные и транзитивные абелевы группы без кручения // Рукопись деп. в ВИНИТИ. — 1977. № 2942-77 ДЕП.
[6] Добрусин Ю. Б. Квазисервантно инъективные группы // Абелевы группы и модули. — 1979. — С. 45-63.
[7] Крылов П. А. О вполне характеристических подгруппах абелевых групп без кручения // Сборник асп. работ по матем. — 1973. — С. 15-20.
[8] Крылов П. А. Сильно однородные абелевы группы без кручения // Сиб. матем. ж. - 1983. - № 2. - С. 77-84.
[9] Крылов П. А. Некоторые примеры квазисервантно инъективных и транзитивных абелевых групп без кручения // Абелевы группы и модули. — 1988. - Вып. 7. - С. 81-99.
[10] Крылов П. А. Вполне транизтивные абелевы группы без кручения // Алгебра и логика. - 1990. - Т. 29. - № 5. - С. 549-560.
[И] Мисяков. В. М. Вполне транзитивность редуцированных абелевых групп // Абелевы группы и модули. — 1994. — С. 134-156.
[12] Мишина А. П. Абелевы группы // Алгебра. Топология. Геометрия. Т. 10. (Итоги науки и техн. ВИНИТИ АН СССР). - 1972. - С. 5-45.
[13] Мишина А. П. Абелевы группы // Алгебра. Топология. Геометрия. Т. 17. (Итоги науки и техн. ВИНИТИ АН СССР). - 1979. - С. 3-63.
[14] Фукс JI. Бесконечные абелевы группы / JI. Фукс — М.: Мир, 1974. — Т. 1.
- 335 с.
[15] Фукс JI. Бесконечные абелевы группы / JI. Фукс — М.: Мир, 1977. — Т. 2.
- 416 с.
[16] Чехлов А. Р. О разложимых вполне транзитивных группах без кручения // Сиб. матем. журнал. - 2001. - Т. 42. - № 3. - С. 714-719.
[17] Чехлов А. Р. Об одном классе эндотранзитивных групп // Матем. заметки. - 2001. - Т. 69/ - № 6/ - С. 944-949.
[18] Чехлов А. Р. Вполне транзитивные группы без кручения конечного р-ранга // Алгебра и логика. - 2001. - Т. 40. - № 6. - С. 698-715.
[19] Arnold D. М. Strongly homogeneous torsion free abelian groups of finite rank // Proc. Amer. Math. Soc. - 1976. - V. 56. - P. 67-72.
[20] Carroll D. Multiple transitivity in abelian groups // Arch. Math. — 1994. — Vol. 63. - P. 9-16.
[21] Corner A. L. The independence of Kaplansky's notions of transitivity and full transitivity // Quartery J. Math. - 1976. - V. 27. - P. 15-20.
[22] Dugas M. E-transitive groups in L / M. Dugas, S. Shelah // Contemp. Math.
- 1989. - V. 87. - P. 191-199.
[23] Engel K. Sperner theory // Camb. Univ. Press. — 1997. — 120 p.
[24] Files S. On transitive mixed abelian groups // Lect. Notes, in Pure and Appl. Math. - 1996. - V. 182. - P. 2-251.
[25] Files S. Transitive and fully transitive groups / S. Files, B. Goldsmith // Proc. Amer. Math. Soc. - 1998. - V. 126. - № 6. - P. 1605-1610.
[26] Griffith P. Transitive and fully transitive primary Abelian groups // Pacific J. Math. - 1968. - V. 25. - № 2. - P. 249-254.
[27] Grinshpon S. Ya. Fully invariant subgroups, full transitivity and homomorphism groups of Abelian groups / S. Ya. Grinshpon, P. A. Krylov // Journal Math. Sciences. - 2005. - V. 128. - № 3. - P. 2894-2997.
[28] Hausen J. E-transitive torsion-free abelian groups // J. Algebra. — 1987. № 1. - P. 17-27.
[29] Hill P. On transitive and fully transitive primary groups // Proc. Amer. Math. Soc. - 1969. - V. 22. - № 2. - P. 414-417.
[30] Kaplansky I. Infinite Abelian groups // Michigan. — Ann Arbor. — Univ. Michigan Press. — 1968. — 94 p.
[31] Mader A. The fully invariant subgroups of reduced algebraically compact groups // Pubis. Math. - 1970. - V. 17. - № 1-4. - P. 299-306.
Статьи, опубликованные в журналах, которые включены в перечень российских рецензируемых научных журналов и изданий для опубликования основных научных результатов диссертаций:
[1*] Рогозинский М. И. О fc-вполне транзитивности вполне разложимых абе-левых групп без кручения // Вестник Томского государственного университета. Математика и механика. 2012. № 4 (20). С. 25-35.
[2*] Гриншпон С. Я. ¿-вполне транзитивность однородно разложимых групп / С. Я. Гриншпон, М. И. Рогозинский // Вестник Томского государственного университета. Математика и механика. 2013. № 4 (24). С. 5-14.
Статьи в других научных изданиях:
[3*] Рогозинский М. И. ¿-вполне транзитивность абелевых групп без кручения // XIII Всероссийская конференция студентов, аспирантов и молодых ученых «Наука и образование», 20-24 апреля 2009 г.: в 6 т. — Т. 1. Естественные и точные науки. Ч. 1. Физика и математика. — Томск: Издательство Томского государственного педагогического университета, 2009. - С. 14-17.
[4*] Рогозинский М. И. fc-вполне транзитивные абелевы группы без кручения // Современные проблемы математики и механики: материалы II Всероссийской молодежной научной конференции. — Томск, 2011. — С. 41-44.
[5*] Рогозинский М. И. fc-вполне транзитивные абелевы группы без кручения // Материалы Международного молодежного научного форума «ЛОМОНОСОВ-2011» / Отв. ред. А. И. Андреев, A.B. Андриянов, Е.А. Антипов, М.В. Чистякова. [Электронный ресурс] — М.: МАКС Пресс, 2011. — URL: http://lomonosov-msu.ru/archive/Lomonosov_2011/1257/30956_5820.pdf (дата обращения 07.10.2013 г.) - ISBN 978-5-317-03634-8
[6*] Рогозинский М. И. /с-вполне транзитивные абелевы группы без кручения // Абелевы группы и модули: материалы всероссийского симпозиума. — Бийск, 2012. - С. 39-43.
[7*] Рогозинский М. И. ¿-вполне транзитивность сепарабельных и однородно разложимых групп без кручения // Материалы Международного молодежного научного форума «JIOMOHOCOB-2013» [Электронный ресурс]. — М.: МАКС Пресс, 2013. — URL: http://lomonosov-msu.ru/archive/Lomonosov_2013/2191/30956_8901.pdf (дата обращения 07.10.2013 г.) - ISBN 978-5-317-04429-9.
[8*] Рогозинский М. И. t-длина и ¿-вполне транзитивность однородно разложимых групп без кручения // Всероссийская конференция по математике и механике, посвященная 135-летию Томского государственного университета и 65-летию механико-математического факультета: сборник материалов. — Томск, 2013. — С. 34.
Тираж 100 экз. Заказ 1041. Томский государственный университет систем управления и радиоэлектроники. 634050, г. Томск, пр. Ленина, 40. Тел. (3822) 533018.
ТОМСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ
/
На права^, писи
04201454542
Рогозинский Михаил Иванович
вполне транзитивные абелевы группы без
кручения
01.01.06 — Математическая логика, алгебра и теория чисел
Диссертация на соискание ученой степени кандидата физико-математических наук
Научный руководитель — доктор физико-математических наук, профессор Самуил Яковлевич Гриншпон
Томск 2013
Оглавление
Список обозначений 3
Введение 5
1 Вполне транзитивность и к -вполне транзитивность групп без кручения 19
§1. Предварительные сведения.................. 20
§2. £ -длина и к -вполне транзитивность групп без кручения . 31 §3. к -вполне транзитивность прямых сумм групп без кручения 41
2 к -вполне транзитивные вполне разложимые группы без кручения 47
§4. Вполне разложимые к -вполне транзитивные группы ... 48 §5. &-вполне транзитивность вполне разложимых групп без
кручения при различных значениях к............ 56
3 к -вполне транзитивность однородно разложимых и однородно сепарабельных групп без кручения 60
§6. к -вполне транзитивность однородно разложимых групп
без кручения.......................... 61
§7. А;-вполне транзитивность групп без кручения для всех натуральных к.......................... 66
Литература 74
Список обозначений
В данной работе под словом «группа» будем подразумевать абелеву группу. Обозначать группы будем большими латинскими буквами ДБ,....
Следующими символами будут обозначаться: N - множество натуральных чисел;
Р - множество всех простых чисел, расположенных в порядке возрастания;
(¡2 - полная рациональная группа; Z - группа целых чисел;
Нот(А, В) - группа гомоморфизмов группы А в группу В; Е(А) - кольцо эндоморфизмов группы А; А / В - факторгруппа группы А по подгруппе В; ф - прямая сумма; П - прямое произведение;
(ai, ... , an) - подгруппа, порожденная элементами ai, ... , ап; (ai, ... , ап )* - сервантная подгруппа, порожденная элементами ai, ... , <2п;
Z(p~) - квазициклическая р-группа (группа типа р00); Q^ - подгруппа группы Q, состоящая из дробей со знаменателями, равными степеням простого числа р;
- подгруппа группы Q, состоящая из дробей со знаменателями, взаимно простыми с простым числом р; о(а) - порядок элемента а; hp{a) - р-высота элемента а;
Ха{о) , х(а) ~ характеристика элемента а группы А; tа{о) , t(a) - тип элемента а группы А; г (А) - ранг группы А;
7Tj для прямой суммы групп ф Gi — проекция на прямое слагаемое
ш
Gi
1(а) - для элемента а из прямой суммы групп ф Gi — множество
iei
индексов г 6 J, таких что 7г^а) ^ 0;
Gt ~ однородная группа без кручения типа t, то есть группа без
кручения, все ненулевые элементы которой имеют тип t.
1т{о) — для элемента а однородно разложимой группы G = ф Gt
teT
— множество типов t G Г, таких что щ(а) ^ 0.
Введение
Актуальность темы. Одним из интенсивно изучаемых и важных классов теории групп является класс абелевых групп. Теория абелевых групп тесно связана с теорией колец и модулей. С одной стороны, теория абелевых групп опирается на методы теории модулей, с другой стороны, является одним из источников развития этих методов.
В классе абелевых групп значительный интерес представляют группы, насыщенные эндоморфизмами. К таким группам относятся вполне транзитивные абелевы группы. Первоначально, понятие вполне транзитивности возникло в контексте изучения вполне характеристических подгрупп р-групп, но вскоре приобрело самостоятельную ценность как объект исследования.
Для редуцированных абелевых р-групп понятие «вполне транзитивность» ввел И. Капланский: редуцированная абелева р-группа называется вполне транзитивной, если для любых ее элементов а и Ь, для которых Н(а) < Н(Ь), где Н{а), Н(Ь) — индикаторы элементов а и Ъ
соответственно, существует эндоморфизм этой группы, переводящий а в Ъ ([14]). И. Капланский показал, что всякая сепарабельная редуцированная р-группа является вполне транзитивной. Далее, он ставит вопрос, будет ли всякая р-группа вполне транзитивной.
В [29] П. Хилл показал, что всякая тотально проективная р-группа является вполне транзитивной. А. Корнер ([21]) изучал вполне транзитивные р -группы в связи с действием кольца эндоморфизмов Е(А) на ршА. Он построил пример редуцированной р-группы, не являющейся вполне транзитивной. С. Файле и Б. Голдсмит рассматривают вполне транзитивность прямых сумм р -групп ([25]). Свойства вполне транзитивных р-групп рассматривались в ряде работ (см., например, [12], [13], [26]).
В [2] показано, что всякая р-группа, первая ульмовская подгруппа которой циклическая, является вполне транзитивной. С.Я. Гриншпоном доказана теорема ([2]), выделяющая широкий класс р-групп, не являющихся вполне транзитивными.
П.А. Крылов в [7] по аналогии с понятием вполне транзитивности для р -групп вводит понятие вполне транзитивной абелевой группы без кручения.
Редуцированная абелева группа без кручения называется вполне транзитивной, если для любых двух элементов а и Ь, таких, что х(а) ^
х(Ь), где х(а); х(^) — характеристики элементов а и Ь соответственно, существует эндоморфизм этой группы, переводящий а в Ь.
Изучению вполне транзитивных групп без кручения и различных важных подклассов таких групп посвящено большое количество работ (см., например, [2], [3], [5], [6], [8], [9], [10], [16], [17], [18], [19], [22], [27], [28]).
В [4] С. Я. Гриншпон и В. М. Мисяков рассматривают понятие «вполне транзитивность» для произвольной абелевой группы (в том числе и нередуцированной), которое формулируется в терминах высотных матриц и согласуется с соответствующими понятиями для р-групп и групп без кручения. Это понятие уточнялось в [2]. Вполне транзитивные смешанные р-локальные абелевы группы изучаются С. Файлсом в [24]. Там же показано, что редуцированная ранга 1 без кручения р -локальная группа вполне транзитивна, если ее периодическая часть сепарабель-на. Вполне транзитивность редуцированной р-адической алгебраически компактной группы установлена А. Мадером в [31]. Исследование вполне транзитивности прямых произведений абелевых групп проведено В. М. Мисяковым в [11].
Ряд содержательных результатов о вполне транзитивных группах и их К -прямых суммах получены С. Я. Гриншпоном ([1], [2], [3]).
Естественным обобщением вполне транзитивности является понятие
к -вполне транзитивности. Истоки этого понятия лежат в известной теореме линейной алгебры, говорящей о том, что всякую линейно независимую систему, состоящую из п векторов, можно перевести линейным оператором в произвольную систему, состоящую из того же количества векторов.
Понятие к -вполне транзитивности для абелевых р -групп ввел в [20] Д. Кэрролл в следующем виде.
Пусть (7 — абелева р-группа и к € N. Группа С называется к-вполне транзитивной, если для любых кортежей X = (а?!, ...,Хк), У — (т/1, ...,Ук) элементов группы С? из выполнения условий:
(1) Н{хг) < Н(уг) для всех г = 1,к]
(2) кортеж X высотно независим, в том смысле, что при г ^ j ф для всех целых г, я, кроме случая гх{ = вх^ = 0;
следует существование эндоморфизма в £ Е(С) со свойством в(хг) = Уг (г = 1, к).
Там же Д. Кэрролл показал, что тотально проективные и сепарабель-ные р -группы являются к -вполне транзитивными для всех к £ N.
В настоящей диссертационной работе вводится понятие А;-вполне транзитивности для абелевых групп без кручения.
Пусть — абелева группа без кручения и к Е N. Кортеж X = (х1,...,хк) ненулевых элементов группы С? назовем Ь -независимым, ес-
ли при ¿/] несравним с для всех г, у = 1, к.
Пусть С— абелева группа без кручения и к £ N. Группа С называется & -вполне транзитивной, если для любых кортежей длины & X = {х\,..., ж/с); У = (г/1,.... Уа;) элементов группы С из выполнения условий:
(1) < хЫ для всех г = 1,/с;
(2) кортеж X — -независим;
следует существование эндоморфизма в группы , такого что в(х{) = у{ для всех г = 1, к.
Показано, что замена условия Ь -независимости кортежа X на его линейную независимость значительно сужает класс рассматриваемых групп.
Цель работы. Целью диссертационной работы является исследование свойств к -вполне транзитивных абелевых групп без кручения и описание к -вполне транзитивных групп в различных классах абелевых групп без кручения.
Общая методика исследования. В диссертации используются методы теории абелевых групп и модулей, а также некоторые идеи и факты, связанные с комбинаторикой.
Научная новизна. Все основные результаты диссертационной работы являются новыми. Основными результатами работы можно считать
следующие.
• Найдено значение Ь -длины для однородно разложимых групп, удовлетворяющих условию контрастности для типов.
• Исследована связь между 1-независимостью и линейной независимостью в к -вполне транзитивных группах.
• Доказано, что абелева группа без кручения к -вполне транзитивна для некоторого к > 1 тогда и только тогда, когда А;-вполне транзитивна ее редуцированная часть.
• Показано, что вполне разложимые группы без кручения ранга 2 являются к -вполне транзитивными для всех к > 1.
• Найдены необходимые и достаточные условия к -вполне транзитивности вполне разложимых групп из некоторых классов.
• Для вполне разложимых групп с жесткой системой прямых слагаемых ранга 1 доказано, что из А;-вполне транзитивности для некоторого к > 1 следует (к + 1) -вполне транзитивность. При этом приведены примеры, когда обратное неверно.
• Полностью описаны однородно сепарабельные (в том числе однородно разложимые, сепарабельные и вполне разложимые) группы без кручения, являющиеся к -вполне транзитивными при всех /с € N.
Теоретическая и практическая ценность. Результаты диссертационной работы имеют теоретическое значение и могут быть использо-
ваны в исследованиях по теории абелевых групп и модулей, а также при чтении спецкурсов для бакалавров, магистрантов и аспирантов.
Апробация результатов. Результаты диссертационной работы докладывались на XIII Всероссийской конференции студентов, апирантов и молодых ученых «Наука и образование» (Томск, 2009), Международных молодежных научных форумах «Ломоносов-2011», «Ломоносов-2013» (Москва, 2011. 2013), на II Всероссийской молодежной научной конференции «Современные проблемы математики и механики» (Томск,
2011), на всероссийском симпозиуме «Абелевы группы и модули» (Бийск,
2012), на Всероссийской конференции по математике и механике, посвященной 135-летию Томского государственного университета и 65-летию Механико-математического факультета (Томск, 2013).
Основные результаты неоднократно докладывались на семинарах кафедры алгебры Томского государственного университета и дважды — на семинаре кафедры алгебры Московского государственного педагогического университета (2011, 2013). По теме диссертации опубликовано 8 работ.
Структура и объем работы. Данная диссертационная работа состоит из введения, списка обозначений, трех глав и списка литературы, работа изложена на 80 страницах. Библиография содержит 39 наименований.
Содержание работы. Все рассматриваемые в работе группы являются абелевыми.
В первой главе диссертации вводятся ключевые понятия 1-длины и А;-вполне транзитивности для групп без кручения и рассматриваются некоторые общие свойства данных понятий.
Первый параграф содержит основные определения и известные результаты, используемые в работе.
Во втором параграфе вводятся понятия Ь -независимости, t-длины и к -вполне транзитивности для групп без кручения. В этом параграфе исследована связь между t-независимостью и линейной независимостью и найдены значения 1 -длины для однородно разложимых групп, удовлетворяющих условию контрастности для типов.
Условие контрастности для типов было введено в [1] и означает следующее.
Говорят, что однородно разложимая группа С = ф (Т — неко-
гет
торое множество типов) удовлетворяет условию контрастности для типов, если для всяких двух типов ^^ Е Т и любого простого числа р, такого что рС?^ С^ , имеет место р(?£2 = .
1-длина группы Сг (обозначается ) — это наибольшая длина 1-
независимого кортежа в группе С. Если в группе С? для всякого к Е N существует t-независимый кортеж длины к, то полагаем = со.
Основными результатами второго параграфа являются следующие теоремы.
Теорема 2.4. Пусть С = ф ^ — однородно разложимая редуци-
гет
рованная группа. Если С удовлетворяет условию контрастности для
Га]
типов, то к^С) — Сп , если \Т\=п и £^((7) = оо, если \Т\ > ^о •
Теорема 2.6. Пусть к > 2 и С является к -вполне транзитивной группой. Тогда всякий Ь -независимый кортеж длины к является линейно независимым.
Третий параграф первой главы посвящен изучению семейства прямых слагаемых к -вполне транзитивных групп без кручения. В этом параграфе также установлено, что при исследовании к -вполне транзитивных групп без кручения можно ограничиться редуцированными группами. В начале параграфа вводится следующее понятие. Пусть к Е N и М = семейство групп без кручения. Се-
мейство М назовем к -вполне транзитивным семейством групп, если для каждой пары групп (С^, г, у е I и любых двух кортежей
X — [х\,..., Хк)\У = (у1,...,ук) элементов групп соответственно
из выполнения условий
(1) хОг) < х(Уг) для всех 1=1, к;
(2) кортеж X — Ь -независим;
следует существование 0 6 Нот(Сг, С^), что в{х^ = Уг (г = 1, к).
Основными результатами третьего параграфа являются следующие теоремы.
Теорема 3.2. Пусть к £ N. Если группа без кручения С = ф яв-
ге/
ляется к-вполне транзитивной группой, то семейство М = {СчКег является к -вполне транзитивным семейством групп.
Теорема 3.5. Группа без кручения (7 к -вполне транзитивна для некоторого к > 1 тогда и только тогда, когда к -вполне транзитивна ее редуцированная часть.
Вторая глава состоит из двух параграфов и посвящена исследованиям к -вполне транзитивности вполне разложимых групп.
Для вполне разложимых групп ранга 2 получен следующий результат. Теорема 4.1. Вполне разложимые группы без кручения ранга 2 являются к -вполне транзитивными для всех к > 1.
Далее в параграфе 4 рассматриваются вполне разложимые группы
С = ф Аг, семейство прямых слагаемых ранга 1 которых обра-
ге/
зует жесткую систему групп. Для таких групп получены необходимые и достаточные условия к -вполне транзитивности для произвольного натурального к.
Для удобства введем следующее обозначение. Для всякого J С I обозначим 1;,/ = т£ ^ . В частности, если 3 = {г} , то tJ = ^ = 1(Аг).
Теорема 4.5. Пусть G = ф Л — вполне разложилшя группа, се-
iei
Aieücmeo прямых слагаемых ранга 1 которой {Ai}iGl образует жесткую систему групп, и пусть к £ N. Группа G является к -вполне транзитивной тогда и только тогда, когда для любых конечных множеств J\i 1/2; •■•; Jk С I, таких что типы tjm и tjn несравнимы при тф п, выполнены условия I- JmC\Jn — & пРи т ^ п;
II. группы Gm = ф А( удовлетворяют условию контрастности для типов (т - 1, к) ;
III. если для некоторого конечного мноэ/сества J С I и числа т = 1, к справедливо tj > tjm, то J С Jm.
В пятом параграфе рассмотрена зависимость между к -вполне транзитивностью и (к + 1) -вполне транзитивностью для групп указанного строения. Доказан следующий результат.
Теорема 5.1. Пусть G = ф^ — вполне разложимая группа, се-
iei
мейство прямых слагаемых ранга 1 которой {Ai}i€l образует жесткую систему групп. Если группа G является к -вполне транзитивной для некоторого k > 1, то G также (к + 1) -вполне транзитивна.
В этом параграфе приведен пример вполне разложимой 3-вполне транзитивной группы, не являющейся 2-вполне транзитивной, а также пример вполне разложимой группы, не являющейся к -вполне транзи-
тивной ни для какого к Е N.
Третья глава состоит из двух параграфов и посвящена исследованию к -вполне транзитивности однородно разложимых и сепарабельных групп.
Шестой параграф начинается с описания условия контрастности для типов в более удобной для дальнейшего исследования форме.
Предложение 6.1. Однородно разложимая группа G = ф Gt у doter
влетворяет условию контрастности для типов тогда и только тогда, когда для любых различных t\, Е Т тип t\ • ¿2 ~~ делимый.
Следующий результат описывает связь между вполне транзитивностью и к -вполне транзитивностью для однородно разложимых групп.
Теорема 6.3. Пусть G = ф Gt — однородно разложимая группа,
ter
причем |Т| >2. Если G вполне транзитивна, то G не является к-вполне транзитивной для всех к, таких что 1 < k < kt(G) .
Напомним определение однородно сепарабельной группы. Группа без кручения G называется однородно сепарабельной, если существует такое семейство С однородных прямых слагаемых этой группы, что каждое конечное множество элементов группы G можно вложить в прямое слагаемое этой группы, являющееся прямой суммой некоторых групп из семейства С, ([3]).
В параграфе 7 исследуется к -вполне транзитивность однородно се-
парабельных групп (в том числе вполне разложимых, сепарабельных и однородно разложимых групп без кручения) при всех значениях к. Доказаны следующие результаты.
Теорема 7.1. Однородно разложимая группа (2 = ф (7г является
гет
к -вполне транзитивной для всех к £ N тогда и только тогда, когда С удовлетворяет одному из следующих условий: (/) О — однородная вполне транзитивная группа; (II) С = С^ ф Сгг2, где — вполне транзитивные группы раз-
личных типов, причем ■ ¿2 —делимый тип.
Теорема 7.2. Однородно сепарабельная группа б