Equivalence of Deviau's, Hestenes', and Parra's Formulations of Dirac Theory

Daviau showed the equivalence of matrix Dirac theory, formulated within a spinor bundle , to a Clifford algebraic formulation within space Clifford algebra Pauli algebra (matrices) biquaternions. We will show, that Daviau's map : is an isomorphism. It is shown that Hestenes' and Parra's formulations are equivalent to Daviau's Clifford algebra formulation, which uses outer automorphisms. The connection between different formulations is quite remarkable, since it connects the left and right action on the Pauli algebra itself viewed as a bi-module with the left (resp. right) action of the enveloping algebra . The isomorphism established in this article and given by Daviau's map does clearly show that right and left actions are of similar type. This should be compared with attempts of Hestenes, Daviau, and others to interprete the right action as the iso-spin freedom.