Эндоморфизмы и радикалы колец тема автореферата и диссертации по математике, 01.01.06 ВАК РФ

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

Щ\л 1 9 Ь

■-¿г-1"- • • .

МОСКОВСКИЙ ОРДЕНА ЛЕНИНА, ОРДЕНА ОКТЯБРЬСКОЙ РЕВОЛЮЦИИ И ОРДЕНА ТРУДОВОГО КРАСНОГО ЗНАМЕНИ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ИМЕНИ

И.В.7Ю150 [¡ОСОБА

Мехаийко-иагекагическиК факультет

На правах рукописи УДК 512.552.12,16

!.ЕШРУБ Владяиир Александрович

ЭНДОШРФЙЗИЫ И РАДИКАЛЫ КОЛЕЦ 01.01.Об - иатематическая логика, алгебра и теория чисел

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

Москва - 1992

Работа выполнена на кафодре вассе!) алгебры ^еханико-като-штичоского факулы-ота Московского государственного университета км. М.,В.Ломоносова.

Научний руководитель - доктор фиэшо-шхгеыатичеоких наук,

профессор А.В.ИХАЛЕЦ

Официальные оппонент - докгор физико-штешиг.чесгшх наук

доиенг А.А.ТУГАНБАЕВ, кандидат физико-математических наук, доцент С.А.ПВХИЫЬКОВ .

Ведуцал организация - коскове ккй педагогический государственный ушгаорзитет ииэни В.И.Ленина.

Защита диссертации соотоктсп " 2. Ь " 199.2.Г.

в чао. О^ ит, на заседании специализированного совета Д.053.05.05 по иагеиатихе при Московской государственной университете ни. Ц.В.Лоионосова по адрзоу: 11989Э, Шзсква, Репинские горы, ИГУ, иеханмко-иатеиатичесвий факуяьгот, ауд. 1^-08.

С диссертацией иокио ознакомиться в библиотеке ¿юханш.о-иатеиатического факультета ЫГУ. ^

Автореферат разослан

»¿З » Ш?&(?р9( 1992г.

Учения секретарь специализированного совета по иатеиатике Д.053.05.05 при МГУ доктор фиэико-иатематичеоких наук

В.Н.ЧУБАРИКОВ

'V,;: . МАЯ ая- '

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ

АКТУАЛЬНОСТЬ ТЕШ. Понятие радикала иизет обцеалгебрап-чэскиН характер, оио успешно праыеняется при изучении колец и алгебр, групп, полугрупп, иодулеИ и категории. 3 категории колец, в отличие, скахои, от категории ыодуле'Д, радикальное отображение не является подфуактороу тождественного Функтора (оа. [II ). Поэтйиу продставляется важный выяснить, при каких условиях образ радикзла дашюго ассоциативного кольца относительно некоторого кольцевого эндогор^изка содержится в эюм не радикале кольца. Идеал X кольца & называют ^ -. инвариантным (или инвариантный относительно эндоноруиэиа

Рено [23 и Дин [3] поставили следующую проблоку:

Проблема I. Является ли первичный радикал нстерова слева кольца инвариантный относительно всех инъективных эндоыорфиз-уэв этого кольца?

Более сбце.1 явллотся

Проблема 2. (А.Б.Михалев) Пусть £ радикал в классе всех колец ( ф-алгебр). Найти условия на кольцо н его

эндоморфизм ^ , достаточные для инвариантности радикала 5 (Я?) относительно ^ .

1. Андрунакйевич В.А., Рябухин Ю.И. Радикалы алгебр и структурная теория. - М.:Науна. - 1979.

2. Renault С. Anneaux de polynoneo da Oro sur deo anneaux Artiniena// Cocaun. Aïs. - 1979. - V. 7,M 7. - P. 753-761.

3. Dean С. МоиогюгрМапз and radicale of Uoetherian rings// J. -Us. - 1986. - V. 99, 1! 2. - P. 573-576.

-г -

Ятегаоикар дм арткиовых колец, Рено И для полу-

приыарных колец и Дкн £33 для кетеровых справа колец с условием максимальности для правых аннуляторов доказали инвариантность верхнего нильрадикала относительно инъектквкнх эндоморфизмов. Уилккнсон [5] для весьма узкого круга колец к эндоморфизмов доказал инвариантность радикала Джекобсона.

Ответим, что если идеал ,$(&) инвариантен относительно эндоморфизма ^ , ю аддитивная группа

будет идеалом кольца косых многочленов , что позволяет

свести изучение кольца к изучению кольца косых много-

членов над Б -пслупростым кольцом/?/$ (Я).

Кольцо Л ^р^ , называемое в диссертация расыирением Кона-Кордана, является обобщением » определенного Иор-

даном [6] и исследованного Уилкинсоноы С7Ц • Это расширение описано в более общей случае для'универсальных алгебр в § 7.3 монографии Кона [8] . В работах> [73 и [6] отмечается, что изучение свойств кольцапозволяет переносить результа-

4. Jatogaonkar A.V. Skew polynomial rings over ordoro In Arti-nlan rings // J. Alg, - 1972. - V. 21,N 1. - P. 51-59.

5. Wilkinson J.C. Injoctive endonorphisaa cad naxlaal loft iaeale of left Artlniaa rings // Glasgow Math. J. - 1998. ~ V. 30. N 2 - P. 195-201.

6. Jordan D. A'. Biective extension of injectivo ring endomor-phisms // J. London Kath. Soc., Ser. 2. - 1982, - V. 25,

li 3. - 435-448.

7. Wilkinson J. C. Quotient rings, chain conditions and injactive ring endomorphiems // Glasgow Math. J. - 1989. - V.31, » 2, - i. 173-181.

8. Кон П. Универсальная алгебра. - Ы.: Наука. - 1968.

ты, полученные для кольца косых многочленов & С эс^ в той случае, когда — автоморфизм, на тог случай, когда ^ — кнъективниМ эндоморфизм. Возникает

Проблема 3. Найти свойстза кольца Рч , которые наследовались бы кольцом АСР^Р) •

Обозначим чорез ^ радикал Джекобсона и первичный

радикал соответственно. Классическая теорема Аыицура [9] ут- • верждает, что [Х]^ = I С^О , гдеХ — некоторый ниль-

идеол кольца Й . Кроив гого,

В большинстве работ, где изучаются классические радикалы колец косых многочленов Я? СэС^ ^ » з частности, в рабо-

тах [10 - исследование ограничивается ллпь теи случаем,

когда £ - автсиор^из!.'. Если отказаться ог этого ограничения,

10. 3edl S.S., Raa J, Jacobson radical of skew polynomial ring3 and skew group rings // laT.J. Hath. - 1900. -V. 35, M, - P. 327-337.

11. Jordan C.R.,Jordan D.A. A note oa aeaiprimitivity of Or« exten3ioaa//Con=un.Ug. - 1976. - V.4,N 7. -'P. 647-656.

12. Puczylowski 3.R. Behaviour of radical properties of rings Uder eone algebraic constructions // "Radical Theory". Eger (Hungary),. 1S82. - Colloc.ilath.Soc. Janoa Boliai. -

. V. 33. - P. 449-450.

13. Voskoglou li.O. Senipriiae ideals of skew polynonial rings// Publ. Xnat. Hath.(Beograd). - 1990. - V.47(61).-P. 33-33.

14. Han J. On the ser-isinplicity of skew polynomial rings // Proc.Aner.Math.Soc. - 1984. - V.90.N 3. - P. 347-351.

то за достигнутую таким путем общность прядется платить возникновением ряда проблегг,Б число которых находятся проблемы I и 3.

Проблема 1ШЪ01ПГИБНЫЙ эндоморфизм КОЙЬ-

уд . Найти условия на кольцоР , которые достаточна для выполнения одного еэ следующих р&вгнств: (а) ¿З(РС^^з) —Ы1Х]з

Дли СЙ доказал равенство (а) для нётеровш: ехграва колец с условием максимальности ддя левах оинугвггоров.

Херстейн [163 , [163 высказал следующую гипотезу.

Гипотеза 5. Пусть Р - нбтерово слева кольцо, а ег0

левые идеалы к |_, — левый нильвдзал относительно 2« Тогда левый

идеал [_, пильпотезгтеа относительно 2 •

Херстейн [163 л Мзйэр [17] для архиновых.слова колэц,Хорстейн [153 дан Р1-алге0р и Стаффорд [183 для вполне ограниченных слеш колец, для простых колец и в том случае, когда2 — и модуль артинов,доказали гипотезу 5.

ЦЕЛЬ РАБОТЫ, Исследование вопроса ой 1гнвариантнсо1и классических радикалов ассоциативных колец относительно эндоморфизмов, приложение полученных результатов к кольцам косых многочленов,

15. Herutoin X.N, A thoorea on loft Uoother!on rinya // J.Math, Anal. Appl, - 1966. - V. 15, W 1. - P. 91-96.

16. Herotein I.N, A nil-nilpotent type of thsoraia // Aspoc'vs of Mathematics and ito Applications. Eloevier Science Publisher B. V. - 1386. - V. 397-400.

17. Meyer J.H, A nil-iropliee-nilpotent result in Artinlen rings // Bull. Austral Math. Soo. - 1986. - V. 34. - P. 267-269.

"V.

18. Stafford J.T. A nil iiuplieB nilpotent theorem for left ideala // J. Algi - 1990. - V. 133, N 2. - P. 545-549.

изучение свойств расширения Хона-Зордана и колец косых многочленов со многими яоммуаирук'диыи перокенсыки, полное решение проблемы I", исследование проблей 2 - И доказательство гипотезы 5 в частном случае.

ИЗТОДЫ ИССЛЕДОВАНИЯ. В диссертации использованы методы теории ассоциативных колец, развита техника работы о лоаи1.:я аннулп-юрааи. При изучешш свойств колец косых многочленов со многий« коммутирующими пйреыешшыи в работе систематически используется конструкция расширения кольца о помощью множества его инъектив-ных эндоморфизмов (называемая з диссертации расширением Кона-Зордаяа). Кромо того, в работе использованы теореш Шока о нильпотентности нильподколец (ск. [19] , [20] ) и методы их доказательства.

НАУЧНАЯ НОВИЗНА. Все основные результата диссертации являются новыми. Основными результатами диссертации являются следующно;

1. получено положительное реиение проблсми Рано (с:.:, проблему I), для широкого класса колец (включающего кольца Голди,

кольца о размерностью Крулля) установлена инвариантность верхне-• *

го нильрадикала относительно всех эндоморфизмов с нильядрои, нойдени классы колоц и алгебр, радикал Дкекобсона которых инвариантен относительно эндоморфизмов с киаэи регулярным ядром или относительно инъектизных эндоморфизмов (теоремы 1.1.2, 1.2.2, 1.2.3, 1.2.4);

2. з чаотном случае доказана гипотеза ХерстеНна (теорема

злл); '

19. Shock Н.С. КА1 subrin^o in finitnesa conditions // Asar. Kath. ümthly. - 1979. - V. 73. - P. 741-743.

20. Shock KeC. Tho ring of endocorphions of a finite dir.ensio-aal module//lar.J.Math. - 1972. - Y.1l,:í 3.-P. 303-3 14.

3. получено описание первичного радикала и радикала Джекоб-сона колец косых многочленов со многими коммутирующими переменными над кольцами с некоторыми условиями конечности (см. теорема 4.2.2 - ^.2.5).

ТЕОРЕТИЧЕСКАЯ И ПРАКТИЧЕСКАЯ ЦЕННОСТЬ. Работа носит теоретический характер. Ее результаты могут найти применения в теории-колоц и гомологической алгебре.

АПРОБАЦИЯ РАБОТЫ. Результаты диссертации докладывались на Международной конференции по алгебре, посвященной памяти А.И. Мальцева (Новосибирск, -1989г.), на У1 Симпозиуме по теории колец, алгебр а модулей (Львов, 1990г.), на 26 Всесоюзной научной студенческой конференции (Новосибирск, 1983г.), на семинаре по теории колец III! СО АН СССР (19Б8г.), на научно-исследовательском семинаре по обцой алгобрс и семинаре "Кольца и модули" МГУ (Москва, 1987-1992гг.).

ПУБЛИКАЦИИ. Результаты диссертации опубликованы в 7 работах автора 1/ - 7^ список которых приведен в конце автореферата.

ОБЪМ РАБОТЫ. Диссертация изложена на 15*5 страницах и состоит из введения, нулевой главы, четырех глав и двух приложений. Библиография содержит 72 наименования.

СОДЕРЖАНИЕ РАБОТЫ

Глава I посвяцсна решению проблемы Рено г. исследованию вопроса об инвариантности радикалов ассоциативных колец. В § I.I рассмотрены верхний нильради кал JV и обобщенный нильрадикал, в § 1.2 - радикалы Джекобсода ^ и Брауна-.'.'лкКоя.

Теорема I.I.2. Пусть N =l! j — УПДо:.'ор.:г.з:.: колы;а!х

такой, что/(et =г —. Продг.олокп:.;, -П'о судсс: !*\ч;т идеал X / ...

кольца Р такой, чтоX—N> кольцо^?/! удовлетворяет условию максимальности для левых аннуляторов и каждое нильподколь-цо кольца^/Х нильпотентно. Тогда ^ ' •

В следствии I.I.3 приведено 12 типов колец с различными условиями конечности (среди которых кольца ГоДди, айинн'ке алгебри), к которым применима теорема I.I.2. Следствие 1.1.5 доказывает инвариантность верхнего нильрадикала колец относительно косых дифференцирований в ряде случаев. Примеры 1.1,6 и I.I.8 показывают, что верхний нильрадикал Pl-алгобр л радикал Дзекобсона локальных колец не обязаны быть инвариантными относительно всех инъекгивных эндоморфизмов.' Теорона 1.2.2 доказывает инвариантность радикала Дзекобсона кольца Каиа справа (cu. C2IJ) с условием максимальности для аннуляторов, содержащих ог"

носительно инъективяих эндоморфизмов. В теореме 1.2.3 внделон класс полулокальных SBj-алгебр, радикал Дкекобсона которых инвариантен относительно эндоморфизмов с нвазирегулярншз ядром.

Теорема 1.2.3(1). Если/^ — алгебра о единицей над полей К , R- Область.'GJCikafß) t *f (j(R)) ^

, "^Jt(R)) ^ß-(R) . В теореме 1.2.6,доказана инвариантность радикала Брауна-МакКоя в ряде случаев .

3 главе 2 определены основные алгебраические конструкции, исследуемые в работе. Пусть F~ - непустое множество коиыутирую-цих между собой инъективных эндоморфизмов кольца R . Расширение Кона-ЖорданаA(ß jR) опроделено в § 2.1 как наиионьшео кольцо,

С"*

содержащее R , па котором все эндоморфизмы из t продолжаются до попарно коммутирующих между собой автоморфизмов (определение

21. Faith С. Annihilator ideals, associated prisea and Kaah-ücCoy coanutative ringa/yComr.un.Alg. - 1931. - Y.19,n 7,-P.1857-1033.

2.1.1). Доказаны существование и единственность этого расширения (теоремы 2.1.2 и 2.1.5). Б § 2.2 введено понятие [X]- семейства и установлено, что реасгка левых идеалов кольца изоморфна решетке всех £Х1~ ее^еНств левых идеалов кольца^ . Доказано, что свойства кольца "быть арткновым кольцои о единицей" и "иметь ограниченную длину цепочек левых аннуляторов" наследуются кольцом Д^ь). В § 2.3 определены введенные в Г , С 22J , [23]- кольца косых многочленов х

со ¡шогиии коммутирующими переменными (здесь ииъективные

эндоморфизмы,сЦ — косые ' ^ - дифференцирования,

"Обычное" кольцо косых многочленов является кольцом косых многочленов со многими коммутирующими переменными лишь в тем случао, когда

В г.паво 3 доказаны две теоремы о нильпотентности модифицированных ппльобъектов.

Теорема 3.1.4. Пусть ¡_ 11 2. - левые идеалы кольца ,

Ь—, .—, . т . - левиН нильлдеал над » 21 ^ и дл" БССХ

¡И 1 • Тогда ловнй идеал Ц иильпотентен над 2. •

Однородное подкольцо $ кольца R С-^з^у • Й4^ называется (р^ -иильподкольцом, если каждым однородный элемент из 3 иильпотентен. *еореыа 3.2.3 показывает, что если кольцо кольцо Голди, то каждое - нильподкольцо кольца

2. j Vockoglou lú.G. Extonding derivations and enáonorphiDffia to ukew polynomial ringa // Publ. Inat. Uath. (Beograd). -1906. - V. .39(53). - P. 75-82.

23. Voskoglou ií.G. Prlne idéalo oí- okuw polynouial ring a //

Riv. t!ath. Univ. Pama. - 1989. - V. 15, N - P. 17-25.

; Й-Г" 3 нильпотентно. Эта теорема пред-

стазляет собой косой аналог теоремы Иола о нильпотентности ::иль-подкодец.

В главе Ч результаты, порченные з продидуцих глазах, при-иенэиы для исследования радикала Д.чсексбсона' ^ и первичного радикала"® кольца Ь? С ^Ц^Х) $ ' ^ .Пусть Р~ ~ {7-у • Г1 > ^^ - инъективние ондог.орйизыи кольца рч , Тсорсии 4.1.3 и '».1.4 показывают, что зели кольцо ^ удовлетворяет условию цпксииальности для дсвих аннулятэров, то ¡-~ ~ полупервичпость кольца влечет пслулервичнссть

' кольца £ : Г 3 ' а развоакльиа полу-

первичности кольца р ЕХ^Д^ : "¡/«¡р, чго обобщает розуль-гати Зсскоглоу [13] . Пусть ~ свободный коммутативный

моноид, порожденный миозество'ц г.орвценкнх X ~{--у • о^Г} ,

7 «*е£Х]

Теорема 4.2.2 описывает класс колец (включающий кольца Гол-ди слеза), для которых справедливо равенство ^ЗГ^С^/у'^П) ~ Ы[х]. Для колец £ . КЗ Т0Го ко класса, не лиеяцих - крученин, справедливо равенство

4.2.5 найденп условия (эти условия выполняются, з частности, для колец с разиерностьи Крулдп) доотаточиые для выполнения "авенст-

В приложении I получены два новых критерии нетероаости слева кольца косых ыногочленов •

Теорема П1.8. Пустъ|\/-) и Кеъ^ |\| • Кольцо РЮх^^З является нетеровыи слева кольцом тогда и только гог-.да, когда — нетерово слева кольцо, ) и кольцо

"¿О(¡*\С^;является нётеровым слова.

Приложение 2 даст исчерпывающий ответ на вопрос о том, когда кольцо косых многочленов со многими коммут;фувдкми переменном:! без дх5фера1щ:!роБан;й является левым порядком в артиновом слева кольцэ, и представляет собой продолжение исследований, предпринятых Ятогаонкаром Ю, Нордаком [6] и Уилкинсоном [7] »•

Теорема П 2.1. Еслп|Н|<оо , то следующие условия ( I ) и ( 2 ) эквивалентны :

( I ) РчС-*-^^ 'У^ГЦ является левым порядком в артиновом слова кольце ;

( 2 ) расширение Кона~КорданаА(/^ Р) является левым порядком в артгаовом слева кольце.

Теорема П 2,2. Существуют область ^ , но являющаяся об -ласты» Орэ ни слова ни справа, к инъективный эндоморфизм

—5> Р такие, что кочьцо^Х^ является областью Оре слова.

Теорема П 2,5. Если левый редуцированный ранг кольца конечен, то условия (I) и (2), приведенные вше, ^эквивалентны . тому условию, что является левы:,: порядком в артиновом слева кольце.

3 заключение автор выратает глубокую благодарность своему научному руководите.*?:! профессору А.В.^калеву за постановку задач и постоянное руководство работой. Автор глубоко признателен доктору физико-математических наук К.И.Бейдару за многочисленные консультации. ,

РАБОТУ АВТОРА ПО TEH ДИССЕРТАЦИИ

1. Нушруб В.А. Инвариантность радикала ассоциативного кольца относительно мономорфизмов // Материалы 26 Всесоюзно!! научной отуденческой конференции "Студент и научно технический прогресс". Математика - Новосибирск. - 1988. - С. 57-61.

2. Мушруб В.А. Инвариантность радикалов колец и кольца всех многочленов // Международная конференция по алгебре, поевгщена памяти А.К.Мальцева. Тезисы Докладов по теории колец, алгебр и модулой. - Новосибирск. - 1989. С. 95..

3. ¡¿ушруб В.А. Теорема Гильберта о базисе для модуля косых многочленов // 6 Симпозиум по теории колец, алгебр и модулей. -Львов. - 1990. - С. 90.

4. Мушруб B.Ä. 0 гипотезе Херстойна // Весгн. ИГУ. Маг.мех. - 1992. - й 3. - С. 62-64.

5. Цуируб В.А. Относительная нильпотентность левых идеалов // Вестн. ИГУ. Мат. мех. - 1992. - to 6. - С. 50-52.

6. Мушруб В.А. О классическом кольца частных расширения Кона-Кордана // Успехи мат.наук. - 1992. - Т. 47, й 6.

7. üishrub V. Endosorphisms and invariance of radicals of rings // Contemporary Hatheaatics 7. 131, Part 1Г( Proc. of

the Int. Conf. on Alg. Novosibirsk, 1969 ). - 1992. - P. 363380.

Подп. s net. II.II.92 Формат 60x84 1/16

Oöitu 0,875 п. л. ' Заказ I6S9 Тира* 100 экз.

Типограф** ЮТ.?а