Characterizations of Warfield groups (Q1270982): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 10:44, 31 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Characterizations of Warfield groups |
scientific article |
Statements
Characterizations of Warfield groups (English)
0 references
29 November 1998
0 references
An abelian group is called simply presented if it can be defined in terms of generators and relations so that each relation involves at most two generators. Warfield groups are direct summands of simply presented groups. In the \(p\)-local case, where the groups are modules over \(\mathbb{Z}_p\), the localization of the ring of integers at the prime \(p\), Warfield groups are called Warfield modules. In a 1986 paper, Hill and Megibben introduced the definition of a knice submodule and used the Axiom 3 approach to describe Warfield modules. The author makes explicit some characterizations implied in the Hill-Megibben paper. Theorem 2.2. The following are equivalent for a \(\mathbb{Z}_p\)-module \(M\): (i) \(M\) has a composition series consisting of quasi-sequentially nice submodules; (ii) \(M\) has a composition series \(\{N_\alpha:\alpha<\lambda\}\) of nice submodules so that if \(N_{\alpha+1}/N_\alpha\) is infinite, then \(N_{\alpha+1}\oplus\langle x_\alpha\rangle\) is a valuated coproduct in \(M\) for some \(x_\alpha\) in \(M\); (iii) \(M\) has a composition series consisting of knice submodules satisfying the conditions in (ii); (iv) \(M\) has a composition series consisting of knice submodules. A nice submodule \(N\) of \(M\) is called quasi-sequentially nice provided that for each \(x\) in \(M\) there is a \(k<\omega\) such that the coset \(p^kx+N\) contains an element having the same height sequence as \(p^kx+N\). For the global case, the author introduces a global definition of quasi-sequentially nice subgroups to obtain the following characterization. Theorem 3.4. The following are equivalent for an abelian group \(G\): (i) \(G\) has a composition series consisting of quasi-sequentially nice subgroups; (ii) \(G\) has a composition series \(\{N_\alpha:\alpha<\lambda\}\) of nice subgroups so that if \(N_{\alpha+1}/N_\alpha\) is infinite, then \(N_{\alpha+1}\oplus\langle x_\alpha\rangle\) is a valuated coproduct in \(G\) for some \(x_\alpha\) in \(G\); (iii) \(G\) has a composition series of knice subgroups satisfying the conditions in (ii); (iv) \(G\) has a composition series consisting of knice subgroups. Finally, the author gives a new proof of a characterization of Warfield groups in terms of nice subgroups and valuated coproducts.
0 references
Warfield groups
0 references
direct summands
0 references
simply presented groups
0 references
Warfield modules
0 references
composition series
0 references
quasi-sequentially nice submodules
0 references
knice submodules
0 references
height sequences
0 references
valuated coproducts
0 references