Group rings over Dedekind rings (Q1110579)

There are examples, due to \textit{J. Krempa} [Proc. Am. Math. Soc. 83, 459--460 (1981; Zbl 0471.16007) and Can. J. Math. 34, 8--16 (1982; Zbl 0424.16005)] of non-isomorphic rings \(A\) and \(B\) such that the infinite cyclic group rings \(A[X,X^{-1}]\) and \(B[X,X^{-1}]\) are isomorphic. Here it is shown that if \(A\) and \(B\) are commutative Dedekind domains with \(A[X,X^{-1}]\cong B[X,X^{-1}]\) then \(A\cong B\). The proof, which is by contraction, uses an embedding of \(B\) in \((A/P)[X,X^{-1}]\), where \(P\) is a maximal ideal of \(A\), and field extension techniques which then become applicable.