Almost totally projective groups

From MaRDI portal





A collection \(\mathcal C\) of subgroups of an abelian group \(G\) is called a weak axiom 3 system for \(G\) if it contains zero subgroup, is closed under the unions of ascending chains and every countable subgroup of \(G\) is contained in a countable member of \(\mathcal C\). A \(p\)-group \(G\) is said to be an almost totally projective group if it has a weak axiom 3 system consisting of nice subgroups. An almost totally projective group \(H\) is separable in every \(p\)-group \(G\) containing \(H\) as an isotype subgroup (Prop. 1). The class of almost totally projective groups is closed under direct sums (Prop. 4). The next part is devoted to the (almost) d.s.c. groups, i.e. the (almost) totally projective groups of lengths not exceeding \(\omega_1\). An isotype subgroup \(H\) of a d.s.c. group \(G\) is almost d.s.c. if and only if it is separable in \(G\) (Th. 6). Balanced subgroups of d.s.c. groups are almost d.s.c. (Cor. 7). An almost totally projective group of cardinality at most \(\aleph_1\) is totally projective (Prop. 2). On the other hand, for any cardinal \(\kappa\geq\aleph_2\) there is a group of cardinality \(\kappa\) which is almost d.s.c. but is not a d.s.c. (Cor. 8). The results obtained are applied to the study of units of modular group algebras. If \(F\) is a perfect field of characteristic \(p\neq 0\) and \(G\) is an abelian \(p\)-group, then \(V(G)/G\), the group of normalized units of the group algebra \(FG\) modulo \(G\), is almost totally projective.











This page was built for publication: Almost totally projective groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4351238)