Clifford Algebras as Graded Modules
by J. Sánchez
Now a little post about algebra. Recall that when we have a family of -modules , with commutative ring with unit, the direct sum,
is the -module with elements of the form , where and cofinitely. We also have , for , , and sometimes we write by , .
Now the definition of graded module. Take a commutative ring and a -module . We say that is a graded -module when there exists for each , a -submodule of such that,
The elements of are called homogeneous of degree , and we use the notation . Let’s take a look to some examples of this constructions.
Square matrices: Denote the set of matrices over wich is an -module. For each pair with , is the -submodule of consisting of matrices with all entries equal zero but maybe the entry (i,j). And we have,
And is a graded module
if for example we take for in some order and for the others .
Rings: Every commutative ring with unit is trivially seen as an -module graded
when we take if and .
Numerable submodules: At this point its clear that when a module is the direct sum of submodules indexed by a countable set, can be seen as a graded module.
The real plane: is a -module an any straight line thought the origin is a -submodule of the plane. If we take two different lines and then
where for every . In the picture,
the vectors in the line are homogeneous of degree 0 and in the line the vectors has degree . The origin is homogeneous of all degrees. And the vector like are not homogeneous.
Special matrices: In the real plane the unit circle can be identified with the set of matrices , of the form,
Where the parameter correspond to the angle counterclockwise from the axe. is an -module when we take and .
we can do exactly the same with the circles with radius with values in , use the notation .
Now, if we take the direct sum over , the elements of the -module,
could be represented graphically by a horizontal ray from the origin, wich has finite many points dispersed along the circles centered in the origin.
Question: As a -module, is isomorphic to?
Clifford algebras: With this example we going to explain the concept of Clifford algebra from, as close as I can, basic notions. But, be careful, this is just a sketch.
Take commutative ring and an -module. An application is a quadratic form over if for every , , and the application defined by is a bilinear form.
Let a commutative ring with unit. A set is called an algebra over (or -algebra) if is equipped with a structure of -module and a bilinear application .
In this case if is a graded -module of type (the decomposition of in direct sum of submodules of is indexed by ), we say that is a graded algebra of type if the algebra’s product satisfies for every pair of homogeneous elements x, y of , of degree and resp. the product is homogeneous of degree .
A bilateral ideal of the algebra over , , is a -submodule of such that and implies and . With we have an equivalence relation over defined by if only if .
By the bilateral property of as ideal, if and then . And this defines a bilinear application .
So, we can see the quotient -module as an -algebra, this algebra is called the quotient algebra of by the bilateral ideal .
The tensor algebra of an -module is the -module
where is the tensor product of by himself times, with , , , etc.
The adjective algebra of is because it is a graded -module of type and it has a binary product that make him a graded algebra of type . For the detail of this operations i refer the reader to the chapter III, page 55, of the book Algèbre by the imaginary mathematician Bourbaki, this reference is to the french version of the book, but there is an english version. I don’t give more details because it is the notion that I want to explain for understand this little example.
Now, the definition of Clifford algebra.
Let a quadratic form over the -module , recall . This define a bilinear ideal in , noted , wich elements has the form , with . Take the tensor algebra , and the bilinear ideal to form the quotient algebra of by . This quotient algebra is noted and is called the Clifford algebra of .
Finally the example: in the book Algebra of Bourbaki, chapter IX, page 136-137, french version, you can see this definition of Clifford algebra and the definition of two submodules of , noted and . This two submodules form over a graduation of type .
If you don’t have any Bourbaki’s books, maybe google can help you, if you give him the right words.
-  Alain Prouté, Introduction à la logique catégorique, Université Paris VII, CNRS, 2010,
-  H. Blaine Lawson, JR. and Marie-Louise Michelsohn, Spin Geometry, Princeton University Press, 1989.
-  Joseph J. Rotman, An introduction to the Theory of Groups, Springer, 1994.
-  N. Bourbaki, Algèbre, Chapitres I-III, Springer, 2007.
-  N. Bourbaki, Algèbre, Chapitre IX, Springer, 2007.
-  Saunders Mac Lane, Categories for the Working Mathematician, Springer, 1971.
* * *