Файл: Бовди, А. А. Групповые кольца учеб. пособие.pdf

( i - $

)*= 4 ( l - ч ^

( n o d

£ iJl(i}) .

(3)

Пусть

Uj.

определяется

вектором Ч}*^ {*t\ I u V ^

g

име­

ет

отрицательную

координату

. Тогда

it-

имеет

сомножитель вида

и.

согласно

(3 )

и лемме 56,

t Егс ПАЧКН) ,

Предположим,

что все

координаты вектора

неотрицательны,

Тогда,

ввиду (3 ) ,

( n o d E ^ u^ )

,

где

ч

т а л

*

»

’4 .

.

Еоли

т£л'5{,ир=*^^ж.й

н

имеют вео

сп­

ереди

элементов

, то

по лемме 56

а с е £ г с

н

О s

ос s

+ " ‘ *

( MoJ

•

В силу линейной независимости

и ^ ( т » i,...,к)

по

пии1Е^,л (см .

доказа­

тельство

теоремы

60) Х^т^ п - й

, что противоречит

отсутствию

эле­

ментов

конечного

порядка в аддитивной группе кольца

К

.

Поэтешу

■$(«/)’Z T t-iM O 5*4.с

и, ввиду

неравенства

.5 2 г ,-

> п .

•

UW

ж. a i t f f f l )

‘

Следовательно,

ы ^с AV^W)

,

а

отсюда

• Щ

ТЕОРЕМА 67. Если аддитивная группа коммутативного кольца

К

не содержит элементов конечного порядка,

а

группа

& обобщенных пе­

риодических

элементов, то

А(Кб) тогда

и только тогда обобщенно вияь-

потентен, когда группа С

аппроксимируема

вильпотентиыми группами

без

кручения.

^

ДОКАЗАТЕЛЬСТВО. Пусть

Л

A"(Kt!>-0

и

"W*

~

изолятор

п. -го

члена

Сл

нижнего центрального

ряда

группы

б .

Согласно

предложению 58

t Aft(K 6 )

для всех

g e

Cra ,

Поэтому

/ ) б ж«4

,

а отсюда,

ввиду отсутствия

обобщенных

периодических

элементов в

груп-

ОО

не

, G

,

получим,

что

. Следовательно,

группа

в

-

ап­

проксимируется

нильпотентными

группами

без

кручения

бДц?*

*

3 силу леммы 64 достаточно доказать

обратное

утверждение,

когда

Q

- нильпотезтная

группа

без

кручения.

Обозначим

класс

нильпотент-

- 81

-

ности группы

С

через

с . Если

П АЛ(К 6 )

, то Н - < £ иььж> -

п«4,

* '

конечнопорожденная группа и для каждого

1

существует такая

конеч-

нопорожденная подгруппа

И% , содержащая

И

, что зсеА ^О С Н О .

Однако

класс

нильпотентности Их

не превышает

с

и по лемме

66

зс е

.

Следовательно, асе

А Ч #Н )

,

что противоречит

теореме

5 7 .

В

Представляет интерео проблема Б.ИДяоткина об отсутствии элемен­

тов конечного порядка в

аддитивных группах

фактор-колец

»

ннх групп.

G

TE0PFMA 68. (Кубланова,

2

)

Пусть

-

конечнопорожденная

группа.и аддитивная группа кольца

К

без

кручения.

Аддитивные группы

факторов А’1 т )/ ^ Ч К й ) степеней

фундаментального идеала являются

группами без

кручения

тогда и только тогда, когда в факторах

размерного ряда нет кручения.

ДОКАёАТЕЛЬСТВО.

Пусть

и

А "(К б )

. Тогда

~Р

- гомоморфизм и

-

моноыорфно вкладывается в

а' «

0,/аТ*>-

Поэтому, если

эта

группа без кручения,

то

таким

же

свойством

обладает

$ л / & hil .

Предположим, что

-

без

кручения.

Так

как

Ж

4 ) = ’а*<*<!)

« дм. Ьл

а "№й/ а Ц * й

*

А " ( К ‘*!6.)/а " Т К % ,)

то

можно считать,

что

для некоторого

^

- 1

.

Тогда

-

ремы 60 непосредственно получаем, что аддитивные группы

А

без

кручения,

так как Е ^ 'А ( £ в ) прямое слагаемое

Е а

= А

(К б )

( м > а ) . в

х

Определим индуктивно для всех порядковых чисел

степени идеа­

ла

А ( К б ) :

Ar(#6)-jf(Kfi)A(#e) , если

, а’ для

предель-

Если аддитивная

группа

кольца

К

без

кручения,

то

терминал

группы в

относительно

кольца

К

тогда

и

только

тогда

конечен,

когда

фактор­

группа

группы

G по коммутанту

Gt

является

полной периодической

группой. В

этом случае терминал равен I или 2.

ДОКАЗАТЕЛЬСТВО. Пусть fr/G4

- полная

периодическая группа. Ес­

ли

G = Ga

.

то

А(КС)=А*(Кб) , так как.

Если же &*&t ,

то

для

c^yAtG

существует такое

п.

,

что c j^ t Gt

и

,

где

О г

. Тогда

и ввиду (2 )

ajSL*n.(^-L) (modtA^KC)) f

а

отсюда

t f?QGG) . Так как

t - i t i ? №

, то в

силу

( 2)

(9.-0(МЫ$-0(&Г-0«

О (»nod АЧКС» .

Следовательно,

Аг(К0) = A3{KG) .

Пусть

терминал

группы G

относительно

К

конечен

и пусть

- периодическая

часть группы

.

Тогда_ G/д

-

абелева

труп»

па

без

кручения

и из изоморфизма

Д (К

следует,

что

терминал группы

G/д

конечен. По теореме 67

это возможно, когда А (К % )

периодическая

группа.

Пусть 4

t - совокупность всех

элементов бесконечной

/>~высоты

в группе

G/g^

. Тогда б/н

является

р -группой без элементов беско­

нечной

f>-высоты, а такая

группа аппроксимируется абелевыми

^-груп ­

терминал

группы

G/д

конечен лишь при

нильпотентности

идеала

А (К ^ м )»

что противоречит

предложению 5,

так

как аддитивная

группа

кольца К

без кручения. Поэтому в периодической

части

группы

G/ c t

все

элементы

имеют бесконечную

)> -высоту

повеем

простым

числам,

делящим

порядю

элементов

группы

G/g^

. Следовательно,

^

- полная

периодическая

группа.

■

ЛЕММА 70. (Бовди,

4

)

Пусть

^

и i

- обобщенно периодичес­

кие элементы группы

G

;

п.^

, » ч

- соответственно порядок образа

i ,

то

«

nt A.4i«e)

ш

*>

£

ДОКАЗАТЕЛЬСТВО.

Пусть

(g -i)(* -0 *

f t

Л (KG)

и t - наибольшее

такое

целое,

что (g-i)(JS-0 fe

A

(K G )

. Тогда

ч

Отсюда

*-A^(KG) t так как

с A*(KG) ддЯ элемента

получаем,

что

пц(с|-а)(А-^) fe А ^^ К б )

. Так

как

существуют такие

целые

%

a

s

, что

i “ *ц * + «чл-

,

то

stit (? -0 ( * - 0

+ ,b»»4(?-0(A -0

•

Отсюда

следует,

что (j- iM - * )

6 А

(К б )

(

а

это

невозможно.

•

Следующая

теорема

ддя г р .к . конечных

групп

доказана Кальшайдом

и П.Смисом, а для

г р .к ,

бесконечных

групп Бовди

и Киралем, а в

более

общей

ситуации

для

целочисленного г р .к . Грюнбергем и Роузбяатом.

Пусть Q.

- идеал

г р .к .

$ G

,,

порожденный всевозможными

элемен

теми

следующих

типов:

Т)

y~^

когда

порядок

9

обратим в К

;

2)

(?-0 ( * - 0

,

где

9

-

f>-элемент,

•&

-

9 -элемент, a

f> и

9

-

различные

простые

числа.

G

ТЕОРЕМА

71. Если

периодическая

группа

аппроксимируется

ниль-

делящее порядок

некоторого

элемента

группы

G

обратимо в

К

иди

ес­

ли

Л РЯК - о ,

то Jf(KG)= n

/

m

. £

.

Кроме того,

если

по-

Ml

***

G не обратим и ненильпотентен в

рядок некоторого

элемента группы

К

, то терминал группы

G

относительно

К

равен us .

ДОКАЗАТЕЛЬСТВО. Если

порядок

«л

элемента

9

обратим

в

К

, то

1*-£

Г

( 9 “ О 4

<*)

v-SL

I-у е А ^ К б )

-

84 -

Отсюда

и по *емме 70

й

с А ^(К б)

По теореме Мальцева группа

G

является прямым

произведением

своих

силовских

f>-подгрупп;

G * П

*

. В

силу

тождества

(2)

каждый

х е .

А ^К Б )

’

допускает

запись

л

,

(5)

где каждое

принадлежит

некоторой

силовской

-подгруппе.

По­

кажем, что каждое слагаемое

элемента

ж

либо

со­

держит

элемент

, порядок которого

обратим в

В

, либо в

его

записи

участвуют

элементы хотя

бы из двух различных силовских

f>-под­

групп. Действительно,

если

G = f£i*.Hi

и утверждение

неверно,

то

су­

ществует

такое

i

,

что

о * зс+y(H j) t

А**(®/Н{.)

*

Тогда

/Ч-

н е -

09

обратим в

К

,

Л * К

= 0

и группа,G/j|t

-

аппроксимируется

нильпо-

тентвнми

(>i -группами

ограниченного показателя.

Однако

это

противо­

речит теореме

65

и

А“ ( к е ) - й

.

Если

терминал

группы G

относительно

К

меньше to> ,

то для

каждой

силовской

р «подгруппы

Р

группы

I?

идеал

A(JCP)

нильпо-

тентен. Тогда по предположению б простое

число

(> нильпотент в

К

,

что противоречит

предположению.

Поэтому остается

доказать,

что

A"(KG)*A“ 4<(KG)

. Если

x

t

A"(KG)

,

то

х

имеет вид (5 )

и каждое

слагаемое

Аи (К б )

,

Покажем,

что

эти

слагае­

мые принадлежат Ам“ (К б )

,

Пусть

порядок

обратим в

К

,

а

порядки

»

c j ,

-

не-

обяадают этим свойством. Если

эс ,

,

те

х -

,

так как

элементы из

г р .к .

различных

силовских

|> -подгрупп

•'парно

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

Тогда в силу (4 )

* - х . * Л у * л [ ± £ Х ( ? ч - 0 ы ] £ А ~ ‘( * 6 ) .

Пусть

}>

и

^

- различные

простые

числа

и

порядки

элементов

необратимы в

К

.

Тогда

% можно представить в виде

*

где

fyix

'

- соответственно

имеют порядки