28.2 Real Cliford algebras
Concept links · terms present in this machine draft; source roles are unverified: Pauli matrices
We can define real Cliford algebras just as for the complex case, by taking only real linear combinations:
Definition (Real Cliford algebras)
The real Cliford algebra in variables is the algebra Clif(n, ) generated over the real numbers by satisfying the relations
For reasons that will be explained in the next chapter, it turns out that a more general definition is useful. We write the number of variables as for non-negative integers, and now vary not just but also , the so-called “signature”:
Definition (Real Cliford algebras, arbitrary signature)
The real Cliford algebra in variables is the algebra over the real numbers generated by satisfying the relations
where we choose when and the − sign when
In other words, as in the complex case diferent anticommute, but only the first r of them satisfy , with the other s of them satisfying
Working out some of the low dimensional examples, one finds:
• Clif(0, 1, ). This has generators 1 and , satisfying
Taking real linear combinations of these two generators, the algebra one gets is just the algebra of complex numbers, with playing the role of
. This has generators and a basis
with
This four dimensional algebra over the real numbers can be identified with the algebra of quaternions by taking
• Clif(1, 1, ). This is the algebra of real 2 by 2 matrices, with one possible identification as follows
Note that one can construct this using the for the complex case Clif(2, ) (see 28.1) as
since these are represented as real matrices.
. This is the algebra of complex 2 by 2 matrices, with one possible identification using Pauli matrices given by
It turns out that is always one or two copies of matrices of real, complex or quaternionic elements, of dimension a power of 2, but this requires a rather intricate algebraic argument that we will not enter into here. For the details of this and the resulting pattern of algebras one gets, see for instance [55]. One special case where the pattern is relatively simple is when one has . Then is even dimensional and one finds
来源与版本
正文:英文 · OCR 机器稿 · 待校对
核对状态:OCR 机器稿 · 待校对
原书 PDF · 印刷页 311、312、313、314、315、316、317
来源版本:2025-10-20
来源 PDF SHA-256:5a1941b2443b54d5db3d055f1e5ba390429b7a728475258017aaac87ee85a837
OCR 来源 SHA-256:7c7a138b7999339feb17bc7174b794610d16520ee6936af27559f103a4cd7573
OCR 产物 SHA-256:7c7a138b7999339feb17bc7174b794610d16520ee6936af27559f103a4cd7573