Chebyshevskii Sbornik
 RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
 General information Latest issue Archive Search papers Search references RSS Latest issue Current issues Archive issues What is RSS

 Chebyshevskii Sb.: Year: Volume: Issue: Page: Find

 Chebyshevskii Sb., 2019, Volume 20, Issue 2, Pages 221–233 (Mi cheb765)

Quotient divisible groups and torsion-free groups corresponding to finite Abelian groups

E. I. Kompantsevaab, A. A. Fomina

a Moscow State Pedagogical University (Moscow)
b Financial University under the Government of the Russian Federation (Moscow)

Abstract: The category of sequences $\mathcal{S}$ has been introduced in [1, 2, 3]. Objects of the category $\mathcal{S}$ are finite sequences of the form $a_{1},\ldots,a_{n}$, where the elements $a_{1},\ldots,a_{n}$ belong to a finitely presented module over the ring of polyadic numbers $\widehat{{Z}}$. The ring of polyadic numbers $\widehat{{Z}}=\prod\limits_{p}{\widehat{Z}}_{p}$ is the product of the rings of $p$-adic integers over all prime numbers $p$. Morphisms of the category $\mathcal{S}$ from the object $a_{1},\ldots,a_{n}$ to an object $b_{1},\ldots,b_{k}$ are all possible pairs $(\varphi, T),$ where $\varphi: \langle a_{1},\ldots,a_{n}\rangle_{\widehat{{Z}}} \rightarrow \langle b_{1},\ldots,b_{k}\rangle_{\widehat{{Z}}}$ is a homomorphism of $\widehat{{Z}}$-modules, generated by given elements, and $T$ is a matrix of dimension $k\times n$ with integer entries such that the following matrix equality takes place
$$(\varphi a_{1},\ldots,\varphi a_{n})=(b_{1},\ldots,b_{k})T.$$

It is proved in [2] that the category $\mathcal{S}$ is equivalent to the category $\mathcal{D}$ of mixed quotient divisible abelian groups with marked bases. It is proved in [3] that the category $\mathcal{S}$ is dual to the category $\mathcal{F}$ of torsion-free finite-rank abelian groups with marked bases, a basis means here a maximal linearly independent set of elements. The composition of these equivalence and duality is the duality introduced in [1] and in [4], which can be considered as a version of the duality introduced in [5].
If an object of the category $\mathcal{S}$ consists of one element, then it corresponds to rank-1 groups of the categories $\mathcal{\mathcal{D}}$ and $\mathcal{F}$. This case is considered in [6] and we obtain the following. The duality $\mathcal{S}\leftrightarrow\mathcal{F}$ gives us the classical description by R. Baer [7] of rank-$1$ torsion-free groups. The equivalence $\mathcal{S}\leftrightarrow\mathcal{D}$ coincides with the description by O.I. Davydova [8] of rank-$1$ quotient divisible groups.
We consider another marginal case in the present paper. Every torsion abelian group can be considered as a module over the ring of polyadic numbers. Moreover, a torsion group is a finitely presented $\widehat{{Z}}$-module if and only if it is finite. Thus, for every set of generators $g_{1},\ldots,g_{n}$ of every finite abelian group $G$ the sequence $g_{1},\ldots,g_{n}$ is an object of the category $\mathcal{S}$. Such objects determine a complete subcategory of the category $\mathcal{S}$.
We show in the present paper that the object $g_{1},\ldots,g_{n}$ of the category $\mathcal{S}$ corresponds to an object of the category $\mathcal{D}$, which is of the form $G\oplus Q^{n}$ with the marked basis $g_{1}+e_{1},\ldots,g_{n}+e_{n}$, where $e_{1},\ldots,e_{n}$ is the standard basis of the vector space $Q^{n}$ over the field of rational numbers $Q$. The same object $g_{1},\ldots,g_{n}$ corresponds to an object of the category $\mathcal{F}$, which is a free group $A$, satisfying the conditions $Z^{n}\subset A\subset Q^{n}$ and $A/Z^{n}\cong G^{\ast}$, where $G^{\ast}=Hom(G,Q/Z)$ is the dual finite group.
We consider also the group homomorphisms corresponding to morphisms of the category $\mathcal{S}$.

Keywords: abelian groups, modules, dual categories.

DOI: https://doi.org/10.22405/2226-8383-2018-20-2-221-233

Full text: PDF file (661 kB)
References: PDF file   HTML file

UDC: 517
Accepted:12.07.2019

Citation: E. I. Kompantseva, A. A. Fomin, “Quotient divisible groups and torsion-free groups corresponding to finite Abelian groups”, Chebyshevskii Sb., 20:2 (2019), 221–233

Citation in format AMSBIB
\Bibitem{KomFom19} \by E.~I.~Kompantseva, A.~A.~Fomin \paper Quotient divisible groups and torsion-free groups corresponding to finite Abelian groups \jour Chebyshevskii Sb. \yr 2019 \vol 20 \issue 2 \pages 221--233 \mathnet{http://mi.mathnet.ru/cheb765} \crossref{https://doi.org/10.22405/2226-8383-2018-20-2-221-233}