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

тождеотво:

^ ^ + . . . + - ^ ^ * 0

для всех

С

.Т огда

в ( ° 0

/ ^

- + © (А )& -

о

*

и

№

О в ( д ) + . . . + e (jc t ) & (/it ) х о .

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

Пусть

х *

+

. X’l *dCl - e { <f t ) i

У

S u p /tJ ,i s

{9'*’ 9 t ’ '•■ * % * }

и U

Д г} .

Тог­

да

централизатор

подмножества

^

Supf> 6 (^ 0 подгруппа конечного

индекса в

G

и для

каждого

€ С

х =

f X y i k - - - 3 % f h

(2 )

Если U f e ^ u ^ x

,

ТО в

силу равенства

(2)

для

каждого < ^ е С

суще­

ствуют

такие

cjfc

,

что

.

Все ^

нз

С

•

кото­

рые удовлетворяют равенству

при

фиксированных

и

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

по подгруппе

H i 9 C [\C g fcjfi).

Таким образом,

подгруппа

С!

покрыта

конечна!

чис­

лом смежных классов

по

подгруппам

Н i

( i=

4,2.,..., S

) .

Конечность

ин­

декса С

позволяет

построить конечное

покрытие

группы

G

смежными

классами по этим же подгруппам. В силу леммы 12

< « °

для

не­

которого

i

.

Это

противоречит бесконечности индекса подгруппы

Cg(уд,

так

как

Gitpf>X'if]/\(6)s ^

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

ос.= 0

,

а

отсюда

непо­

средственно

имеем,

что

© С Х .)в (^ Л + —+ 0

(Х4) 0

{ |\ ) - О

. ■

В дальнейшем вам понадобится следующая теорема Йеймана-Уайголь-

ца, доказательство которой мы не приводим.

ТЕОРЕМА 17. Если существует такое

nv ,

что

[ ^ гС(>(^)]<щ

для

каждого

c ^ t £ r

р *о коммутант

группы

G

конечен. ■

§4.

ПЕРВИЧНЫЕ И ПОЛ/ПЕРВИЧНЕЕ ГРУППОВЫЕ

КОЛЬЦА

ДВД/.А 18. Пусть

-

идеал

г р .к . К(т

и

х

-

.

ненулевой элемент наименыаей длины из

£/ .

Тсгда

коэффициенты

,,

«

/ а

. X*

попарно

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

а

если

хольцо

К

содержит

только нулевой виль-ядеал, то средя элементов

наименьшей длины суще­

ствует такой

ас

,

что

о£0

ке

нильпотентея,

ДОКАЗАТЕЛЬСТВО. Длина элемента

й3 £/ меньше, чем

длина

х

, а это возможно лишь при

х Х {,= А х

, что доказывает по­

парную перестановочность

коэффициентов ofс .

Если К

имеет только

нулевой ниль-идеал, то

К<£,КфО

и оуществует ненильпотевтный эле­

мент

<T=ZZ

£ К

. Тогда

Xtx ^ v •

ненулевой элемент о

искомым

свойством.

II

ТЕОРЕМА 19. Если кольцо К имеет только нулевой ниль-идеал и

порядки

элементов

группы

G не являются делителями

нуля в кольце

ДОКАЗАТЕЛЬСТВО. Согласно лемме 18 в

ненулевом ниль-идеале

У

г р .к .

KG-

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

ос

, что

<£„. -

ненидьпотентен,

а

такой

ОС по лемме

7 не может быть

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

Я

Отметим, что условие теоремы 18 не является необходимым.

ТЕОРША

20. (Пассман, I

,

Коннел, I

)

Если кольцо К

не

со­

держит

ненулевых ниль-идеалов,

то

г р .к .

KG

тогда и только

тогда

ной подгруппы группы

£г

является делителем

нуля

в К .

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

Если г р .к .

KG

имеет

ненулевой

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

идеал, то оно содержит такой

идеал

У

,

что

У = 0 .

Тогда при .

КА(С)-модулярном гомоморфизме

0

(определение'см. в §3) образ

идеала У является венулевым нильпотентвдо

идеалом

0 ( У ) . Действи­

тельно, если

tf-eK A (G ) ,

то

0 ( зс^ ) = 0 ( ;*:)^-

и,

если

х

= о£,

•*■...+

+

,

то

и

О

. Поэтому

0 (У )ф О

й^

из равенства У^,У=0

( «jf-cfr

) в силу леммы 16 вытекает,

что 0 («/)*О.

Выберем среди элементов 8 (Ю

элемент

х = аС0+Х(^+.„+Х5 (^

найменьоей

длины с не нильпотентным коэффициентом

«£„

. Согласно лемме 18

такой

элемент существует и коэффициенты c/Cj.

порождают коммутативное

под-

кольцо

£ .

Тогда ос2* о

в

г р .к .

HG

. В

силу

леммы 7

это возмож­

но только тогда, когда среди элементов

из

Supp ос

существует

элемент

<^t

,

порядок которого является

делителем нуля в

К

.П о

лемме Дит-

доава

наименьшая нормальная подгруппа

И

,

содержащая

^

,

конечна

и порядок

делит

порядок группы

Н

.

Значит,

порядок

Н

делитель

нуля

в

К .

Обратно, если порядок tv

конечной

нормальной подгруппы Я

груп­

пы G

является делителем

нуля

в

К

,

то в

К

существует

такой

£ф О

-

23

-

£ 4 0

• что

п' ^

!е0 .

Тогда

Ц-~

принадяеяит

центру

г р .к .

КС

,

^ г=0

и

(К6)^

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

КС

. «

ОПРЩШНЙЕ. Кольцо К называется первичны*, если аннулятор каж­

дого ненулевого двустороннего идеала есть нулевой идеал.

ТЕОРЕМА 21. (Коннел,

I

)

Г р .к .

КС

тогда

и только тогда пер­

вично, когда кольцо К

первично

и все конечные

нормальные подгруппы

группы G тривиальны.

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

KG

первично. Если

H<3G

и X

-

идеал

кольца

К

, то

аннулятор идеалов

и

г р .к .

КС

равны нулевому

идеалу.

Очевидно,

аннулятор

St в

К

принадлежит ан -

нулятору

идеала

’'/ С

.

С&едовательно, аннулятор ЪС

есть нулевой

идеал и согласно предложению 2

И

-

бесконечная

подгруппа.

Обратно,

пусть J/

и

- ненулевые идеалы 'гр.к.

К С

Тогда

0(<У)

и

-

ненулевые

идеалы г р .к .

K 4 (G )

и по лемме

16

6 Ш

( У

) * о

. Группа A(G)

не

обладает конечными

нормальными

ния, а

такая

группа

линейно

упорядочена. Пусть

a

t

-

€ 0 ( Ю ,

, х с е К

j f f t i &

i

+ v + f o A t

е в ф

)

,

iX i,tK .

Тогда все "первые коэффициенты"

«£<

элементов

ос из в (Ю

образу­

ют идеал

кольца

К

.

Пусть

У*

- такой

же идеал,

порожденный

коэффициентами

^

.

На основании

линейной упорядоченности

группы

4 (6 ) ,

и "первый коэффициент" произведения

х«^

равен

of1(8t

. Вследствие

равенства

0 ( У ) в ( ^ ) = О

, o£|it=0

и

^ / ^ = 0 ,

что невозможно в силу первичности кольца К .

В

СЛЕДСТВИЕ.

Пусть

KG

-

г р .к . группы без

кручения над полем К .

Если в

г р .к .

КС

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

элементов,

то

оно

не имеет

дели­

телей

нуля.

а & хО .

KG

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

Пусть

По теореме

Коннела

первичное

кольцо. Следовательно, для любых двух ненулевых

элементов •£, a

t KG

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

элемент

ъ е К С

,

что

4 О

.

Тогда

( £ г а ) = 0 ,

что

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

пюедположению об

отсутствии

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

элементов

в

к о

. ш

§5.

ПОЛШЮМЙАДЬНЫЕ ТОЖДЕСТВА

Пусть

ш

®х>—» * v l

- кольцо

полиномов над

полем К

от неком-

мутирующих свободных

переменных

осх, ас4>. . . , х л .

Поливом вида

x ^ a riv

aci,

о попарно различили

индексами

называется

линевным

одно-

членом. Очевидно, число линейных одночленов в

не

пре-

вывает

(пг+ i)! .

что алгебра А

над полем К

удов­

ОПРЕДЕЛЕНИЕ. Будем говорить,

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

тождеству

степени

IV

,

если существует та-

койЧголкаом

у

£

Х [ х х , ... , х та1

степени

п,

, что

для

всех

с / х ,. . .

€ А .

Очевидно, каждая коммутативная алгебра удовлетворяет полиномиаль­

ному

тождеству

.

Приведем некоторые известные факты об алгебрах с полиномиальна

тождеством.

над полем К

1)

Если алгебра А

удовлетворяет нетривиальному

полиномиальному

тождеству

степени

гь

, то в ней выполняется

полили­

нейное

тождество вида

2

3

t t f

и

а ^ е

т/

х б“(п.)

* где

Sn.

-

оим-

метрическая

группа степени!

п,

л .

,

причем

не все

а т равны

нулю,

2)

В матричной алгебре

К л

над коммутативным

кольцом К

выпол­

няется стандартное полилинейное тождество 23('-0

х ®-(пу

сте-

пени

,2 п, ,

где

(-i) 8*равен

I

,

если

подстановка

o '

- четная,

и;

- i -

в

противном случае.

Если

R.

поле,

то

Л п

не удовлетворяет ни­

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

<

2 п ,,

(Теорема

Аыицура-Ле-

вицкого).

В 1949 году

Капланский

[I]

доказал,

что г р .а .

KG

удовлетворяет

полиномиальному тождеству, если G

обладает абелевой

нормальной под­

группой конечного индекса.

Ш.Амицур

[l]

и Д.М.Смирнов

[I]

в

некото­

Для

г р .а , над

полем

характеристики

нуль полное доказательство было по­

лучено

Айзексом и Пассманом [ i] в

1964 г . Исследование

задачи дня

поля

положительной

характеристики

начато М.Смис

[i] и

закончено Пас­

сивном

[4] .

Приводимые ниже результаты

принадлежат Пасомаву 1.41

В леммах

22-24

предполагаем,

что г

р .а . К О

удовлетворяет поди-

- 2 5

-

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

/

степени

п. ,

ЛЕША 22. Если К» (п !)г , то

[С = Д J

<

(

!

•

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

Пусть

[ G : A j > ( K + i ) f

,

В силу выше приведенно­

го замечания I можно

считать, что г р .а . KG

удовлетворяет тождеству

^(зС д ,...,ЭСп.)= ОС12С1-.- Хгь+ 2__«-(Г

Ж’в'(2’>

°Sr(n) O v ^ K )

Определим индуктивно

полиномы

J

i

и ПУ°ТЬ определен

, Представим его в виде

=

+

> тае

есть

сУмма все*

слагаемых из

i f

,

которые не

начинаются с

. Тогда

полагаем

Л к ? ;

•

'

,

является

однородным

полилинейнда полиномом сте­

Очевидно,

j u i

пени

л ,-/ .

Докажем методом ивдухции

п о ’t

следующее

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

дия

любого набора

из

G либо

+р***

для

некоторого j

i е М,ь ,

где

Ы ъ

-

совокупность

всех

линейных

одночленов

кольца

/ ( [ х г ,... , х „1 ,

Ддя

ъ ~ 1

утвержде­

ние очевидно. Предположим его справедливость для всех

Пусть элементы

-

фиксированы,

^ .’ -произвольный

элемент

из группы

G

и

для всех

Пред­

ставим одночлен

в

виде

j .

Тогда

равносильно

тому,

что

так

как

Дк нормально в

G .

Пусть

Т

является

объединением таких

А с ^ л

. что

^

£ M j . \ М}н

. Тогда

fG «T J

> к ! ,

ибо в противном

случае в

силу

неравенства

/

M j*il4 п /

имеем,

что

[ G * A j 4 [ G -’ T l n U

к ! . п .\ < ( ы ) !

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

неравенству

г А к ]

%

( к + i) /

,

Кроме того,

Для всех «JE.fc£M элемент

j i i q t f y n

при любом

£ Мь и, в

силу индуктивного

предположения,

О ..

Если

представить в

виде:

J* ”

~ S? aisA ж/ / ^

с a i feK

;

e f t, /It

t

)

t

все* у .€ G 'T .

T0