Warfield groups are defined to be direct summands of simply presented abelian groups. By introducing a global definition of quasi-sequentially nice subgroups we prove some characterizations of Warfield groups involving these groups, knice subgroups, and valuated coproducts. Furthermore, we exhibit a
The Transitivity of Local Warfield Groups
โ Scribed by Paul Hill; William Ullery
- Publisher
- Elsevier Science
- Year
- 1998
- Tongue
- English
- Weight
- 234 KB
- Volume
- 208
- Category
- Article
- ISSN
- 0021-8693
No coin nor oath required. For personal study only.
โฆ Synopsis
For a fixed prime p, let G denote a module over the integers localized at p. ลฝ . Such a module is often referred to as a p-local abelian group. Following established precedent, we say that G is transitive provided that there exists an automorphism of G that maps a onto b whenever a and b are elements of G having the same height sequence. However, relatively few nontorsion G meet this criterion of transitivity. Indeed, as we show, there are four different classes of simply presented p-local groups of torsion-free rank 3 that are nontransitive. In this article, we introduce a weaker version of transitivity that allows all local ลฝ . Warfield groups s summands of simply presented p-local groups to qualify as being transitive. In this connection, we associate with each element of a local Warfield group G a new invariant, called a type vector, and we prove that there is an automorphism of G that maps a onto b if and only if a and b have the same height sequence and the same type vector. As an application of this result, we are able to determine exactly which local Warfield groups are transitive in the classical sense. Also, our results yield an alternate proof of a recent result of Files regarding the equivalence of transitivity and full transitivity for local Warfield groups. Finally, we give a complete survey of transitivity for local Warfield groups of torsion-free rank 3.
๐ SIMILAR VOLUMES
when A is a torsion-free abelian group of rank one. As a consequence he was able to show that a finite rank torsion-free group M satisfies M ( nat M\*\* if and only if M F A I and pM s M precisely when pA s A, where ลฝ . M\*sHom y, A . Using this Warfield obtained a characterization of Z ลฝ . w x the