Vahlen groups defined over commutative rings

From MaRDI portal



Abstract: Elements of a Vahlen group are 2imes2 matrices with entries in a Clifford algebra satisfying some conditions. Traditionally they have come in both ordinary and paravector type and have been defined (over Clifford algebras) over the real or complex numbers. We extend the definition of both types to be over a commutative ring with an arbitrary quadratic form. We show that they are indeed groups and identify in each case the group as the pin group, spin group, or another subgroup of the Clifford group. Under some mild conditions, for both types we show the equivalence of our definition with a suitably generalised version of the two standard definitions.


Let \(N\) be a free module over a commutative ring \(R\) and \(q\) be a (possibly degenerate) quadratic form over \(R\). The Clifford algebra \(\mathrm{Cl}(N,q)\) is defined as the quotient of the tensor algebra \(T(N)\) by the ideal \(I\) where \(I\;\)is generated by the relations \(n^{2}=q(n)\). The author defines the general Vahlen group \(\mathrm{GV}(N,q)\) as a specific group of \(2\times2\) matrices over \(\mathrm{Cl}(N,q)\) and derives basic properties of this group. This generalizes a definition of \textit{J. Elstrodt} et al. [Math. Z. 196, 369--390 (1987; Zbl 0611.20027)] of Vahlen groups over fields of odd characteristic. Definitions of the special Vahlen group \(\mathrm{SV}(N,q)\) and the corresponding paravector Vahlen groups \(\mathrm{GPV}(N,q)\) and \(\mathrm{SPV}(N,q)\) follow in a natural way.











This page was built for publication: Vahlen groups defined over commutative rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q343617)