Witt group of Hermitian forms over a noncommutative discrete valuation ring (Q2570927)

Let \(R\) be a commutative discrete valuation ring and \(k\) the residue class field of \(R\). Then the Witt group \(WT(R)\) of regular symmetric bilinear forms on finitely generated torsion \(R\)-modules is isomorphic to the Witt group \(W(k)\) of the field \(k\) [\textit{W. Scharlau}, ``Quadratic and Hermitian forms'', Grundlehren Math. Wiss. 270 (1985; Zbl 0584.10010)]. The present author proves a similar result in the case when \(R\) is a noncommutative discrete valuation ring and bilinear forms are replaced by Hermitian forms. Reviewer's remarks: 1. The author offers a very short proof of the well known result that finitely generated torsion free modules over a PID are free. However, the proof works only in the case of discrete valuation rings. 2. In the proof of Theorem 3.6 the author uses weakly metabolic spaces instead of metabolic spaces in the definition of the Witt group of a commutative ring which is incorrect. The author invokes Lemma 1.2 from the paper [\textit{M. Knebusch, A. Rosenberg} and \textit{R. Ware}, Am. J. Math. 94, 119--155 (1972; Zbl 0248.13030)], where metabolic is proved to be equivalent with the existence of a self-orthogonal \textit{subspace}, and subspace means direct summand. The author, however, interprets subspace as a submodule.