No label defined (Q4025962)

[For the entire collection see Zbl 0745.00066.] The author begins by extending the torsion-free abelian group notions of type, inner type and outer type to torsion-free modules of finite rank over an arbitrary integral domain. These concepts are then used to develop a Warfield duality in this more general setting, as follows. Let \(R\) be an integral domain with quotient field \(F\) and let \(U\) be a nonzero \(R\)-submodule of \(F\). Call a torsion-free \(R\)-module \(A\) of finite rank \(U\)-locally free if \(\text{rank Hom}(A,U) = \text{rank }A\) and the pure subring of \(\text{End}(A)\) generated by 1 is isomorphic to \(\text{End}(U)\). Two conditions are imposed on \(U\)-locally free \(R\)- modules \(A\) to obtain a Warfield duality \(A\to A^* = \text{Hom}(A,U)\). Condition 1. Let \(V\) and \(U\) be \(R\)-submodules of \(F\) with \(V\) \(U\)- locally free. Then the exact sequence \(0 \to U \to F\to F/U \to 0\) induces an exact sequence \(0 \to \text{Hom}(V,U)\to \text{Hom}(V,F) \to t\text{Hom}(V,F/U) \to 0\), where \(tA\) is the torsion submodule of \(A\). Condition 2. Let \(V\) and \(U\) be \(R\)-submodules of \(F\) with \(V\) \(U\)- locally free. Then the natural map of \(V\) into \(V^{**}\) is an isomorphism. The main result is then, Theorem. Let \(R\) be a domain for which Conditions 1 and 2 hold and let \(U\) be a rank one module. Then for every \(U\)-locally free module \(A\), the natural map \(A\to A^{**}\) is an isomorphism. Standard arguments show that Dedekind domains satisfy Conditions 1 and 2. As an application of the theorem, the author obtains a ``Brauer inverse'' for irreducible groups. Recall that a torsion-free finite rank group \(G\) is irreducible if \(Q\otimes_ Z G\) is irreducible as a \(Q\otimes_ Z\text{End}(G)\) module. In this case, \(Q\otimes_ Z\text{End}(G)\) is a full matrix algebra over a division algebra \(D\). As a full subring of this matrix algebra, the ring \(\text{End}(G)\) has a field of definition \(L\) contained in the center of \(D\). It was shown by R. S. Pierce that \(\text{End}(G)\) is quasi-equal to a free module over the ring \(K = L\cap \text{End}(G)\). Moreover, \(K\) is quasi-equal to its integral closure \(K(G)\), a Dedekind domain that is an invariant of the quasi-equality class of \(G\). Up to quasi-equality, it can be assumed that \(K = K(G)\), so that the duality result may be applied to \(K\)-modules. Theorem. Let \(G\) be an irreducible group and let \(U\) be a rank one image of \(G\) as a module over \(K = K(G)\). Let \(G^* = \text{Hom}_ K(G,U)\) and let \(N\) be the intersection of the kernels of all \(K\)-homomorphisms from \(G\otimes_ KG^*\) into \(U\). Then \(G\otimes_ KG^*/N\) is quasi- isomorphic to \(C\otimes_ KU\), where \(C\) is a free \(K\)-module of rank equal to the \(K\)-rank of \(G\).