Torsion modules over the ring of differential polynomials. (English) Zbl 0713.16015
Let K be a field with a derivation D and let K[y,D] denote the ring of differential polynomials in the indeterminate y with coefficients in K. The object of this paper is to study the torsion modules over the class of differential polynomial rings. It is known that if K is a universal field, then the torsion modules are all semisimple, injective, and there is exactly one isomorphism class of simple modules. In this paper it is shown that this situation is a rather uncommon one. For most examples of K the torsion indecomposable modules over K[y,D] have a very complicated structure. For example, it is shown that if K is any subfield of the field of meromorphic functions over the complex numbers containing the rationals, there exist torsion indecomposable injective, cyclic modules whose lattice of submodules is not linearly ordered. Generally speaking, it is shown that rings of differential polynomials over fields which have lots of solutions to specified systems of differential equations will have a simpler structure for their indecomposable torsion modules than those polynomial rings over fields which contain few solutions.
Reviewer: A.K.Boyle
MSC:
16S32 | Rings of differential operators (associative algebraic aspects) |
32C38 | Sheaves of differential operators and their modules, \(D\)-modules |
16D50 | Injective modules, self-injective associative rings |
16D60 | Simple and semisimple modules, primitive rings and ideals in associative algebras |
Keywords:
torsion modules; differential polynomial rings; universal field; simple modules; torsion indecomposable modules; field of meromorphic functions; torsion indecomposable injective, cyclic modules; lattice of submodules; rings of differential polynomials; differential equationsReferences:
[1] | Anderson F.W., Rings and categories of modules (1973) |
[2] | Boyle A.K., Trans. Amer. Math. Soc. 192 pp 115– (1974) |
[3] | DOI: 10.1090/S0002-9904-1970-12370-9 · Zbl 0213.04501 · doi:10.1090/S0002-9904-1970-12370-9 |
[4] | DOI: 10.1016/0021-8693(79)90210-2 · Zbl 0422.16002 · doi:10.1016/0021-8693(79)90210-2 |
[5] | DOI: 10.2307/2372550 · Zbl 0052.27301 · doi:10.2307/2372550 |
[6] | DOI: 10.1016/0021-8693(73)90026-4 · Zbl 0266.16031 · doi:10.1016/0021-8693(73)90026-4 |
[7] | DOI: 10.1016/0021-8693(72)90104-4 · Zbl 0239.16003 · doi:10.1016/0021-8693(72)90104-4 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.