Научная статья на тему 'Проективные модули над csp-кольцами'

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

CC BY
55
7
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ПРОЕКТИВНЫЙ МОДУЛЬ / CSP-КОЛЬЦО / ПОЛНАЯ СИСТЕМА ИНВАРИАНТОВ / PROJECTIVE MODULE / CSP-RING / COMPLETE SYSTEM OF INVARIANTS

Аннотация научной статьи по математике, автор научной работы — Тимошенко Егор А.

Установлено строение проективных модулей над произвольным csp-кольцом. Показано также, что эти модули допускают описание при помощи полной системы кардинальных инвариантов.

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

Projective Modules over csp-Rings

We establish the structure of projective modules over an arbitrary csp-ring. It is also shown that these modules admit a description by means of a complete system of cardinal invariants.

Текст научной работы на тему «Проективные модули над csp-кольцами»

УДК 512.553+512.541

Проективные модули над csp-кольцами

Егор А. Тимошенко*

Механико-математический факультет, Томский государственный университет, Ленина, 36, Томск, 634050,

Россия

Получена 21.03.2012, окончательный вариант 21.05.2012, принята к печати 16.07.2012 Установлено строение проективных модулей над произвольным csp-кольцом. Показано также, что эти модули допускают описание при помощи полной системы кардинальных инвариантов.

Ключевые слова: проективный модуль, csp-кольцо, полная система инвариантов.

Через Zp, Z и N будут обозначаться соответственно кольцо целых p-адических чисел, кольцо целых чисел и множество натуральных чисел.

Пусть P — некоторое бесконечное множество простых чисел. Допустим также, что для каждого p £ P выбрано кольцо Kp, которое совпадает либо с некоторым кольцом вычетов Z/pmZ (для разных p число m > 0 может быть разным), либо с Zp. Обозначим

K =Ц Kp, T =0 Kp С K;

peP peP

ясно, что T является идеалом кольца K.

Назовем csp-кольцом всякое подкольцо R кольца K такое, что T С R и факторкольцо R/T = Ro является полем. Если P есть множество всех простых чисел и все Kp совпадают с кольцами Zp, а Ro изоморфно полю рациональных чисел, то соответствующее csp-кольцо (оно определено однозначно) называется кольцом псевдорациональных чисел.

Наша задача — описание строения проективных модулей над csp-кольцами. Основная часть работы посвящена доказательству следующего факта:

Теорема 1. Пусть R — csp-кольцо. Тогда всякий проективный R-модуль 'разлагается в прямую сумму подмодулей, изоморфных идеалам кольца R.

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

Кольцо Kp и его единичный элемент ep можно естественным образом отождествить с соответствующими идеалом и идемпотентом кольца R. Кроме того, кольцо Kp допускает единственную модульную структуру как над самим собой, так и над кольцом R; поэтому в дальнейшем мы рассматриваем все Kp как R-модули, не оговаривая это дополнительно. Все модули считаем унитарными. Заметим, что для всякого r £ R \ T смежный класс r + T обратим в Ro, а значит, почти при всех p £ P элемент rep будет обратимым в кольце Kp.

* [email protected] © Siberian Federal University. All rights reserved

Кольцо Д содержит идемпотенты двух типов:

ех

рех

1 - ех = 1 — X/

рех

где X есть конечное (возможно, пустое) подмножество множества Р. Элемент ех назовем идемпотентом конечного типа с носителем X.

В силу теоремы Капланского [2] всякий проективный модуль можно представить как прямую сумму счетно порожденных подмодулей, а значит, достаточно доказать теорему 1 для счетно порожденных проективных Д-модулей.

Доказательство теоремы 1. Пусть М — счетно порожденный проективный Д-модуль. Мы можем считать, что М С —, где — есть прямая сумма счетного числа копий Д. Легко убедиться, что фактормодуль М/МТ представляет собой линейное пространство над До. Пусть Ф = |а1,Я2,...} — некоторая система элементов модуля М (конечная либо счетная) такая, что система {ах + МТ, а2 + МТ,...} служит для М/МТ базисом. Тогда

М

МТ + ^ аД.

(1)

а£Ф

Всякий элемент модуля М С — можно представить как бесконечный вектор (г1,г2,...), у которого почти все координаты равны нулю (здесь г^ € Д). Естественный эпиморфизм М ^ М/МТ мы можем отождествить с отображением, сопоставляющим всякому вектору (гх, г2,...) € М вектор (гх + Т, г2 + Т,...) с координатами из Д0. Пусть ап = (впЪ вп2,...), где впй € Д. Из условия ап / МТ следует, что хотя бы одна из координат впй не принадлежит идеалу Т; обозначим эту координату через вп.

Для натурального п ^ |Ф| выберем наименьшее в € N обладающее свойством

при всех ] € {1, 2,..., п} и к > в выполнено в^й = 0. Рассмотрим для этого числа в две матрицы:

(2)

В

/ви в21 в12 в22

вп1\ вп2

В

/ви + Т в21 + Т в12 + Т в22 + Т

\в1Я в2« ... вп8/

вп1 + Т\

вп2 + Т

\вь + Т в28 + Т ... вп8 + Т/

Система Ф является линейно независимой по модулю МТ, а значит, столбцы матрицы В линейно независимы над До. Поэтому В содержит некоторый ненулевой минор порядка п. Соответствующий ему минор матрицы В обозначим через Дп (очевидно, что Дп / Т).

Через Рп обозначим множество всех чисел р € Р таких, что по крайней мере один из элементов Дпер и в«ер необратим в кольце Ясно, что все Рп конечны. Пусть {р1,р2,...} есть множество (имеющее конечную или счетную мощность т) всех простых чисел р € Р, не принадлежащих ни одному из построенных множеств Рп. Условимся, что Ьо — пустое множество; далее, для всякого п ^ 0 зададим Ьп+1 как множество и Рп+1, к которому присоединен элемент рп+1 (в случае т ^ п присоединять ничего не нужно). Мы получаем цепочку Ьо С ¿1 С ¿2 С ... С С ... конечных подмножеств множества Р, объединение которой совпадает с Р. Обозначим через е„ идемпотент конечного типа с носителем Ьп.

Имеет место равенство апД = а„е„Д + ап(1 — еи)Д; ясно, что а„е„Д С МТ. Поэтому далее можно считать, что система Ф из разложения (1) состоит не из элементов ап, а из

р

элементов а„(1 — е„). Заметим, что аннулятором элемента а„(1 — £п) € М, как и элемента вп(1 — £п) € Д, служит идеал £пД. Следовательно, а„(1 — £п)Д = (1 — £п)Д.

Замечание. Если система Ф конечна и содержит п элементов, то будем считать, что а„+! = а„+2 = ••• = 0, Ьп+1 = ЬИ+2 = ••• = Р и £п+1 = £п+2 = ••• = 1- Это позволит нам сделать дальнейшие 'рассуждения применимыми как к случаю счетной, так и к случаю конечной системы Ф-

Итак, для всякого п € N модуль а„(1 — £п)Д изоморфен идеалу (1 — £п)Д. Заметим, что при любом р € Р \ Ьп выполнено £1вр = £2ер = ••• = £пер = 0. Предположим, что сумма

А = Е «Д (1 — )Д (3)

не является прямой. В этом случае для некоторого п > 1 сумма первых п — 1 слагаемых из (3) является прямой, а сумма первых п слагаемых уже не прямая. Тогда найдутся элементы Г1, Г2, •••, г„ € Д, для которых

Я1(1 — £1)г1 + а,2(1 — £2>2 + ••• + а„(1 — е„)г„ = 0 (4)

и а„(1 — £п)гп = 0. В силу последнего неравенства имеем гп / £пД. Зафиксируем простое р € Р\Ьп такое, что гпер = 0. Умножая (4) на ер, получим а1Г1вр + Я2Г2ер + ••• + апгпер = 0. Перепишем данное равенство в виде системы уравнений

' (виер)г1ер + (в21ер)г2ер + ••• + (вп1ер)гпер = 0, (в12ер)г1вр + (в22ер)г2вр + ••• + (вп2ер)г„вр = 0,

(в18ер)г1вр + (в28ер)г2вр + ••• + (вп8ер)г„вр = 0,

где в — это число, удовлетворяющее условию (2), а в качестве неизвестных выступают Г1ер,Г2вр, •••,гпер € Матрица этой системы содержит минор порядка п, равный Дпер, т.е. являющийся обратимым элементом кольца Тогда для всех ] € {1, 2, •••,п} имеем гдер = 0 — противоречие. Итак, сумма (3) является прямой.

Покажем теперь, что существуют подмодули С Мер, для которых Мер = ф Аер. Зафиксируем число р € Р. Найдется п ^ 0 такое, что р / и р € Ьп+1. Это значит, что £п+1ер = £п+2ер = ••• = ер и, следовательно,

п п п п

АеР = 0 ад(1 — £д)ДеР = 0 ад(1 — £д)ДеР = 0(1 — £д)ДеР = 0 ДеР = 0

д = 1 д=1 д=1 д = 1

Таким образом, Аер является свободным Кр-модулем конечного ранга. Будем считать, что п ^ 1 (для п = 0 требуемое утверждение очевидно в силу равенства Аер = 0). Рассмотрим два случая.

1. Пусть = Z/pmZ. Свободный Кр-модуль Аер инъективен и, значит, выделяется прямым слагаемым в Кр-модуле Мер.

2. Пусть выполнено = Zp. Наша ближайшая цель — убедиться, что Аер является чистым подмодулем р-адического модуля (и, следовательно, модуля Мер). Допустим, что х € Аер делится на рт в модуле -Рер. Для всех ] ^ п выполнено ад- (1 — £д )Дер = ад- Дер, поэтому можем записать х = а1Г1вр + а2Г2ер + ••• + апгпер, где гд € Д. Элемент модуля можно представить как бесконечный вектор, координаты которого принадлежат Дер = Zр.

Если x делится на pm, то и все координаты элемента x делятся на pm (в кольце Zp). Пусть s — число, удовлетворяющее условию (2). Имеем

'(виер)г1ер + (в21ер)г2вр + ... + (вп1ер)г„вр = 0 (mod pm), (ei2ep)riep + (в22ер)г2вр + ... + (вп2ер)гпер = 0 (mod pm),

(eisep)riep + (в28ер)г2вр + ... + (вп8ер)гпер = 0 (mod pm),

где в качестве неизвестных выступают riep,r2ep,...,rnep £ Zp. Матрица данной системы сравнений содержит минор n-го порядка, равный Anep и, значит, являющийся обратимым элементом кольца Zp. Следовательно, для всех j ^ n выполнено rjep = 0 (mod pm). Тогда для некоторых элементов rj £ R справедливы равенства rjep = pmrjep. Ясно, что элемент xX = (air' + a2r2 + ... + аигП)ep G Aep удовлетворяет условию pmx' = x. Итак, Aep — это чистый подмодуль в Fep и в Mep. Кроме того, Aep есть свободный p-адический модуль конечного ранга и, значит, чисто инъективный p-адический модуль [3]; тогда он служит прямым слагаемым для модуля Mep, содержащего Aep в качестве чистого подмодуля.

Таким образом, существование Кр-модуля Gp с требуемыми свойствами доказано для всех p G P. Нетрудно теперь заметить, что

M = MT + A = (0 Mep) + A = (0 Gp) © A = (0 Gp) © (0 (1 - £„)r).

peP peP peP Uen

Если Kp = Z/pmZ, то Gp, как и всякий модуль над кольцом Kp, изоморфен прямой сумме некоторых идеалов кольца Kp (и, значит, идеалов кольца R). Если же выполнено Kp = Zp, то модуль Gp, будучи подмодулем свободного p-адического модуля Fep, изоморфен прямой сумме копий Zp.

Очевидно, что все идеалы, входящие в прямое разложение проективного модуля, также будут проективными. Как и в случае кольца псевдорациональных чисел [1], всякий идеал J С R относится к одному из двух типов:

J =0 Jp или J = (0 Jp) © (1 - ex)R, (5)

peP pex

где Jp — произвольные идеалы соответствующих колец Kp.

Если Kp = Zp, то всякий ненулевой идеал Jp С Kp как R-модуль будет изоморфен Zp. В ситуации Kp = Z/pmZ из всех идеалов кольца Kp проективными R-модулями являются лишь Kp и 0. Получаем, что всякий проективный идеал кольца R изоморфен как R-модуль некоторому идеалу J вида (5) такому, что каждый идеал Jp совпадает либо с 0, либо с Kp. Отсюда и из теоремы 1 следует, что всякий проективный R-модуль M имеет вид

M - (0(1 - ¿¿)R) © (0 Fp); (6)

¿ez peP

здесь Fp — свободные Kp-модули, а все ^ — это некоторые идемпотенты конечного типа. И обратно, всякий R-модуль вида (6) проективен, поскольку он изоморфен прямой сумме идеалов, каждый из которых представляет собой прямое слагаемое кольца R. Поэтому для модулей над csp-кольцами также будут справедливы теоремы 1 и 2 из [1], описывающие проективные модули в терминах инвариантов (доказательства обеих теорем переносятся на случай произвольного csp-кольца без изменений).

Напомним, что под инвариантами проективного Д-модуля M в работе [1] понимали кардинальное число r(M), равное размерности До-пространства M/MT, и кардинальные числа rp(M), равные рангам свободных Кр-модулей Mep. Для модуля вида (6) кардинал r(M) совпадает с мощностью индексного множества I. В дополнение к теоремам 1 и 2, приведенным в [1], для csp-кольца Д можно доказать следующий результат:

Теорема 2. Для проективных Д-модулей A и M вложение A ^ M существует тогда и только тогда, когда r(A) ^ r(M) и rp(A) ^ rp(M) для всех p ЕЕ P.

Доказательство. Если существует вложение A ^ M, то, как нетрудно видеть, модули A/AT и Aep вкладываются в M/MT и Mep соответственно. Отсюда получаем r(A) ^ r(M) и rp(A) < rp(M).

Допустим теперь, что для M справедлив изоморфизм (6) и что выполнены неравенства r(A) ^ r(M) = |11 и rp(A) ^ rp(M). Пусть Gp — это свободный Кр-модуль, ранг которого rp(Gp) удовлетворяет условию rp(Gp) + rp(A) = rp(M).

Выберем подмножество D множества I такое, что |D| = r(A). Заметим, что все идеалы (1 — ¿¿)T проективны. Рассмотрим проективные Д-модули

M' = (0(1 — *) Д) ® (0(1 — © (0 Fp), A' = (0 Gp) © A.

¿eD ¿/D peP peP

Ясно, что модуль M' вкладывается в M. Для всякого p ЕЕ P выполнено Tep = Дер и, значит, rp(M') = rp(M) = rp(Gp) + rp(A) = rp(A'); кроме того, имеем r(M') = |D| = r(A) = r(A'). Применяя теперь теорему 1 из [1], получаем изоморфизм M' = A'. Итак, модуль A можно вложить в M, что и требовалось. □

Замечание. Указанных в теореме условий недостаточно для того, чтобы существовал эпиморфизм M ^ A. Примером могут служить проективные Д-модули A = T и M = Д.

Работа выполнена при финансовой поддержке ФЦП „Научные и научно-педагогические кадры инновационной России на 2009-2013 годы" (государственный контракт Ц.в37.21.0354).

Список литературы

[1] Е.А.Тимошенко, Проективные модули над кольцом псевдорациональных чисел, Журнал СФУ. Математика и физика, 4(2011), №4, 541-550.

[2] I.Kaplansky, Projective modules, Annals of Mathematics, 68(1958), №2, 372-377.

[3] П.А.Крылов, А.А.Туганбаев, Модули над областями дискретного нормирования, М., Факториал Пресс, 2007.

Projective Modules over csp-Rings

Egor A. Timoshenko

We establish the structure of projective modules over an arbitrary csp-ring. It is also shown that these modules admit a description by means of a complete system of cardinal invariants.

Keywords: projective module, csp-ring, complete system of invariants.

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