Dualities for locally completely decomposable Abelian groups
All groups here are torsion-free Abelian of finite rank. The literature contains a number of examples of pairs of theorems that clearly have a dual character but were proved independently by ``dualizing proofs. The examples given in the paper are the following. Theorem 5.1A. Every pure subgroup of a completely decomposable group \(G\) containing no copy of \(\mathbb{Q}\) is again completely decomposable if and only if the typeset of \(G\) is a tree. -- Theorem 5.1B. Every torsion-free epimorphic image of a completely decomposable group \(G\) having no epimorphic image isomorphic with \(\mathbb{Q}\) is again completely decomposable if and only if the typeset of \(G\) is a co-tree. Theorem 5.2A. Let \(G\) be a finite essential extension of a completely decomposable group \(A\). Then \(|G/A|\) is minimal among indices of completely decomposable subgroups if and only if the induced map \(A(\tau)/A^\#(\tau)\to G(\tau)/G^\#(\tau)\) is an isomorphism for each type \(\tau\). -- Theorem 5.2B. Let \(G\) be a subgroup of finite index in a completely decomposable group \(A\). Then \(|A/G|\) is minimal among indices of completely decomposable overgroups of \(G\) if and only if the induced map \(G^\#[\tau]/G[\tau]\to A^\#[\tau]/A[\tau]\) is an isomorphism for each type \(\tau\). Theorem 5.3A. Let \(0\to H\to G\to K\to 0\) be a \({\mathcal K}(n)\)-sequence. If there are fewer than \(n+3\choose 2\) isomorphism classes of rank-1 summands of \(G\), then \(H\) is completely decomposable. -- Theorem 5.3B. Let \(0\to H\to G\to K\to 0\) be a co-\({\mathcal K}(n)\)-sequence. If there are fewer than \(n+3\choose 2\) isomorphism classes of rank-1 summands of \(G\), then \(K\) is completely decomposable. By combining a generalization of Warfield duality (that is too restrictive) with Butler duality (that is too general) the authors establish, with considerable technical effort and expertise, a duality that enables them to derive the above dual results from one another. The many definitions, concepts, and lemmas are too complicated to be given here.
- A Class of Pure Subgroups of Completely Decomposable Abelian Groups
- A Class of Torsion-Free Abelian Groups of Finite Rank
- Almost Completely Decomposable Torsion Free Abelian Groups
- Balanced Butler groups
- Butler groups, valuated vector spaces, and duality
- Completely decomposable abelian groups any pure subgroup of which is completely decomposable
- Dualities for torsion-free abelian groups of finite rank
- Duality and invariants for Butler groups
- Finite rank torsion free Abelian groups and rings
- Homomorphic images of completely decomposable finite rank torsion-free groups
- Homomorphisms and duality for torsion-free groups
- scientific article; zbMATH DE number 3826103 (Why is no real title available?)
- scientific article; zbMATH DE number 3904721 (Why is no real title available?)
- scientific article; zbMATH DE number 124340 (Why is no real title available?)
- scientific article; zbMATH DE number 178966 (Why is no real title available?)
- scientific article; zbMATH DE number 4120413 (Why is no real title available?)
- scientific article; zbMATH DE number 849291 (Why is no real title available?)
- scientific article; zbMATH DE number 849300 (Why is no real title available?)
- scientific article; zbMATH DE number 849303 (Why is no real title available?)
- Nearly isomorphic torsion free abelian groups
- Note on extensions of Abelian groups by primary groups
- Torsion-free duality is Warfield
- Torsion-Free Modules and Diagrams of Vector Spaces
This page was built for publication: Dualities for locally completely decomposable Abelian groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1357804)
