It is shown that, over suitable valuation domains R with field of quotients Q, the cotorsion theory K generated by K = Q/R coincides with the cotorsion theory ∂ cogenerated by the Fuchs' divisible module ∂, provided that Gödel's Axiom of Constructibility V = L is assumed. On the other hand, assuming
On the Lattice of Cotorsion Theories
✍ Scribed by Rüdiger Göbel; Saharon Shelah; Simone L Wallutis
- Publisher
- Elsevier Science
- Year
- 2001
- Tongue
- English
- Weight
- 181 KB
- Volume
- 238
- Category
- Article
- ISSN
- 0021-8693
No coin nor oath required. For personal study only.
✦ Synopsis
We discuss the lattice of cotorsion theories for abelian groups. First we show that the sublattice of the well-studied rational cotorsion theories can be identified with the well-known lattice of types. Using a recently developed method for making Ext vanish, we also prove that any power set together with the ordinary set Ž . inclusion and thus any poset can be embedded into the lattice of all cotorsion theories.
📜 SIMILAR VOLUMES
It is shown that an n-dimensional unimodular lattice has minimal norm at most 2[nÂ24]+2, unless n=23 when the bound must be increased by 1. This result was previously known only for even unimodular lattices. Quebbemann had extended the bound for even unimodular lattices to strongly N-modular even la
Different notions of triangular sets are presented. The relationship between these notions are studied. The main result is that four different existing notions of good triangular sets are equivalent.
In this paper, we consider computing the difference between two Horn theories. This problem may arise, for example, if we take care of a theory change in a knowledge base. In general, the difference of Horn theories is not Horn. Therefore, we consider Horn approximations of the difference in terms o