Open Access
This article is

- freely available
- re-usable

*Axioms*
**2012**,
*1*(1),
74-98;
https://doi.org/10.3390/axioms1010074

Communication

Gradings, Braidings, Representations, Paraparticles: Some Open Problems

School of Mathematics, Aristotle University of Thessaloniki (AUTH), Thessaloniki 54124, Greece

Received: 9 April 2012; in revised form: 4 June 2012 / Accepted: 4 June 2012 / Published: 15 June 2012

## Abstract

**:**

A research proposal on the algebraic structure, the representations and the possible applications of paraparticle algebras is structured in three modules: The first part stems from an attempt to classify the inequivalent gradings and braided group structures present in the various parastatistical algebraic models. The second part of the proposal aims at refining and utilizing a previously published methodology for the study of the Fock-like representations of the parabosonic algebra, in such a way that it can also be directly applied to the other parastatistics algebras. Finally, in the third part, a couple of Hamiltonians is proposed, suitable for modeling the radiation matter interaction via a parastatistical algebraic model.

Keywords:

paraparticles; relative paraparticle sets; universal enveloping algebras; Lie (super)algebras; ϑ-colored G-graded Lie algebras; braided groups; graded Hopf algebras; braided (graded) modules; braided (graded) tensor products; braided and symmetric monoidal categories; quasitriangularity; R-matrix; bicharacter; color function; commutation factorClassification: MSC2010:

16W50; 17B75; 17B70; 17B35; 17B62; 16T05; 16T20; 18D10; 19D23; 20G42; 81S05; 81V80; 17B60; 17B81PACS2010:

02.10.Hh; 03.65.Fd; 02.20.Uw; 42.50.-p## 1. Introduction

The “free” Paraparticle algebras were introduced in the 1950s by Green [1] and Volkov [2,3] as an alternative—to the Canonical Commutation Relations (CCR) and the Canonical Anti-commutation Relations (CAR)—starting point for the free field quantization, but it was soon realized that these algebras also constitute a possible answer to the “Wigner Quantization scheme” [4]. In the decades that followed, numerous papers have appeared dealing with various aspects of their mathematical and physical implications. Nevertheless, few of them could be characterized as genuine advances:

The first important result for these algebras was the classification of their Fock-like representations: In [5] Greenberg and Messiah determined conditions which uniquely specify a class of representations of the “free” parabosonic P

_{B}and the “free” parafermionic P_{F}algebras. We are going to call these representations Fock-like due to the fact that they are constructed as generalizations of the usual symmetric Fock spaces of the Canonical Commutation relations (CCR) and the antisymmetric Fock spaces of the Canonical Anticommutation Relations (CAR), leading to generalized versions of the Bose-Einstein and the Fermi-Dirac statistics. In [5] it is shown that the parafermionic Fock-like spaces lead us to a direct generalization of the Pauli exclusion principle. The authors further prove that these representations are parametrized by a positive integer $p$ or, equivalently, that they are classified by the positive integers. However they did not construct analytical expressions for the action of the generators on the specified spaces, due to the intractable computational difficulties inserted by the complexity of the (trilinear) relations satisfied by the generators of the algebra. Apart from some special cases (i.e., single degree of freedom algebras or order of the representations $p=1$) the problem of constructing explicitly the determined representations remained unsolved for more than 50 years. In the same paper [5], the authors introduced a couple of interacting paraparticle algebras mixing parabosonic and parafermionic degrees of freedom: the Relative Parabose Set P_{BF}, the Relative Parafermi Set P_{FB}and the straight Commutation and Anticommutation relations, abbreviated SCR and SAR respectively.The problems of the explicit construction of the Fock-like representations of the above algebras, in the general case of the infinite degrees of freedom, remained unsolved until recently, due mainly to the serious computational difficulties introduced by the number and the nature of the trilinear relations between the generators of these algebras. The solution to these problems was finally given in a series of papers [6,7,8]: The authors proceeded—utilizing a series of techniques—to the explicit construction, for an arbitrary value of the positive integer $p$ of the above mentioned Fock-like representations for the P

_{B}anf the P_{F}algebras. Employing techniques of induced representations, combined with the well known Lie super-algebraic structure of P_{B}[9] and Lie algebraic structure of P_{F}[10,11], together with elements from the representation theory of the (complex) Lie superalgebra $osp(1/2n)$ and the (complex) Lie algebra $so(2n+1)$, they proceed to construct Gelfand-Zetlin bases and calculate the corresponding matrix elements. However, the general cases of P_{BF}, P_{FB}, S_{BF}and S_{FB}algebras remain still open (even in the case of the finite degrees of freedom).Other interesting and important advances in the study of the algebraic properties of the various Paraparticle algebras have been the studies of the various $(G,\vartheta )$-Lie structures present: The Lie algebraic structure of the Parafermionic algebra P

_{F}had already been known since the time of [10,11]. In the 1980s, the pioneering works of Palev [9] established Lie superalgebraic structures for the Parabosonic algebra P_{B}and the Relative Parafermi Set P_{FB}algebra [12,13] as well. The picture expands even more with recent results on the $({Z}_{2}\times {Z}_{2})$-graded $\vartheta $-colored Lie structure of the Relative Parabose Set P_{BF}algebra [14,15].#### 1.1. Structure of the Paper

The aim of the present paper is to introduce a research proposal, revolving around the above mentioned topics, trying to describe and extend already open problems, generalize previously obtained results and develop new methodological approaches where this might appear feasible. The project is structured in three modules corresponding to: (a) the study and, if possible, the classification of the graded and braided algebraic structures present in the algebras of parastatistics; (b) the study and the attempt to establish explicit construction of representations for these algebras; and finally (c) a proposal for a Hamiltonian written in terms of paraparticle algebra generators, and targeting the description of the radiation–matter interaction.

In Section 2, we start the elucidation by introducing the paraparticle algebras (and their notation), which are going to constitute the central object of study, in terms of generators and relations: The “free” Parabosonic algebra P

_{B}, the “free” Parafermionic algebra P_{F}, the Relative Parabose Set algebra P_{BF}and the Relative Parafermi Set algebra P_{FB}, the straight Commutation Relations SCR and the straight anticommutation relations SAR. For the sake of completeness, we also review some more or less well known particle algebras of mathematical physics which are directly related to the proposed methods: the Canonical Commutation Relations (CCR), the Canonical Anticommutation Relations (CAR), the symmetric Clifford-Weyl algebra W_{s}, and the antisymmetric Clifford-Weyl algebra W_{as}.In Section 3, previously obtained results on the $\vartheta $-color, $G$-graded Lie algebraic structures of various paraparticle algebras are reviewed and an attempt is made to generalize or extend these results. After a conceptual introduction to the modern algebraic treatment of the notions of grading, and color functions, we focus the discussion on the classification of the actions of group algebras on the paraparticle algebras and the classification of the non-trivial quasitriangular structures of these group algebras rather than on the Lie structures of the paraparticle algebras themselves.

In Section 4, a connection is made with previous results by the author, and a “braided” methodology is outlined for the study and the construction of the representations of the paraparticle algebras. The novel thing in the present approach is the exploitation of the gradings and the braidings of the various particle (CCR and CAR) and paraparticle algebras and their interplay, rather than the use of Lie algebraic techniques followed by other authors [6,7,8]. We also focus on the description of unsolved mathematical problems, whose solution is a necessary step in order for the method to be finalized in a form applicable to all the paraparticle algebras discussed.

In Section 5, a couple of Hamiltonians is proposed and their suitability for the description of the interaction between a monochromatic parabosonic field and a multiple energy-level system is discussed. Mixed Paraparticle algebras are used as spectrum generating algebras and the idea is based on recent results obtained by the author and other authors, relative to the construction of a class of irreducible representations for a mixed paraparticle algebra combining a single parabosonic and a single parafermionic degree of freedom. The reader with the necessary background in physics literature related to the description of the radiation-matter interaction, will easily recognize that we are actually discussing an attempt to develop a paraparticle multiple-level generalization of the Jaynes-Cummings model [16], which has been a celebrated model of Quantum Optics.

In what follows, all vector spaces, algebras and tensor products will be considered over the field of complex numbers $\u2102$, the prefix “super” will amount to ${Z}_{2}$-graded, $G$ will always stand for a finite, Abelian group, unless stated otherwise, and finally, following traditional conventions of physics literature $[x,y]=xy-yx$ will stand for the commutator and $\{x,y\}=xy+yx$ for the anticommutator. Moreover, the term module will be used as identical to representation and whenever formulas from physics enter the text, we use the traditional convention $\hslash =m=\omega =1$.

## 2. The Algebras, in Terms of Generators and Relations

In the following table, the various particle and paraparticle algebras used and studied in this paper are presented in generators and relations. In what follows: i, j, k, l, m = 1, 2,… and $\xi ,\eta ,\epsilon =\pm $.

The CCR algebra consists of the familiar Canonical Commutation Relations of elementary Quantum mechanics and is widely known under the names of boson algebra or Weyl algebra. Similarly, CAR stands for the Canonical Anticommutation Relations or fermion algebra. The study of the properties and the representations of these algebras constitute some of the oldest problems of Mathematical Physics and their origins are dated since the early days of Quantum theory.

The algebra W

_{s}corresponds to a “symmetric” or commuting mixture of bosonic and fermionic degrees of freedom. It has been used in [17] for the description of a supersymmetric chain of uncoupled oscillators and it corresponds to the most common choice for combining bosonic and fermionic degrees of freedom. One can find a host of applications, in either problems of physics or mathematics. For instance: in [18,19,20] we have constructions of coherent states in models described by this algebra; in [16,21] it is applied in the Jaynes-Cummings model; and in [22] in a variant of this model. In [23,24,25,26,27,28,29,30] this algebra is used for studying problems of the representation theory of Lie algebras, Lie superalgebras and their deformations. Some authors [23,31] use the terminology symmetric Clifford-Weyl algebra or Weyl superalgebra. The algebra W_{as}corresponds to an “antisymmetric” or anticommuting mixture of bosons and fermions. Applications—mainly in mathematical problems—can be found in [28,31,32]. Some authors [23,31] refer to this algebra as the antisymmetric Clifford-Weyl algebra.The Relative Parabose Set P

_{BF}, the Relative Parafermi Set P_{FB}, the Straight Commutation relations S_{BF}and the Straight Anticommutation relations S_{FB}have all been introduced in [5] and constitute different choices of mixing algebraically interacting parabosonic and parafermionic degrees of freedom. Mathematical properties of some of these algebras such as their $G$-graded, $\vartheta $-colored Lie structures and, more generally, their braided group structures have been studied in [12,13] for P_{FB}and in [14,15,33,34,35] for P_{BF}. However, the representation theory of these mixed paraparticle algebras remains an almost unexplored subject. To the best of the author’s knowledge, the only works in the bibliography dealing with explicit construction of representations for such algebras has to do with the representations of P_{BF}^{(1,1)}i.e., of the Relative Parabose Set algebra combining a single parabosonic and a single parafermionic degree of freedom [36,37,38].Finally, before closing this paragraph and for the sake of completeness, we feel it is worth citing various works appearing in the literature and dealing with algebras which mix particle and paraparticle degrees of freedom (i.e., mixing commutation–anticommutation relations from the above table): One can see for example [39,40,41,42,43,44] where mainly supersymmetric properties and coherent states are studied for such algebras.

## 3. Braided Group, Ordinary Hopf and $(G,\vartheta )$-Lie Structures for the Mixed Paraparticle Algebras: An Attempt at Classification

#### 3.1. Historical and Conceptual Introduction—Literature Review

The notion of $G$-graded Hopf algebra, is not new, either in physics or in mathematics. The idea already appears in some of the early works on Hopf algebras, such as for example in the work of Milnor and Moore [45] where we actually have $\mathbb{Z}$-graded Hopf algebras (see also [46]). It is noteworthy, that such examples initially misled mathematicians to the incorporation of the notion of grading in the definition of the Hopf algebra itself, until about the mid 1960s when P. Cartier and J. Dieudonné removed such restrictions and stated the definition of Hopf algebra in almost its present day form.

Before continuing, we feel it is worth quoting the following proposition which summarizes different conceptual understandings of the notion of the grading of a (complex) algebra $A$ by a finite, Abelian group G (for more details on the following proposition and on the terminology and the notions used in the rest of this section, the interested reader may look at [47,48,49,50,51,52,53] and also at Sections 3.3, 3.4, 4.2 of [54]).

**Proposition 3.1:**The following statements are equivalent to each other:

**1.**- $A$ is a $G$-graded algebra (the term superalgebra appears often in physics literature when $G={Z}_{2}$) in the sense that $A={\oplus}_{g\in G}{A}_{g}$ and ${A}_{g}{A}_{h}\subseteq {A}_{gh}$ for any $g,h\in G$.
**2.**- $A$ is a (left) $\u2102G$-module algebra.
**3.**- $A$ is a (right) $\u2102G$-comodule algebra.
**4.**- $A$ is an algebra in the Category ${}_{\u2102G}\mathfrak{M}$ of representations (modules) of the group Hopf algebra $\u2102G$.
**5.**- $A$ is an algebra in the Category ${\mathfrak{M}}^{\u2102G}$ of corepresentations (comodules) of the group Hopf algebra $\u2102G$.

We recall here that $A$ being a $\u2102G$-module algebra is equivalent to saying that $A$ apart from being an algebra is also a $\u2102G$-module while the structure maps of the algebra (i.e., the multiplication and the unity map which embeds the field into the center of the algebra) are $\u2102G$-module morphisms (or equivalently homogeneous linear maps whose degree is the neutral element of the group $G$). In the general case of an arbitrary group $G$ the comodule picture would describe the situation more conveniently, however in the above we explicitly use the Hopf algebra isomorphism $\u2102G\cong $($\u2102G$)

^{*}between $\u2102G$ and its dual Hopf algebra ($\u2102G$)^{*}(where ($\u2102G$)^{*}$=Hom$$(\u2102G,\u2102)\cong Map(G,\u2102)={\u2102}^{G}$ as complex vector spaces and with ${\u2102}^{G}$ we denote the complex vector space of the set-theoretic maps from the finite abelian group $G$ to $\u2102$). The essence of the description provided by Proposition 3.1 is that the $G$-grading on the algebra $A$ can be equivalently described as a specific (co)action of the group $G$ (and thus of the group Hopf algebra $\u2102G$) on $A$ i.e., a (co)action which “preserves” the algebra structure of $A$. Such ideas, which provide an equivalent description of the grading of an algebra $A$ by a group $G$ as a suitable (co)action of the group Hopf algebra $\u2102G$ on $A$, are actually not new and already appear in works such as [55,56].What is actually new in the sense that it has been developed since the 1990s and thereafter, is on the one hand the “dualization” of Proposition 3.1 which provides us with the definition of the notion of a “graded coalgebra” and, on the other hand, the role of the notion of the quasitriangularity of the group Hopf algebra $\u2102G$, in constructing “graded” generalizations of the notion of Hopf algebra itself.

We first collect in the following proposition various alternative readings of the notion of a graded coalgebra:

**Proposition 3.2:**The following statements are equivalent to each other:

**1.**- $C$ is a $G$-graded coalgebra (the term supercoalgebra seems also appropriate when $G={Z}_{2}$) in the sense that $\mathsf{\Delta}({C}_{\kappa})\subseteq {\oplus}_{g\in G}{C}_{g}\otimes {C}_{{g}^{-1}\kappa}\equiv {\oplus}_{gh=\kappa}{C}_{g}\otimes {C}_{h}$ for any $g,h,\kappa \in G$ and $\epsilon ({C}_{\kappa})=\left\{0\right\}$ for all $\kappa \ne 1\in G$. ($\mathsf{\Delta}:C\to C\otimes C$ and $\epsilon :C\to \u2102$ are assumed to be the comultiplication and the counity respectively).
**2.**- $C$ is a (left) $\u2102G$-module coalgebra.
**3.**- $C$ is a (right) $\u2102G$-comodule coalgebra.
**4.**- $C$ is a coalgebra in the Category ${}_{\u2102G}\mathfrak{M}$ of representations (modules) of the group Hopf algebra $\u2102G$.
**5.**- $C$ is a coalgebra in the Category ${\mathfrak{M}}^{\u2102G}$ of corepresentations (comodules) of the group Hopf algebra $\u2102G$.

Notice that, in the above proposition, $G$ is considered to be finite and abelian. (See also the proof of the above proposition in the Appendix, for some clarifying comments on the role of these restrictions).

For bibliographic reasons, we should mention at this point, that the notion of a graded coalgebra first appears in the literature in the articles [45,46] and the books [52,53]. However, these references consider the special case for which the grading group is $G=\mathbb{Z}$ and the components of negative degree are zero. To the best of the author’s knowledge, the introduction of the notion of graded coalgebra in its full generality, i.e., for an arbitrary grading group $G$, first appears in [57] (where strongly graded coalgebras are also introduced) and is consequently studied in [58,59,60].

Let us now proceed in briefly describing the way in which the notion of quasitriangularity, its connection with previously known ideas from group theory (e.g., the notion of bicharacter), from Category theory (i.e., the notion of braiding) and its role in the formation of representations and tensor products of graded objects, leads us to direct generalizations of the notion of Hopf algebras and to a novel understanding of the notion of graded Hopf algebras. For what follows, the interested reader on the terminology and the notions of bicharacters, color functions, commutation factors should consult [47,48] and [61,62,63,64,65,66,67].

The Universal Enveloping algebras (UEA) of Lie superalgebras (LS) are widely used in physics and they are examples of ${\mathbb{Z}}_{2}$-graded Hopf algebras or super-Hopf algebras. These structures strongly resemble Hopf algebras but they are not Hopf algebras themselves, at least not in the ordinary sense. The picture expands even more, if we consider further generalizations of Lie algebras: these are the $\vartheta $-colored $G$-graded Lie algebras or $(G,\vartheta )$-Lie algebras, whose UEAs are $G$-graded Hopf algebras or to be more rigorous $(G,\vartheta )$

**-**Hopf algebras or $G$**-**graded, $\vartheta $**-**braided Hopf algebras (see the relative discussion in [35,47]). In this last case, $\vartheta :G\times G\to {\u2102}^{*}$ stands for a skew-symmetric bicharacter [47] on $G$ (or: commutation factor [61,62,63] or color function [65,66]), which has been shown [47,64] to be equivalent to a triangular universal $R$ -matrix on the group Hopf algebra $\u2102G$. This finally entails [47,48,49,64] a symmetric braiding in the Monoidal Category ${}_{\u2102G}\mathfrak{M}$ of the modules over the group Hopf algebra $\u2102G$.In fact, in [47,64] a simple bijection is described, from the set of bicharacters of a finite abelian group $G$ onto the set of Universal $R$-matrices of the group Hopf algebra $\u2102G$ [64] and from there onto the set of the braidings of the monoidal Category of representations ${}_{\u2102G}\mathfrak{M}$ ([47], Theorem 10.4.2) In other words $\text{Bicharacters}$

The correspondence is such that given a bicharacter $\vartheta :G\times G\to {\u2102}^{*}$, the corresponding $R$-matrix is given by [64]
and the corresponding braiding of the monoidal Category of representations ${}_{\u2102G}\mathfrak{M}$, by the family of isomorphisms ${\psi}_{V,W}:V\otimes W\to W\otimes V$ given by ${\psi}_{V,W}(x\otimes y)={\displaystyle \sum {R}^{(2)}\cdot y\otimes {R}^{(1)}\cdot x=}\vartheta (g,h)y\otimes x$ for any $x\in {V}_{g},y\in {W}_{h};g,h\in G$. In the above, we have denoted by $\overline{c}$ the complex conjugate of any complex number $c$, by ${\u2102}^{*}$ the multiplicative group of non-zero complex numbers, by ${G}^{\prime}$ the character group of $G$ and by $<,>:G\prime \times G\to {\u2102}^{*}$ the canonical pairing $<g\prime ,g>=g\prime \left(g\right)\in {\u2102}^{*}$ for all $g\prime \in {G}^{\prime},g\in G$. The vector spaces $V,W$ are any two $\u2102G$-modules i.e. any two $G$-graded vector spaces and by $"\cdot "$ we denote the action of the group elements on the elements of the corresponding vector space. The above described bijection is such that [64] the skew-symmetric bicharacters (i.e., the color functions or commutation factors) are mapped onto triangular universal $R$ -matrices and thus onto symmetric braidings of ${}_{\u2102G}\mathfrak{M}$ (see also Sections 3.5.3 and 4.2 of [54] for detailed calculations for the simplest example of $\u2102{Z}_{2}$). Also, recall that a character $\chi $ of $G$ is a homomorphism $\chi :G\to {\u2102}^{*}$ of $G$ to the multiplicative group of non-zero complex numbers ${\u2102}^{*}=(\u2102\backslash \{0\},\times )$, i.e., $\chi (gh)=\chi (g)\chi (h),\forall g,h\in G$ and that the characters form a (multiplicative) group ${G}^{\prime}$, which in the finite, abelian case is isomorphic to $G$ i.e., $G\cong {G}^{\prime}$ as abelian groups and thus $\u2102(G\prime )\cong \u2102G\cong {\left(\u2102G\right)}^{*}$ as Hopf algebras.

$$R={\displaystyle \sum {R}^{(1)}\otimes {R}^{(2)}}=\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{${n}^{2}$}\right.{\displaystyle \sum _{\begin{array}{c}g,h\in G\\ g\prime ,h\prime \in {G}^{\prime}\end{array}}\vartheta (g,h)\overline{\langle g\prime ,g\rangle}}\overline{\langle h\prime ,h\rangle}g\prime \otimes h\prime $$

According to the modern terminology [47,48,49,64] developed in the 1990s and originating from the Quantum Groups theory, $(G,\vartheta )$

**-**Hopf algebras belong to the—conceptually wider—class of Braided Groups (in the sense of the braiding described above). Here we use the term “braided group” loosely, in the sense of [48,49]. It is also customary to speak of such structures as Hopf algebras in the braided Monoidal Categories ${}_{\u2102G}\mathfrak{M}$ of representations of $\u2102G$. The following proposition (see [47,48,49]) summarizes various different conceptual understandings of the term $G$-graded, $\vartheta $-braided Hopf algebra (see also the corresponding definitions of [47,48,49,68]).**Proposition 3.2:**The following statements are equivalent to each other:

**1.**- $H$ is a $G$-graded, $\vartheta $-braided Hopf algebra or a $(G,\vartheta )$-Hopf algebra.
**2.**- $H$ is a Hopf algebra in the braided Monoidal Category ${}_{\u2102G}\mathfrak{M}$ of representations of $\u2102G$.
**3.**- $H$ is a braided group for which the braiding is given by the function $\vartheta :G\times G\to {\u2102}^{*}$.
**4.**- $H$ is simultaneously an algebra, a coalgebra and a $\u2102G$-module, all its structure functions (multiplication, comultiplication, unity, counity and antipode) are $\u2102G$-module morphisms. The comultiplication $\underset{\_}{\mathsf{\Delta}}:H\to H\underset{\_}{\otimes}H$ and the counity $\underset{\_}{\epsilon}:H\to \u2102$ are algebra morphisms in the braided monoidal Category ${}_{\u2102G}\mathfrak{M}$. ($H\underset{\_}{\otimes}H$ stands for the braided tensor product algebra). At the same time, the antipode $S:H\to H$ is a “twisted” or “braided” anti-homomorphism in the sense that $S(xy)=\vartheta (\mathrm{deg}(x),\mathrm{deg}(y))S(y)S(x)$for any homogeneous $x,y\in H$.
**5.**- The $\u2102G$-module $H$ is an algebra in ${}_{\u2102G}\mathfrak{M}$ (equiv.: a $\u2102G$-module algebra) and a coalgebra in ${}_{\u2102G}\mathfrak{M}$ (equiv.: a $\u2102G$-module coalgebra), the comultiplication $\underset{\_}{\mathsf{\Delta}}:H\to H\underset{\_}{\otimes}H$ and the counity $\underset{\_}{\epsilon}:H\to \u2102$ are algebra morphisms in the braided monoidal Category ${}_{\u2102G}\mathfrak{M}$ and at the same time, the antipode $S:H\to H$ is an algebra anti-homomorphism in the braided monoidal Category ${}_{\u2102G}\mathfrak{M}$.

The investigation of such structures for the case of the paraparticle algebras has been an old issue: The “free” Parafermionic P

_{F}and parabosonic P_{B}algebras have been shown to be (see the discussion in the introduction, in Section 2 and also [69,70] for a review) isomorphic to the Universal Enveloping Algebra (UEA) of a Lie algebra and a Lie superalgebra (or: ${\mathbb{Z}}_{2}$-graded Lie algebra) respectively, while the Relative Parabose set algebra P_{BF}has been shown [14,15] to be isomorphic to the UEA of a (${\mathbb{Z}}_{2}\times {\mathbb{Z}}_{2}$)-graded Lie algebra. At the same time the Relative Parafermi set algebra P_{FB}has been shown [12,13] to be isomorphic to the UEA of a Lie superalgebra. In [69,71] we have studied the case of P_{B}, and we establish its braided group structure (here: ${\mathbb{Z}}_{2}$-graded Hopf structure) independently of its ${\mathbb{Z}}_{2}$-graded Lie structure.#### 3.2. Description of the Problem–Research Objectives

At this point, we feel it will be quite useful to try to shed some light on the following subtle points, which lie at the heart of our proposed investigation:

On the one hand, speaking about a single $G$-graded algebra $A$, there may—in principle—exist more than a single braided group structure that can be attached to it. In other words, given a specific $G$-grading, the (corresponding) braiding is not necessarily unique. This can be seen in some simple examples, maybe even for some cases of UEAs of $\vartheta $-colored $G$-graded Lie algebras: since the symmetric braidings are in a bijective correspondence [47,64] with the skew-symmetric bicharacters (on the finite abelian group $G$) or with the triangular universal R-matrices (of the corresponding group Hopf algebra $\u2102G$), we can easily see that even for the case of a single (${\mathbb{Z}}_{2}\times {\mathbb{Z}}_{2}$)-graded associative algebra, there may—in principle—exist different (${\mathbb{Z}}_{2}\times {\mathbb{Z}}_{2}$)-graded Hopf algebras (i.e., braided groups) corresponding to it. The difference stems from the possibility to pick different braidings (i.e., different colors or different commutation factors) for the finite, abelian ${\mathbb{Z}}_{2}\times {\mathbb{Z}}_{2}$ group (see also [67] for examples on the available possibilities of such choices) and reflects on the differentiation in the definitions of the comultiplication $\mathsf{\Delta}:A\to A\underset{\_}{\otimes}A$ and the antipode $S:A\to {A}^{gr.op}$ (${A}^{gr.op}$ is the graded-opposite algebra). Conceptually (in the language of Category Theory), we may equivalently say that, the difference stems from the possibility to pick different (non-trivial) R-matrices for the $\u2102$(${\mathbb{Z}}_{2}\times {\mathbb{Z}}_{2}$) group Hopf algebra and reflects on different families of permuting isomorphisms (braidings) between the tensor product representations of the (${\mathbb{Z}}_{2}\times {\mathbb{Z}}_{2}$)-graded $A$-modules and between the tensor powers of $A$ itself.

On the other hand, the picture may become even more complicated by the fact that the $G$-grading for $A$, is not uniquely assigned itself: In other words, for a single algebra $A$, there may exist group-gradings by different groups and even if we consider a single group G, it may assign non-equivalent gradings to the same algebra $A$. In order to elucidate this last point we recall here, that it has been shown [56] that a concrete $G$-grading on the $\mathbb{k}$-algebra $A$, is equivalent to a concrete $\mathbb{k}G$-(co)action on $A$. Consequently, the problem of classifying all the possible gradings induced by G on A is equivalent to classifying all the (non-isomorphic) $\mathbb{k}G$-(co)module algebras which are all the (non-isomorphic) $\mathbb{k}G$-(co)modules with carrier space A, whose (co)action preserves the algebra structure of $A$ (in the sense of Proposition 3.1).

In [34,35,37,38] we have already started a preliminary investigation of some of the above points, for the case of the Relative Parabose Set algebra P

_{BF}: In [34,35] we review P_{BF}as the UEA of a (${\mathbb{Z}}_{2}\times {\mathbb{Z}}_{2}$)-graded, $\vartheta $-colored Lie algebra (for a specific choice of the commutation factor $\vartheta $ proposed in [14,15]). However, in [37,38] we adopt a different point of view, in which we consider P_{BF}as a (${\mathbb{Z}}_{2}\times {\mathbb{Z}}_{2}$)-graded associative algebra, with a different (inequivalent) form of the grading i.e., with a different $\u2102$(${\mathbb{Z}}_{2}\times {\mathbb{Z}}_{2}$)-action. In this last case, the (${\mathbb{Z}}_{2}\times {\mathbb{Z}}_{2}$)-grading is not necessarily associated to some particular color-graded Lie structure. We intend to rigorously investigate further, the following points:- Given the (${\mathbb{Z}}_{2}\times {\mathbb{Z}}_{2}$)-grading described in [14,15,34,35] we intend to check whether it is compatible with other commutation factors $\vartheta $ (i.e.,: other braidings for the ${}_{\u2102\left({\mathbb{Z}}_{2}\times {\mathbb{Z}}_{2}\right)}\mathfrak{M}$ Category of modules) than the one presented in these works. In other words, we are going to determine possible alternative braided group structures, corresponding to the single (${\mathbb{Z}}_{2}\times {\mathbb{Z}}_{2}$)-graded structure for P
_{BF}described in the above works. It will also be interesting to examine, which of these alternatives—if any—are directly associated to some particular color-graded Lie structure (directly in the sense that they may stem from the UEA). - We are going to determine possible alternative $G$-gradings for the P
_{BF}, P_{FB}(co)algebras where the group $G$ may either be ${\mathbb{Z}}_{2}\times {\mathbb{Z}}_{2}$ itself (with some grading inequivalent to the previous, in the sense formerly described) or some other suitable group, for ex. ${\mathbb{Z}}_{2}$ or ${\mathbb{Z}}_{4}$. In each case, we will further investigate the possible braidings (in the sense analyzed in the former paragraph). - We are going to collect the results of the previous two steps and develop Theorems and Propositions which establish the possible braided group structures of P
_{BF}and P_{FB}independently of the possible color-graded Lie structures. For each of the above cases, we intend to explicitly compute: (a) The group action (i.e., the grading); (b) The braiding (i.e., the family of isomorphisms), the commutation factor (i.e., the bicharacter or equiv: the color function), (c) The (quasi)triangular structure (i.e., the $R$-matrix) of the corresponding group Hopf algebra.

We can finally summarize the above discussion in three research objectives:

**1st Research Objective:**The first problem we intend to investigate is the classification of the gradings induced on the paraparticle (co)algebras (especially on P

_{BF}and P

_{FB}algebras) by small order finite Abelian Groups such as ${Z}_{2},{Z}_{3},{Z}_{4},{Z}_{2}\times {Z}_{2}$ etc. In other words, we intend to classify those group (co)actions which preserve the corresponding (co)algebra structures, turning thus the (co)algebras in $\u2102G$-(co)module (co)algebras.

Let us also mention at this point, that similar problems of investigating and classifying the gradings induced on various different algebras by a group $G$, have received much attention during the last decade. Far from trying to present an exhaustive bibliography at this point we feel it is worth mentioning some references indicating the breadth of the associated problems: In [73,74,75,76] gradings on various matrix algebras are investigated, in [77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95] we have results on studies, properties and classifications for gradings on different kinds of Lie algebras and in [96,97,98,99] gradings on various different associative and non-associative algebras are examined.

**2nd Research Objective:**Further, for each of the above gradings we intend to classify the corresponding braided group structures. In other words, we will write down the possible bicharacters of the above groups or equivalently the possible $R$-matrices of the corresponding group Hopf algebras or equivalently the braidings of the corresponding Category ${}_{\u2102G}\mathfrak{M}$ (or ${\mathfrak{M}}^{\u2102G}$) of modules (or comodules). For each one of these braidings, we aim to examine whether or not there are available compatible graded algebraic and coalgebraic structures suitable for producing a braided group.

Studies dealing with classifications of R-matrices and braidings and which seem to be related to the proposed idea can be found in [100,101] (see also [102]).

**3rd Research Objective:**Apply or develop suitable bosonization or bosonization-like techniques to obtain ordinary Hopf structures, with no grading and with trivial braiding, possessing equivalent representation theories.

## 4. An Attempt to Approach the Fock-like Representations for the ${P}_{B},{P}_{F},{P}_{BF},{P}_{FB}$ Algebras Utilizing Their Braided Group Structures

#### 4.1. Conceptual Introduction–Methodological Review

In [103], we take advantage of the super-Hopf structure of P

_{B}which has been extensively studied in [69,70,71], and based on it, we develop a ‘‘braided interpretation’’ of the Green ansatz for parabosons. We further develop a method, for employing this braided interpretation in order to construct analytic expressions for the matrix elements of the Fock-like representations of P_{B}. Concisely, the method consists of the following steps:- regarding $CAR$ (the usual Weyl algebra or: boson algebra) as a superalgebra with odd generators, and proving that it is isomorphic (as an assoc. superalgebra) to a quotient superalgebra of P
_{B}, - constructing the graded tensor product representations, of (graded) tensor powers of the form $CAR\otimes CAR\otimes \mathrm{...}\otimes CAR$ ($p$-copies),
- pulling back the module structure to a representation of P
_{B}through suitable (homogeneous) homomorphisms of the form ${P}_{B}\to CAR\otimes CAR\otimes \mathrm{...}\otimes CAR$, which are constructed via the braided comultiplication $\mathsf{\Delta}:{P}_{B}\to {P}_{B}\underset{\_}{\otimes}{P}_{B}$ of P_{B}(see [103]), - prove that the ${P}_{B}$-modules thus obtained, are isomorphic (as ${P}_{B}$-modules) to ${\mathbb{Z}}_{2}$-graded tensor product modules, between $p$-copies, of the first ($p=1$) Fock-like representation of ${P}_{B}$,
- prove that the parabosonic $p$-Fock-like module, corresponding to arbitrary value of the positive integer $p$, is contained as an irreducible direct summand of the above constructed ${\mathbb{Z}}_{2}$-graded tensor product representation,
- compute explicitly the action of the P
_{B}generators and the corresponding matrix elements, on the above mentioned $p$-Fock-like modules and finally, - decompose the obtained ${\mathbb{Z}}_{2}$-graded tensor product representations into irreducible components and investigate whether more irreducible summands arise, non-isomorphic to the $p$-Fock-like submodule.

#### 4.2. Description of the Problem–Research Objectives

The—possible—advantage of the formerly described method, is that it may permit us to explicitly construct unitary, irreducible representations (unirreps) with general lowest weight vectors of the form $({p}_{1},{p}_{2},\mathrm{...})$. However, we must mention at this point that the application of the above method in [103] has not been finalized due to computational difficulties encountered and which will be described in the sequel. Consequently, the research objectives of this part of the project consist of refining, applying and generalizing the above method:

- We first intend to proceed to the explicit construction of the Fock-like representations in the case of the (inf. deg. of freedom) parabosonic P
_{B}and parafermionic P_{F}algebra following the methodology developed in [103] and outlined above. Starting from the parabosonic algebra, this involves computations of expressions of the following form_{F}, since the corresponding variables ${f}_{{i}_{r}}^{(k)+}=I\otimes I\otimes \mathrm{...}\otimes {f}_{{i}_{r}}^{+}\otimes I\otimes \mathrm{...}\otimes I$ (${f}_{{i}_{r}}^{+}$ is the CAR generator) appear to be commuting (the exact choice of the braiding and the grading depends of course on the results of the previous part of the project). What we are actually describing here, are the steps for the explicit calculation of the action of the generators on the tensor product representations of—suitably—graded versions of CCR and CAR and the subsequent decomposition of these representations in irreducible components. In [103] we have proved that the $p$-Fock-like modules are contained as irreducible factors of such graded, tensor product representations. However, it remains to see whether such decompositions can produce as direct summands or more generally as submodules other non-equivalent representations as well.

Before proceeding with the discussion, we summarize in the following table the present state of knowledge about the parabosonic Fock-like representations, including the previous discussion (In the following table ${b}_{i}^{+}$ and ${B}_{j}^{+}$ denote the CCR and the P

_{B}generators respectively and m denotes the number of the generators i.e. the possible values of $i$ and $j$):- Next, we intend to compare our obtained (according to the above described method) results with those obtained in [6,7,8] (where a totally different approach, based on induced representations and chains of inclusions of Lie superalgebras contained as subalgebras, has been adopted). It is expected that the identification of the representations may lead us to valuable insight, relative to the interrelations between the various, diversified analytical tools used.
- The next step will consist of generalizing the above calculations for the case of the mixed paraparticle algebras P
_{BF}and P_{FB}. The philosophy of the method is based on the same idea: The Fock-like representations of P_{BF}and P_{FB}will be extracted as irreducible submodules arising in the decomposition of the graded tensor product representations of ${W}_{s}$ and ${W}_{as}$. In this case, ${W}_{s}$ is a mixture of commuting (symmetric mixture) bosons and fermions and ${W}_{as}$ a mixture of anticommuting (antisymmetric mixture) of bosonic and fermionic generators (see also [54] § 6.2 pp. 199–207, [31] for more details on the structure of these algebras). Just as the CCR may be considered a graded quotient algebra of P_{B}(see [103]) , and the CAR a graded quotient algebra of P_{F}, in the same spirit we will consider ${W}_{s}$ as a suitable graded quotient of P_{BF}and ${W}_{as}$ as a graded quotient of P_{FB}. These are exactly the algebras we intend to employ, in order to generalize the formerly described method for the case of the mixed paraparticle algebras P_{BF}(Relative Parabose Set algebra) and P_{FB}(Relative Parafermi Set algebra). The results of the previous part of the project (i.e., Section 3.) are expected to lead us in suitable choices for the grading and the braiding of ${W}_{s}$ and ${W}_{as}$ (in the same manner that the results of [69,70,71] led us to the use of odd-bosons in [103]). Finally it is worth mentioning, that the computational problem we expect to reveal here is the development of a suitable multinomial theorem mixing commuting and anticommuting variables.

## 5. A Proposal for the Development of an Algebraic Model for the Description of the Interaction between Monochromatic Radiation and a Multiple Level System

#### 5.1. Review of Recent Work

In [34,35] (see also [107]) we have studied algebraic properties of the Relative Parabose algebra P

_{BF}and the Relative Parafermi algebra P_{FB}such as their gradings, braided group structures, θ-colored Lie structures, their subalgebras, etc. These algebras, constitute paraparticle systems defined in terms of parabosonic and parafermionic generators (or: interacting parabosonic and parafermionic degrees of freedom, in a language more suitable for physicists) and trilinear relations. We have then proceeded in building realizations of an arbitrary Lie superalgebra $L={L}_{0}\oplus {L}_{1}$ (of either fin or infin dimension) in terms of these mixed paraparticle algebras. Utilizing a given ${\mathbb{Z}}_{2}$-graded, finite dimensional, matrix representation of L, we have actually constructed maps of the form $J:L\to gl(m/n)\subset \begin{array}{c}{P}_{BF}\\ {P}_{FB}\end{array}$ from the LS L onto a copy of the general linear superalgebra $gl(m/n)$ isomorphically embedded into either P_{BF}or into P_{FB}. These maps have been shown to be graded Hopf algebra homomorphisms or more generally braided group isomorphisms and constitute generalizations and extensions of older results [107]. From the viewpoint of mathematical physics, these maps generalize—in various aspects (see the discussion in [35])—the standard bosonic-fermionic Jordan-Scwinger [108,109] realizations of Quantum mechanics. In [37,38] we have further proceeded in building and studying a class of irreducible representations for the simplest case of the P_{BF}^{(1,1)}algebra in a single parabosonic and a single parafermionic degree of freedom (a 4-generator algebra). We have used the terminology “Fock-like representations” because these representations apparently generalize the well known boson-fermion Fock spaces of Quantum Field theory.The carrier spaces of the Fock-like representations of P

_{BF}^{(1,1)}constitute a family parameterized by the values of a positive integer p. They have the general form ${\oplus}_{n=0}^{p}{\oplus}_{m=0}^{\infty}{V}_{m,n}$ where p is an arbitrary (but fixed) positive integer. The subspaces V_{m}_{,n}are 2-dim except for the cases m = 0, n = 0, p, i.e., except the subspaces V_{0,n}, V_{m}_{,0}, V_{m}_{,p}which are 1-dim for all values of m and n. These subspaces can be visualized as follows:Notice that in the above figure, the subspaces of the first and the p-th column as well as the subspaces of the first row correspond to 1d subspaces while the “inner” subspaces (which are bold in the figure) correspond to 2d subspaces. The generators ${b}^{+},{b}^{-},{f}^{+},{f}^{-}$ of ${{P}_{BF}}^{(1,1)}$ are acting (see [37] for details) as creation-annihilation operators on the above “two”-dimensional ladder of subspaces: The action of the ${b}^{+}({b}^{-})$ operators produces upward (downward) vertical shifts, changing thus the value of the line, while the action of the ${f}^{+}({f}^{-})$ operators produces right (left) shifts, changing thus the value of the columns. Finally, note that the action of the ${f}^{+}$ operator, on the above described vector space, is a nilpotent one satisfying ${({f}^{+})}^{p+1}=0$ (for the corresponding representation characterized by this specific value of p).

#### 5.2. Description of the Problem–Research Objectives

Our research objective has to do with a potential physical application of the of the paraparticle and LS Fock-like representations discussed above, in the extension of the study of a well-known model of quantum optics: The Jaynes-Cummings model [16] is a fully quantized—and yet analytically solvable—model describing (in its initial form) the interaction of a monochromatic electromagnetic field with a two-level atom. Using the Fock-like modules described above, we will attempt to proceed in a generalization of the above model in the study of the interaction of a monochromatic parabosonic field with a (p + 1)-level system. The Hamiltonian for such a system might be of the form

$${H}_{dyn}={H}_{b}+{H}_{f}+{H}_{\mathrm{int}eract}=\frac{{\omega}_{b}}{2}\left\{{b}^{+},{b}^{-}\right\}+\frac{{\omega}_{f}}{2}\left[{f}^{+},{f}^{-}\right]+\frac{({\omega}_{f}-{\omega}_{b})p}{2}+\frac{\lambda}{2}\left(\left\{{b}^{-},{f}^{+}\right\}+\left\{{b}^{+},{f}^{-}\right\}\right)$$

Or more generally:
where ω

$${{H}_{dyn}}^{*}={H}_{b}+{H}_{f}+{H}_{\mathrm{int}eract}^{\ast}=\frac{{\omega}_{b}}{2}\left\{{b}^{+},{b}^{-}\right\}+\frac{{\omega}_{f}}{2}\left[{f}^{+},{f}^{-}\right]+\frac{({\omega}_{f}-{\omega}_{b})p}{2}+{\lambda}_{1}{b}^{-}{f}^{+}+{\lambda}_{2}{f}^{+}{b}^{-}+{\lambda}_{2}^{*}{b}^{+}{f}^{-}+{\lambda}_{1}^{*}{f}^{-}{b}^{+}$$

_{b}stands for the energy of any paraboson field quanta (this generalizes the photon, represented by the Weyl algebra part of the usual JC-model), ω_{f}for the energy gap between the subspaces V_{m}_{,n}and V_{m}_{,n+1}(this generalizes the two-level atom, represented by the su(2) generators of the usual JC-model) and λ or λ_{i}(i = 1,2) suitably chosen coupling constants. Notice that ω_{b}and ω_{f}might be some functions of m or n or both. The H_{b}+ H_{f}part of the above Hamiltonians represents the “field” and the “atom” respectively, while the ${H}_{\mathrm{int}eract}=\frac{\lambda}{2}\left(\left\{{b}^{-},{f}^{+}\right\}+\left\{{b}^{+},{f}^{-}\right\}\right)$, ${H}_{\mathrm{int}eract}^{\ast}={\lambda}_{1}{b}^{-}{f}^{+}+{\lambda}_{2}{f}^{+}{b}^{-}+{\lambda}_{2}^{*}{b}^{+}{f}^{-}+{\lambda}_{1}^{*}{f}^{-}{b}^{+}$ operators “simulate” the “field-atom” interactions causing transitions from any V_{m}_{,n}subspace to the subspace V_{m}_{–1,n+1}$\oplus $V_{m}_{+1,n–1}(absorptions and emissions of radiation). The Fock-like representations, the formulas for the action of the generators and the corresponding carrier spaces, will provide a full arsenal for performing actual computations in the above conjectured Hamiltonian and for deriving expected and mean values for desired physical quantities. A preliminary version of these ideas, for the simplest case of P_{BF}^{(1,1)}has already appeared (see the discussion at Section 5 of [37]). The spectrum generating algebra of H may be considered to be either P_{BF}^{(1,1)}or P_{FB}^{(1,1)}or more generally any other mixed paraparticle algebra whose representations can be directly deduced from those of P_{BF}^{(1,1)}or P_{FB}^{(1,1)}: Such algebras may be the “straight” Paraparticle algebras $SC{R}^{(1,1)}\cong {{P}_{B}}^{(1)}{\otimes}^{Gr}{{P}_{F}}^{(1)}$ or $SA{R}^{(1,1)}\cong {{P}_{B}}^{(1)}{\otimes}_{gr}{{P}_{F}}^{(1)}$ where ${\otimes}^{Gr}$ and ${\otimes}_{gr}$ stand for braided tensor products for suitable choices of the grading group G and the braiding function θ. More details on the choices of the grading groups and the braiding functions and on the above mentioned isomorphisms will be given in the forthcoming work [110].In this way, we will actually construct a family of exactly solvable, quantum mechanical models, whose properties will be studied quantitatively (computation of energy levels, eigenfunctions, rates of transitions between states, etc.) and directly compared with theoretical and experimental results.

Last, but not least, it is expected that the study of such models will provide us with deep insight into the process of Quantization itself: We will be able to proceed in direct comparison between mainstream quantization methods of Quantum Mechanics where the operators representing the interaction, i.e., the dynamics of the system, are explicitly contained as summands of the form ${H}_{\mathrm{int}eract}=\frac{\lambda}{2}\left(\left\{{b}^{-},{f}^{+}\right\}+\left\{{b}^{+},{f}^{-}\right\}\right)$, or ${H}_{\mathrm{int}eract}^{\ast}={\lambda}_{1}{b}^{-}{f}^{+}+{\lambda}_{2}{f}^{+}{b}^{-}+{\lambda}_{2}^{*}{b}^{+}{f}^{-}+{\lambda}_{1}^{*}{f}^{-}{b}^{+}$ of the Hamiltonian, and the idea of Algebraic (or Statistical) Quantization as this is outlined in works such as [111]: In this case, the idea is to exploit “free” Hamiltonians of the form
which contain no explicit dynamical interaction terms but include the interaction implicitly into the relations of the spectrum generating algebra itself. Since the spectrum generating algebra can be chosen among ${{P}_{BF}}^{(1,1)},{{P}_{FB}}^{(1,1)},SC{R}^{(1,1)},SA{R}^{(1,1)}$, and its corresponding representation by fixing a concrete value for the positive integer p, we can have a multitude of models of this form which deserve to be further investigated. It is “natural” to start by studying more conventional Hamiltonians of the form ${H}_{dyn},{{H}_{dyn}}^{*}$ using as spectrum generating algebras either $SC{R}^{(1,1)}$ or $SA{R}^{(1,1)}$ or to use the “free” Hamiltonian ${H}_{free}$ in combination with a spectrum generating algebra such as ${{P}_{BF}}^{(1,1)}$ or ${{P}_{FB}}^{(1,1)}$, without of course excluding all the other possibilities as well (using for example${{P}_{BF}}^{(1,1)}$ in conjunction with either ${H}_{dyn}$ or ${{H}_{dyn}}^{*}$). The reason for this preference can be well understood if one takes a look at the description of these algebras given in the table of Section 2 in terms of generators and relations: the multitude of the algebraic relations of the “relative” set algebras P

$${H}_{free}={H}_{b}+{H}_{f}=\frac{{\omega}_{b}}{2}\left\{{b}^{+},{b}^{-}\right\}+\frac{{\omega}_{f}}{2}\left[{f}^{+},{f}^{-}\right]+\frac{({\omega}_{f}-{\omega}_{b})p}{2}$$

_{BF}or P_{FB}in contrast to the SCR and SAR algebras where only commutation (anticommutation) relations are involved between generators of different “species” indicate that we may expect a more promising simulation of the dynamics by the P_{BF}or P_{FB}algebras in conjunction with the “free” Hamiltonian ${H}_{free}$.We intend to come back shortly with more details and the first results of the above ideas.

## 6. Conclusions

We have reviewed certain aspects of the mathematical theory of the various paraparticle algebras in an attempt to outline three distinct branches of a long-term project aimed at: (a) the study of structural properties such as the classification of the various gradings and braided group structures of these algebras; (b) the explicit construction of classes of representations, utilizing different gradings and braided group structures; and (c) the investigation of the usefulness of these algebras in modeling the interaction of a monochromatic field with a multiple level system.

After the introduction in Section 1, where a brief historical review is made of the most important developments in the mathematical study of these algebras, we proceed in Section 2 to the introduction of the family of algebras we are going to discuss, in terms of generators and relations.

In Section 3, after a conceptual introduction to the modern algebraic treatment of notions such as grading, brainding, bicharacters, color functions, commutation factors and the role of the quasitriangular group Hopf algebras in building this understanding, the investigation is focused on the classification of the various possible actions of low-order abelian groups on the paraparticle algebras and the classification of the various R-matrices for these groups.

In Section 4, a method is proposed, based on the use of braided tensor products of representations of CCR, CAR, W

_{s}and W_{as}for the explicit construction of families of Fock-like representations of the paraparticle algebras. Special attention is paid in the description of unsolved mathematical problems related to the method and dealing with the development of multinomial expansions mixing commuting and anticommuting variables.Finally, in Section 5, we propose a family of Hamiltonians built on paraparticle degrees of freedom together with families of corresponding Fock-like representations, and discuss their suitability in the description of the radiation–matter interaction via paraparticle generalizations of the celebrated Jaynes-Cummings model of Quantum Optics.

## Acknowledgments

Part of this work was initialized during the second half of 2010 and the beginning of 2011 while the author was a postdoctoral fellow researcher, supported by CONACYT/J60060, at the Institute of Physics and Mathematics (IFM) of the University of Michoacan (UMSNH) at Morelia, Michoacan, Mexico. Since the summer of 2011, the author has been a postdoctoral researcher at the School of Mathematics of the Aristotle University of Thessaloniki (AUTH) at Thessaloniki Greece, supported by a research fellowship granted from the Research Committee of AUTH. The author acknowledges the financial support from both sources and wishes to express his gratitude to the staff of both institutions for their kind and valuable support. He would like to thank especially Alfredo Herrera-Aguilar and Costas Daskaloyannis for organizing seminars at UMSNH and AUTH respectively, where different parts of the above work were presented and for inspiring discussions relative to the content of the present paper.

## References

- Green, H.S. A generalized method of field quantization. Phys. Rev.
**1953**, 90, 2, 270–273. [Google Scholar] - Volkov, D.V. On the quantization of half-integer spin fields. Sov. Phys.-JETP
**1959**, 9, 1107–1111. [Google Scholar] - Volkov, D.V. S-matrix in the generalized quantization method. Sov. Phys.-JETP
**1960**, 11, 375–378. [Google Scholar] - Wigner, E.P. Do the equations of motion determine the quantum mechanical commutation relations? Phys. Rev.
**1950**, 77, 5, 711–712. [Google Scholar] - Greenberg, O.W.; Messiah, A.M.L. Selection rules for Parafields and the absence of Paraparticles in nature. Phys. Rev.
**1965**, 138, 1155–1167. [Google Scholar] [CrossRef] - Lievens, S.; Stoilova, N.I.; Van der Jeugt, J. The paraboson Fock space and unitary irreducible representations of the Lie superalgebra osp(1/2n). Commun. Math. Phys.
**2008**, 281, 805–826. [Google Scholar] [CrossRef] - Stoilova, N.I.; Van der Jeugt, J. The parafermion Fock space and explicit so(2n+1) representations. J. Phys. Math. Gen.
**2008**, 41, 075202:1–075202:13. [Google Scholar] [CrossRef] - Stoilova, N.I.; Van der Jeugt, J. Parafermions, parabosons and representations of so(∞) and osp(1/∞). Int. J. Math.
**2009**, 20, 693–715. [Google Scholar] [CrossRef] - Ganchev, A.C.; Palev, T.D. A lie superalgebraic interpretation of the Parabose statistics. J. Math. Phys.
**1980**, 21, 797–799. [Google Scholar] [CrossRef] - Ryan, C.; Sudarshan, E.C.G. Representations of Parafermi rings. Nucl. Phys.
**1963**, 47, 207–211. [Google Scholar] [CrossRef] - Kamefuchi, S.; Takahashi, Y. A generalization of field quantization and statistics. Nucl. Phys.
**1962**, 36, 177–206. [Google Scholar] [CrossRef] - Palev, T.D. Parabose and Parafermi operators as generators of orthosymplectic Lie superalgebras. J. Math. Phys.
**1982**, 23, 1100–1102. [Google Scholar] [CrossRef] - Palev, T.D. A description of the superalgebra osp(2n+1/2m) via Green generators. J. Phys. Math. Gen.
**1996**, 29, L171–L176. [Google Scholar] [CrossRef] - Yang, W.; Jing, S. Graded lie algebra generating of parastatistical algebraic structure. Commun. Theor. Phys.
**2001**, 36, 647–650. [Google Scholar] - Yang, W.; Jing, S. A new kind of graded Lie algebra and parastatistical supersymmetry. Sci. China (Series A)
**2001**, 44, 1167–1173. [Google Scholar] [CrossRef] - Jaynes, E.T.; Cummings, F.W. Comparison of Quantum and semi-classical radiation theories with application to the beamer-maser. Proc. IEEE
**1963**, 51, 89–109. [Google Scholar] [CrossRef] - Nicolai, H. Supersymmetry and spin systems. J. Phys. Math. Gen.
**1976**, 9, 1497–1506. [Google Scholar] [CrossRef] - Aragone, C.; Zypman, F. Supercoherent states. J. Phys. Math. Gen.
**1986**, 19, 2267–2279. [Google Scholar] [CrossRef] - Alvarez-Moraga, N.; Hussin, V. Sh(2/2) superalgebra eigenstates and generalized supercoherent and supersqueezed states. Intern. J. Theor. Phys.
**2004**, 43, 179–218. [Google Scholar] [CrossRef] - Fatyga, B.W.; Kostelecky, V.A.; Nieto, M.M.; Truax, D.R. Supercoherent states. Phys. Rev.
**1991**, 43, 1403–1412. [Google Scholar] [CrossRef] - Shore, B.W.; Knight, P.L. Topical Review: The Jaynes-Cummings model. J. Mod. Opt.
**1993**, 40, 1195–1238. [Google Scholar] [CrossRef] - Buzano, C.; Rasseti, M.G.; Rastelo, M.L. Dynamical superalgebra of the “dressed” Jaynes-Cummings model. Phys. Rev. Lett.
**1989**, 62, 137–139. [Google Scholar] [CrossRef] [PubMed] - Floreanini, R.; Spiridonov, V.P.; Vinet, L. Q-Oscillator realizations of the quantum superalgebras sl
_{q}(m/n) and osp_{q}(m,2n). Comm. Math. Phys.**1991**, 137, 149–160. [Google Scholar] [CrossRef] - Frappat, L.; Sorba, P.; Sciarrino, A. Dictionary on Lie Algebras and Superalgebras; Academic Press: London, UK, 2000. [Google Scholar]
- Liao, L.; Song, X.C. Q-deformation of Lie superalgebras B(m,n), B(0,n), C(1+n) and D(m,n) in their boson-fermion representations. J. Phys. Math. Gen.
**1991**, 24, 5451–5463. [Google Scholar] [CrossRef] - Tang, D.S. Formal relations between classical superalgebras and fermion-boson creation and annihilation operators. J. Math. Phys.
**1984**, 25, 2966–2973. [Google Scholar] [CrossRef] - Sun, C.P. Boson-fermion realization of indecomposable representations for Lie superalgebras. J. Phys. Math. Gen.
**1987**, 20, 5823–5829. [Google Scholar] [CrossRef] - Palev, T.D. Canonical realizations of Lie superalgebras: Ladder representations of the Lie superalgebra A(m,n). J. Math. Phys.
**1981**, 22, 2127–2131. [Google Scholar] [CrossRef] - Fu, H.C.; Sun, C.P. New inhomogeneous boson realizations and inhomogeneous differential realizations of Lie algebras. J. Math. Phys.
**1990**, 31, 2797–2802. [Google Scholar] [CrossRef] - Fu, H.C. Inhomogeneous differential realization, boson-fermion realization of Lie superalgebras and their indecomposable representations. J. Math. Phys.
**1991**, 32, 767–775. [Google Scholar] [CrossRef] - Palev, T.D. A superalgebra U
_{q}[osp(3/2)] generated by deformed paraoperators and its morphism onto a W_{q}(1/1) Clifford-Weyl algebra. J. Math. Phys.**1993**, 34, 4872–4883. [Google Scholar] [CrossRef] - Ky, N.A.; Palev, T.D.; Stoilova, N.I. Transformations of some induced osp(3/2) modules in an so(3)⊕sp(2) basis. J. Math. Phys.
**1992**, 33, 1841–1863. [Google Scholar] [CrossRef] - Biswas, S.N.; Soni, S.K. Supersymmetry, Parastatistics and operator realizations of a Lie algebra. J. Math. Phys.
**1988**, 29, 16–20. [Google Scholar] [CrossRef] - Kanakoglou, K.; Daskaloyannis, C.; Herrera-Aguilar, A. Mixed paraparticles, colors, braidings and a new class of realizations for Lie superalgebras. Available online: http://arxiv.org/abs/0912.1070 (accessed on 13 June 2012).
- Kanakoglou, K.; Daskaloyannis, C.; Herrera-Aguilar, A. Super-Hopf realizations of Lie superalgebras: Braided paraparticle extensions of the Jordan-Schwinger map. AIP Conf. Proc.
**2010**, 1256, 193–200. [Google Scholar] - Yang, W.; Jing, S. Fock space structure for the simplest parasupersymmetric System. Mod. Phys. Lett.
**2001**, 16, 963–971. [Google Scholar] [CrossRef] - Kanakoglou, K.; Herrera-Aguilar, A. Ladder operators, Fock-spaces, irreducibility and group gradings for the Relative Parabose Set algebra. Intern. J. Algebra
**2011**, 5, 413–428. [Google Scholar] - Kanakoglou, K.; Herrera-Aguilar, A. Graded Fock-like representations for a system of algebraically interacting paraparticles. J. Phys. Conf. Ser.
**2011**, 287, 012037:1–012037:4. [Google Scholar] [CrossRef] - Beckers, J.; Deberg, N. On supersymmetric harmonic oscillators and the Green-Cusson Ansätze. J. Math. Phys.
**1991**, 32, 3094–3100. [Google Scholar] [CrossRef] - Beckers, J.; Deberg, N. Parastatistics, supersymmetry and parasupercoherent states. J. Math. Phys.
**1990**, 31, 1513–1523. [Google Scholar] [CrossRef] - Beckers, J.; Deberg, N. Parastatistics and supersymmetry in Quantum Mechanics. Nucl. Phys.
**1990**, 340, 767–776. [Google Scholar] [CrossRef] - Beckers, J.; Deberg, N. On parasupersymmetric coherent states. Mod. Phys. Lett.
**1989**, 4, 1209–1215. [Google Scholar] [CrossRef] - Beckers, J.; Deberg, N. Coherent states in parasupersymmetric Quantum Mechanics. Mod. Phys. Lett.
**1989**, 4, 2289–2293. [Google Scholar] [CrossRef] - Rubakov, V.A.; Spiridonov, V.P. Parasupersymmetric Quantum Mechanics. Mod. Phys. Lett.
**1988**, 3, 1337–1347. [Google Scholar] [CrossRef] - Milnor, J.; Moore, J. On the structure of Hopf algebras. Ann. Math.
**1965**, 81, 211–264. [Google Scholar] [CrossRef] - Kostant, B. Graded Manifolds, Graded Lie Theory and Prequantization. In Differential Geometrical Methods in Mathematical Physics Lecture Notes in Mathematics; Dold, A., Eckman, A., Eds.; Springer: Berlin, Germany, 1975; Volume 570, pp. 177–306. [Google Scholar]
- Montgomery, S. Hopf algebras and their actions on Rings; The NSF-CBMS Regional Conference Series in Mathematics 82; AMS: Providence, RI, USA, 1993; Chapters 4, 10; pp. 40–43, 178–217. [Google Scholar]
- Majid, S. Foundations of Quantum Group Theory; Cambridge University Press: Cambridge, UK, 1995; Chapters 2, 9; pp. 35–68, 414–499. [Google Scholar]
- Majid, S. A Quantum Groups Primer; London Mathematical Society, Lecture Notes Series, 292; Cambridge University Press: Cambridge, UK, 2002. [Google Scholar]
- Dascalescu, S.; Nastasescu, C.; Raianu, S. Hopf Algebras, an Introduction; Pure and Applied Mathematics 235; Marcel Dekker: New York, NY, USA, 2001. [Google Scholar]
- Kassel, C. Quantum Groups; Graduate texts in Mathematics 155; Springer: New York, NY, USA, 1995; Chapters III, XIII. [Google Scholar]
- Abe, E. Hopf Algebras; Cambridge University Press: Cambridge, UK, 1980; Chapters 2, 3; pp. 91–92, 137–144. [Google Scholar]
- Sweedler, M.E. Hopf Algebras; W.A. Benjamin, Inc: New York, NY, USA, 1969; Chapter XI; pp. 227–228, 237–238. [Google Scholar]
- Kanakoglou, K. Hopf and Graded Hopf Structures in Parabosonic and Parafermionic Algebras and applications in Physics. Ph.D. Thesis, Aristotle University of Thessaloniki (AUTh), 2009. [Google Scholar]
- Steenrod, N.E. The cohomology algebra of a space. Enseign. Math.
**1961**, 7, 153–178. [Google Scholar] - Cohen, M.; Montgomery, S. Group graded rings, smash products and group actions. Trans. Am. Math. Soc.
**1984**, 282, 237–258. [Google Scholar] [CrossRef] - Năstăsescu, C.; Torrecillas, B. Graded Coalgebras. Tsukuba J. Math.
**1993**, 17, 461–479. [Google Scholar] - Năstăsescu, C.; Torrecillas, A. Clifford Theory for Graded Coalgebras: Applications. J. Algebra
**1995**, 174, 573–586. [Google Scholar] [CrossRef] - Dăscălescu, S.; Năstăsescu, C.; Raianu, S.; Van Oystaeyen, F. Graded Coalgebras and Morita-Takeuchi contexts. Tsukuba J. Math.
**1995**, 20, 395–407. [Google Scholar] - Dăscălescu, S.; Năstăsescu, C.; Raianu, S. Strongly graded coalgebras and crossed coproducts. In Proceedings Dedicated to A. Orsatti, Lecture notes in Applied Mathematics; Marcel Dekker: New York, NY, USA; Volume 201, pp. 131–141.
- Scheunert, M. Generalized Lie algebras. J. Math. Phys.
**1979**, 20, 712–720. [Google Scholar] [CrossRef] - Scheunert, M. Graded tensor calculus. J. Math. Phys.
**1983**, 24, 2658–2670. [Google Scholar] [CrossRef] - Scheunert, M. The theory of lie superalgebras. Lect. Notes Math.
**1978**, 716, 1–270. [Google Scholar] - Scheunert, M. Universal R-matrices for finite abelian groups—a new look at graded multilinear algebra. Available online: http://arxiv.org/abs/q-alg/9508016 (accessed on 13 June 2012).
- Kang, S.J.; Kwon, J.H. Graded Lie superalgebras, supetrace formula and orbit Lie superalgebras. Proc. Lond. Math. Soc.
**2000**, 81, 675–724. [Google Scholar] [CrossRef] - Kang, S.J. Graded Lie Superalgebras and the Superdimension Formula. J. Algebra
**1998**, 204, 597–655. [Google Scholar] [CrossRef] - Mikhalev, A.A.; Zolotykh, A.A. Combinatorial Aspects of Lie Superalgebras; CRC Press: Boca Raton, FL, USA, 1995; pp. 7–29. [Google Scholar]
- Majid, S. Quasitriangular Hopf algebras and the Yang-Baxter equation. Intern. J. Mod. Phys.
**1990**, 5, 1–91. [Google Scholar] [CrossRef] - Kanakoglou, K.; Daskaloyannis, C. Variants of bosonization in Parabosonic algebra: The Hopf and super-Hopf structures in Parabosonic algebra. J. Phys. Math. Theor.
**2008**, 41, 105203:1–105203:18. [Google Scholar] [CrossRef] - Kanakoglou, K.; Daskaloyannis, C. Bosonization and Parastatistics: An Example and an Alternative Approach. In Generalized Lie Theory in Mathematics, Physics and beyond; Silvestrov, S.D., Paal, E., Abramov, V., Stolin, A., Eds.; Springer: Berlin, Germany, 2008; Chapter 18; pp. 207–218. [Google Scholar]
- Kanakoglou, K.; Daskaloyannis, C. Graded Structure and Hopf Structures in Parabosonic Algebra: An Alternative Approach to Bosonization. In New Techniques in Hopf Algebras and Graded Ring Theory; Caenepeel, S., Van Oystaeyen, F., Eds.; Royal Flemish Academy of Belgium (KVAB): Brussels, Belgium, 2007; pp. 105–116. [Google Scholar]
- Majid, S. Cross-products by braided groups and bosonization. J. Algebra
**1994**, 163, 165–190. [Google Scholar] [CrossRef] - Khazal, R.; Boboc, C.; Dascalescu, S. Group Gradings of M
_{2}(k). Bull. Austral. Math. Soc.**2003**, 68, 285–293. [Google Scholar] [CrossRef] - Boboc, C. Gradings of matrix algebras by the Klein Group. Commun. Algebra
**2003**, 31, 2311–2326. [Google Scholar] [CrossRef] - Bahturin, Y.; Zaicev, M. Group gradings on matrix algebras. Canad. Math. Bull.
**2002**, 45, 499–508. [Google Scholar] [CrossRef] - Bahturin, Y.; Zaicev, M. Gradings on simple algebras of finitary matrices. J. Algebra
**2010**, 324, 1279–1289. [Google Scholar] [CrossRef] - Bahturin, Y.; Zaicev, M. Gradings on simple Lie algebras of type A. J. Lie Theory
**2006**, 16, 719–742. [Google Scholar] - Bahturin, Y.; Tvalavadze, M.V. Group gradings on G
_{2}. Comm. Algebra**2009**, 37, 885–893. [Google Scholar] [CrossRef] - Bahturin, Y.; Kochetov, M. Group gradings on the Lie algebra psl
_{n}in positive characteristic. J. Pure Appl. Algebra**2009**, 213, 1739–1749. [Google Scholar] [CrossRef] - Bahturin, Y.; Kochetov, M.; Montgomery, S. Group gradings on simple Lie algebras in positive characteristic. Proc. Amer. Math. Soc.
**2009**, 137, 1245–1254. [Google Scholar] [CrossRef] - Bahturin, Y.; Kochetov, M. Classification of group gradings on simple Lie algebras of types A, B, C and D. J. Algebra
**2010**, 324, 2971–2989. [Google Scholar] [CrossRef] - Bahturin, Y.; Bresar, M.; Kochetov, M. Group Gradings on finitary simple Lie algebras. Available online: http://arxiv.org/abs/1106.2638 (accessed on 13 June 2012).
- Elduque, A. Fine gradings on simple classical Lie algebras. J. Algebra
**2010**, 324, 3532–3571. [Google Scholar] [CrossRef] - Elduque, A.; Kochetov, M. Gradings on the exceptional Lie algebras F
_{4}and G_{2}revisited. Available online: http://arxiv.org/abs/1009.1218 (accessed on 13 June 2012). - Elduque, A.; Kochetov, M. Weyl groups of fine gradings on simple Lie algebras of types A, B, C and D. Available online: http://arxiv.org/abs/1109.3540 (accessed on 13 June 2012).
- Draper, C.; Elduque, A.; Martín-González, C. Fine gradings on exceptional Lie superalgebras. Intern. J. Math.
**2011**, 22, 1823–1855. [Google Scholar] [CrossRef] - Draper, C. A non computational approach to gradings on f
_{4}. Jordan Theory Prepr. Arch. Available online: http://molle.fernuni-hagen.de/~loos/jordan/archive/f4gradings/f4gradings.pdf (accessed on 13 June 2012). - Draper, C.; Martín-González, C. Gradings on g
_{2}. Linear Algebra Appl.**2006**, 418, 85–111. [Google Scholar] [CrossRef] - Draper, C.; Martín-González, C. Gradings on the Albert algebra and on f
_{4}. Rev. Mat. Iberoam.**2009**, 25, 841–908. [Google Scholar] - Draper, C.; Viruel, A. Gradings on o (8, ℂ). Linear Algebra Appl. Available online: http://arxiv.org/abs/0709.0194 (accessed on 13 June 2012).
- Patera, J.; Zassenhaus, H. On Lie gradings I. Linear Algebra Appl.
**1989**, 112, 87–159. [Google Scholar] [CrossRef] - Havliček, M.; Patera, J.; Pelantová, E. On Lie gradings II. Linear Algebra Appl.
**1998**, 277, 97–125. [Google Scholar] [CrossRef] - Havliček, M.; Patera, J.; Pelantová, E. On Lie gradings III. Gradings of the real forms of classical Lie algebras. Linear Algebra Appl.
**2000**, 314, 1–47. [Google Scholar] [CrossRef] - Kochetov, M. Gradings on finite dimensional simple Lie algebras. Acta Appl. Math.
**2009**, 108, 101–127. [Google Scholar] [CrossRef] - Calderón-Martín, A.J. On the structure of Graded Lie algebras. J. Math. Phys.
**2009**, 50, 103513:1–103513:8. [Google Scholar] [CrossRef] - Bahturin, Y.; Shestakov, I.; Zaicev, M. Gradings on simple Jordan and Lie algebras. J. Algebra
**2005**, 283, 849–868. [Google Scholar] [CrossRef] - Bahturin, Y.; Sehgal, S.; Zaicev, M. Group gradings on associative algebras. J. Algebra
**2001**, 241, 677–698. [Google Scholar] [CrossRef] - Elduque, A. Gradings on octonions. J. Algebra
**1998**, 207, 342–354. [Google Scholar] [CrossRef] - Makhsoos, F.; Bashour, M. Z
_{3}-Graded Geometric Algebra. Adv. Stud. Theory Phys.**2010**, 4, 383–392. [Google Scholar] - Wakui, M. On the Universal R-matrices of the Dihedral groups. RIMS Kōkyuroku
**1998**, 1057, 41–53. [Google Scholar] - Wakui, M. Triangular structures of Hopf Algebras and Tensor Morita Equivalences. Rev. de la Unión Mat. Argent.
**2010**, 51, 193–200. [Google Scholar] - Nichita, F.F.; Popovici, B. Yang-Baxter operators from (G,θ) -Lie algebras. Rom. Rep. Phys.
**2011**, 63, 641–650. [Google Scholar] - Kanakoglou, K.; Daskaloyannis, C. A braided look at Green ansatz for parabosons. J. Math. Phys.
**2007**, 48, 113516:1–113516:19. [Google Scholar] [CrossRef] - Yang, L.M. A note on the Quantum rule of the harmonic oscillator. Phys. Rev.
**1951**, 84, 788–790. [Google Scholar] [CrossRef] - Ohnuki, Y.; Kamefuchi, S. On the wave mechanical representation of a bose-like oscillator. J. Math. Phys.
**1978**, 19, 67–79. [Google Scholar] [CrossRef] - Sharma, J.K.; Mehta, C.L.; Sudarshan, E.C.G. Parabose coherent states. J. Math. Phys.
**1978**, 19, 2089–2094. [Google Scholar] [CrossRef] - Daskaloyannis, C.; Kanakoglou, K.; Tsohantzis, I. Hopf algebraic structure of the Parabosonic and Parafermionic algebras and paraparticle generalizations of the Jordan-Schwinger map. J. Math. Phys.
**2000**, 41, 652–660. [Google Scholar] [CrossRef] - Jordan, P. Der Zusammenhang der symmetrischen und linearen Gruppen und das Mehrkörperproblem. Z. Physik
**1935**, 94, 531. [Google Scholar] [CrossRef] - Schwinger, J. Selected Papers in Quantum Theory of Angular Momentum; Biedenharn, L.C., Van Dam, H., Eds.; Academic Press: New York, NY, USA, 1965. [Google Scholar]
- Kanakoglou, K.; Herrera-Aguilar, A. On a class of Fock-like representations for Lie Superalgebras. Available online: http://arxiv.org/abs/0709.0194 (accessed on 13 June 2012).
- Palev, T.D. SL(3|N) Wigner quantum oscillators: Examples of ferromagnetic-like oscillators with noncommutative, square-commutative geometry. Available online: http://arxiv.org/abs/hep-th/0601201 (accessed on 13 June 2012).

## Appendix: Sketch of the Proof of Proposition 3.2

We will not provide here a full proof of Proposition 3.2, as this (together with a detailed description of the terminology involved) would require quite a lot of space and would go outside the scope of this paper. We will however give a detailed proof of the implication: $3.\Rightarrow 1.$ in order to provide a taste of “what’s really going on”. The interested reader can surf through the references provided in § 3 of the main body of the article.

Proof of the implication $3.\Rightarrow 1.$ of Proposition 3.2:

Let us first begin with some preliminary facts: If $H$ is a Hopf algebra and $B,C$ are two (right) $H$-comodules through ${\rho}_{B}:B\to B\otimes H$ written explicitly: ${\rho}_{B}(b)={\displaystyle \sum {b}_{0}\otimes {b}_{1}}$ and ${\rho}_{C}:C\to C\otimes H$ written explicitly: ${\rho}_{B}(c)={\displaystyle \sum {c}_{0}\otimes {c}_{1}}$ respectively, then their tensor product vector space $B\otimes C$ becomes a (right) $H$-comodule through the linear map ${\rho}_{B\otimes C}:B\otimes C\to B\otimes C\otimes H$ given by ${\rho}_{B\otimes C}=(i{d}_{B}\otimes i{d}_{C}\otimes {m}_{H})\circ (id\otimes \tau \otimes id)\circ ({\rho}_{B}\otimes {\rho}_{C})$. We can straightforwardly check that ${\rho}_{B\otimes C}$ can be written explicitly: ${\rho}_{B\otimes C}(b\otimes c)={\displaystyle \sum {b}_{0}\otimes {c}_{0}\otimes {b}_{1}{c}_{1}}$ establishing thus a (right) $H$-comodule structure for the tensor product of two (right) $H$-comodules.

In the above (and in what follows) we employ the Sweedler’s notation for the comodules, according to which ${b}_{i},{c}_{i}\in H$ for any $i\ne 0$. We will also use the Sweedler’s notation for the comultiplication, according to which ${\Delta}_{C}:C\to C\otimes C$ will be written ${\Delta}_{C}(c)={\displaystyle \sum {c}_{(1)}}\otimes {c}_{(2)}$. Finally, we have denoted with $\tau :H\otimes C\to C\otimes H$ the transposition map $\tau (h\otimes c)=c\otimes h$ (which is obviously a v.s. isomorphism). $b,c,h$ are any elements of $B,C,H$ respectively and with ${m}_{H}$ we have denoted the multiplication of the Hopf algebra $H$ itself.

Let us now proceed to the main body of the proof:

**Definition A.1**: First of all $C$ being a (right) $H$-comodule coalgebra means that:

**a.**- $C$ is a right $H$-comodule (with the coaction denoted by ${\rho}_{C}$).
**b.**- Its structure maps i.e., the comultiplication ${\Delta}_{C}:C\to C\otimes C$ and the counity ${\epsilon}_{C}:C\to \u2102$, are H-comodule morphisms.

The second statement of the above definition is equivalent (by definition) to the commutativity of the following diagrams

In the above we have made use of the trivial right comodule structure of the field of complex numbers given by ${\rho}_{C}:\u2102\to \u2102\otimes H$ and explicitly ${\rho}_{C}\left(1\right)=1\otimes {1}_{H}$. The commutativity of the above diagrams is equivalent to the following relations

Now, if we specialize to the case in which $H=\u2102G$ i.e., the Hopf algebra itself is the group Hopf algebra then

$${\rho}_{B\otimes C}(b\otimes c)={\displaystyle \sum _{g,h\in G}{b}_{g}\otimes {c}_{h}\otimes gh=}{\displaystyle \sum _{g,k\in G}{b}_{g}\otimes {c}_{{g}^{-1}k}\otimes k}={\displaystyle \sum _{k\in G}({\displaystyle \sum _{g\in G}{b}_{g}\otimes {c}_{{g}^{-1}k}})\otimes k}$$

But at the same time, we have (by definition)

$${}_{{\rho}_{B\otimes C}}(b\otimes c)={\displaystyle \sum _{k\in G}{(b\otimes c)}_{k}\otimes k}$$

Equating the coefficients of the rhs of relations (A.4) and (A.5) we get:

$${(b\otimes c)}_{g}={\displaystyle \sum _{h\in G}{b}_{h}\otimes {c}_{{h}^{-1}g}}$$

In the above—and for the sake of clarity—we have slightly digressed from the Sweedler’s notation of the coactions, by using the—more explicit—summation notation ${\rho}_{B}(b)={\displaystyle \sum _{g\in G}{b}_{g}\otimes g}$ for the coaction ${\rho}_{B}:B\to B\otimes $ $\u2102G$ and ${\rho}_{C}(c)={\displaystyle \sum {c}_{h}\otimes h}$ for the coaction ${\rho}_{C}:C\to C\otimes \u2102G$.

Using relation (A.6) in order to re-express the commutativity of the diagrams (A.1) (which is equivalent to the relations (A.2) and (A.3)) we get from (A.2)

Equating the coefficients of the last relation, with respect to $k\in G$, we finally get

$$\sum ({\displaystyle \sum _{g\in G}{c}_{{(1)}_{g}}\otimes {c}_{{(2)}_{{g}^{-1}k}}})}={\displaystyle \sum {c}_{{k}_{(1)}}\otimes {c}_{{k}_{(2)}}}={\Delta}_{C}({c}_{k})\iff {\Delta}_{C}({c}_{k})={\displaystyle \sum ({\displaystyle \sum _{g\in G}{c}_{{(1)}_{g}}\otimes {c}_{{(2)}_{{g}^{-1}k}}})$$

Recalling now that since $H=\u2102G$, the first statement of Definition A.1 is equivalent to the fact that $C={\oplus}_{g\in G}{C}_{g}$ i.e., $C$ is a $G$-graded vector space, (A.7) implies that

$$\Delta ({C}_{k})\subseteq {\oplus}_{g\in G}{C}_{g}\in {C}_{{g}^{-1}k}\equiv {\in}_{gh=k}{C}_{g}\in {C}_{h}$$

Similarly, working out (A.3) produces that

$$\begin{array}{l}({\rho}_{\u2102}\circ {\epsilon}_{C})(c)=(({\epsilon}_{C}\otimes i{d}_{H})\circ {\rho}_{C})(c)\iff {\rho}_{\u2102}({\epsilon}_{C}(c))=({\epsilon}_{C}\otimes i{d}_{H})({\displaystyle \sum _{g\in G}{c}_{g}\otimes g})\iff \\ \iff {\epsilon}_{C}(c)\otimes {1}_{G}={\displaystyle \sum _{g\in G}{\epsilon}_{C}({c}_{g})\otimes g}\iff {\epsilon}_{C}(c){1}_{G}={\displaystyle \sum _{g\in G}{\epsilon}_{C}({c}_{g})g}\iff \{\begin{array}{c}{\epsilon}_{C}({c}_{g})=0,\forall g\ne {1}_{G}\\ {\epsilon}_{C}({c}_{{1}_{G}})={\epsilon}_{C}(c),\forall c\in C\end{array}\end{array}$$

In the last implication, in order to equate the coefficients with respect to $g\in G$, we have used the fact that the elements of the group $G$ are linearly independent (constituting a basis) inside the group algebra $\u2102$.

Finally, (A.8) and (A.9) conclude the proof.

Let us also note that the above proved implication (and its converse which can be relatively easily filled in) does not depend on $G$ being neither finite nor abelian. In fact the “comodule view”, of the grading of a coalgebra $C$ by a group $G$ as being equivalent to a “suitable” coaction (suitable in the sense that the structure maps of the coalgebra ${\Delta}_{C},{\epsilon}_{C}$ become $\u2102G$-comodule morphisms) of the group Hopf algebra $\u2102G$ on $C$, i.e., the equivalence $1.\iff 3.$ of Proposition 3.2 is valid for the general case of an arbitrary group. It is the equivalence $2.\iff 3.$ of the statements of Proposition 3.2 which is based on $G$ being finite and abelian. For the proof of the later we have to recall that the action of a finite dimensional Hopf algebra on an algebraic structure is equivalent to the coaction of the dual Hopf algebra on the same algebraic structure (and conversely, see [54]) and then to apply the Hopf algebra isomorphism $\u2102G\cong {(\u2102G)}^{*}$ between $\u2102G$ and its dual Hopf algebra ${(\u2102G)}^{*}$ which is valid for finite, abelian groups. (We have denoted ${(\u2102G)}^{*}$ $=Hom(\u2102G,\u2102)\cong Map(G,\u2102)={\u2102}^{G}$ as complex vector spaces and with ${\u2102}^{G}$ we denote the complex vector space of the set-theoretic maps from the finite abelian group $G$ to $\u2102$).

© 2012 by the authors; licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution license (http://creativecommons.org/licenses/by/3.0/).