Abstract
For a commutative domain R with 1, an R-module B is called a Baer module if for all torsion K-modules T. The structure of Baer modules over arbitrary domains is investigated, and the problem is reduced to the case of countably generated Baer modules. This requires a general version of the singular compactness theorem. As an application we show that over hlocal Prüfer domains, Baer modules are necessarily projective. In addition, we establish an independence result for a weaker version of Baer modules.
| Original language | English |
|---|---|
| Pages (from-to) | 547-560 |
| Number of pages | 14 |
| Journal | Transactions of the American Mathematical Society |
| Volume | 322 |
| Issue number | 2 |
| DOIs | |
| State | Published - Dec 1990 |
Keywords
- Baer module
- Constructibility
- Continuous ascending chains
- Flat and projective modules
- Proper Forcing Axiom
- Prüfer domains
- Singular compactness