On Four-Dimensional Unital Division Algebras over Fields of Characteristic not 2
In [2], an exhaustive construction is achieved for the class of all 4-dimensional unital division algebras over finite fields of odd order, whose left nucleus is not minimal and whose automorphism group contains Klein's four-group. We generalize the approach of [2] towards all division algebras of the above specified type, but now admitting arbitrary fields k of characteristic not 2 as ground fields. For these division algebras we present an exhaustive construction that depends on a quadratic field extension of k and three parameters in k, and we derive an isomorphism criterion in terms of these parameters. As an application we classify, for o an ordered field in which every positive element is a square, all division o-algebras of the mentioned type, and in the finite field case we refine the Main Theorem of [2] to a classification even of the division algebras studied there. The category formed by the division k-algebras investigated here is a groupoid, whose structure we describe in a supplementary section in terms of a covering by group actions. In particular, we exhibit the automorphism groups for all division algebras in this groupoid.