Научная статья на тему 'К теореме Бэра-Капланского для квадратично-разложимых групп без кручения'

К теореме Бэра-Капланского для квадратично-разложимых групп без кручения Текст научной статьи по специальности «Математика»

CC BY
291
30
i Надоели баннеры? Вы всегда можете отключить рекламу.
Журнал
Чебышевский сборник
Scopus
ВАК
RSCI
Область наук
Ключевые слова
АБЕЛЕВА ГРУППА / ПОЛЕ РАСЩЕПЛЕНИЯ / ГРУППА РАСЩЕПЛЕНИЯ / ABELIAN GROUP / SPLITTING FIELD / SPLITTING GROUP

Аннотация научной статьи по математике, автор научной работы — Вершина Светлана Витальевна

Взаимосвязь структуры абелевой группы со структурой кольца ее эндоморфизмов является классической проблемой в теории абелевых групп. В частности, Бэром и Капланским было доказано, что если группы A и B периодические, то группа A изоморфна группе B тогда и только тогда, когда их кольца эндоморфизмов изоморфны. В более общем случае, когда группы A и B смешанные или без кручения, теорема Бэра-Капланского не имеет места. В данной статье рассматривается класс p-локальных абелевых групп без кручения конечного ранга. Пусть K поле такое, что Q С K С Q p и пусть R = K П Z p, где Q поле рациональных чисел, Z p кольцо целых p-адических чисел, Q p поле p-адических чисел. Поле K называется полем расщепления (кольцо R называется кольцом расщепления) для p-локальной редуцированной абелевой группы без кручения конечного ранга или, что A является K-разложимой группой, если A ®z p R является прямой суммой делимого R-модуля и свободного R-модуля. В работе охарактеризованы p-локальные абелевы группы без кручения конечного ранга с квадратичным полем расщепления. В качестве применения доказано, что K-разложимые p-локальные абелевы группы без кручения A и B изоморфны в том и только в том случае, если изоморфны их кольца эндоморфизмов.

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

ON THE BAER-KAPLANSKY THEOREM FOR TORSION FREE GROUPS WITH QUADRATIC SPLITTING FIELDS

The connection between a structure of abelian group and a structure of endomorphism ring is a classic question in abelian group theory. In particular, Baer and Kaplansky proved that this connection is very strong for torsion groups: two abelian torsion groups are isomorphic if and only if their endomorphism ring are isomorphic. In more general cases for torsion-free and mixed abelian groups the Baer-Kaplansky theorem is fails. This paper deals with a class of p-local torsion-free abelian of finite rank. Let K be a field such that Q С K С Q p and let R = K П Z p, where Z p is the ring of p-adic integers, Q p is the field of p-adic numbers, Q is the field of rational numbers. We say that K is a splitting field (R is a splitting ring) for a p-local torsion-free reduced group A or that group A is K-decomposable group if A ® Zp R is the direct sum of a divisible R-modules and a free R-modules. Torsion-free p-local abelian groups of finite rank with quadratic splitting field K are characterized. As an application it is proved that K-decomposable p-local torsion free abelian groups of finite rank are isomorphic if and only if their endomorphism rings are isomorphic.

Текст научной работы на тему «К теореме Бэра-Капланского для квадратично-разложимых групп без кручения»

ЧЕБЫШЕВСКИЙ СБОРНИК

Том 15 Выпуск 1 (2014)

УДК 512.541

К ТЕОРЕМЕ БЭРА-КАПЛАНСКОГО ДЛЯ КВАДРАТИЧНО-РАЗЛОЖИМЫХ ГРУПП БЕЗ КРУЧЕНИЯ

С. В. Вершина (г. Москва)

Аннотация

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

В частности, Бэром и Капланским было доказано, что если группы A и B — периодические, то группа A изоморфна группе B тогда и только тогда, когда их кольца эндоморфизмов изоморфны. В более общем случае, когда группы A и B смешанные или без кручения, теорема Бэра-Капланского не имеет места.

В данной статье рассматривается класс p-локальных абелевых групп без кручения конечного ранга. Пусть K — поле такое, что Q С K С Qp и пусть R = K П Zp, где Q — поле рациональных чисел, Zp — кольцо целых p-адических чисел, Qp — поле p-адических чисел. Поле K называется полем расщепления (кольцо R называется кольцом расщепления) для p-локальной редуцированной абелевой группы без кручения конечного ранга или, что A является K-разложимой группой, если A R является прямой суммой делимого R-модуля и свободного R-модуля. В работе охарактеризованы p-локальные абелевы группы без кручения конечного ранга с квадратичным полем расщепления. В качестве применения доказано, что K-разложимые p-локальные абелевы группы без кручения A и B изоморфны в том и только в том случае, если изоморфны их кольца эндоморфизмов.

Ключевые слова: абелева группа, поле расщепления, группа расщепления.

ON THE BAER-KAPLANSKY THEOREM FOR TORSION FREE GROUPS WITH QUADRATIC SPLITTING FIELDS

S. V. Vershina (Moscow)

Abstract

The connection between a structure of abelian group and a structure of endomorphism ring is a classic question in abelian group theory. In particular,

Baer and Kaplansky proved that this connection is very strong for torsion groups: two abelian torsion groups are isomorphic if and only if their endomorphism ring are isomorphic. In more general cases for torsion-free and mixed abelian groups the Baer-Kaplansky theorem is fails.

This paper deals with a class of p-local torsion-free abelian of finite rank.

Let K be a field such that Q С K С Qp and let R = K П Zp, where Zp is the ring of p-adic integers, Qp is the field of p-adic numbers, Q is the field of rational numbers. We say that K is a splitting field (R is a splitting ring) for a p-local torsion-free reduced group A or that group A is K-decomposable group if A ®Zp R is the direct sum of a divisible R-modules and a free R-modules. Torsion-free p-local abelian groups of finite rank with quadratic splitting field K are characterized. As an application it is proved that K-decomposable p-local torsion free abelian groups of finite rank are isomorphic if and only if their endomorphism rings are isomorphic.

Keywords: abelian group, splitting field, splitting group.

1. Введение

Стандартные обозначения и понятия взяты из монографии [1], [2]. Абелева группа A называется p-локальной группой (р-простое число), если для любого простого q = р имеет место равенство qA = A. В статье рассматриваются только р-локальные абелевые группы без кручения конечного ранга. Если не оговорено противное, то подгруппы р-локальных групп рассматриваются только сервантные, то есть если они сами являются р-локальными группами. Через Z, Zp, Zp, обозначим соответственно кольцо (группу) целых чисел, локализацию кольца Z относительно простого р, кольцо целых р-адических чисел и поле р-адических чисел. Ранг группы A r(A) — это размерность делимой оболочки QA = Q ®Zp A как векторного пространства над полем рациональных чисел Q; р-ранг группы A rp(A) — это размерность фактор-группы A^A как векторного пространства над конечным полем Fp из р элементов. Если r(A) = 1, то р-локальная группа A изоморфна группе Zp или Q; если rp(A) = 0, то р-локальная группа A — делимая; если rp(A) = r(A), то р-локальная группа A является свободным Zp-модулем. Известно [1], что группу A можно вложить в качестве сер-вантной подгруппы в р-адическое пополнение A = ®™=1Zpbi, где {bi}n — р-базис группы A. Если W = {а1,..., am, b1,... , bn} — максимальная линейно независимая система элементов группы A, содержащая р-базис {b1,... ,bn} группы, то

n

a = aijbj и р-адическая матрица A = (aij)mxn с целыми р-адическими эле-

j=1

ментами называется р-адической матрицей группы A в базисе W. Задание этой р-адической матрицы определяет с точностью до изоморфизма р-локальную группу без кручения ранга m + n, р-ранга n. Исследование свойств р-адических

матриц групп производилось в работах [3], [4]. Группа называется редуцированной, если она не содержит делимых подгрупп; коредуцированной, если она не содержит свободных р-локальных подгрупп в качестве прямых слагаемых; вполне редуцированной, если не содержит в качестве прямых слагаемых свободных и делимых р-локальных подгрупп, то есть является редуцированной и коредуцированной. Поле К С <Ц>Р называется полем расщепления для неразложимой группы А, если А®ар Я = О фЯ, где Я = КПZp, О — делимый Я-модуль, Я — свободный Я-модуль. Кольцо Я в этом случае называется кольцом расщепления для группы А Изучению тензорных произведений групп без кручения конечного ранга посвящена работа А. А. Фомина [3].

Теорема Бэра-Капланского является классической проблемой в теории абелевых групп и модулей. Бэр [5] в случае прямых сумм циклических р-групп ограниченных порядков и Капланский [6] в случае примарных модулей над полными коммутативными кольцами дискретного нормирования доказали, что две периодические абелевы группы изоморфными в том и только в том случае, если изоморфны их кольца эндоморфизмов. В случае групп без кручения или смешанных групп это свойство в общем случае не имеет места, поэтому данная проблема стала формулироваться в более общем виде: для каких групп, модулей, над какими кольцами, из изоморфизма, почти изоморфизма, квазиизоморфизма колец эндоморфизмов групп, модулей следует изоморфизм, почти изоморфизм, квазиизоморфизм групп, модулей. По этой теме имеется большое количество работ, укажем некоторых авторов внесших существенный вклад в решение проблемы типа теоремы Бэра-Капланского. В работе А. В. Михалева [7] дан широкий и глубокий обзор по данной тематике. Для вполне разложимых абелевых групп без кручения данную проблему решил А. М. Себельдин [8]. Для почти вполне разложимых групп это свойство не имеет места, но имеет место аналог теоремы Бэра-Капланского с использованием понятия почти изоморфизма групп, что сделано в работе Е. А. Благовещенской, Г. Иванова, Шульца [9]. В локальном случае, для смешанных модулей над кольцом целых р-адических чисел Zр, эта проблема рассматривалась в работах Мэя [10]. Им получено следствие, что теорема Бэра-Капланского имеет место для смешанных локальных абелевых групп ранга без кручения 1 при условии, что высотная последовательность элемента без кручения имеет только конечные числа. Для модулей без кручения над кольцами Zp вопрос рассмотрен Вольфсоном [11]. Для смешанных редуцированных само-малых групп ранга без кручения более чем 1 вопрос рассмотрен Филсом и Виклессом [12], [13].

Так как задача классификации абелевых групп без кручения является «дикой» задачей, то решение вопроса — для каких классов групп без кручения и, тем более, для каких классов смешанных групп имеет место теорема Бэра-Капланского является трудноразрешимой задачей. В 1977 году Лэди [14], [15], [16] предложил рассматривать классы групп, модулей, имеющих определенные поля расщепления. Этот подход положен в основу данной статьи.

Приведем некоторые эквивалентные условия для задания р-локальных

групп без кручения конечного ранга.

Предложение 1. Для редуцированной абелевой группы без кручения А конечного ранга следующие условия эквивалентны:

1. А — р-локальная группа;

2. А = Zp ®й А;

3. Гр (А) = 0 и тд (А) = 0 для всех простых д = р;

4. Нот^д, А) = 0 для всех простых д = р;

5. А является Ър-модулем;

6. Нот(А, А) — р-локальная группа;

7. Редуцированный гомоморфный образ группы А является р-локальной группой;

8. Всякий элемент а группы А имеет характеристику вида

х(а) = (то,..., то, к, то,..., то,...),

где к — неотрицательное целое число стоящее на п-ом месте, если р = рп — п-ое простое число;

9. А является однородной группой и тип каждой сервантной подгруппы ранга 1 содержит характеристику

X = (то,..., то, 0, то,..., то,...),

где ноль стоит на п-ом месте, если р — п-ое простое число;

10. А — сервантная подгруппа р-адического пополнения А = ZpЬ1 ф... фZpЬп, где (Ьі,..., Ьп} — р-базис группы А;

11. Каждый элемент а Є А имеет вид

а = аіЬі + «2^ + ... + апЬп,

где а1,..., ап — целые р-адические числа, (Ь1,..., Ьп} — р-базис группы А и умножение аЬ определяется как предел последовательности элементов группы Бп(аі)Ь в р-адической топологии группы А, $п(а) — п-ая частичная сумма целого р-адического числа аі(і = 1,..., п);

12. В группе А существует 0_-базис (а1, а2,..., а5} такой, что для каждого элемента Ь группы А найдется такое п Є N что

рпЬ = кіаі + к2а2 + ... + к8а8,

где кі,..., к3 Є Zp.

Доказательство. Следует из определений соответствующих понятий.

При рассмотрении 12 пункта используется известное свойство: группа А является объединением возрастающей последовательности свободных подгрупп того же ранга, что и группа А. □

2. Группы расщепления

Пусть группа А является неразложимой абелевой р-локальной группой без кручения конечного ранга, р-ранга > 1. По аналогии с кольцом и полем расщепления определим группу расщепления В для группы А.

Определение 1. [17] Группу В р-ранга 1 назовем группой расщепления для неразложимой р-локальной группы А без кручения конечного ранга, р-ранга > 1, если А ®^р В = С ф Вк, где Вк — прямая сумма к ^ 1 групп изоморфных В.

Определение 2. Внутренней р-адической характеристикой элемента а € А называется множество

Н(а) = {а € | аа = Иш 5П(а)а € А}.

Заметим, что Н(а) является р-локальной группой, сервантной подгруппой Zp, содержащей 1 € Н(а) С Zp.

Определение 3. [17] Пусть В = {61, 62,..., 6П} — р-базис группы А, |В| ^

2. Внешней р-адической характеристикой элемента 6 относительно р-базиса В назовем внутреннюю р-адическую характеристику элемента 6 + В* фактор-группы А/В*, где В* = Фп=1(6^). Обозначим ее через Н^(6*).

3=*

Заметим, что Н(а) С Н*(а) для любого элемента нулевой р-высоты а и Н(а) = Н*(а) для группы р-ранга 1. Кроме этого, Н*(а) является р-локальной группой без кручения р-ранга 1 и 1 € Н*(а) С Zp.

Лемма 1. Для любого элемента нулевой р-высоты 6 группы А внешняя р-адическая характеристика Н^(6) относительно любого р-базиса Ж, содержащего 6, является группой расщепления для группы А.

Доказательство. Пусть Ж = {6 = 61, 62,... , 6П} — произвольный р-базис группы А, содержащей элемент 6. Дополним его до Q-базиса группы А элементами {а1,..., ат}. Раскладывая элементы а1,..., ат по р-базису в р-адическом

П

пополнении, получим равенства а* = ^ а^63 (г = 1,..., т). Тогда

3 = 1

Н^ (1, а11, а2Ъ . . . , ат1)* С Zp.

Рассмотрим тензорное произведение А 0^р Нщ (6). Базис данной группы составляет максимальная линейно независимая система элементов из

|й1 ® 1,..., ат ® 1, 61 ® 1,..., Ьп 0 1, 0 0*1,63 0 а*1 |

5, Ь = 1,..., т; ] = 1,..., п}.

Преобразуя данную максимальную линейно независимую систему элементов по формулам:

а^- = а^- ® 1 — 61 ® ад ^ ^ 0*36* ® 1 — 61 ® ад = 03161 ® 1 — 61 ® ад +

п п

+ а,*6* ® 1 = Иш ^(«дЖ ® 1 — 61 ® Иш ^(«д) + У а,*6* ® 1 =

* ^ п—^

*=2 *=2

пп

= Иш [£„(071)61 ® 1 — 61 ® бЦод)] + У 0^6* ® 1 = У 0^6* ® 1(? = 1,..., т),

п—^ * ^ ^

*=2 *=2

получаем две группы:

А1 = (а!,..., а^, 62 ® Н*(6),..., 6п ® Н*(6)) С А ® Н*(6),

В = (61 0 Н*(6)) С А 0 Н*(6)

такие, что А 0 Н*(6) = А1 ® В1 = А1 ф Н*(6), то есть внешняя р-адическая характеристика Н*(6) элемента 6 является группой расщепления для группы А. □

Лемма 2. Если А — вполне редуцированная р-локальна группа без кручения р-ранга 1 и существует такое натуральное п, что ®п+1А = ®пА, то Я = ®пА является кольцом расщепления для группы А.

Доказательство. Символом ® обозначено редуцированное тензорное произведение — фактор-группа по делимой части тензорного произведения. Из [3] следует, что Я является кольцом р-ранга 1, так как согласно условию существует изоморфизм в: Я ® Я ^ Я, задающий умножение на Я. Кроме того,

А 0Жр Я = ^(А 0йр Я) ф А 0йр Я/^(А 0йр Я) = Б ф А ® Я ^ Б ф Я,

где Б — делимая подгруппа. Согласно определению, Я — кольцо расщепления для группы А. □

Следствие 1. Если А — вполне редуцированная р-локальная группа без кручения конечного ранга, р-ранга 1, р-адическая матрица которой состоит из алгебраических чисел, то существует такое натуральное п, что кольцо Я = ®пА = ®п+1А является кольцом расщепления для группы А, а поле частных 0>(Я) кольца Я является полем расщепления для А.

Следствие 2. Если А — вполне редуцированная р-локальная неразложимая группа без кручения конечного ранга, р-адическая матрица которой состоит из алгебраических чисел и Ш = {61,..., 6п} — любой ее р-базис, то найдутся такие натуральные 51, 52,..., 5п, что кольцом расщепления Я группы А является композит колец р-ранга 1

Я1 = ®51 Н(61), Я2 = ®*2Н(62), ...,Яп = ®*пН(6п)

в поле р-адических чисел (Ц)р, а поле частных О(Я) является полем расщепления для группы А.

Определение 4. Кольца Я1, Я2,..., Яп из следствия 2, относящиеся к р-базису {61, 62,..., 6п} назовем частичными кольцами расщепления для группы А, а их композит Я назовем общим кольцом расщепления или просто кольцом расщепления для группы А.

Следствие 3. Если А — вполне редуцированная р-локальная неразложимая группа без кручения конечного ранга, р-адическая матрица которой состоит из алгебраических чисел и Ш = {61,...,6п} — любой ее р-базис, то поле расщепления К является композитом полей частных частичных колец расщепления Я1, Я2,..., Яп.

3. Квадратично-разложимые группы

Назовем р-локальную группу без кручения неразложимую в прямую сумму подгрупп квадратично-разложимой группой, если ее поле расщепления К является квадратичным расширением поля рациональных чисел О, то есть [К : О] = 2.

Теорема 1. Любая вполне редуцированная р-локальная группа без кручения А конечно ранга, конечного р-ранга п имеет кольцо расщепления Я в том и только в том случае, если ее можно вложить в качестве сервантной подгруппы в прямую сумму фЯп п копий аддитивной группы кольца Я.

Доказательство. Пусть Я-кольцо расщепления для А, тогда имеют место сервантный мономорфизм и изоморфизм в диаграмме:

А ^ А 0йр Я ^ Б ф Ят,

где Б — делимый Я-модуль, Ят — свободный Я-модуль. Покажем, что т = Гр(А) = п. Согласно [1], Гр(А 0^р Я) = гр(А)гр(Я), но гр(Я) = 1. Поэтому

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

п = Гр (А) = Гр (А 0йр Я) = Гр (Б ф Ят) =

= Гр (Б) + Гр(Ят) = Гр(Ят) = т ■ Гр (Я) = т.

Докажем обратное. Пусть А ^ Яп — сервантное вложение и п = Гр(А), Я — кольцо р-ранга 1. Согласно [3], Я 0^р Я = Я ф й, где й — делимая подгруппа. Тогда А 0^р Я ^ Яп 0 Я является вложением, но Яп 0 Я = Яп ф Б, где Б — делимая, следовательно, имеем вложение Я-модуля А 0^р Я ^ Яп фБ, где Б — делимый Я-модуль. Таким образом, А 0^р Я является Я-подмодулем Яп ф Б, а всякий Я-подмодуль Я-модуля Яп ф Б имеет тот же вид: Яй ф Б1. Поэтому А0жр Я = ЯйфБ1, но п = Гр(А) = Гр(А0Я) = гр(ЯйфБ1) = к. В итоге получаем, что А 0^р Я = Яп ф Б1, согласно определению Я — кольцо расщепления для А. □

Следствие 4. Если поле расщепления К вполне редуцированной неразложимой р-локальной группы А имеет степень к, а Гр(А) = п, то г(А) ^ кп.

Доказательство. Согласно теореме 1 имеем сервантное вложение А ^ Яп

и, следовательно, г (А) ^ кп. □

Следствие 5. Если г(А) > кп, где к = [К : О], п = гр(А), К — поле расщепления группы А, то А имеет нетривиальное делимое прямое слагаемое.

Пусть далее К — квадратичное расширение поля рациональных чисел и К С О>р. Абелевы р-локальные группы без кручения с полем расщепления К будем называть К-разложимыми группами. Если группа А является К-разложимой, то ее прямые слагаемые, сервантные подгруппы, гомоморфные образы без кручения, аддитивная группа ее кольца эндоморфизмов, группы двойственные (по Арнольду) и квазиизоморфные ей группы являются К-разложимыми группами.

Теорема 2. Если поле К является квадратичным расширением поля рациональных чисел О, то неразложимыми, К-разложимыми р-локальными группами без кручения являются группы Zp, О и Я = К П Zp и только они.

Доказательство. Каждая из указанных групп Zp, О, Я = К ПZ является неразложимой группой, так как Г^р) = г(О) = 1 и гр(Я) = 1. Заметим, что каждая из этих групп является и сильно неразложимой группой.

Пусть группа А является К-разложимой, поле К — квадратичное расширение поля О и А является неразложимой в прямую сумму собственных подгрупп. Если г(А) = 1, то имеем только две возможности: либо А — делимая группа и А = О, либо А — редуцирована и тогда А = Zp. Если г(А) > 1 и гр(А) = п, то согласно теореме 1, группа А имеет конечный ранг, так как вложима в Яп, где Я = К П Z и г(Я) = [К : О] = 2.

Если гр(А) = п = 1, то группа имеет максимальную линейно независимую систему элементов Ш = {а, 6} и р-адическую матрицу Ар = (а), где а = а ■ 6 и а € К П Zp = Я. Рассмотрим отображение ^: А ^ Я по правилу <^(6) = 1, ^(а) = а. Это отображение инъективно и р-адические матрицы групп А и Я в базисах {а, 6} и {1,а} одинаковы, следовательно, А = Я.

Рассмотрим случай, если гр(А) = п > 1 и покажем, что в этом случае группа А разложима в прямую сумму собственных подгрупп. Группа Я = К П Z имеет ранг 2 и пусть ее максимальная линейно независимая система элементов {1, а}. Тогда по теореме 1 любой элемент из Я является линейной комбинацией данных элементов с целыми коэффициентами и р-адическую матрицу Ар = (ау) группы А можно представить в виде

где ку и — целые числа.

Переходя к новой максимальной линейно независимой системе элементов а' = а* — ^2 ку 6*, получаем матрицу

которая приводится к ступенчатому виду с помощью элементарных преобразований над строками с целыми коэффициентами

С помощью элементарных преобразований над столбцами с целыми коэффициентами получим матрицу блочного вида:

что говорит о разложимости группы А в прямую сумму собственных подгрупп, одно из слагаемых которой имеет ранг 1 или 2. Полученное прямое разложение говорит о том, что всякая группа р-ранга > 1 будет обязательно разложимой. □

Следствие 6. Всякая р-локальная группа А без кручения конечного ранга п с квадратичным полем расщепления К изоморфна группе Zp ф Я5 ф О*, где г + 2^ + £ = п, причем г, 5, £ однозначно определены.

Следствие 7 (Теорема Бэра-Капланского для р-локальных групп без кручения конечного ранга с квадратичным полем расщепления). Пусть квадратичное расширение К поля рациональных чисел является полем расщепления р-локальных групп без кручения А и В конечного ранга. Тогда кольца эндоморфизмов групп А и В изоморфны в том и только в том случае, если сами группы А и В изоморфны.

Ар — (ку + зу а)

Ар (зуа)

ШХП)

V 0 5^2» ••• ^п/

(5иа 0 • • • 0^ 0

Аі

. Аі

0

Доказательство. Если группы изоморфны, то, очевидно, что их кольца эндоморфизмов также изоморфны. Пусть далее, кольца Е(А) и Е(В) изоморфны. Согласно следствию 6, группы А и В можно представить в виде А = Zpl ф Я51 ф О*1, В = Zp2 ф Я52 ф О*2. Покажем, что Г1 = г2, в1 = з2 и £1 = £2. Так как группы А и В конечного ранга, то аддитивные группы Е(А)+ и Е(В)+ конечного ранга. Заметим, что

Нош(О^, Zpi) = Нош(О* ,Я*) = Нош(Я*, Zpi) = 0

для г = 1, 2. Так как Е(А) = Е(В), то Е(А)+ = Е(В)+ и являются также К -разложимыми группами и,согласно следствию 6, неразложимыми слагаемыми будут группы Яр, О и Я. Согласно [18] число прямых слагаемых изоморфных Zp является инвариантом и, следовательно, у групп Е(А)+ = Е(В)+ одинаково. Подсчитывая их число, получим г2 = г|, откуда г1 = г2. Число прямых слагаемых изоморфных Я в Е(А)+ равно г1з1 + ^2, в группе Е(В)+ равно г2з2 + з2. Приравнивая, с учетом равенства г1 = г2, получаем г1(з1 — з2) = ^2 — Если з1 = з2, то числа слева и справа имеют разные знаки, что невозможно, следовательно, з1 = з2. Так как г(Е(А)+) = г(Е(В)+) и число прямых слагаемых изоморфных Zp и Я одинаково, то и число оставшихся прямых слагаемых изоморфных Q будет равным и, следовательно, £1 = £2. Откуда следует изоморфизм А = В. □

Следствие 8. Пусть р-локальные группы без кручения конечного ранга А и В имеют квадратичное поле расщепления. Тогда аддитивные группы колец эндоморфизмов групп А и В изоморфны в том и только в этом случае, если сами группы А и В изоморфны.

4. Заключение

В настоящей работе рассмотрен вопрос о выполнимости теоремы Бэра-Кап-ланского для нового класса абелевых групп без кручения конечного ранга, для р-локальных групп, у которых поле расщепления является квадратичым расширением поля рациональных чисел. Доказано, что в данном классе абелевых групп без кручения теорема Бэра-Капланского имеет место: группы изоморфны тогда и только тогда, когда изоморфны их кольца эндоморфизмов. Доказательство этого свойства основано на описании неразложимых групп этого класса, при этом использовались понятие поля, кольца, группы расщепления, а также внутренней и внешней р-адической характеристики элементов группы. В связи с этим, актуальным становится вопрос о рассмотрении более широкого класса смешанных р-локальных групп, у которых фактор-группа по периодической подгруппе имеет квадратичное поле расщепления.

СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ

1. Фукс Л. Бесконечные абелевы группы. Т.1 — М.: Мир, 1977, 335 с.

2. Фукс Л. Бесконечные абелевы группы. Т.2 — М.: Мир, 1977, 416 с.

3. Фомин А. А. Тензорное произведение абелевых групп без кручения // Сиб. мат. журн. 1975. Т. 16,№4. С. 869-878.

4. Фарукшин В. Х. Локальные абелевы группы без кручения // Фундам. и прикл. мат. 2012. Т. 17, вып. 8. С. 147-152.

5. Baer R. Automorphism rings of primary abelian operator groups // Ann. Math., 44 (1943), 192-227.

6. Kaplansky. I. Some results on abelian groups // Proc. Nat. Acad. Sci. USA, 38, 538-540 (1952).

7. MikhalevA. V. Isomorphisms and anti-isomorphisms of endomorphism rings of modules // Proc. Moscow-Tainan Algebra Workshop, Walter de Gruyter, Berlin, 1996, P. 65-116.

8. Себельдин А. М. Условия изоморфизма вполне разложимых абелевых групп без кручения с изоморфными кольцами эндоморфизмов // Мат. заметки. 1972. Т. 11, вып. 4. С. 402-408.

9. Blagoveshchenskaya E., Ivanov G., Schultz P. The Baer-Kaplansky theorem for almost completely decomposable groups // Contemp. Math. — 2001. — Vol. 273. — P. 85-93.

10. May W. The theorem of Baer and Kaplansky for mixed modules // Journal of Algebra. — 1995. — Vol. 77(1). —P. 255-263.

11. WolfsonK. Isomorphism of the endomorphism rings of torsion-free modules // Proc. Amer. Math. Soc., 13 (1962), P. 712-714.

12. Files S. T., WicklessW., The Baer-Kaplansky theorem for a class of mixed abelian groups // Rocky Mountain J. Math., 26, No.2, P. 593-613 (1996).

13. Wickless W. J. The Baer-Kaplansky theorem to direct sums of self-small mixed groups // Abelian groups and modules (Dublin, 1998), Birkauser, Basel, 101106 (1999).

14. LadyE. L. Splitting fields for torsion-free modules over discrete valuation rings,

I // Journal of Algebra. — 1977. — Vol. 49(1). — P. 261-275.

15. Lady E. L. Splitting fields for torsion-free modules over discrete valuation rings,

II // Journal of Algebra. — 1980. — Vol. 66. — P. 281-306.

16. Lady E. L. Splitting fields for torsion-free modules over discrete valuation rings,

III // Journal of Algebra. — 1980. — Vol. 66. — P. 307-320.

17. Вершина С. В. Группы расщепления неразложимых p-локальных групп без кручения. // Алгебра и логика: теория и приложения.: Материалы международной конференции, посвященной 80-летию В. П. Шункова. — Красноярск, 2013. С. 25-26.

18. Farukshin V. Kh. Local abelian torsion-free groups // Journal of Mathematical Sciences. — 2014. — Vol. 195(5). — P. 684-687.

Московский Педагогический Государственный Университет

Получено 17.02.2014

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