T-rings and quotient divisible groups of rank 1.pdf В теории абелевых групп без кручения важную роль играют так называемые E-кольца (ассоциативные кольца с единицей, канонически изоморфные кольцам эндоморфизмов своих аддитивных групп). В 1977 году Р. Боушел и Ф. Шульц рассмотрели и описали E-кольца специального вида, которые они назвали Т-кольцами. При изучении самомалых групп конечного ранга А. А. Фомин и У. Уиклесс в 1998 году обобщили понятие факторно делимой группы на класс смешанных групп. Полное описание факторно делимых групп ранга 1 было получено О.И. Давыдовой в 2007 году. Замечено, что класс бесконечных Т-колец и класс факторно делимых групп ранга 1 совпадают. Доказательству данного факта и посвящена данная заметка. Под «группой» в работе подразумевается абелева группа, записанная аддитивно, под «кольцом» - ассоциативное кольцо (не обязательно с единицей); Z, Q и Jp - обозначения колец целых, рациональных и целых p-адических чисел соответственно или их аддитивных групп, Zm - кольцо классов вычетов по модулю m, P -множество всех простых чисел, N - множество натуральных чисел. Если S - подмножество K-модуля M, то через (S) и (S)K будем обозначать соответственно подгруппу и подмодуль, порожденные множеством S, а через (S)» - сервантную оболочку множества S, состоящую из всех таких reM, что nre(S) при некотором натуральном n. Заметим, что (S)» содержит все элементы из M, имеющие конечные порядки. Элементы a1, a2, ..., an группы A будем называть линейно независимыми (над Z), если равенство m1a1 + m2a2 +...+ mnan = 0 влечет m1 = m2 = ... = mn = 0. Бесконечное множество называется линейно независимым, если линейно независимо любое его конечное подмножество. Рангом группы A называется мощность максимального линейно независимого подмножества в A (обозначается r(A)). р-рангом группы A называется размерность Zp-пространства A/pA (обозначается rp(A)). Рангом (р-рангом) кольца или модуля будем называть ранг (р-ранг) его аддитивной группы. Через t(A) и tp(A) будем обозначать соответственно периодическую и р-примарную часть группы A. Кольцо и группу эндоморфизмов группы A будем обозначать E(A) и EndA соответственно. Если K - кольцо, то через K+ будем обозначать его аддитивную группу. Групповая терминология, применяемая к кольцам, относится к их аддитивным группам. Другие используемые в работе понятия и обозначения можно найти в [1]. 1. F-кольца и Г-кольца Определение 1.1. Кольцо K называется E-кольцом, если End K+ = EndKK+. Аддитивные группы E-колец называются E-группами. Рассмотрим некоторые свойства E-колец: а) K является E-кольцом тогда и только тогда, когда всякий эндоморфизм ф аддитивной группы кольца K совпадает с умножением справа кольца K на элемент ф(1). Действительно, если K - E-кольцо и феЕМ K+, то ф(г) = ф(г-1) = гф(1). Обратно, если ф(г) = гф(1), то ф(г^) = (гу)ф(1) = г(уф(1)) = гф(^). б) E-кольцо K-коммутативно. Пусть хеK и L;c - эндоморфизм левого умножения на х (^(у) = ху), а Rх - эндоморфизм правого умножения на х ^х(у) = ух). Из п. а) следует, что L-c = R^o) = Rх. Это влечет ху = Lх(y) = Rх(y) = ух. Предложение 1.1 [2]. Следующие утверждения равносильны: 1. K - E-кольцо; 2. Если феЕ(К+) и ф(1) = 0, то ф = 0; 3. Кольцо E(K+) коммутативно. Р. Боушел и Ф. Шульц в [3] ввели близкое к E-кольцам понятие Т-кольца. Определение 1.2. Кольцо K называется Т-кольцом, если умножение m: K®K^K, где m(a®b) = ab, является изоморфизмом. Теорема 1.2 [3]. Следующие утверждения равносильны: 1. K - Т-кольцо; 2. Отображение d: K^ K®K, действующее по закону d(a) = 1a, является изоморфизмом, обратным к m; 3. K - E-кольцо и K®K = K®kK; 4. a®b = b®a для любых a,beK. Теорема 1.3 [3]. Следующие утверждения равносильны: 1. K - Т-кольцо; 2. K/t(K) изоморфно подкольцу поля Q, и если tp(K)^0, то tp(K) - циклическая группа и K/t(K) делится на р. Примерами Т-колец служат подкольца (с единицей) поля Q и кольца классов вычетов. Кольцо целых р-адических чисел Jp является E-кольцом, но не является Т-кольцом (так как r(Jp)>1). Пусть K - Т-кольцо, тогда, учитывая п. 2 теоремы 1.3 и изоморфизм K/pK=[K/®q^tq(K]/[pK/®^ptq(K], получаем, что rp(K)< 1 для любого простого p. Лемма 1.4. Пусть A - редуцированная группа, все p-ранги которой конечны, тогда ее первая ульмовская подгруппа - нулевая. Доказательство. Рассмотрим первую ульмовскую подгруппу A1 группы A , A1 = HmeN mA, и построим ее нулевой ульмовский фактор A0 = A/A1. Так как все p-ранги группы A конечны, то и все p-ранги группы A0 конечны. Следовательно, tp(A0) - конечная группа для всякого простого p. Пусть pn - верхняя грань порядков элементов группы tp(A0). Элемент aeA1 имеет бесконечную p-высоту в группе A, следовательно, уравнение pn+ly = a имеет решение у = у0 в группе A. Тогда p^^+A1) = a+A1 = 0 и y0+A1еtp(A0), а значит, p^eA1. Таким образом, уравнение pх = a имеет решение х = p^Vo в группе A1, т.е. A1 - p-делимая группа. В силу произвольности выбора простого числа p получаем, что A1 - делимая группа, т.е. A1 = 0. Пусть x = (mp) - произвольная характеристика (т.е. последовательность целых неотрицательных чисел и символов да, занумерованная простыми индексами). Рассмотрим кольцо ZX = npePKp, где Kp = Zpmp - кольцо классов вычетов по модулю pmp при mp cochar(a) для любого aeA. В частности, кохарактеристики двух различных базисных элементов в группе A совпадают. Определение 2.3. Кохарактеристикой факторно делимой группы A ранга 1 называется кохарактеристика любого ее базисного элемента (обозначается cochar(A)). Рассмотрим кольцо ZX = П^-р^. Если тип [%] отличен от нулевого, то определим кольцо RX = (1)*с ZX. Если [%] = 0, то определим кольцо RX = Q©ZX. Теорема 2.2 [6]. Если A - факторно делимая группа ранга 1 кохарактеристики х, то A изоморфна аддитивной группе кольца RX, а ее кольцо эндоморфизмов E(A) изоморфно кольцу RX. Теорема 2.3. Всякое кольцо RX является Т-кольцом. Любое бесконечное Т-кольцо изоморфно некоторому кольцу RX. Доказательство. Справедливость первого утверждения вытекает из теоремы 1.3 и построения колец RX. Пусть K - произвольное бесконечное Т-кольцо и пусть KA = ZX. Нетрудно видеть, что если K+ не является редуцированной группой, то K = Q © Zm = RX (см, например, [2]). Поэтому далее будем считать, что K+ - редуцированная группа, т.е. K - подкольцо кольца ZX. Рассмотрим факторгруппу K+/(1), которая в силу теоремы 1.3 является периодической. Покажем, что K+/(1) - делимая группа. Возьмем элемент a = (ар) e K+, где ар e Kp. Для каждого простого числа q Ф р элемент ар делится на q. Если 0 < mp< да, то ар = a0 + a1p +...+ amp-1 pm"-1, и тогда ap-a03p делится на р, где 1р - единица кольца Zpmp. Аналогично, если mp = да, то ар = a0 + a1p +...+ asps +...eJp и тогда ap-a03p делится нар, где 1р - единица кольца Jp. В обоих случаях получаем, что a = pb+a01, причем, поскольку K+ - плотная сервантная подгруппа в ZX, то beK. Следовательно, a+(1) делится на любое простое число р в группе K+, то есть K+/(1) - делимая группа. Так как K с npePKp, то K не содержит делимых периодических подгрупп. Следовательно, K+ является факторно делимой группой ранга 1. Кроме того, очевидно, что cochar(K+) = cochar(Y) = х. Тогда из теоремы 2.2 вытекает, что K=RX. Отметим в заключение, что конечные Т-кольца - это в точности кольца классов вычетов.

Скачать электронную версию публикации