Научная статья на тему 'Градуированные варианты теоремы Голди'

Градуированные варианты теоремы Голди Текст научной статьи по специальности «Математика»

CC BY
82
8
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ГРАДУИРОВАННЫЕ КОЛЬЦА ГОЛДИ / ГРАДУИРОВАННЫЕ КОЛЬЦА ЧАСТНЫХ / GRADED GOLDIE'S RINGS / GRADED QUOTIENT RINGS

Аннотация научной статьи по математике, автор научной работы — Канунников Андрей Леонидович

Доказываются градуированные варианты теоремы Голди о существовании, строении и совпадении классического и полного правых колец частных полупервичного (первичного) правого кольца Голди (теоремы 10, 11, 13). Основная трудность существование в каждом gr-существенном правом идеале однородного регулярного элемента преодолевается наложением дополнительных требований на группу, по которой градуировано кольцо, или на однородные компоненты кольца.

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

Текст научной работы на тему «Градуированные варианты теоремы Голди»

Покажем, что F(t) является непрерывной функцией на отрезке [a, b]. Достаточно проверить ее непрерывность при t Е А. При t = ts имеем

lim F(и) = F(t), lim F(u) = £ f (tk) - p^(ts)f (ts) = F(ts) = F(t).

0<tk <ts

Таким образом, функция F(t) является первообразной от — (pA(t)f (t) + pA(t)f'(t)). Кроме того, F(a) = G(a). Следовательно, для любого t из отрезка [a,b] справедливо равенство F(t) = G(t). Теорема доказана.

Теорема 2. Пусть функция f (t) имеет непрерывную вторую производную на отрезке [a,b]. Тогда для любого b > a имеем

b b

Е f (tk) = — j Mt)f (t) dt + pA(b)f (b) — pA(a)f (a) — aA(b)f'(b) + aA(a)f'(a) + J aA(t)f"(t) dt. (2)

a<tk ^b a a

Доказательство теоремы. В формуле (1) проинтегрируем по частям интеграл

b

PA(t)f'(t) dt = j f'(t) daA(t).

Подставив найденное выражение, получим искомую формулу (2).

Автор приносит благодарность профессору В.Н. Чубарикову за постановку задачи.

Поступила в редакцию 18.05.2010

b

УДК 512.552.2

ГРАДУИРОВАННЫЕ ВАРИАНТЫ ТЕОРЕМЫ ГОЛДИ

A. Л. Канунников1

Доказываются градуированные варианты теоремы Голди о существовании, строении и совпадении классического и полного правых колец частных полупервичного (первичного) правого кольца Голди (теоремы 10, 11, 13). Основная трудность — существование в каждом gr-существенном правом идеале однородного регулярного элемента — преодолевается наложением дополнительных требований на группу, по которой градуировано кольцо, или на однородные компоненты кольца.

Ключевые слова: градуированные кольца Голди, градуированные кольца частных.

We prove the graded variants of Goldie's theorem of existence, structure and coincidence of right classical and maximal quotient rings of a semiprime (prime) right Goldie's ring (Theorems 10, 11, 13). The main problem, the existence of a homogeneous regular element in each gr-essential right ideal, is solved by posing some additional requirements onto the group grading the ring or onto the homogeneous components of the ring.

Key words: graded Goldie's rings, graded quotient rings.

В классической теории колец известен следующий результат [1, 2].

Теорема 1 (Голди). Для ассоциативного кольца R с единицей следующие условия равносильны:

(1) R — полупервичное правое кольцо Голди;

(2) в R .множество всех существенных правых идеалов совпадает с .множеством всех правых идеалов, содержащих хотя бы один регулярный элемент (т.е. неделитель нуля);

1 Андрей Леонидович Канунников — асп. каф. высшей алгебры мех.-мат. ф-та МГУ; e-mail: andrew.kanunnikov@gmail.com.

(3) R имеет классическое правое кольцо частных Qci, которое является вполне приводимым кольцом.

При выполнении этих условий Qci совпадает с полным правым кольцом частных кольца R.

Кроме того, R — первичное правое кольцо Голди тогда и только тогда, когда кольцо Qci вполне приводимо и просто.

Строение вполне приводимых колец описывает теорема Ваддербарна—Артина [1—3].

Теорема 2 (Ваддербарн—Артин). Пусть R — ассоциативное кольцо с единицей. Тогда

1) R вполне приводимо и просто тогда и только тогда, когда R изоморфно кольцу матриц над телом;

2) R вполне приводимо тогда и только тогда, когда R изоморфно конечному прямому произведению вполне приводимых простых колец.

Фактически теорема Голди обобщает теорему Ваддербарна—Артина, поскольку вполне приводимые кольца являются кольцами Голди и совпадают со своими кольцами частных.

Данная работа посвящена градуированным аналогам теоремы Голди. Сначала приведем все обозначения и определения, которые нам понадобятся.

Далее везде G — группа с единицей e, O(g) — порядок элемента g £ G, R = фgeG Rg — G-градуированное ассоциативное кольцо с единицей 1, Supp(R) = {g £ G | Rg = 0} — его носитель, H(R) = [JgeG Rg — множество его однородных элементов, S = S(R) — множество его однородных регулярных элементов, Qg[ = Qg^R) = RS-1 — его градуированное классическое правое кольцо частных, Qgr = Qgr(R) — его градуированное полное правое кольцо частных (см. [4]). Все R-модули правые униталь-ные и G-градуированные. Стандартные градуированные аналоги понятий из теории колец обозначаются приставкой gr-. Например, градуированный модуль M = 0 называется gr-униформным, если всякий ненулевой градуированный подмодуль в M gr-существен (элемент a £ H(M) = [JgeG Mg, такой, что модуль aR gr-униформный, также называется gr-униформным); gr-конечномерное справа кольцо (т.е. не содержащее бесконечных прямых сумм градуированных правых идеалов) с условием максимальности для правых gr-аннуляторов (градуированных правых идеалов вида Tr(S) = {a £ R | Sa = 0}) называется правым gr-кольцом Голди. Кольцо R называется h-точным слева (справа) (в англоязычной литературе используется термин faithful), если

Уд £ G Ух £ Rg \ 0 3x' £ H(R) 0 = x'x £ Rh (Уд £ G Ух £ Rg \ 0 3x' £ H(R) 0 = xx' £ Rh).

Существование кольца Qg[ равносильно выполнению правого условия Оре для однородных элементов:

Уг £ H(R) Ув £ S 3r' £ H(R) 3s' £ S rs' = sr'

(следует из леммы 8.1.1 работы [4]).

Градуированный аналог теоремы Ваддербарна—Артина доказан в [4] для gr-простых gr-артиновых колец и в [5] для gr-артиновых колец с нулевым градуированным радикалом Джекобсона Jg(R) [4, п. 2.9] (или, что равносильно, для gr-вполне приводимых колец).

Теорема 3. Верны утверждения:

1) кольцо R gr-артиново и gp-просто тогда и только тогда, когда R = Mn(D)(gi,... ,gn) для некоторых n £ N, gi, ...,gn £ G и некоторого G-градуированного тела D, где Mn(D)h(gi,... ,gn) = (Dg-ihg )nj=i, h £ G; * j '

2) кольцо R gr-артиново с Jg (R) = 0 тогда и только тогда, когда R изоморфно конечному прямому произведению gr-артиновых gr-простых колец.

Градуированный вариант теоремы Голди для gr-первичных колец изучался в работах [4, 6], а для gr-полупервичных — в работах [4, 7, 8].

Теорема 4 [4, теорема 8.4.4; 6]. Если группа G абелева и G-градуированное кольцо R gr-первично, то кольцо Qg[ существует, gr-артиново и gr-просто.

Теорема 5 [7, предложение 9.2.3]. Пусть R = (J)nez Rn — Z-градуированное gr-полупервичное правое gr-кольцо Голди. Обозначим R+ = фn>0 Rn, R+ = фn>0 Rn. Пусть выполнено хотя бы одно из условий:

(1) R+ содержит центральный однородный регулярный элемент;

(2) R = R+ и каждый gr-первичный идеал в R не содержит R+;

(3) R = R+ и R+ содержит однородный регулярный элемент;

(4) все элементы в H(R+) нильпотентны.

Тогда существует и gr-вполне приводимо кольцо Qf

Теорема 6 [8]. Если кольцо К в-точно справа и Ке — полупервичное правое кольцо Голди, то К — gr-полупервичное правое кольцо Голди, IП Бе = 0 для всякого ^-существенного правого идеала I кольца К, кольцо = КБ-1 существует, gг-вполне приводимо, = КБ-1, )е = КеБ-1.

Теорема 7 [4, теорема 8.4.9]. Если К — gr-полупервичное правое gr-кольцо Голди, сильно градуированное конечной группой О, то Ке — полупервичное правое кольцо Голди, кольцо существует, сильно градуировано, gr-вполне приводимо и (К))е = Ке) = КеБ-1.

Также в [4, 6, 7] приведен пример gr-полупервичного коммутативного кольца Голди, градуированное классическое кольцо частных которого не является gr-артиновым.

Пример 1 [4, пример 8.4.7; 6; 7, пример 9.2.2]. Пусть к — поле, кольцо К = к[х,у]/(ху) градуировано группой Z:

кхп, п> 0; Кп = ^ к, п = 0; ку-п, п < 0.

Легко видеть, что К = не является gr-артиновым (и тем более gr-вполне приводимым) и что (х, у) — gr-существенный идеал, состоящий из делителей нуля.

Мы докажем градуированный вариант теорем Голди в значительно более слабых предположениях, чем в теореме 7 (теоремы 11 и 13), а также покажем (на примере кольца из примера 1), что полное правое градуированное кольцо частных gr-полупервичного правого gr-кольца Голди может не совпадать с его градуированным классическим кольцом частных, но всегда является gr-вполне приводимым (теорема 10). Отметим, что вопросы строения уже существующего кольца (теорема 8), кольца Qgr (теорема 10), а также их совпадения (теорема 9) решаются аналогично неградуированному случаю. В общем градуированный вариант теоремы Голди распадается на несколько теорем.

Теорема 8. Если кольцо существует, то оно gr-вполне приводимо (и gr-прост,о) тогда и только тогда, когда I П Б = 0 для каждого gr-существенного правого идеала I кольца К (и К gr-первично).

Доказательство аналогично неградуированному случаю [2, с. 221, п. 10.10].

Теорема 9. Если кольцо К gr-конечномерно справа и I П Б = 0 для каждого gr-существенного правого идеала I кольца К, то Qgr = .

Доказательство аналогично неградуированному случаю [3, с. 180-181].

Теорема 10. Верны утверждения:

1) К — gr-полупервичное правое gr-кольцо Голди тогда и только тогда, когда К — gr-полупервичное gr-несингулярное справа gr-конечномерное справа кольцо;

2) если кольцо К gr-несингулярно справа, gr-конечномерно справа, то кольцо Qgr gr-вполне приводимо. Если к тому же кольцо К gr-первично, то кольцо Qgr gr-просто.

Доказательство аналогично неградуированному случаю [2, п. 6.32, условия 1 и 2, п. 14.14]. Вторая часть п. 2 следует из того, что градуированное кольцо частных Т (всякое необязательно полное правое) gr-первичного кольца К gr-первично, поскольку если I — ненулевой правый градуированный идеал в Т, то I П К — ненулевой правый градуированный идеал в К.

Например, для кольца К из примера 1 непосредственно проверяется, что

Qnr = кхп Ф ку-п (= к Ф к при п = 0),п е и Qgr = к[х, х-1] Ф к[у, у-1] (= = К)

— прямое произведение градуированных полей.

Заметим, что Qgr = к Ф к ^ к = Ко (имеет место вложение колец Ко ^ Qgr: к э а ^ (а, а) е к Ф к).

Перейдем к вопросу о существовании однородных регулярных элементов в gr-существенных правых идеалах.

Лемма 1 [4, лемма 8.4.3; 6]. Пусть К — gr-полупервичное правое gr-кольцо Голди. Тогда если 0 = а е Н(К) — gr-униформный элемент, то правый gr-аннулятор Ти(а) — максимальный среди правых gr-аннуляторов ненулевых однородных элементов из К.

Лемма 2. Пусть К — gr-полупервичное правое gr-кольцо Голди. Тогда для любого в е Н(К) равносильны условия: (1) в е Б; (2) Ти(в) = 0; (3) вК — правый gr-существенный идеал кольца К.

Доказательство аналогично неградуированному случаю [1, следствие 2 леммы 7.2.1, лемма 7.2.3].

Лемма 3. Пусть кольцо К в-точно справа. Тогда

1) если I — существенный правый идеал в Ке, то IК — существенный правый идеал в К;

2) если К — gr-существенный идеал в К, то Ке — существенный правый идеал в Ке.

Доказательство. 1. Пусть 0 = К — градуированный правый идеал в К. Тогда Ке = 0 ввиду е-точ-

ности справа кольца К, и так как I существен в Ке и Ке — правый идеал в Ке, то 0 = I П Ке С IК П К.

2. Пусть 0 = I — правый идеал в Яе. Тогда 0 = ТЕ — правый градуированный идеал в Я, и так как К gr-существен в Я, то 1Я П К = 0. Ввиду е-точности справа кольца Я имеем 0 = (1Я П К)е = I П Ке.

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

Теорема 11. Пусть Я — е-точное справа gr-полупервичное правое gг-кольцо Голди, кольцо Яе полупервично. Тогда

1) всякий ненулевой правый градуированный идеал I кольца Я содержит ненильпотентный gr-уни-формный элемент в компоненте 1е;

2) 1е П 5 = 0 для всякого правого gг-существенного идеала I кольца Я;

3) кольцо существует и е-точно справа;

4) ОТ gr-вполне приводимо;

5) ОТ gr-просто ^ Я gr-первично;

6) ОТ =

7) Яе — правое кольцо Голди;

8) Я®Т(Я) = ЯБ-1, где Бе = Б П Яе;

9) (Я))е = ЯслШ = ЯеБ-1.

Доказательство. 1. Так как Я gr-конечномерно и е-точно справа, то найдется gr-униформный элемент а € Iе. Поскольку Яе полупервично, то аЬа = 0 для некоторого Ь € Яе. Элемент Ьа ненильпотентен: иначе (Ьа)п = 0, (Ьа)п-1 = 0 для некоторого п ^ 2, и так как тя(а) С тя((Ьа)п-1), то по лемме 1 имеем тя(а) = тя((Ьа)п-1) э Ьа, откуда аЬа = 0, что неверно. Следовательно, аЬ € ^ — ненильпотентный gr-униформный элемент.

2. Найдем gr-униформный ненильпотентный элемент а1 € ^. Пусть уже построены gr-униформные ненильпотентные элементы а1,..., ат € ^, такие, что ai € П—1 TR(aj), 1 ^ г ^ т, и Р|т=1 TR(aj) = 0. Так как I — правый gr-существенный идеал, то I т=1 TR(aj) = 0 и, согласно п. 1, существует ненильпотентный gr-униформный элемент ат+1 € ^ ^05=1 TR(aj). По построению и в силу gr-униформности элементов ai имеем ai € тя(aj) = тя(а?), г > откуда легко следует, что сумма ^aiЯ прямая и, значит, конечна, поэтому существует п € № Пп=1 тя(а?,) = 0. Тогда тя(а) = Пп=1 тя(а?,) =0 и элемент а = а1 + ... + ап € ^ регулярный по лемме 2.

3. Из п. 2 следует выполнение правого условия Оре в Н(Я) (аналогично неградуированному случаю [1, теорема 7.2.1]). Далее, пусть те-1 € \ 0, т € Н(Я) \ 0. Тогда, так как Я е-точно справа, тт' € Яе \ 0 для некоторого т' € Н(Я) и тв~1вт' = тт', поэтому также е-точно справа.

Пункты 4 и 5 следуют из теоремы 8, а п. 6 — из теоремы 9.

7. В силу теоремы 1 достаточно показать для всех правых идеалов ■ кольца Яе равносильность: ■ существен ■ содержит регулярный (в Яе) элемент.

Необходимость. По лемме 3 правый идеал ,1Я gr-существен в Я, а значит, 0 = (,1Я)е П Б = ■ П Б по п. 2.

Достаточность. Пусть элемент в € ■ регулярен в Яе. Тогда тя(в) = 0 ввиду е-точности кольца Я, и, согласно лемме 2, в € Б и правый идеал вЯ gr-существен в Я, значит, правый идеал ■Я (Э вЯ) gr-существен в Я, поэтому правый идеал ■ = ■Я)е существен в Яе по лемме 3.

8. Если в € Б, то по лемме 2 правый идеал вЯ gr-существен и по п. 2 имеем ва = Ь € Бе для некоторых а,Ь € Н(Я). Тогда а = в~Ч € Б-1Б, в-1 = аЬ-1 в О^, при этом Ь-1 € Б-1.

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

9. Следует из п. 8, так как (ЯБе 1) е — Яе Бе 1.

Теорема доказана.

Теорема 12 [4, теорема 2.11.4]. Пусть Я — gr-полупервичное кольцо с конечным носителем. Тогда Я е-точно слева и справа, Яе полупервично и д € 8ирр(Я) ^ д-1 € 8ирр(Я) для всех д € О.

Следствие 1 (из теоремы 11). Если Я — gr-полупервичное правое gr-кольцо Голди с конечным носителем, то выполнены все утверждения теоремы 11.

Доказательство. По теореме 12 для кольца Я выполнены все условия теоремы 11.

Теорема 13. Пусть Я — gr-полупервичное правое gr-кольцо Голди, группа О периодична. Тогда Яе-точно слева и справа, Я — полупервичное правое кольцо Голди, и поэтому выполнены все утверждения теоремы 11.

Доказательство. 1. Пусть I — ненулевой правый градуированный идеал кольца Я. Найдем gr-униформный элемент а € I. Пусть а € ^, д € О. Так как Я gr-полупервично, то найдутся такие Н € О и Ь € Яь, что аЬа = 0. Тогда элемент Ьа € Я^д\0 ненильпотентен, иначе (Ьа)п = 0, (Ьа)п-1 = 0 для некоторого п ^ 2, и поскольку тя(а) С тя((Ьа)п-1), то по лемме 1 имеем тя(а) = тя((Ьа)п-1) э Ьа, откуда аЬа = 0, что неверно. В силу периодичности группы О имеем О(дН) € N и (аЬ)°(я^ € ^ — ненильпотентный gr-униформный элемент.

2. Пусть х е Н(К) \ 0. Тогда по п. 1. правый градуированный идеал хК содержит ненильпотентный gr-униформный элемент ху е (хК)е \ 0. Отсюда следует, что кольцо К е-точно справа, а также слева, поскольку ух = 0 (иначе (ху)2 = 0).

3. Теперь так же, как в п. 7 теоремы 11, доказывается, что Ке — полупервичное правое кольцо Голди. Значит, для кольца К выполнены все условия теоремы 11. Теорема доказана.

Заметим, что в теореме 7 пп. 2-4, 7-9 нашей теоремы 11 доказаны в предположениях более сильных, чем предположения следствия 1, а также теоремы 13: сильноградуированное кольцо точно во всех компонентах, а конечная группа периодична.

Автор выражает глубокую благодарность А. В. Михалеву, В. Т. Маркову и И. Н. Балабе за внимание к работе и полезные обсуждения.

СПИСОК ЛИТЕРАТУРЫ

1. Херстейн И. Некоммутативные кольца. М.: Мир, 1972.

2. Туганбаев А.А. Теория колец. Арифметические модули и кольца. М.: МЦНМО, 2009.

3. Ламбек И. Кольца и модули. М.: Факториал Пресс, 2005.

4. Nastasescu C, Oystaeyen F. van. Graded ring theory. Amsterdam, North-Holland, 2004.

5. Liu Shaoxue, Beattie M., Fang Hongjin. Graded division rings and the Jacobson density theorem //J. Boijing Normal Univ. (Natural Science). 1991. 27, N 2. 129-134.

6. Goodearl K, Stafford T. The graded version of Goldie's theorem // Contemp. Math. 2000. 259. 237-240.

7. Nastasescu C, Oystaeyen F. van. Graded and Filtered Rings and Modules // Lect. Notes Math. Springer, 1979.

8. Nastasescu C., Oystaeyen F. van. Arithmetically graded rings revisited // Communs Algebra. 1986. 14, N 10. 19912018.

Поступила в редакцию 18.10.2010

УДК 511.37 + 511.36

ОБОБЩЕНИЕ РАЗЛОЖЕНИЯ ОППЕНХАЙМА

ДЛЯ ПРЯМОГО ПРОИЗВЕДЕНИЯ ПОЛЕЙ С НЕАРХИМЕДОВСКИМ НОРМИРОВАНИЕМ

И. Ю. Сухарев1

Известный алгоритм разложения Оппенхайма в поле Qp обобщается на кольцо Qg, где g = pi ■ ... ■ pn. Исследованы метрические свойства цифр этого разложения, а также метрические свойства коэффициентов некоторых разложений полиадических чисел.

Ключевые слова: разложение Оппенхайма, p-адические числа, полиадические числа.

The well-known Oppenheim expansion algorithm in the field Qp is generalized to the ring Qg, where g = pi ■ ... ■ pn . The metric properties of the digits of this expansion and also the metric properties of the coefficients of some expansions of polyadic numbers are studied.

Key words: Oppenheim expansion, p-adic numbers, polyadic numbers.

В 1972 г. А. Оппенхайм в [1] предложил алгоритм разложения положительных действительных чисел в виде ряда. Это разложение обобщает известные разложения Энгеля, Сильвестра, Люрота, Кантора. Я. Галамбош в статье [2] изучил эргодические свойства знаменателей в разложении Оппенхайма, Ю. Ву [3, 4] исследовал некоторые метрические свойства цифр разложения Оппенхайма и его частных случаев.

В 1989 г. А. и Дж. Кнопфмахеры в статье [5] предложили аналог указанного разложения в поле Qp. Его называют p-адическим разложением Оппенхайма. В [6] исследованы метрические свойства некоторых разложений p-адических чисел, а в [7] — метрические свойства цифр p-адического разложения Оппен-хайма.

1 Сухарев Иван Юрьевич — асп. каф. математического анализа мех.-мат. ф-та МГУ; e-mail: ivan.suharev@gmail.com.

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