Quantum groups - either specialized at roots of unity or not - have been used many times, during the last decade, in the physics of integrable models and in conformal theories [29]. The wish of using such mathematical structures, both nice and new, in four-dimensional particle physics has triggered the imagination of many people in the last years.
When q is a root of unity, there are other interesting objects besides the quantized enveloping algebra itself : some of its finite dimensional subalgebras or some of its finite dimensional quotients may still carry a Hopf algebra structure.
We do not need to mention the importance of finite dimensional classical symmetries in Physics, but it is our belief that finite dimensional quantum symmetries will turn out to be also of prime importance in theories of fundamental interactions -in this respect, one can already mention the relations between quantum symmetries of graphs [27] and the classification of conformal field theories [14].
Such finite dimensional quantum groups are also interesting from the mathematical point of view because they provide examples of finite dimensional Hopf algebras which are neither commutative nor co-commutative : they are a kind of direct ``quantum'' generalization of discrete groups (or, better, generalizations of the corresponding group algebras). These objects are also interesting because of their --still not totally understood-- relations with the theory of modular representations of algebraic groups [20][21].
The fact that the semi-simple part of a finite dimensional quotient of the quantum algebra , when q is a primitive cubic root of unity, has a unitary group equal to suggests that this finite quantum group could have something to do with the Standard Model of particle physics. This remark was explicitly made in the framework of non-commutative geometry by Connes in [4] and more recently in [6]. We do not intend, in the present paper, to show how to analyze this finite quantum group along the lines of non-commutative geometry (for a very detailed account of the Standard Model ``à la Connes'', not involving quantum groups at all, we refer to the recent papers [25] or [6]).
In order to make use of a symmetry in physics, it is good to be already acquainted with it. It could be tempting to assume that the reader knows already everything about representation theory of non semi-simple algebras, Jacobson radical, quivers, Hopf algebras and other niceties belonging to the toolbox of the perfect algebraist but this would amount to assume that nobody can appreciate the beauty of a tetrahedron before being acquainted with the properties of the exceptional Lie group . Our point of view is that, since the properties of the algebra can be understood without using anything more sophisticated than basic multiplication or tensor products of matrices as well as elementary calculus involving anti-commuting numbers (Grassmann numbers), it is very useful to study them in this way, at least in a first approach.
We therefore want to present --in very simple terms-- the rather nice finite dimensional algebra of quantum symmetries mentioned before, without assuming from the reader any a priori knowledge on quantum groups, general associative algebras and the like. We shall therefore define explicitly this finite dimensional quantum group, as the algebra , where is the set of matrices over the complex numbers, and where is the Grassmann envelope of the associative graded algebra , i.e. the even part of its graded tensor product with a Grassmann algebra with two generators.
The motivation and underlying belief is, of course, that there should be some quantum symmetry, hitherto unnoticed, in the Standard Model, or, maybe, in a modification of it, symmetry that would, ultimately, cast some light on the puzzle of fermionic families and mass matrices.
The present paper is not only a pedagogical exercise: although several properties that we shall describe have been already discussed in the literature (see in particular [1],[30]), usually using a less elementary language, others do not seem to be published. Sections 2 to 5 are supposed to be elementary and self-contained; the last two sections contain a set of less elementary results and unrelated comments.
Finite dimensional quantum groups associated with quantum universal enveloping algebras can be defined for any type of Lie group, when the parameter q is a primitive root of unity. It is possible to give an explicit realization -- in terms of matrices with complex and grassmanian entries -- for the other finite quantum groups of SL(2) type when q is a root of the unity (see [10], [28]). Following hopes or claims that such algebras can provide interesting physical models, it seems that there is some need for a paper explaining the basic properties of the simplest non trival quantum group of this type, namely, when . This is the purpose of the present paper. Construction of a ``generalized'' gauge theory on , along the lines of non commutative geometry, is clearly possible but lies beyond the scope of this article.