CC BY
32
2014 Математика и механика № 5(31)
УДК 512.541
К.С. Сорокин
8Р-ГРУППЫ РАНГА 2 С ЧИСТЫМИ КОЛЬЦАМИ ЭНДОМОРФИЗМОВ
Данная работа продолжает исследование [1] вопросов чистоты колец эндоморфизмов БР-групп - одного из известных классов смешанных абелевых групп. Ключевой результат - доказательство чистоты колец эндоморфизмов БР-групп ранга 2 с циклическими ^-компонентами без бесконечных периодических прямых слагаемых. Полученные при доказательстве основного результата вспомогательные утверждения позволяют получить представление о строении колец эндоморфизмов групп данного класса.
Ключевые слова: смешанная абелева группа, БР-группа, чистое кольцо, кольцо эндоморфизмов.
Данная работа является продолжением исследований автора [1] вопросов чистоты колец эндоморфизмов БР-групп конечного ранга без кручения - одного из классов смешанных абелевых групп [2-4]. Ранее автором было доказано, что кольца эндоморфизмов БР-групп ранга 1 с циклическими /»-компонентами являются чистыми. Кроме того, было показано, что любой эндоморфизм БР-группы конечного ранга с циклическими /-компонентами, переводящий все элементы группы в её периодическую часть, является чистым.
В данной работе объектом исследования являются БР-группы ранга 2 с циклическими /-компонентами без бесконечных периодических прямых слагаемых. Ниже приведён основной результат, содержащий полный ответ на вопрос о чистоте рассматриваемых групп.
Теорема. Кольцо эндоморфизмов БР-группы ранга 2 с циклическими р-компо-нентами, не имеющей бесконечных периодических прямых слагаемых, является чистым.
Напомним основные определения.
Определение 1. Пусть Я - кольцо с единицей. Элемент г кольца Я называется чистым, если г = и + е , где е - идемпотент, а и - обратимый элемент кольца Я. Кольцо Я называется чистым, если всякий его элемент является чистым.
Определение 2. Редуцированная смешанная абелева группа А с бесконечным числом ненулевых р-компонент называется БР-группой, если естественное вложение 0Ар ^ ПАр продолжается до сервантного вложения А ^ ПАр. Здесь и р р р
далее предполагается, что р пробегает множество всех простых чисел, относящихся к А, то есть таких, что Ар Ф 0.
Пусть для группы А выполнено условие
А/ 0 Ар = Ж, (1)
реР
где Ж - двумерное подпространство -пространства П Ар/ 0 Ар, порождённое
реР реР
двумя линейно независимыми векторами ц + 0 Ар , / = 1,2 . Причём а{ - беско-
реР
нечные векторы из П Ар, где Ар = Z к , кр е N ,Р - некоторое бесконечное
реР р р
множество простых чисел. Обозначим через Л. множество тех простых чисел р е Р , для которых пра. Ф 0. Будем полагать, что Р \ (Ц. =12Л.) - конечное множество, что равнозначно (поскольку все р-компоненты циклические) условию, что группа А не содержит бесконечных периодических прямых слагаемых. Легко показать, что А - 8Р-группа ранга 2. В свою очередь, любая 8Р-группа ранга 2 удовлетворяет условию (1), поэтому в дальнейшем изложении будем пользоваться представлением группы А , описанным выше.
Доказательство основного результата удобно разбить на несколько частей, каждая из которых будет соответствовать одному из следующих случаев строения множеств Л1 и Л2 :
• Л1 пЛ 2 - конечное множество;
• Л1 пЛ2 - бесконечное множество и хотя бы одно из множествЛ1 \Л2, Л2 \ Л1 - бесконечное;
• Л1 пЛ2 - бесконечное множество и при любом выборе базисных векторов Л1 \ Л2, Л2 \ Л1 - конечные множества.
Таким образом, план доказательства - показать чистоту кольца эндоморфизмов группы А для каждого из описанных выше случаев. Это будет гарантировать справедливость чистоты кольца эндоморфизмов для произвольной группы А, удовлетворяющей условиям теоремы.
Заметим, что в случае, когда Л1 пЛ2 - конечное множество, группу А
можно представить в виде А = ( П Ар )ф( П Ар )ф( П Ар), где
реЛ^О реЛ2\0 реО
О = (Л1 пЛ 2) и (Р \ (Ц.=12Л.)) - конечное множество. Учитывая полученные ранее результаты для случая 8Р -групп ранга 1 [1], мы получим, что группа А обладает чистым кольцом эндоморфизмов. Таким образом, согласно предложенному плану, остаётся рассмотреть оставшиеся два случая - когда Л1 пЛ 2 является бесконечным множеством. Поэтому далее для группы А будем предполагать, что данное условие выполнено.
Ниже рассмотрим некоторые вспомогательные результаты, которые будут использоваться при доказательстве основных результатов.
Запишем проекции для базисных векторов:
пр (а ) = ркр "5р а'рСр , и зафиксируем действие эндоморфизма / на р -компонентах группы А
/Ср = прСр,
где пр е Z; а'р е Z, причём (агр, р) = 1; е N, причём 0< < рк ; ср - образующий элемент группы Ар .
Лемма 1. Пусть множество Л1 \ Л2 - бесконечное. Тогда /а2 е Т (А), если /ах е Т(А).
Доказательство. Поскольку fa2 е A, найдутся такие целые числа п, п1, п2 ,
а2 е T(A), что nfa2 = п1а1 + п2a2 + at2. Перейдём к равенствам для /-компонент: почти для всех р е Р справедливо равенство
ра2 = П1Пра1 + П2Пра2 . Но пра2 = 0, а пра1 Ф 0 дляр еЛ1\Л2, откуда следует, что п1 = 0 . Таким образом,
^а2 = п2 а2 + а'2. (2)
Следовательно, найдутся такие п, п2 е Z, а^ е Т (А), что справедливо следующее равенство:
п fa2 = п2а2 + а^. Тогда почти для всех р еЛ1 имеем
к -sl
п р(М) = пррр р с-1рср =0.
Следовательно, пр: р р . В таком случае
к —S2 к —S2
ппррр р арСр = ппр (а) = п2 рр р а2рСр.
Поэтому (ппр — п2): р р . Поскольку Ф 0, то п2: р почти для всех р еЛ1. То есть п2 =0, а значит, fa2 е Т(А). ■
Лемма 2.Если для базисных векторов а1 и а2 существуют прообразы при
отображении f е Е(А) и f - автоморфизм для каждой р-компоненты Ар , то f
- автоморфизм группы А.
Доказательство. Поскольку f - автоморфизм для каждой р -компоненты Ар ,
то f - мономорфизм группы А и автоморфизм группы Д Ар. Для доказательства
реР
предложения таким образом необходимо показать, что f - эпиморфизм. Поскольку
f |А - автоморфизм для любого р е Р , то для любого элемента группы А конеч-
р
ного порядка найдётся прообраз при отображении f Поэтому далее будет рассмотрен случай бесконечных векторов. Обозначим прообразы для векторов а1 и а2 через Ъ1, Ь2 соответственно. Покажем теперь, что для любого бесконечного вектора а е А элемент f ^(а) е С. Так как а е А , найдутся такие т, п2 е Z, а{ е Т(А), что справедливо следующее равенство:
Заметим, что поскольку f- автоморфизм группы Д Ар, то прообраз f :(а)
ре Р
существует, поскольку а е А сД Ар. Проверим, принадлежит ли f _1(а)
ре Р
группе А:
та = т1а1 + т2а2 + а(.
т/ :(а) = / 1(ша) = / 1(т1а1 + т2а2 + а1 ) = = тх/-1 (а!) + Ш2 / _1(а2) + / - (а{) = = т1Ь1 + т2Ь2 + (а(). Ввиду того, что /- автоморфизм для каждой р-компоненты Ар , то / 1(а{) е А .
Тогда ш1Ь1 + ш2Ь2 + /1(а1) е А , а значит, и т/— (а) е А . Следовательно, / - эпиморфизм группы А. ■
Лемма 3. Если существует такое конечное подмножество ПсР, что /-чистый элемент в Е( ф Ар), то /- чистый элемент в Е(А).
реР\О
Доказательство. Обозначим группу ф Ар через С. Заметим, что
реР\О
/ 1ф А - чистый элемент кольца Е(фреОАр), поскольку ф еОАр - ограни-
фреО р
ченная группа (см. [7]). Принимая во внимание тот факт, что А = С ф(ф реОА р) и то, что С и фреОАр - вполне характеристические подгруппы группы А, из [6] получим, что/- чистый элемент кольца Е(А). ■
После доказательства некоторых вспомогательных утверждений перейдем непосредственно ко второму случаю из рассмотренного нами плана (Л1 пЛ 2 - бесконечное множество и хотя бы одно из множеств Л1 \Л2, Л2 \Л1 - бесконечное). В следующей лемме будет рассмотрена первая часть доказательства данного случая, когда каждое из множеств Л1 \ Л2, Л2 \Л1 - бесконечное. Заметим, что для доказательства результата достаточно рассмотреть случай, когда /<£Нот(А,Т(А)), поскольку в противном случае / - заведомо чистый элемент [1].
Лемма 4. Пусть множества Л1 \ Л2 , Л2 \ Л1 - бесконечные. Тогда кольцо Е(А) является чистым.
Доказательство. Согласно условию теоремы, Л1 \ Л2 и Л2 \ Л1 - бесконечные множества. В этом случае, согласно лемме 1, для любого эндоморфизма / группы А образ /а2 может зависеть только от одного образующего вектора а2 , а
образ /а1 - только от вектора а1. Следовательно, найдутся такие п, п , п1, п2 е Z , а(, а^ е Т(А), что справедливы следующие равенства:
п/а1 = п1а1 + а1, (3)
п /а2 = п2а2 + а^. (4)
Заметим, что если / Ф 0, то, в силу леммы 1, справедливы следующие импликации:
если /а1 е Т(А), то /а2 е Т(А);
если /а2 е Т(А), то /а1 е Т(А).
Отсюда следует, что /а1 г Т(А) и /а2 г Т(А).
Покажем, что существует такое прямое слагаемое С группы А, что / - автоморфизм на С, причём А = Сф(фреОАр), а АсР- конечное множество. Рас-
смотрим покомпонентно первое из равенств (3), (4): почти для всех р еЛ1 верны равенства
ппр (п ра1) = п р /) = п р (па) = п,п р ц). С учётом вида проекций для базисных векторов получим
(ппр — п^): р р.
Поскольку /а1йТ (А), можно сделать вывод, что (пр, р)=1 почти для всех реЛ1.
Аналогично можно показать, что (пр, р) = 1 почти для всех р еЛ2. Тогда (пр, р) = 1 почти для всех р е Р . Множество всех тех р е Р , для которых последнее равенство не выполнено, обозначим через О . Добавим также к множеству О конечное множество тех простых чисел р е Р , которые участвуют в разложении чисел щ (1 = 1,2). В таком случае получим разложение А = Сф(фреОАр), где С - дополнительное прямое слагаемое к фреОАр . Причём подгруппа С -р-делимая для каждого р еО. Заметим, что поскольку (пр, р) = 1 для всех р е Р \ О, то /1А - автоморфизм для любого р е Р \ О . Покажем, что существуют такие элементы Ъ е А (/ = 1,2), что ^ = пСа^, где группа С удовлетворяет описанным выше условиям. Поскольку С является п^ -делимой группой (/ = 1,2), то найдутся такие элементы Ъ е С, что п1Ъ1 = ппС (а1) и п2Ъ2 = п пС (а2). В таком случае справедливо равенство
щЪ = /(пЪ) = /(ппс (а)) = пс /) = ПС (п1а1) . Отсюда следует, что п1(/Ъ1 —пС (а1)) = 0. Тогда /Ъ1 —пС (а1) е фреОАр , с другой
стороны - /Ъ1 —пС (а1) е С , поэтому /Ъ1 = пС (а1). Аналогично можно показать, что /Ъ2 = пС (а2). В таком случае выполнены условия леммы 2, следовательно, / - автоморфизм группы С . Таким образом, мы показали, что / |С - чистый элемент кольца Е(С), а значит, согласно лемме 3, /- чистый элемент Е(А). ■
Теперь мы можем перейти непосредственно к рассмотрению второго случая, когда Л1 пЛ2 - бесконечное множество и хотя бы одно из множествЛ1 \Л2, Л2 \Л1
- бесконечное. Данное доказательство удобно провести в несколько этапов, каждый из которых будет соответствовать одному из дополнительных условий, налагающихся на порядки р-компонент базисных векторов и образы базисных векторов. Идеи первых двух доказательств в точности повторяют идеи и методы, изложенные в доказательстве предыдущего результата, отличия носят лишь технический характер, в связи с чем доказательства данных результатов не приводятся.
Во всех последующих результатах (леммы 5 - 9) будем полагать справедливость следующих условий: множество Л1 \ Л2 - бесконечное, а множество Л2 \ Л1 - конечное.
Лемма 5. Если для бесконечного числа простых чисел р еЛ2 справедливо неравенство > 2^р и / - такой эндоморфизм группы А, что /а2 е Т (А), то / -чистый элемент Е(А).
Лемма 6. Если для бесконечного числа простых чисел p еЛ2 справедливо неравенство slp Ф sp и f — такой эндоморфизм группы A, что fa2 g T(A) и fa1 g T (A), то f — чистый элемент E (A).
Лемма 7. Если для бесконечного числа простых чисел p еЛ2 справедливо неравенство slp > 2s2p, то кольцо E(A) — чистое.
Доказательство. Как отмечалось ранее, для доказательства результата достаточно рассмотреть случай, когда f g Hom(A, T (A)). Согласно лемме 5, в случае, когда fa2 e T (A), f - чистый элемент E (A).
Поскольку мы рассматриваем случай f g Rt, то, учитывая условия на множества Л1 \ Л2 и Л 2 \ Л1, можно показать, что fa1 g T (A). Следовательно, в случае, когда fa2 g T (A), выполнено условие леммы 6 и f - чистый элемент E (A). Таким образом, мы показали, что E (A) - чистое кольцо. ■
Лемма 8. Если для бесконечного числа простых чисел p еЛ2 справедливо неравенство slp < ls2p, то кольцо E(A) - чистое.
Доказательство. Как отмечалось ранее, для доказательства результата достаточно рассмотреть случай, когда f g Hom(A, T(A)). Поскольку множество Л1 \ Л2
- бесконечное, а множество Л2 \ Л1 - конечное, то, как отмечалось в лемме 7, fa1 g T (A).
Покажем, что в условиях данной леммы fa2 g T(A). Предположим противное: что fa2 e T (A). Поскольку множество Л1 \ Л2 - бесконечное, а множество Л 2 \ Л1 - конечное, то для любого эндоморфизма f группы A образ fa2 может зависеть только от одного образующего вектора a2. Таким образом, найдутся такие целые n, n2, n , nx, n2 e Z и a[, a2 e T (A), что
nfa2 = n2 a2 + a2 ; (5)
n fa1 = n1 a1 + n2 a2 + a[. (6)
Далее, перейдя во втором равенстве к p-компонентам, можно прийти к следующему выражению:
(pkp-sp (n'yppSP -n1 )a1p -n2a2ppkp)ipkp. (7)
Рассмотрим далее два случая:
1. Для бесконечного числа p еЛ2 справедливы неравенства sp < sp < 2sp .
2. Для бесконечного числа p еЛ2 справедливо неравенство slp < sp .
Начнём с первого случая: для бесконечного числа p еЛ2 справедливы неравенства sp < slp < 2s p . Поскольку s p < sp, то из (7) следует, что n1 =0 . То есть выражение (7) примет вид
(pkp-sp + spnypa1p - n2pkp'sp )• pkp.
Далее, поскольку slp < 2s2p, то kp - s1p + sp > kp - s2p . Значит,
( p ^ -spny p ap - и2)! /p.
Следовательно, n2 =0. В итоге мы получили, что fa1 e T(A).
Рассмотрим далее случай, когда справедливо второе условие: для бесконечного числа p еЛ2 справедливо неравенство s1p < sp . Тогда kp - s1p > kp - sp и из выражения (7) будет следовать
( /"-sp (n'y ppsp - nj)ap - «2 a p )i ps2. Это, в свою очередь, приведёт к тому, что n2 =0. В таком случае из (7) получим,
, s2 , s1 ,
что (n у pp p - nj): p p , а значит, « =0. В итоге получили, что fa1 e T (A).
Таким образом, выполнено условие леммы 6 иf - чистый элемент E(A). Следовательно, показали, что E(A) - чистое кольцо. ■
Лемма 9. Если для бесконечного числа простых чисел p еЛ2 справедливо равенство slp = sp ,то кольцо E(A) - чистое.
Доказательство. Для доказательства результата достаточно рассмотреть случай, когда f g Hom(A, T (A)). Поскольку множество Л1 \ Л 2 - бесконечное, а
множество Л 2 \ Л1 - конечное, то, как отмечалось в лемме 7, faj g T (A).
Рассмотрим вначале случай, когда fa2 eT(A). Сразу отметим, что если разность множества Л 2 и множества, для которого справедливы указанные выше равенства slp = s2p, есть бесконечное множество (обозначим данное множество через Л), то faJeT(A). Действительно, если для любого p еЛ будет справедливо неравенство slp Ф sp, то, с учётом условия fa2 e T (A), получим « =0. Последнее, в свою очередь, означает, что n faj= n2 a2 + aj. С другой стороны, из равенства (7) следует, что при выполнении равенства slp = sp для бесконечного множества p е Л2 справедливо n2 : p, то есть n2 =0 и faj e T (A). Полученное противоречие означает, что при fa2 e T (A) равенство slp = sp справедливо почти для всех p eÀ2.
Таким образом, остаётся рассмотреть ситуацию, когда почти для всех p eA2 справедливо равенство sp = sp = sp . Из равенства (7) почти для всех p eA2 получим
(nJap - n2ap Pp .
Перейдём в группе AIT (A) к новому базису: bj + T (A) = (nj aj - n2 a2) + T (A), b2 + T (A) = a2 + T (A). Очевидно, что векторы нового базисы выражаются через
векторы старого и наоборот. Рассмотрим теперь проекции вектора
' ' '1 ' 2 kp-s
bj = njaj -n2a2 : почти для всех p eЛ2 npb2 = (n-,ap -n2ap)p p pcp = 0 . Таким
образом, пришли к ситуации, описанной в начале данной статьи, когда группу А можно представить в виде прямой суммы двух групп ранга 1 и ограниченной периодической группы:
А = ( П Ар )ф( П Ар)ф( П Ар),
реЛ^О реЛ реО
где О - конечное множество простых чисел, в которое входит Р \(иг=12Лг-), а также все простые числа р еЛ2, для которых не выполнено равенство slp = s2p = sp . Учитывая полученные ранее результаты для случая 8Р -групп ранга 1 [1], можем утверждать, что группа А обладает чистым кольцом эндоморфизмов.
Перейдём к случаю, когда /а2 г Т(А). Аналогично предыдущему случаю рассмотрим вначале вариант, когда разность множества Л2 и множества, для которого справедливы равенства slp = , является бесконечным множеством (ранее
мы обозначили данное множество через Л). Тогда получаем, что условия леммы 6 выполнены, а значит,/- чистый элемент Е(А).
Рассмотрим ситуацию, когда /а2 гТ(А) и почти для всех реЛ2 справедливо
.,1во Г1 -
реЛ2
равенство sp = s = яр . Запишем равенство (5) покомпонентно: почти для всех
ППр (п ра2) = п р (п/а2)= п р (п2 а2) = П2п р (а2).
Отсюда следует, что (ппр - п2)): р р почти для всех р еЛ2. При этом очевидно, что (пр, р) = 1. Далее рассмотрим покомпонентно равенство (6): почти для всех р еЛ1 \ Л2
ппр(пра!) = пр(п/) = пр(па1 + па2) = пр(ща1) = п|пр(а). Отсюда следует, что (ппр - п): р для бесконечного числа р еЛ1 \ Л2. Следовательно, либо (пр, р) = 1 почти для всех р еЛ1, либо п1 =0. В первом случае,
аналогично доказательству леммы 4, легко показать, что существует такое прямое слагаемое С группы А, что /- мономорфизм на С, причём А = Сф(фреОАр), а
Ос Р - конечное множество. Кроме того, аналогично подходу, изложенному в доказательстве леммы 4, можно показать, что существуют прообразы проекций базисных векторов на группу С, что вместе с леммами 2 и 3 означает чистоту / в кольце Е(А). Рассмотрим подробнее второй вариант. В этом случае равенство (6) покомпонентно можно представить в следующем виде: почти для всех р еЛ2
ппр (п ра1) = п2 п р (а2). Тогда (ппрар - п2ар): р р. Домножим обе части равенства на п и воспользуемся равенством ппр = р р 5 + п2. Получим
(п (ррр 5р + п2)ар - пп2ар ) р"р.
Отсюда следует, что (n n2a}p - nn2ap ) : p p . Далее, аналогично рассуждениям, изложенным в доказательстве данной леммы для случая fa2 e T(A), легко показать, что группу A можно представить в виде прямой суммы двух групп ранга 1 и ограниченной периодической группы, что, в свою очередь, будет означать чистоту кольца эндоморфизмов группы A. Таким образом, для каждого из рассмотренных случаев fa2 е T (A) и fa2 g T (A) мы доказали чистоту E (A). ■
Следующее предложение завершает доказательство второго случая из предложенного плана доказательства основного результата ( Л1 пЛ2 - бесконечное множество и хотя бы одно из множеств Л1 \ Л2, Л2 \ Л1 - бесконечное).
Предложение 1. Если хотя бы одно из множеств Л1 \ Л2, Л2 \ Л1 - бесконечное, то кольцо E(A) - чистое.
Доказательство. Как отмечалось ранее, для доказательства результата достаточно рассмотреть случай, когда f g Hom(A, T (A)). Для начала отметим, что если
оба множества Л1 \ Л2, Л2 \ Л1 - бесконечные, то выполнены условия леммы 4, а значит, кольцо E (AIT (A)) будет чистым. Тогда нам остаётся рассмотреть случай, когда только одно из множеств, не умаляя общности, можно считать, что это множество Л1 \ Л2 является бесконечным. При этом множество Л2 \ Л1 - конечное. Принимая во внимание результаты, доказанные в леммах 7 - 9, получаем, что кольцо E (A) - чистое. ■
Далее переходим к доказательству последнего, третьего случая из плана доказательства основного результата данной работы ( Л1 пЛ2 - бесконечное множество, и при любом выборе базисных векторов Л1 \ Л2, Л2 \ Л1 - конечные множества). Вначале рассмотрим случай, когда почти для всех p е P справедливо равенство slp = sp (лемма 10 - 13).
Заметим, что в последующих двух леммах доказательства носят технический характер и используют лишь те приёмы и методы, которые уже применялись в представленных ранее доказательствах. В связи с этим, поскольку полученные результаты носят лишь вспомогательный характер, доказательство данных лемм не приводится.
Уточним действие произвольного эндоморфизма f eE(A) на базисных векторах:
nfa1 = nlal + n2 a2 + a1, kfa2 = klal + k2a2 + af , где n, k e N , n1, n2, k1, k2 e Z , a,!, at e T (A). При этом fcp = npcp, где cp - образующие Ap , np e Z . Аналогично предыдущим доказательствам будем рассматривать случай, когда f g Hom(A, T (A)). Кроме того, во всех дальнейших результатах (леммы 10 - 13) будем полагать справедливость следующего условия: при любом выборе базисных векторов Л1 = Л2 = P и почти для всех p e P справедливо равенство s\ = sp .
Лемма 10. Если пр : р для бесконечного множества р е Р , то справедливы следующие утверждения:
• п1 — к1п2 ,
• кп1 — п^2,
• к1, к2, п1, п2 Ф 0,
• пр : р почти для всех р е Р .
Лемма 11. Если к2п1 — к1п2, то пр : р почти для всех р е Р .
Лемма 12. Если пр : р для бесконечного множества р е Р , то / - чистый элемент Е(А).
Доказательство. Согласно лемме 10, выполнены равенства
к2п1 — к1п2 ; (8)
кп1 — -пк2 . (9)
Кроме того, к1, к2, п1, п2 Ф 0 и пр: р почти для всех р е Р . Множество всех тех р е Р , для которых (пр, р) — 1, обозначим через О . Добавим к нему также все простые числа р е Р , которые участвуют в разложении чисел п, к, к1. Рассмотрим прямое разложение А — Сф(ф реОАр) и докажем, что эндоморфизм и — 1- / является автоморфизмом группы С. Ввиду выбора множества О очевидно, что и |А - автоморфизм почти для всех р е Р \ О . Докажем, что существует также
прообраз элемента пС (а1). Рассмотрим элемент Ь1 е С, для которого справедливо равенство
тЬ1 — т1 пС (а1) + т2пС (а2),
где т — -к1кх, т1 — к1 х(к2 - к), т2 — к^ х, х еО . В таком случае справедливо следующее равенство:
тпкиЬ1 — пки(т1а1 + т2а2 + Ь() — пк (1 - /)(т1а1 + т2а2 + Ь) —
= пк(т1а1 + т2 а2) - т1к(п1а1 + п2 а2) - т2п(к1а1 + к2 а2) + Ь — = (пкт1 -т1кп1 -т2пк1)а1 + (пкт2 -т1кп2 -т2пк2)а2 + Ьг
При этом легко убедиться в справедливости следующих равенств: пкт1 + т1кп1 + т2 пк1 — тпк,
пкт2 - т1кп2 - т2пк2 — 0.
Таким образом, получаем, что тпк иЬ1 — тпк пС (а1). Отсюда следует, что кк1кп(иЬ1 -пС (а1)) — 0. Напомним, что в множество О входят все простые числа из Р, которые участвуют в разложении следующих чисел: п, к, к1. Учитывая этот факт, можем утверждать, что иЬ1 -пС (а1) — 0. Аналогично можно показать, что для элемента пС (а2) прообразом будет элемент Ь2 е С , для которого справедливо равенство 1Ь1 — 11пС (а1) +12пС (а2), где I — к , 11 — к1, 12— к + к2. Согласно лем-
ме 2, и - автоморфизм группы С, поскольку существуют прообразы для каждого из базисных векторов и и |А - автоморфизм почти для всех р е Р \ О. Значит, /-
чистый элемент кольца эндоморфизмов группы С . Тогда из леммы 3 следует, что / - чистый элемент кольца Е(А). ■
Лемма 13. Если (пр, р) = 1 почти для всех р е Р , то / — чистый элемент Е( А).
Доказательство. Согласно условиям леммы, (пр, р) = 1 почти для всех р е Р . Множество всех тех р е Р , для которых (пр, р) = р, обозначим через О . Добавим к нему также все простые числа р е Р , которые участвуют в разложении чисел п,к,(к1п2 -к2п1). Рассмотрим прямое разложение А = Сф(фреОАр), докажем, что эндоморфизм / является автоморфизмом группы С . Ввиду выбора множества О очевидно, что /1А - автоморфизм почти для всех р е Р \ О . Докажем, что существует также прообраз элемента пС (а1). Рассмотрим элемент Ь1 е С, для которого справедливо равенство
тЬ1 = т1пС (а1) + т2пС (а2), где т = к2п1 - к1п2, т1 = пк2, т2 = -кп2. Принимая во внимание лемму 11, легко показать, что к2п1 - к1п2 Ф 0 и к1, п1 не могут одновременно равняться нулю, что также справедливо и для к2, п2. В таком случае справедливо следующее равенство: тпк /Ь1 = пк / (т1а1 + т2 а2 + Ь() =
= т1к(п1а1 + п2 а2) + т2 п(к1а1 + к2 а2) + Ь( =
= (т1кп1 + т2 пк1)а1 + (т1кп2 + т2 пк2)а2 + Ь(. При этом легко убедиться в справедливости следующих равенств:
т1кп1 + т2 пк1 = тпк,
т1кп2 + т2 пк2 = 0.
Таким образом, получаем, что тпк /Ь1 = тпк пС (а1). Отсюда следует, что кп(к2п1 -к1п2)(/Ь1 -пС(а1)) = 0. Напомним, что в множество О входят все простые числа из Р , которые участвуют в разложении следующих чисел: п,к,к2п1 -к1п2. Учитывая этот факт, можем утверждать, что /Ь1 -пС(а1) = 0.
Аналогично можно показать, что для элемента пС (а2) прообразом будет элемент Ь2 е С , для которого справедливо равенство 1Ь1= 11пС (а1) +12пС (а2), где I = к1п2 -к2п1, 11 = к1п , 12 = -кп1. Согласно лемме 2,/- автоморфизм группы С , поскольку существуют прообразы для каждого из базисных векторов и /1А - автоморфизм почти для всех р е Р \ О . Значит, /- чистый элемент кольца эндоморфизмов группы С. Тогда из леммы 3 следует, что / - чистый элемент кольца Е(А). ■
Лемма 14. Если при любом выборе базисных векторов Л1 \ Л2 , Л2 \ Л1 - конечные множества и почти для всех р е Р справедливо равенство — з2р , то Е(А) - чистое кольцо.
Доказательство. Заметим, что, не умаляя общности, можно считать, что Л1 — Л2 — Р , поскольку прямые суммы р-компонент, относящихся к множествам Л1 \ Л2, Л2 \ Л1 и Р \ (Л1 и Л2) можно выделить конечными прямыми слагаемыми, каждое из которых, согласно [1], будет обладать чистым кольцом эндоморфизмов и будет вполне характеристической подгруппой. Тогда, учитывая [6], вопрос изучения чистоты Е(А) сведётся к прямому слагаемому, являющемуся дополнением к указанных выше прямым слагаемым, то есть к А|(ПреЛ ПЛ Ар).
Пусть / е Е(А). Сразу заметим, что в случае, когда / е Нот(А, Т(А)), согласно предыдущим результатам /- чистый элемент Е(А). Поэтому далее рассмотрим случай, когда / г Нот(А,Т(А)). В этом случае, согласно леммам 12 и 13,/- чистый элемент Е(А). ■
Теперь, для завершения доказательства третьего случая из плана доказательства основного результата нам остаётся рассмотреть условие, когда почти для всех р е Р справедливо неравенство Ф яр (леммы 15 - 19). Аналогично предыдущим доказательствам будем считать, что / г Нот(А, Т(А)). Кроме того, во всех дальнейших результатах (леммы 15 - 18) будем полагать справедливость следующего условия: при любом выборе базисных векторов Л1 — Л 2 — Р и для всех
р еО справедливо неравенство > 5р (Ос! - бесконечное множество).
Заметим, что доказательство следующей леммы носит технический характер и используют лишь те приёмы и методы, которые уже применялись в представленных ранее доказательствах. В связи с этим, поскольку полученные результаты носят лишь вспомогательный характер, доказательство данной леммы не приводится.
Лемма 15. Справедливы следующие утверждения:
• к/а2 — к2 а2 + а^ ;
• если пр: р для бесконечного числа р еО, то
- п/а1 — п2 а2 + а],
- /а2 е Т(А), то есть пр: р почти для всех р е Р ,
- почти для всех р е Р справедливо неравенство 51р > 5р ;
• если (пр, р) — 1 почти для всех р еО, то к2, п1 Ф 0.
Лемма 16. Пусть / е Е( А) и пр : р для бесконечного числа р еО, тогда / -чистый элемент Е(А).
Доказательство. Согласно лемме 15, неравенство 5р > 52р справедливо почти для всех р е Р . Кроме того, /а2 е Т(А), то есть пр : р почти для всех р е Р и
п/а1 — п2а2 + а], где п,п2,е Z\{0}, а} е Т(А). Множество всех тех р е Р , для ко-
торых (пр, р) — 1, обозначим через О . Добавим к нему также все простые числа р е Р , которые участвуют в разложении числа п. Рассмотрим прямое разложение А — Сф(фреОАр) и докажем, что эндоморфизм и — 1- / является автоморфизмом группы С. Ввиду выбора множества О очевидно, что и |А - автоморфизм
для всех р е Р \ О. Докажем, что существует также прообраз элемента пС (а1). Рассмотрим элемент Ь1 е С, для которого справедливо равенство
тЬ1 — т1 пС (а1) + т2пС (а2), где т — п, т1 — п, т2 — п2. В таком случае справедливо следующее равенство:
тп иЬ1 — п и(т1пСа1 + т2пСа2) — п (1 - /)(т1пСа1 + т2%Са2) —
= п(т1пСа1 + т2%Са2) -т1п2пСа2 + Ь( = пт1пСа1 + (пт2пСа2 -т1п2пСа2) + Ь( —
= пппСа1 + (пп2пСа2 -пп2пСа2) + Ь( — тппСа1 + Ьг Таким образом, получаем, что тп иЬ1 — п2 пС (а1) + Ь{. Отсюда следует, что п 2(иЬ1 -пС (а1)) е С . Напомним, что в множество О входят все простые числа из Р , которые участвуют в разложении п. Учитывая этот факт, можем утверждать, что иЬ1 -пС(а1) —0. Легко показать, что существует такой Ь2 еТ(А), что а2 — и(а2 + Ь2). Согласно лемме 2, и - автоморфизм группы С , поскольку существуют прообразы для каждого из базисных векторов и и |А - автоморфизм для
всех р е Р \ О. Значит, /- чистый элемент кольца эндоморфизмов группы С. Тогда из леммы 3 следует, что/- чистый элемент кольца Е(А). ■
Лемма 17. Пусть / е Е(А) и (пр, р) — 1 почти для всех р е Р , тогда / -чистый элемент Е(А).
Доказательство. Согласно лемме 15, к/а2 — к2а2 + а^, кроме того, к2, п1фй. Согласно условиям леммы, (пр, р) — 1 почти для всех р е Р . Множество всех тех р е Р , для которых (пр, р) — р, обозначим через О . Добавим к нему также все простые числа р е Р , которые участвуют в разложении чисел п, к, к2, п1. Рассмотрим прямое разложение А — Сф(фреОАр), докажем, что эндоморфизм/является автоморфизмом группы С . Ввиду выбора множества О очевидно, что / 1А - автоморфизм для всех р е Р \ О . Докажем, что существуют также прообразы для элементов пС (а1) и пС (а2). Заметим, что в лемме 13 было доказано, что для эндоморфизма /, удовлетворяющего условию (пр, р) — 1 почти для всех р е Р , существуют прообразы для элементов пС (а1) и пС (а2). Несложно показать, что найденные в доказательстве леммы 13 элементы будут прообразами для пС (а1) и пС (а2) в условиях данного предложения: к/а2— к2 а2 + а2 и к2, п1 Ф 0. Тогда, согласно лемме 2, /- автоморфизм группы С, поскольку существуют про-
образы для каждого из базисных векторов и / |А - автоморфизм почти для всех
р е Р \ О . Значит, /- чистый элемент кольца эндоморфизмов группы С. Тогда из леммы 3 следует, что/- чистый элемент кольца Е(А). ■
Лемма 18. Пусть / е Е( А) и (пр, р) = 1 почти для всех р еО (ПсР - бесконечное множество), тогда/— чистый элемент Е(А).
Доказательство. Согласно лемме 15, к/а2 = к2а2 + а2, кроме того, к2,п1 Ф 0. Предположим, что почти для всех р е Р с О выполнено равенство = ^р . Согласно лемме 10, (пр, р) = 1 почти для всех р е Р \ О, так как в противном случае к/а2 = к1а1 + к2а2 + а2, где к1 е Z \{0}. Следовательно, (пр, р) = 1 почти для всех р е Р . Рассмотрим альтернативный случай, когда почти для всех р е Р с О выполнено неравенство Ф ^р. Предположим, что для бесконечного числа р е Р с О справедливо пр: р . Тогда, согласно лемме 16, пр: р почти для всех р е Р , что противоречит условиям предложения. Следовательно, (пр, р) = 1 почти для всех р е Р . Таким образом, (пр, р) = 1 почти для всех р е Р . Тогда, согласно лемме 17,/- чистый элемент Е(А). ■
Лемма 19. Если при любом выборе базисных векторов Л1 \ Л2 , Л2 \ Л1 — конечные множества и для бесконечного множества чисел р е Р справедливо неравенство Ф Яр ,то Е(А) — чистое кольцо.
Доказательство. Заметим, что, не умаляя общности, можно считать, что Л1 = Л2 = Р , поскольку прямые суммы р -компонент, относящихся к множествам Л1 \ Л2, Л2\ Л1 и Р \(Л1 и Л2) можно выделить конечными прямыми слагаемыми, каждое из которых, согласно [1], будет обладать чистым кольцом эндоморфизмов и будет вполне характеристической подгруппой. Тогда, учитывая [6], вопрос изучения чистоты Е(А) сведётся к прямому слагаемому, являющемуся дополнением к указанным выше прямым слагаемым, то есть к А|(ПреЛ пЛ Ар).
Пусть / е Е(А). Сразу заметим, что в случае, когда / е Нот(А, Т(А)), согласно предыдущим результатам, / - чистый элемент Е(А). Поэтому далее рассмотрим случай, когда / г Нот(А,Т(А)). В этом случае, согласно леммам 16, 18,/- чистый элемент Е(А). ■
Следующее предложение завершает доказательство третьего случая из предложенного плана доказательства основного результата (Л1 пЛ 2 - бесконечное множество и при любом выборе базисных векторов Л1 \ Л2, Л2 \ Л1 — конечные множества) и непосредственно следует из лемм 14 и 19.
Предложение 2. Если при любом выборе базисных векторов Л1 \ Л2 , Л2 \ Л1 —
конечные множества, то Е(А) — чистое кольцо.
ЛИТЕРАТУРА
1. Сорокин К.С. SP-группы с чистыми кольцами эндоморфизмов // Вестник Томского государственного университета. Математика и механика. 2014. № 4(30). С. 24-36.
2. Крылов П.А. Об одном классе смешанных абелевых групп // Вестник ТГУ. 2000. Т. 269. С. 29-34.
3. Крылов П.А. Радикал Джекобсона кольца эндоморфизмов абелевой группы // Алгебра и логика. 2004. Т. 43. № 1. С. 60-76.
4. Крылов П.А. Радикалы колец эндоморфизмов абелевых групп // Вестник Томского государственного университета. Математика и механика. 2007. № 1. С. 17-27.
5. Camillo V.P., Khurana D., Lam T.Y., Nicholson W.K., Zhou Y. Continuous modules are clean // J. Algebra. 2006. № 304. P. 94-111.
6. Han J., Nicholson W.K. Extension of clean rings // Commun. Algebra. 2001. V. 29. No. 6. P. 2589-2595.
7. Goldsmith B., Vamos P. A note on clean abelian groups // Rendiconti del Seminario Matematico della Universita di Padova. 2007. V. 117. P. 181-191.
Статья поступила 13.08.2014.
Sorokin K. S. TWO-RANK SP-GROUPS WITH CLEAN ENDOMORPHISM RINGS
The notion of clean ring was introduced by W.K. Nicholson in 1977 to give an example of ring with idempotents, which can be lifted modulo any left (right) ideal. In the case when R is an endomorphism ring of some module, the new descriptions of cleanness property appear which may be useful for study of the conditions of cleanness of ring R [6].
This work continues the author's investigations of cleanness of endomorphism rings of finite rank SP-groups, which are a class of mixed Abelian groups [2] - [4]. The author earlier prooved cleanness of endomorphism rings of one-rank SP-groups with cyclic p-components. Moreover, it was shown that any endomorphism of a finite rank SP-group with cyclic p-components is clean if its image is contained in torsion subgroup of A.
In this work, the subject of investigation is a two-rank SP-groups with cyclic p-components without any infinite torsion direct summand. The proof of cleanness of endomorphism rings of these groups is the key result of this work. Subsidiary statements obtained in proof of this result allows to describe the structure of endomorphism rings of considering groups.
Keywords: mixed Abelian group, SP-group, clean ring, endomorphism ring.
SOROKINKonstantin Sergeevich (M.Sc., Tomsk State University, Tomsk, Russian Federation). E-mail: [email protected]
REFERENCES
1. Sorokin K.S. SP-gruppy s chistymi kol'tsami endomorfizmov. Vestnik Tomskogo gosudarst-vennogo universiteta. Matematika i mekhanika, 2014, no. 4(30), pp. 24-36. (in Russian)
2. Krylov P.A. Ob odnom klasse smeshannykh abelevykh grupp. Vestnik TGU, 2000, vol. 269, pp. 29-34. (in Russian)
3. Krylov P.A. Radikal Dzhekobsona kol'tsa endomorfizmov abelevoy gruppy. Algebra i logika, 2004, vol. 43, no. 1, pp. 60-76. (in Russian)
4. Krylov P.A. Radikaly kolets endomorfizmov abelevykh grupp. Vestnik Tomskogo gosudarst-vennogo universiteta. Matematika i mekhanika, 2007, no. 1, pp. 17-27. (in Russian)
5. Camillo V.P., Khurana D., Lam T.Y., Nicholson W.K., Zhou Y. Continuous modules are clean. J. Algebra, 2006, no. 304, pp. 94-111.
6. Han J., Nicholson W.K. Extension of clean rings. Commun. Algebra, 2001, vol. 29, no. 6, pp. 2589-2595.
7. Goldsmith B., Vamos P. A note on clean abelian groups. Rendiconti del Seminario Matematico della Universita di Padova, 2007, vol. 117, pp. 181-191.
