Absolute ideals of almost completely decomposable abelian groups
Čebyševskij sbornik, Tome 16 (2015) no. 4, pp. 200-211

Voir la notice de l'article provenant de la source Math-Net.Ru

A ring is said to be a ring on an abelian group $G$, if its additive group coincides with the group $G$. A subgroup of the group $G$ is called the absolute ideal of $G$, if it is an ideal of every ring on the group $G$. If every ideal of a ring is an absolute ideal of its additive group, then the ring is called the $AI$-ring. If there exists at least one $AI$-ring on a group $G$, then the group $G$ is called the $RAI$-group. We consider rings on almost completely decomposable abealian groups (acd-groups) in the present paper. A torsion free abelian group is an acd-group, if it contains a completely decomposable subgroup of finite rank and of finite index. Every acd-group $G$ contains the regulator $A$, which is completely decomposable and fully invariant. The finite quotient group $G/A$ is called the regulator quotient of the group $G$, the order of the group $G/A$ is called the regulator index. If the regulator quotient of an acd-group is cyclic, then the group is called the crq-group. If the types of the direct rank-1 summands of the regulator $A$ are pairwise incomparable, then the groups $A$ and $G$ are called rigid. If all these types are idempotent, then the group $G$ is of the ring type. The main result of the present paper is that every rigid crq-group of the ring type is an $RAI$-group. Moreover, the principal absolute ideals are completely described for such groups. Let $G$ be a rigid crq-group of the ring type. A subgroup $A$ is the regulator of the group $G$, the quotient $G/A=\langle d+A\rangle$ is the regulator quotient and $n$ is the regulator index. A decomposition $A=\bigoplus\limits_{\tau\in T(G)}A_\tau$ of the regulator $A$ into a direct sum of rank-1groups $A_\tau$ determines the set $T(G)=T(A)$ of critical types of the groups $A$ and $G$. Then for every $\tau\in T(G)$, there exists an element $e_\tau\in A_\tau$ such that $ A=\bigoplus\limits_{\tau\in T(G)} R_\tau e_\tau $, where $ R_\tau\, (\tau\in T(G))$ is a subring of the field of rational numbers containing the unit. Moreover, the definition of natural near-isomorphism invariants $m_\tau \, (\tau\in$ $\in T(G))$ of the group $G$ naturally implies that every element $g\in G$ can be written in the divisible hull of the group $G$ in the following way $g=\!\!\!\sum\limits_{\tau\in T(G)}\cfrac{r_\tau}{m_\tau} e_\tau$, where $r_\tau$ are elements of the ring $R_\tau$ which are uniquely determined by a fixed decomposition of the regulator $A$. Every description of RAI-groups is based on a description of principal absolute ideals of the groups. The least absolute ideal $\langle g\rangle_{AI}$ containing an element $g$ is called the principal absolute ideal generating by $g$. The following theorem describes principal absolute ideals. Theorem 1. Let $G$ be a rigid crq-group of the ring type with a fixed decomposition of the regulator, $g=\sum\limits_{\tau\in T(G)}\cfrac{r_\tau}{m_\tau}e_\tau\in G$. Then $$ \langle g\rangle_{AI}=\langle g\rangle+\bigoplus\limits_{\tau\in T(G)}{r_\tau}A_\tau. $$ Note that the elements $r_\tau\, (\tau\in T(G))$ in the representation of the element $g~\in~G$ are determined uniquely up to an invertible factor of $R_\tau$. Therefore, the representation of the principal absolute ideal doesn't depend on the decomposition of the regulator. Theorem 2. Every rigid crq-group $G$ of the ring type is an $RAI$-group. In this case, for every integer $\alpha$ соprime to $n$ there exists an $AI$-ring $(G,\times)$ such that the equality $\overline{d}\times \overline{d}=\alpha \overline{d}$ takes place in the quotient ring $(G/A,\times)$, where $\overline{d}=d+A,G/A=\langle d\rangle$. Bibliography: 16 titles.
Keywords: the ring on an abelian group, almost completely decomposable group, absolute ideal, $RAI$-group.
@article{CHEB_2015_16_4_a10,
     author = {E. I. Kompantseva and A. A. Fomin},
     title = {Absolute ideals of almost completely decomposable abelian groups},
     journal = {\v{C}eby\v{s}evskij sbornik},
     pages = {200--211},
     publisher = {mathdoc},
     volume = {16},
     number = {4},
     year = {2015},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/CHEB_2015_16_4_a10/}
}
TY  - JOUR
AU  - E. I. Kompantseva
AU  - A. A. Fomin
TI  - Absolute ideals of almost completely decomposable abelian groups
JO  - Čebyševskij sbornik
PY  - 2015
SP  - 200
EP  - 211
VL  - 16
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CHEB_2015_16_4_a10/
LA  - ru
ID  - CHEB_2015_16_4_a10
ER  - 
%0 Journal Article
%A E. I. Kompantseva
%A A. A. Fomin
%T Absolute ideals of almost completely decomposable abelian groups
%J Čebyševskij sbornik
%D 2015
%P 200-211
%V 16
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CHEB_2015_16_4_a10/
%G ru
%F CHEB_2015_16_4_a10
E. I. Kompantseva; A. A. Fomin. Absolute ideals of almost completely decomposable abelian groups. Čebyševskij sbornik, Tome 16 (2015) no. 4, pp. 200-211. http://geodesic.mathdoc.fr/item/CHEB_2015_16_4_a10/