Факторно делимая абелева группа

Факторно делимая абелева группа (Шаблон:Lang-en) — абелева группа $A$, которая не содержит подгрупп вида ${\mathbb{Z}}_{p^{\mathrm{\infty }}}$, но содержит свободную подгруппу $F$ конечного ранга, такую что $A/F$ — делимая периодическая группа.

Всякий базис свободной группы $F$ называется базисом факторно делимой группы $A$.

Примеры

• Любая свободная абелева группа конечного ранга (то есть группа вида $\underset{m}{⨁}\mathbb{Z}$) и любая делимая абелева группа без кручения конечного ранга (то есть группа вида $\underset{m}{⨁}\mathbb{Q}$) являются факторно делимыми.
• Группа вида $\mathbb{Q}\oplus {\mathbb{Z}}_m$ является факторно делимой.
• Абелева группа без кручения $A$ ранга 1 является факторно делимой тогда и только тогда, когда $A$ имеет идемпотентный тип.

История

Впервые факторно делимые группы были введены Бомоном и ПирсомШаблон:Sfn в 1961 году в классе абелевых групп без кручения. В 1998 году Уиклесс и ФоминШаблон:Sfn обобщили это понятие на случай смешанных абелевых групп.

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

Факторно делимые группы ранга 1

Пусть $p$ — произвольное простое число. Число $m$ называется $p$-ковысотой элемента $a$ абелевой группы $A$, если $m$ — наименьшее целое неотрицательное число, такое что $p^{m}a$ делится в группе $A$ на любую натуральную степень числа $p$. Если такого числа $m$ не существует, то говорят, что элемент $a$ имеет бесконечную $p$-ковысоту.

Последовательность $p$-ковысот $(k_p)$ элемента $a\in A$, занумерованную простыми индексами, называется кохарактеристикой элемента $a$ и обозначается $cochar(a)$.

Пусть $A$ — факторно делимая группа ранга 1 и $a$ — некоторый ее базисный элемент, то есть $A/⟨a⟩$ — делимая периодическая группа. Тогда

• $cochar(a)⩽cochar(b)$ для любого элемента $b\in A$;
• $cochar(a)=cochar(b)$ для любого другого базисного элемента $b\in A$.

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

ТеоремаШаблон:Sfn: Две факторно делимые группы ранга 1 изоморфны тогда и только тогда, когда их кохарактеристики совпадают.

Литература

• Шаблон:Статья
• Шаблон:Статья
• Шаблон:Статья