Definition 0.1
Let us briefly define the notion of a Clifford algebra. Thus, let us consider first a pair
, where
denotes a real vector space
and
is a quadratic form on
. Then, the Clifford algebra associated to , is denoted here as
, is the algebra over
generated by , where for all
,
the relations:
are satisfied; in particular,
.
If
is an algebra and
is a linear map satisfying
then there exists a unique algebra homomorphism
such that
the diagram
commutes. (It is in this sense that
is considered to be `universal').
Contributors to this entry (in most recent order):