Fully transitive homogeneously separable Abelian groups (Q1277544)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Fully transitive homogeneously separable Abelian groups |
scientific article |
Statements
Fully transitive homogeneously separable Abelian groups (English)
0 references
20 June 1999
0 references
A torsion-free abelian group \(G\) is homogeneously separable if there is a family \(C\) of homogeneous direct summands of \(G\) such that each finite set of elements of \(G\) is contained in a direct summand of \(G\) that is a finite direct sum of groups in \(C\). If so, \(C\) defines the homogeneous separability of \(G\). The author is interested in full transitivity. So-called \(\chi\)-groups, those groups \(G\) whose fully invariant subgroups are exactly the subgroups \(G[v]:=\{g\in G:\chi(g)\geq v\}\), are known to be fully transitive. The symbol \(\pi(G)\) denotes the set of all primes \(p\) for which \(G\) is not \(p\)-divisible. The author proves the following theorem and states three corollaries. Theorem. Let \(G\) be a homogeneously separable reduced group and \(C\) a family defining the homogeneous separability of \(G\). Let \(T\) be the set of types of the groups \(A\in C\). Then the following are equivalent. (i) \(G\) is fully transitive; (ii) if \(G_1\) is a direct summand of \(G\) that is a direct sum of \(t\)-homogeneous groups \(G_t\), \(G_1=\bigoplus_{t\in T_1} G_t\), then all groups \(G_t\) are fully transitive and \(\pi(G_{t_1})\cap\pi(G_{t_2})=\emptyset\) for \(t_1,t_2\in T_1\), \(t_1\neq t_2\); (iii) each group \(A\in C\) is fully transitive and \(\pi(A)\cap\pi(A')=\emptyset\) if \(A,A'\in C\) have different types; (iv) for each \(t\in T\), the sets \(G_t=\{g\in G:\text{type}(g)=t\}\cup\{0\}\) are \(t\)-homogeneous subgroups of \(G\) and \(G=\bigoplus_{\rho\in T} G_\rho\) is a decomposition of \(G\) into homogeneous components; each of the groups \(G_t\) is fully transitive and \(\pi(G_{t_1})\cap\pi(G_{t_2})=\emptyset\) for \(t_1,t_2\in T\), \(t_1\neq t_2\); (v) \(G\) is a \(\chi\)-group.
0 references
homogeneously separable groups
0 references
fully transitive groups
0 references
direct summands
0 references
direct sums
0 references
fully invariant subgroups
0 references
types
0 references