Научная статья на тему 'Степенные группы. Группы, точные при тензорном пополнении'

Степенные группы. Группы, точные при тензорном пополнении Текст научной статьи по специальности «Математика»

CC BY
177
33
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук
Ключевые слова
А-СТЕПЕННАЯ ГРУППА / СВОБОДНЫЕ КОНСТРУКЦИИ / ТЕНЗОРНЫЕ ПОПОЛНЕНИЯ / A-POWER GROUP / FREE STRUCTURES / TENSOR COMPLETION

Аннотация научной статьи по математике, автор научной работы — Амаглобели Михаил Георгиевич, Бокелавадзе Т. З.

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

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Power groups. Groups which are accurate at tensor completion

The paper is dedicated to partial A-power groups which are embeddable to their A-tensor completions. The free A-groups and the free A-products are described with usual group-theoretical free constructions.

Текст научной работы на тему «Степенные группы. Группы, точные при тензорном пополнении»

МАТЕМАТИКА

Вестн. Ом. ун-та. 2009. № 2. С. 35-46.

УДК 519

М.Г. Амаглобели

Тбилисский государственный университет им. Иванэ Джавахишвили

Т.З. Бокелавадзе

Кутаисский государственный университет им. А. Церетели

СТЕПЕННЫЕ ГРУППЫ. ГРУППЫ, ТОЧНЫЕ ПРИ ТЕНЗОРНОМ ПОПОЛНЕНИИ

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

Ключевые слова: А-степенная группа, свободные конструкции, тензорные

пополнения.

Понятие степенной группы над производным ассоциативным кольцом А с единицей введено Р. Линдоном в [1]. В [2] А.Г. Мясников уточнил понятие степенной группы, введя дополнительную аксиому. В частности, новое понятие степенной группы является непосредственным обобщением понятия модуля на случай некоммутативных групп. Систематическое изучение категории степенных групп в смысле А.Г. Мясникова начато в [2; 3; 4]. Настоящая статья является продолжением серии статей по степенным группам и посвящена изучению частичных А-степенных групп, которые изоморфно вкладываются в свое тензорное пополнение над кольцом А. Ключом к ее пониманию служит понятие тензорного пополнения, введенное в [2]. Как следствие, получено описание свободных А-групп и свободных А-произведений на языке групповых конструкций.

§ 1. Группы, точные при тензорном пополнении

Приведем некоторые определения из [2]. Зафиксируем произвольное ассоциативное кольцо А с единицей, а также группу О. Пусть задано действие А на О, т. е. отображение G х А ^ G . Результат действия ае А на g е G будем записывать в виде gа . Рассмотрим аксиомы:

Совокупность всех А-степенных групп, так же как и в [2], будем обозначать через т А .

(1)

(2)

(3)

(4)

£а+в = Еа- Ев, £“" = ( (И- ЕИ)а= И- ЕаИ;

а+в а в ггав

© М.Г. Амаглобели, Т.З. Бокелавадзе, 2009

Построение тензорного пополнения данной группы удобно вести по шагам, постепенно «доопределяя степени». Это приводим к понятию частичной А-группы. Также к частичным А-группам приводят и некоторые групповые операции над А-группами. Пусть А - кольцо, О

- группа.

Определение. Группу О назовем частичной А-группой, если возведение в степень определено для некоторых пар (g, а), но не обязательно для всех пар; причем если определена одна часть равенства в аксиомах (1)-(4), то определена и другая часть, и для них выполняются аксиомы (1)-(4) в определении степенной группы.

Класс частичных А-степенных групп

будем обозначать через у А . Например,

если А - подкольцо кольца В, тогда любая А-группа является частичной В-группой.

На протяжении всей статьи будем предполагать, что кольцо А в качестве подкольца содержит кольцо целых чисел Ъ.

Пусть О - частичная А-группа, т. е. О а .

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

Я: О ^ ОА является вложением.

Определение. Будем говорить, что группа О является точной, если она является точной относительно любого кольца, содержащего Ъ.

Докажем некоторые полезные факты о точных группах.

Предложение 1.1. Пусть О = П о -

ге1

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

Доказательство. Пусть все группы

Ог, г е I являются точными относительно кольца А, т. е. канонические отображения Я : О{ ^ ОА являются вложениями. Так

как функтор тензорного пополнения перестановочен с операцией прямого произведения [5], то О' А =П ОА и канониче-

ге1

ское отображение Я : О ^ ОА есть прямое произведение Я(Я = ПЯ). Отсюда следует, что Я - вложение. Верно и обратное: если Я - вложение, то все Я тоже вложения, и, следовательно, группы Ог -

точные относительно кольца А.

Предложение 1.2. Пусть О частичная А-группа. Тогда О является точной относительно кольца А тогда и только тогда, когда все ее конечно порожденные в категории частичных А-групп подгруппы являются точными относительно кольца А.

Доказательство. Пусть Ог, г е I есть множество всех конечно порожденных подгрупп группы О и Я : О{ ^ ОА канонические отображения. Тогда группа

0 = 1цп Ог и по теореме 2 из [5]

ге1

ОА = Нгп ОА . Каноническое отображение

ге

Я : О ^ ОА будет Я = Нгп Я- . Ясно, что Я

е

будет вложением тогда и только тогда, когда каждое Яг является вложением. Отсюда следует доказательство предложения.

Предложение 1.3. Пусть

1 ^ О ——> О / N ^ 1 - короткая точная последовательность частичных А-групп. Тогда группа является точной тогда и только тогда, когда каноническое

отображение Я1я О : N ^ ОА является вложением и О / N является точной группой. Доказательство. Диаграмма

1 ^ N —— О ——> О / N ^ 1

ЯО ЯО / N

+ 1 г 1 Г У

является коммутативной, что следует из

АА

определений р и / свойств тензорного пополнения. Пусть g е О, и предположим, что ЯО (g) = 1. Так как диаграмма коммутативна и ЯО/N - вложение, то

) = 1, т. е. g е N . Так как Я1я О является вложением по условию, то д = 1 и, следовательно, ЯО - вложение.

Примеры. В последующих параграфах мы докажем теоремы о точности достаточно широких классов групп. Здесь же приведем примеры неточных групп.

1) Пусть О - простая группа, содержащая неединичный элемент второго порядка. Так как любая группа является подгруппой некоторой простой группы (см. [6], теорема (3.4)), то запас таких групп достаточно велик. Пусть кольцо А есть поле рациональных чисел Q. Тогда

тензорное пополнение ОА равно единичной группе. Это следует из конструкции тензорного пополнения, изложенной в [2]. В самом деле, тензорное умножение на О «убивает» элементы конечного порядка и потому, в силу простоты, группу О.

2) О - группа без кручения с неоднозначным извлечением корней. Кольцо А -

снова поле Q. В этом случае группа ОА есть группа с однозначным извлечением корней. Доказательство этого предложения легко следует из предложения 3 из [2]. Ясно, что такая группа О не может изоморфно вкладываться в ОА и, следовательно, она не точная.

§ 2. Определение и свойства групп класса у А

Пусть А - кольцо, содержащее кольцо Z в качестве подкольца.

Пусть А - кольцо, у А - категория частичных А-групп (определения в [2]). По определению группа О из у А принадлежит о

у А , если выполнены следующие условия:

(1) для любой максимальной абелевой подгруппы М из О и любого X £ М

пересечение М п Мх = 1;

(2) канонический гомоморфизм / : М ^ М ® А является вложением.

А

Определение тензорного произведения частичных А-модулей будет приведено в конце этого параграфа.

Докажем некоторые свойства групп

о

из класса у А и приведем примеры.

Предложение 2.1. Пусть О е у А Тогда

(a) если М1 и М2 различные максимальные абелевы подгруппы из О, то М1 п М2 = 1;

(b) если О без кручения, то в О однозначна операция извлечения корня;

(c) отношение коммутирования на неединичных элельентах является отношением эквивалентности;

(д) централизатор любого неединичного элем.ента является м.аксимальной абелевой нормальной подгруппой;

(е) пусть О без кручения и хг = у*. Отсюда следует, что [ X, у ] = 1;

(/) если х и у - элем,енты из м.аксималь-ной абелевой подгруппы М и х и у сопряжены в О, то х = у.

Доказательство, (а) В самом деле, пусть х е М1 п М2. Допустим, что х Ф 1 и

выберем элемент у е М2 \ М1. Так как

х, у е М2 и М2 - абелева группа, то

х е М1 пМ1у , что противоречит опреде-

о

лению класса у А .

(b) Пусть хт = ут. Если элемент х коммутирует с элементом у, тогда (ху~')т = хту-т = 1. Так как в О нет кручения, то отсюда следует, что х = у. Если х не коммутирует с у, то обозначим через М какую-нибудь максимальную абелеву подгруппу, содержащую элемент у. Тогда

х е М . Но М пМх э ут Ф 1. Противоречие.

(c) Допустим, что даны три неединичных элемента х, у, г, и пусть коммутатор

[ х, у ] = [ х, г ] = 1. Докажем, что отсюда

[ у, г ] = 1. Если это не так, то рассмотрим

максимальные абелевы подгруппы

М1 э х, у и М2 э х, г . Тогда М1 п М2 э х,

что противоречит пункту (а).

Доказательство (ф непосредственно следует из (с).

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

(е) Пусть хг = у*, х Ф 1, у Ф 1, и предположим, что коммутатор [ х, у ] Ф 1. Пусть М - максимальная абелева подгруппа,

содержащая элемент х; тогда у £ М . По определению группы из класса у А

М п Му = 1. С другой стороны,

у- хгу = у^у*у = у* = хг, поэтому

1 Ф хг е М п Му .

(!) Пусть х = у1 . Тогда М п М1 Ф 1. Отсюда следует, что I е М , а поэтому х = =у.

Укажем примеры групп из класса у А .

(I) Для любого кольца А 3 Z свободные группы являются частичными А-группами.

Ясно, что эти группы принадлежат

классу у оА .

(II) Обобщим предыдущий пример и рассмотрим класс групп со следующими свойствами:

(1) группа О без кручения;

(2) централизатор любого неединичного элемента является бесконечной циклической подгруппой.

Тогда О принадлежит классу у оА . В

самом деле, максимальная абелева подгруппа М в такой группе является бесконечной циклической. Пусть элемент

х £ М . Тогда, если М пМх Ф 1 и М = (у),

для подходящих целых г и э х—у*х = уг.

Доказательство такое же, как и во второй

части пункта (Ь). Обозначим х- ух = г,

тогда г'* = уг, отсюда по пункту (е) предложения 2.1 следует, что г коммутирует с у и, следовательно, х~1 ух = ур. Если |р| > 1, то подгруппа (х, у) содержит подгруппу р-ичных рациональных чисел. Последняя группа не является циклической подгруппой, что противоречит условию

(2). Если р = 1, то х коммутирует с у -противоречие. И, наконец, если

-1 -1 -2 2

х ух = у , то х ух = у - снова противоречие с пунктом (е) из предложения 2.1. Предложение 2.2. Свободное произ-

о

ведение групп из класса у А также принадлежит классу у А .

Доказательство. Свободные произведения О = * О■ групп Ог, г е I из класса

ге1

о

у А сами являются группами из этого

класса. По теореме Куроша о подгруппах свободного произведения групп (см. 4.9.1

[7]) существуют две возможности:

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

вида Оу, у е О;

(2) М - максимальная циклическая подгруппа, порожденная элементом, редуцированная длина которого > 2.

В первом случае если х £ М, но х е Оу , то М пМх = 1 следует из того,

что группа Ог е у А . Если х £ Оу, то Мх п Оу = 1, а потому М пМх = 1.

Во втором случае если х £ М, то

М п Мх = 1, так как разные степени одного и того же элемента, редуцированная длина которого > 2, не сопряжены между собой (см. [7], теорема 4.6).

Абелевы частичные А-группы из категории у А являются частичными А-

модулями.

Многие понятия общего характера для А-модулей переносятся и на категорию частичных А-модулей. Например, понятие частичного А-подмодуля, частичного А-гомоморфизма и т. д.

Для наших целей важно, что понятие тензорного произведения А-модулей обобщается до понятия тензорного произведения частичных А-модулей. В определении этого понятия мы будем следовать работе [8].

Предложение 2.3. Пусть М, N - некоторые частные А-модули. Тогда существует пара (Т, д), состоящая из частичного А-модуля Т и частичного А-билинейного отображения g : М х N ^ Т, со следующим свойством: для любого частичного А-модуля Р и частичного А-билинейного отображения / : М х N ^ Р существует

единственное частичное А-линейное отображение /': Т ^ Р такое, что

/ = I ° g (иными словами, любое частичное билинейное отображение М х N можно пропустить через Т).

Если (Т, g), (Т , g ) - две пары с таким свойством, то существует А-изоморфизм у : Т ^ Т , для которого j ° g = g .

Доказательство. Единственность доказывается стандартным образом.

Существование. Для доказательства предложения введем свободный А-модуль С. Элементы С - это формальные линейные комбинации элементов М х N с коэффициентами из А, т. е. выражения вида

П

Е аг (хг, у ) (аг е А хг е М, уг е Ю ■

г =1

Пусть D - подмодуль С, порожденный всеми элементами вида

(х + х, у) - (х, у) - (х, у),

(х у + у) - (х у) - (хy,),

(ах, у) -а( х, у),

(х,ау) -а( х, у) при условии, что ах определено в М, а а у - в N.

Положим Т = С / D . Для каждого базисного элемента (х, у) из С обозначим через х ® у его образ в Т. Модуль Т порожден элементами вида х ® у , и из определения ясно, что они удовлетворяют соотношениям

(х + х)®у = х®у + х ®у,х®(у+у) = х®у + х®у (ах) ® у = х(ау) = а(х ® у).

Иными словами, отображение g : М х N ^ Т, определенное формулой g(х, у) = х ® у , А-билинейно. Любое отображение / произведения М х N в частичный А-модуль Р продолжается по линейности до гомоморфизма А-модулей

I: С ^ Р. Если f, сверх того, частично А-

билинейно, то I обращается в нуль на образующих D и, значит, на всем D. Поэтому I индуцирует однозначно определенный частичный А-гомоморфизм I модуля Т = С / П в Р, для которого /(х ® у) = У(x, у). Поэтому пара (Т, g) обладает сформулированным свойством.

Замечание. Построенный выше модуль Т называется тензорным произведением модулей М, N и обозначается

М ® N или просто М ® N , если ясно,

А

какое кольцо А имеется в виду. Отметим,

что тензорное произведение М ® N часА

тичных А-модулей является полным А-модулем.

§ 3. Точность групп из класса у А

В этом параграфе будет доказан основной результат статьи.

Теорема 3.1. Пусть Ъ - подкольцо

кольца А и группа О е у А , причем в О и

А+ нет элементов порядка 2. Тогда группа О точна, т. е. каноническое отображение Л : О ^ ОА является вложением.

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

Пусть Hi < О{ - группы, г = 1,2 . Пусть, кроме того, зафиксирован эпиморфизм р: Н1 ^ Н2. Назовем О свободным произведением групп О1 и О2 с подгруппами Н1 и Н2, объединенными относительно р,

и обозначим О через * (О1, О2, Н1, Н2, р) ,

если для О выполнено следующее универсальное свойство:

(1) существуют гомоморфизмы Л : О1 ^ О, Л2 : О2 ^ О такие, что О порождается Л (О1) и Л (О2) ;

(2) для любой группы Н и гомоморфизмов / : О1 ^ Н, /2 : О2 ^ Н, согласованных с р, существует гомоморфизм д : О ^ Н , что диаграмма

О

(Лд = /, Лд = /2)

за-

коммутативна.

Если О1 =(X |^), О2 = (X2|^) -

дание О1 и О2 через порождающие элементы и определяющие соотношения, то не трудно доказать, что

О = (Х1 и Х2 \Я1 и Я2 и ^,

где £ = [Ирр = И2 для всех И1 е Н'} - задание О с помощью порождающих элементов и определяющих соотношений. Рассмотрим частную форму этой конструкции, когда р является изоморфизмом

между Н1 и Н2.

Теорема 3.2 ([7]). Пусть

О = * (( О2-: H1, Н 2, р) и р - изоморфизм. Тогда

(1) отображения Л1 и Л2 являются вложениями, что позволяет отождествить Л (О1) с О1, Л2 (О2) с О2 и Н1 с Н2;

(2) выберем систему представителей правых смежных классов группы О1 по подгруппе Н1 и аналогично О2 по подгруппе Н2. Тогда каждый элемент д из О имеет единственную нормальную форму записи в виде g = Ие1е2 • • • сг, где И е Н1 = Н, с -представитель смежного класса, ^ = 1, • • •, г, сг и с+1 не леж,ат одноврем,енно в О1 и О2.

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

Теорема 3.3 ([7]). Пусть

О = * (, О2, Н1, Н 2 , р ) и р - изо-

морфизм, х, у е О и ху = ух. Тогда

(г) х или у лежит в подгруппе, сопряженной с Н = Н1 = Н2;

(гг) если ни х, ни у не лежат в подгруппе, сопряженной с Н, но х принадлежит некоторой подгруппе, сопряженной с О1 или О2, то у принадлежит той ж,е подгруппе;

(ггг) если ни х, ни у не лежат в подгруппе, сопряженной с О1 или О2, то

х = gИg- г], у = gИg-1 гк, где g, г е О,

И, И е Н и элементы gИg , gИ g и г по-

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

парно перестановочны.

Приведем еще один пример, связанный с проблемой сопряженности. Элемент

д группы

О = *(О1,О2,Нх,Н2,р) , р -

изоморфизм, называется циклически несократимым, если в нормальной форме g = Ис1с2 • • • сг при г > 1 представители С1 и

сг не лежат одновременно в О1 или в О2. Теорема 3.4 ([7]). Пусть

0 = *(О1,О2,Н1,Н2,р) ,р - изоморфизм.

Тогда каждый элемент группы О сопряжен с некоторым циклически несократимым элементом. Далее, пусть g -циклически несократимый элемент О. Тогда

(г) если д сопряжен с элементом

И е Н, то д лежит в О1 или в О2 и существует последовательность элементов И, И1, И2, • • •, И, g , где И е Н , соседние члены которой сопряжены в О1 или в О2;

(п) если д сопряжен с элем,ентом g , причем g е О1 или g е О2, но д не лежит

в подгруппе, сопряженной с Н, то д и g лежат в одном и том же сомножителе (в

01 или О2) и сопряжены в нем;

(ггг) если д сопряжен с элементом А,"',Рг , где г > 2 и рI, р1+1 так ж:е, как

и р1, рг не леж,ат в одном сомножителе, то д м.ожно получить, циклически переставляя р1,---,рг , а затем сопрягая полученный элемент подходящим элем,е-том из Н.

Следствие 3.1 ([7]). Произвольный

элемент конечного порядка группы

О = *о О2, Н1, Н 2, р) лежит в подгруппе, сопряженной с О1 или с О2 .

Следствие 3.2 ([7]). Пусть О является свободным произведением групп А, В и С с объединениями из множителя А, т. е. каждое определяющее соотношение либо состоит из однотипных образующих, либо имеет вид и (ау ) = V (рм ) или

и(ау) = Ж(с?) . Тогда произвольная подгруппа Н группы О, тривиально пересекающаяся с каждой подгруппой, сопряженной с А, В или С, является свободной группой.

Мы воспользуемся этим следствием в том случае, когда группа С = 1.

Теперь дадим информацию о группе

01, которая получается из Ос помощью первого элементарного шага конструкции тензорного пополнения. Группа О1 строится следующим образом: в О выбираем максимальную абелеву подгруппу

М, МА = М ® Л, У : М ^ М ® Л - канони-

Л Л

ческое отображение. Затем строим группу

о1 = *(в, мл , м , у (м ), у),

т. е. есть свободное произведение

групп О и МА с объединением М и 7(М относительно гомоморфизма 7. И, наконец, О1 = / Н, где Н = id(1) - наимень-

ший т-идеал, содержащий 1 (более подробно об этой конструкции см. § 4 в [2]). Базовыми для доказательства теоремы являются две леммы 3.1 и 3.2.

Лемма 3.1. Канонический гомоморфизм I1 : О ^ О1 является вложением.

Лемма 3.2. Группа О1 принадлежит

о

классу у Л .

Приступим к доказательству леммы

3.1. Так как по определению класса у°Л гомоморфизм у : М ^ М ® Л является

вложением, то группа О является подгруппой О0 по теореме 3.2 [7]. Для завершения доказательства леммы 3.1 достаточно проверить, что т-идеал N равен 1. С этой целью детально исследуем вопрос о том, когда элементы х, у коммутируют в

О1.

Лемма 3.3. Пусть х и у - элементы из группы О1 и ху = ух Тогда

(1) х и у лежат в подгруппе, сопряженной либо с О, либо с МЛ;

(2) х и у являются степенями некоторого элемента г.

Доказательство. Пусть пара элементов х, у удовлетворяет пункту (1) в заключении теоремы 3.3 ([7]) и пусть, для определенности, х е Мг. Сопрягая, если нуж-

-1

но, х и у элементом г , не ограничивая общности рассуждений, можем считать, что 1 Ф X = т е М . Пусть у = е1ё1 • • • екёкш1

- каноническая запись элемента у, где с{ -

представители классов смежности группы

О по М, а di - представители классов

смежности. Тогда у = c1d1 — ckdkm1m -

каноническая запись элемента ух. В обратном порядке произведение х и у имеет вид

ху = тс^йх — с^кт1. (3.1)

Предположим, что с1 Ф 1. Для нахождения записи элемента ху начнем перетаскивать т в конец записи (3.1). Так как

М П1М0 = 1 по определению класса у Л , то

тс1 Ф с1т2. Отсюда следует, что

тс1 = с1т2 и с1 Ф с1. Поэтому ху Ф ух . Это же рассуждение годится и в случае, когда один из с{ Ф 1(/ = 1, • • •, к) . Следовательно,

если ху = ух, то у = dm, а потому у е МА .

Если пара х, у удовлетворяет условию (и) теоремы 3.3 ([7]), то они принадлежат подгруппе, сопряженной либо с О, либо с

М Л , что согласуется с формулировкой леммы.

Наконец, пусть пара х, у удовлетворяет условию (ш) теоремы 3.3 ([7]). Тогда ни х, ни у не лежат в подгруппе, сопряженной с О, либо М Л и

х = т-1 г1, у = $т %-1 гк, где %, г е О^ , и

элементы %т% 1, %т % 1 и г попарно перестановочны.

Переходя к паре х = %- х%, у = %- у% ,

1 ' к

мы можем считать, что х = тг , у = т г ,

причем элементы т, т и г попарно перестановочны. Если хотя бы один из элементов т или т не равен 1, то по первой части доказательства леммы г е МА . Но тогда х = тг1 е МА и у = тгк е МА, что

противоречит выбору х и у. Следователь' 1 1 к но, т = т = 1, а потому х = г и у = г .

Лемма 3.4. Максимальная абелева

подгруппа в группе О0 может быть только

одной из следующих трех типов:

(1) , где N - максимальная абелева подгруппа в О, % е О0;

(2) (мЛ )%, где % е О1;

(3) бесконечная циклическая. Доказательство. Пусть М - максимальная абелева подгруппа О01 , не являющаяся бесконечной циклической. Если М - локально циклическая группа, то она типа (1) или (2), так как если ху = ух и пара х, у удовлетворяет условию (ш) теоремы 3.3 ([7]), то по доказательству леммы

3.3 х = г1,у = гк и |х| >/|г|,|у| > к|г| и |г| > 2, где |х| длина элемента х. Поэтому в

случае (Ш) теоремы 3.3 ([7]) М не может быть локально циклической, но не циклической группой.

Пусть теперь х, у - любая пара элементов из М , не принадлежащая одной циклической группе. Тогда по лемме 3.3

следует, что М принадлежит либо ОЛ, либо (Мл )Л. Если выполняется условие М 3 ОЛ , то группа М первого типа. Если же М = (Мл )Л , то она является группой второго типа.

Вернемся теперь к доказательству леммы 3.1. По определению структуры А-

частичной группы О01 и по лемме 3.4 все

т-коммутаторы в О01 равны 1, а потому

Н = id(1) равен 1, т. е. О1 = О0. Так как О

изоморфно вкладывается в О01 , то это

верно и для группы О1 .

Лемма доказана.

Приступим к доказательству леммы

3.2. Докажем, что группа О1 е у Л . Доказательство будем вести с помощью теоремы 3.4 ([7]). Пусть N - максимальная абелева подгруппа в О1 первого типа (см. лемму 3.4 с учетом того, что доказано

О1 = О0 ). Не ограничивая общности рассуждений, можно считать, что N 3 О . Предположим, что для N не выполняется

условие (1) из определения класса у 0Л . Тогда существует элемент

Л е О1, / £ N, N П NЛ Ф 1. В этом случае существует пара неединичных элементов

Л

х, у из N таких, что х = у . Так как N П М = 1 по предложению 2.1 (а), то па-

ра х, у удовлетворяет свойству (и) теоремы 3.4 ([7]). По этому свойству элементы х и у сопряжены в О с помощью элемента

Л . Тогда N П NЛl Ф 1 в О. Так как О е

у Л , то отсюда следует, что /1 е N , а потому х = у. Следовательно, исходный элемент / перестановочен с х. По теореме 3.3 ([7]) / е О и по предложению 2.1 (с) / е N. Это доказывает, что свойство (1) в определении класса у Л выполнено для N. Ясно также, что второе свойство определения класса у Л также выполнено для N.

Далее, пусть N - максимальная абелева подгруппа второго типа, т. е.

N = (МЛ)% , % е О1.

Проверим выполнение первого свой-

0

ства в определении уЛ для N в этом случае. Не ограничивая общности рассуждений, можно считать, что N = МЛ . Пусть Л £ МА, Л е О1, и предположим, что

МА П (МЛ )Л Ф 1. Тогда существует пара

л у л Л

элементов х, у из М таких, что х = у . Если, по крайней мере, один из элементов х или у не принадлежит исходной подгруппе М, то выполнено условие (и) теоремы 3.4 ([7]) и дальнейшее доказательство в этом случае такое же, как и для подгруппы первого типа. Если х, у е М , то по пункту (1) теоремы 3.4 ([7]) х сопряжен с у в О, а тогда по предложению 2.1 Лх = у . Дальнейшее доказательство такое же, как и для групп первого типа.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Наконец, пусть N - бесконечная циклическая группа и N не содержится ни в какой подгруппе, сопряженной с О либо с Л

М . Пусть N порождается элементом г. Тогда, в силу наших предположений, редуцированная длина ||г|| > 2 . Далее предположим, что для N не выполнено условие

(1) в определении класса у А , т. е. существует Л е 01 такой, что N NЛ Ф 1. Пусть х, у - пара элементов из N такая, что хЛ = у и пусть х = г', у = г1. Так как редуцированная длина||х|| = Ц|Н| > 2 , то выполнены условия (ш) теоремы 3.4 ([7]). По

теореме 4.6 ([9]) ||х|| =|у||, а потомуi = + j .

Если i = j, то х = у и элемент f перестановочен с х.

Для продолжения доказательства леммы 3.2 сформулируем и докажем леммы 3.5 и 3.6.

Лемма 3.5. Отношение коммутирования на неединичных элементах группы

G1 является отношением эквивалентности.

Доказательство. Пусть задана тройка неединичных элементов x, у, z е G1 таких, что [ x, у ] = [ x, z ] = 1. Докажем, что

[ у, z ] = 1. По лемме 3.2 для пары коммутирующих элементов существуют две возможности: (1) и (2). Из леммы 3.3 также следует, что для двух пар x, y и x, z одновременно выполняется либо возможность (1), либо возможность (2). В первом случае все три элемента дежат либо в G,

либо в ЫА . Так как группа G е y А , а группа ЫА абелева, то [у, z] = 1. Во втором случае пара x, y лежит в бесконечной циклической, порожденной элементом

u, 1|u|| > 2. Аналогично элементы x, z содержатся в бесконечной циклической, порожденной элементом V, |VI > 2. Отсюда следует, что существуют целые числа r и s такие, что ur = Vs. Если [u, V] = 1,

то [у, z] = 1; если же [u, v] Ф 1, то рассмотрим подгруппу H = (u, v^ . Элемент

t = ur = Vs централен в группе H. Предположим H пересекается с подгруппой, сопряженной с G или с ЫА , не по единице. Это противоречит лемме 3.3, ибо

||t|| > |r ||u||| > 2 и элемент t коммутирует с

элементом, циклически редуцированная длина которого равна единице. Следовательно, для подгруппы H выполнены условия следствия 3.2 ([7]), а потому H свободная группа ранга 2. Полученное противоречие доказывает лемму.

Лемма 3.6. Если xf = x 1 в G1, то

x = 1.

Доказательство. Так как х = х и по следствию 3.1 ([7]) элементы конечного порядка лежат в подгруппах, сопряженных с множителями, то в группе О1 нет инволюций. Следовательно, Л 2 Ф 1 . Тогда

[ x, Л ] = 1 [Л, Л ] = 1. Отсюда по лемме

3.5 [х, Л] = 1, а потому хЛ = х = х '. Следовательно, х = 1.

Продолжим доказательство леммы

3.2. По лемме 3.5 подгруппа, порожденная элементами / и г, является абелевой, что противоречит тому, что N -максимальная абелева подгруппа.

По лемме 3.6 случай ' = —] невозможен. Лемма 3.2 доказана.

Приступим к доказательству основной теоремы 3.1. Доказательство проведем транс-финитной индукцией по числу элементарных шагов, необходимых для построения группы ОА .

Если а не пределный ординал, то ка-

г* г^а—1

ноническое отображение из О в О является вложением по лемме 3.1, а группа Оа е у А . Осталось разобрать случай, когда а - предельный ординал. В силу леммы 3.1 Оа = ^ Ов и подгруппа с

в<а

меньшим ординалом изоморфно вкладывается в группу с большим ординалом и, по предположению индукции, все группы

Ов е у А . Ясно, что каноническое отображение О ^ Оа является вложением, так как О изоморфно вкладывается в Ов для всех в < а по индукционному предположению. Осталось для завершения до-

а а

е

е у Л .

Лемма 3.7. Пусть М - максимальная абелева подгруппа группы Оа и Мв = М П| Ов . Тогда Мв либо равно 1, либо Мв- максимальная абелева подгруппа в Ов.

Доказательство. Предположим, что Мв Ф 1, г е Мв, г Ф 1; предположим

еще, что Мв не максимальная абелева подгруппа. Тогда существует элемент х,

который коммутирует со всеми элементами из Мв, но не принадлежит Мв. Пусть у - произвольный неединичный элемент из подгруппы М. Тогда существует такой

ординал в <у < а, что у е О7 . Так как х коммутирует с г и у коммутирует с г, а группа Ов е у Л , то х коммутирует с произвольным элементом у е М . Следовательно, х е М , а потому

х е Мв = М П| Ов. Полученное противоречие доказывает лемму.

Докажем, что Оа е у Л . Пусть М -максимальная абелева подгруппа Оа и Л £ М . Если М П| Мл Ф 1, то существует пара неединичных элементов х и у таких, что х = у . Рассмотрим такой ординал у < а , что все три элемента принадлежат

О7 и пусть М7= М П| О7 М7 Ф 1 и по лемме 3.7 М7- максимальная абелева подгруппа в О7 и Л £ М7 . По построению М7 П| (Мг)л Ф 1, что противоречит тому,

что Ог е у Л .

Проверим, наконец, что каноническое отображение ]М : М ^ М ® Л является

Л

вложением. В силу предложения 1.2 достаточно проверить это только для конечно порожденных подгрупп группы М . Любая конечно порожденная подгруппа М

содержится в некотором О7 , где у < а .

Так как по лемме 3.7 М П| Ог = М7 есть

максимальная абелева подгруппа в О7 и

О7 е у Л , то каноническое отображение

/ г : М 7 ^ М 7 ® Л

Л

является вложением. Отсюда следует, что каноническое отображение 1М является

вложением. Теорема доказана.

Сделаем два замечания.

Замечание 1. Лемма 3.2 и лемма 3.6 не верны для групп с инволюциями.

В самом деле, пусть г - элемент второго порядка, у е МА \ М и х = у— гуг, Л = у 1 гу , тогда ||х|| = 4 и

ЛхЛх = у— гуу— гугу — гуу — гуг = 1

Следовательно, хЛ = х 'и О 1 £ у А . Замечание 2. Определим класс групп у Л , более широкий, чем класс у Л . Будем

а*

е уЛ , если для

любой ее максимальной подгруппы М выполнено условие: М либо А-модуль, либо М удовлетворяет условиям (1) и (2) в

определении класса у 0Л .

Тогда основная теорема справедлива

*

и для групп класса у Л .

§ 4. Приложения к свободным конструкциям

Сформулируем понятие свободной А-группы. Пусть А - ассоциативное кольцо с единицей 1. X - произвольное множество.

Определение. А-группа ^а(Х) с множеством А-порождающих X называется свободной А-группой с базой X, если выполнено следующее условие: для каждой А-группы О - произвольное отображение (р0 : X ^ О продолжается до А-гомомор-

физма р : ЕЛ (X) ^ О. X называется множеством свободных А-порождающих РА(Х). Мощность |Х| называется рангом

группы РА(Х).

Теорема 4.1. Для любых X и А свободная А-группа Ра(Х) существует и единственна с точностью до А-изоморфизма.

Доказательство. Пусть Я(Х) -

свободная группа в обычном смысле. Тогда ее тензорное А-пополнение является свободной А-группой с базой X. Действительно, пусть р0 : X ^ О - произвольное отображение из X в А-группу О.

Тогда р0 продолжается до гомоморфизма р1 : Е (X) ^ О по свойству свободной группы. А последнее отображение продолжается до А-гомоморфизма р : (Е (X))Л ^ О .

Следовательно, р : (Е(X))Л - свободная А-группа с базой X.

Единственность следует из единственности тензорного пополнения.

Сформулируем следствие из основной теоремы 3.1 и теоремы 4.1.

Следствие 4.1. Пусть А кольцо, содержащее X в качестве подкольца. Тогда свободная группа Р(Х) точна относительно кольца Ъ. Другими словами, Р(Х) является подгруппой Ра(Х).

Доказательство. По теореме 4.1

ЕЛ (X) = (Е (X))Л . Так как Е (X) е РЬ и не

содержит инволюций, то по теореме 3.1 каноническое отображение

Я : Е(X) ^ (Е(X))Л является вложением.

Введем конструкцию свободного произведения в категории А-групп.

Определение. Пусть О',' е I А-

группы. А-группа * О■ называется сво-

Л'

бодным произведением в категории т Л , если А-гомоморфизмы р : О1 ^ * О■ такие,

Л

что для любых А-гомоморфизмов / : О■ ^ Н , где Н - произвольная А-группа, существует А-гомоморфизм / : * О■ ^ Н , делающий коммутативной

Л

следующую диаграмму:

о.

¥

(і є І)

¥

Н

и

* О■ А-порождается множеством

Л

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

[Р(Ег )1 Ег е О', ' е 1} . Из категорных соображений следует, что группа * О опреЛ '

делена однозначно с точностью до А-изоморфизма.

Теорема 4.2. Пусть А - кольцо, содержащее Ъ в качестве подкольца, О',' е I - некоторое множество А-групп. Тогда

(1) *ОЛ = (*О)Л;

(2) каноническое отображение Я: *О1 ^ *ОЛ является вложением.

Доказательство. (1) Пусть

р° : О ^ *О■ и Я : *О' ^ *ОЛ - каноническое отображение из определения тензорного пополнения. Обозначим Я°р° = р .

Тогда р : О Л ^ (*О')Л есть совокупность А-гомоморфизмов. Пусть / : О' ^ Н -произвольные А-гомоморфизмы. Для того чтобы доказать, что группа *О Л является свободным произведением в категории

до коммутативной. По определению свободного произведения * О. существует

А

частичный А-гомоморфизм р : * О. ^ Н .

А

В силу универсального свойства тензорного пополнения существует А-

гомоморфизм ¥, продолжающий р . Он и будет искомым. Свойство порождаемости (* О■)А образами р(О.) также выполне-

А

но, а потому (* О■)А является свободным

А

произведением в т А .

(2) Для доказательства того, что Я есть вложение, достаточно по замечанию

2 из § 3 доказать, что группа *О. є УА .

Последнее легко следует из теоремы Ку-роша о подгруппах свободного произведения.

Теорема 4.3. Класс у°А замкнут относительно свободных произведений.

Доказательство. Пусть О., і є I семейство групп из у А Пусть Я - канонические отображения О. в ОА . По условию они являются вложениями. Отсюда следует, что отображение Я : *О. ^ *ОА также является вложением. По пункту (2) теоре-

мы 4.2 отображение р : G f ^ также

А

является вложением. По пункту (1) этой теоремы = (%Gf )А .

А А

Отсюда и следует доказательство теоремы.

ЛИТЕРАТУРА

[1] Lyndon R.C. Groups with parametric exponents // Trans. Amer. Math. Soc. 96(1960), 518-533.

[2] Мясников А.Г., Ремесленников В.Н. Степенные

группы. I. Основы теории и тензорные пополнения // Сиб. матем. журнал. 35. (1994). № 5. С. 1106-1118.

[3] Myasnikov A.G., Remeslennikov V.N. Exponential

groups. II. Extensions of centralizers and tensor completion of CSA-groups // Internat. J. Algebra Comput. 6 (1996). № 6. 687-711.

[4] Baumslag G., Myasnikov A., Remeslennikov V. Discriminating completions of hyperbolic groups. Dedicated to John Stallings on the occasion if his 65th birthday // Geom. Dedicata 92 (2002). 115143.

[5] Амаглобели М.Г. О перестановочности функто-

ра тензорного пополнения с основными групповыми операциями // ИИТПМ. 1993. № 7.

[6] Линдон Р., Шупп П. Комбинаторная теория групп. М.: Мир, 1980.

[7] Магнус В., Каррас В., Солитер Д. Комбинатор-

ная теория групп. М.: Наука, 1974.

[8] Атья М., Макдональд И. Введение в коммута-

тивную алгебру. М.: Мир, 1972.

i Надоели баннеры? Вы всегда можете отключить рекламу.