Maximal orders in nonassociative quaternion algebras (Q1184193)

[This article is reviewed together with the preceding one (see above).] Let \(K\) be a field and let \(E\) be a separable quadratic extension of \(K\), with \(K\)-conjugation \(x\mapsto\overline{x}\). A nonassociative quaternion algebra is an algebra of the form \(A=E\oplus EJ\) where \(Jx=\overline{x}J\) for \(x\in E\) and \(J^{2}=b\in E\setminus K\). (The algebra \(A\) is associative if \(b\in K\).) The nonassociative quaternion algebra \(A\) is split if \(E=K\times K\). When \(K\) is the fraction field of a Dedekind domain \(R\), an order in \(A\) is defined as in the associative case as an \(R\)-submodule of rank 4, containing \(1\) and closed under multiplication. Maximal orders are investigated by local-global methods in the split case in the first paper, and in the non-split case in the second paper. Although the methods are somewhat reminiscent of the classical associative case, the results are substantially different. In the split case, the author associates to every maximal order an invariant which is an ideal of \(R\) and shows that the isomorphism classes of maximal orders having the same invariant form a principal homogeneous space under the ray class group of the ideal. If moreover \(R\) is local, explicit representatives of all isomorphism classes of maximal orders are given. In the non-split case, the authors obtain a classification up to isomorphism of all maximal orders containing the integral closure \(S\) of \(R\) in \(E\). They also show that in most cases, all the maximal orders contain \(S\), but they give an example (with \(R=\mathbb{Z}\) and \(S=\mathbb{Z}[\sqrt{2}]\)) where some maximal order does not contain \(S\).