Homomorphisms and duality for torsion-free modules (Q2738741)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Homomorphisms and duality for torsion-free modules |
scientific article; zbMATH DE number 1639866
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Homomorphisms and duality for torsion-free modules |
scientific article; zbMATH DE number 1639866 |
Statements
10 April 2002
0 references
Warfield duality
0 references
Hom
0 references
torsion-free modules over integral domains
0 references
generalized Dedekind domains
0 references
Prüfer domains
0 references
finite rank torsion-free Abelian groups
0 references
tensor products
0 references
0.7443956
0 references
0.72579914
0 references
0.68012476
0 references
0.6787267
0 references
0.6783011
0 references
Homomorphisms and duality for torsion-free modules (English)
0 references
The title of this article is intentionally reminiscent of \textit{R. B. Warfield}, jun.'s 1968 paper ``Homomorphisms and duality for torsion-free Abelian groups'' [Math. Z. 107, 189-200 (1968; Zbl 0169.03602)]. In his ground breaking paper, Warfield used \(\Hom\) and tensor functors to determine when a group was isomorphic to certain \(\Hom\) and tensor groups, thus proving a type of representation theorem for finite rank torsion-free Abelian groups. The present article surveys newer techniques which better accommodate generalizations of Warfield's work to modules over integral domains. Olberding also attempts to fill in some of the gaps in the theory that still remain. The rationale for doing this is to reveal more about the structure of torsion-free modules over integral domains, and to explore interesting and canonical classes of integral domains in these settings. Examples include 2-generator rings, stable rings, generalized Dedekind domains, strongly discrete Prüfer domains, and almost maximal Prüfer domains.NEWLINENEWLINENEWLINEMore specifically, this article explores in what settings a torsion-free \(R\)-module \(G\) might be isomorphic to NEWLINE\[NEWLINE\Hom_R(\Hom_R(G,X),X),\qquad X\otimes_{R(X)}\Hom_{R(X)}(X,G),\quad\text{or}\quad\Hom_{R(X)}(X,X\otimes_{R(X)}G)NEWLINE\]NEWLINE where \(X\) is a rank one module, and when \(\bigwedge^kG\) is isomorphic to \(\Hom_R(\bigwedge^{n-k}G,\bigwedge^nG)\).NEWLINENEWLINEFor the entire collection see [Zbl 0960.00043].
0 references