Torsion free cancellation over orders (Q1117007)

Let \(\Lambda\) be an order over a Dedekind ring R. One says that torsion free cancellation (TFC) holds for \(\Lambda\) if whenever \(X\oplus M\cong X\oplus N\) for \(\Lambda\)-lattices X, M, N, then \(M\cong N\). The author's aim is to develop criteria for TFC when R is the ring of integers in a global field K and \(K\Lambda\) is semisimple separable. These criteria are applied in several explicit cases. Two of these concern the cyclic groups of orders 8 and 9; this leads to the result that TFC holds for \({\mathbb{Z}}G\), G finite abelian, precisely when \(D({\mathbb{Z}}G)=0\) (where \(D(\Lambda)=\ker (C(\Lambda)\to C({\mathcal M}))\), C(\(\cdot)\) the projective class group and \({\mathcal M}^ a \)maximal order). For dihedral groups, we find that \({\mathbb{Z}}D_{2p}\) has TFC for any primme p, while TFC holds for \({\mathbb{Z}}D_{4p}\) if and only if \(D({\mathbb{Z}}D_{4p})=0\). Contrarywise, TFC fails for \({\mathbb{Z}}D_{2^ n}\) if \(n\geq 7\), although \(D({\mathbb{Z}}D_{2^ n})=0.\) The work is organized as follows. In the first section, TFC for \(\Lambda\) is discussed in terms of TFC for related orders. Locally free cancellation (LFC) holds for \(\Gamma\) if whenever \(X\oplus M\cong X\oplus N\) for locally free \(\Gamma\)-lattices, then \(M\cong N\). Then if LFC holds for all End(M), M any \(\Lambda\)-lattice, we have TFC for \(\Lambda\) if and only if \(D(End(M))=0\) always. In {\S}2 the extended Eichler condition is introduced: EEC holds for \(\Lambda\) if and only if \(K\Lambda \cong \oplus M_{n_ i}(D_ i)\) where each division algebra \(D_ i\) satisfies Eichler's condition. It is shown that if \(\Lambda\) satisfies EEC and \(D(End_ n(M))=0\) for all indecomposable \(\Lambda\)-lattices M, then \(\Lambda\) satisfies TFC. A corollary is an improved version of a result of \textit{R. Wiegand} [J. Algebra 88, 438-459 (1984; Zbl 0539.13006)]: if \(D(\Lambda)=0\) and every \(\Lambda\)-lattice is a direct sum of ideals, then TFC holds for \(\Lambda\). In {\S}3, it is shown that if \(\Lambda\) is a Bass order satisfying EEC and if \(D(\Lambda)=0\), then TFC holds for \(\Lambda\). Section 4 considers orders \(\Lambda\) which can be presented as a pull-back of orders \(\Lambda_ 1\), \(\Lambda_ 2\) over a common residue ring \({\bar \Lambda}\). Indecomposable \(\Lambda\)-lattices are constructed from indecomposable \(\Lambda_ i\)-lattices, using a variant of Milnor's patching theorem for projectives, and it is proved that TFC for \(\Lambda\) is given by TFC on \(\Lambda_ 1\) and \(\Lambda_ 2\), together with a surjectivity condition on \(Aut(M_ i)\) for \(\Lambda_ i\)-lattices \(M_ i\). These methods are applied in {\S}5 to the cyclic group of order 8. The last three sections are devoted to a discussion of TFC for \({\mathbb{Z}}D_ n\), \(D_ n\) a dihedral group, obtaining the results quoted earlier. The methods require a detailed analysis of the indecomposable lattices.