A Generalization of Group-Graded Modules

Abstract

In this article, we generalize the concept of group-graded modules by introducing the concept of $\mathfrak{G}$-weak graded R-modules, which are R-modules graded by a set $\mathfrak{G}$ of left coset representatives, where R is a $\mathfrak{G}$-weak graded ring. Moreover, we prove some properties of these modules. Finally, results related to $\mathfrak{G}$-weak graded fields and their vector spaces are deduced. Many considerable examples are provided with more emphasis on the symmetric group $S_3$ and the dihedral group $D_6$, which gives the group of symmetries of a regular hexagon.

1. Introduction

Rings and modules that can be graded by groups were intensively studied especially in connection with Clifford’s theory; see [1,2,3].

Many results about group-graded rings and modules were generalized by using semigroups or monoids for grading instead of groups, leading to more general constructions, as we can see in [4,5,6,7,8].

The group-graded fields and their graded vector spaces, as well as their properties have been investigated by many mathematicians; see for example [9,10,11].

There are other generalizations of graded rings and modules in the literature, for example the semi-graded rings and semi-graded modules (see [12]), which are justified by considering the non-commutative algebraic geometry for quantum algebras.

Many ways have been used to investigate the properties of these rings and modules. In [13], Cohen and Montgomery introduced an interesting way using duality theorems; see also [14]. Moreover, some mathematicians introduced categorical methods to study these graded rings such as the study of separable functors introduced in [15,16]. Most of these methods have been introduced for the case when the grading group is finite. However, more additional investigations have been performed considering the infinite case; see for example [17].

In [18], Beggs considered a fixed set $\mathfrak{G}$ and defined a binary operation “∗” on it, which is not associative in a trivial way, though we can deduce the associativity by applying a “cocycle” f. The elements of $\mathfrak{G}$ are left coset representatives for a subgroup H of a finite group X. It was shown that the results are not affected by the choice of the representatives. These data were used to construct non-trivially associated tensor categories and non-trivially associated modular categories (see [18,19]).

In [20], the concept of the rings that can be graded by groups and their modules was generalized using the set $\mathfrak{G}$ mentioned above. It was shown that many results related to these graded rings and their modules could be carried on in the new setting. These induced graded rings were given the name “$\mathfrak{G}$-weak graded rings”.

It is natural to ask if the properties of the original finite groups have an affect on the induced graded rings and modules. However, this is still an active area for researchers.

In [21,22], $\mathfrak{G}$-weak graded rings were deeply investigated and additional properties were derived supported by many illustrative examples.

In this article, we discuss important properties of $\mathfrak{G}$-weak graded R-modules. Throughout this article, many examples are provided, in particular a counter example showing that there is a field having a non-homogeneous unit, although it is a non-trivially X-graded field ($X\ne \mathbb{Z}$). The symmetric group $S_3$ and the dihedral group $D_6$, which gives the group of symmetries of a regular hexagon, are considered among these examples.

The importance of this work, besides using a set with a binary operation satisfying specific properties for grading instead of using a group or even a semigroup, is associating this grading with a factorization of a given group, which may lead to a quantization of the classical results of group-graded modules.

As this work is based on [18], which considered X to be finite, and on [1], we assumed, unless otherwise stated, that all groups are finite, the rings are unity, and the modules are unital.

2. Preliminaries

In this section, we include the definition of the binary operation ∗, the cocycle f, and the actions ▷ and ◁ that are used intensively in this work. For more explanation and related results, the reader is referred to [18].

Definition 1

([18]). Let $s,t$ be elements in $\mathfrak{G}$. Then, $f(s,t)$ in H and $s\ast t$ in $\mathfrak{G}$ are determined by $st=f(s,t)(s\ast t)$ in X. Furthermore, the action $▷:\mathfrak{G}\times H\to H$ and the coaction $◁:\mathfrak{G}\times H\to \mathfrak{G}$ are determined by $su=(s▷u)(s◁u)$, where $s,s◁u$ are elements in $\mathfrak{G}$ and $u,s▷u$ are elements in H. These factorizations are unique.

The binary operation “∗” ensures the right division property and the left identity for each $s\in \mathfrak{G}$. In the case that $e\in \mathfrak{G}$, then $e_{\mathfrak{G}}=e$.

In what follows, whenever $\mathfrak{G}$ and H are mentioned, we mean the set and the subgroup defined above.

3. The Category of $\mathfrak{G}$-Weak Graded Modules

Definition 2

([20]). Let R be a $\mathfrak{G}$-weak graded ring. Then, a $\mathfrak{G}$-weak graded left R-module M is a left R-module satisfying:

$$M=\underset{s\in \mathfrak{G}}{⨁}{M}_s\left(\mathit{as}\mathit{abelian}\mathit{groups}\right)$$

(1)

and

$$R_s{M}_t\subseteq M_{s\ast t}\forall s,t\in \mathfrak{G}.$$

(2)

If the relation (2) is replaced by

$$R_s{M}_t=M_{s\ast t}\forall s,t\in \mathfrak{G},$$

(3)

then M is termed a strongly (or a fully) $\mathfrak{G}$-weak graded left R-module.

Definition 3.

The elements of ${\cup }_{s\in \mathfrak{G}}{M}_s$ are termed weak graded or $\mathfrak{G}$-homogeneous elements of M. A non-zero element $m\in M_s$ is termed a $\mathfrak{G}$-homogeneous element of grade s, and we write $⟨m⟩=s$.

Remark 1.

Every element $m\in M$ has decomposition $m={\sum }_{s\in \mathfrak{G}}{m}_s$, which is unique with $m_s\in M_s$, $\forall s\in \mathfrak{G}$. These ${\left\{m_s\right\}}_{s\in \mathfrak{G}}$ are named the $\mathfrak{G}$-homogeneous components of m. It can be noted that the sum is finite (i.e., almost all $m_s$ are zero).

$\mathfrak{G}$-$GrR$-Mod denotes the category of the class of $\mathfrak{G}$-weak graded left R-modules. The morphisms in $\mathfrak{G}$-$GrR$-Mod are $\mathfrak{G}$-weak graded-preserving morphisms, i.e., if $\phi :M⟶N$ in $\mathfrak{G}$-$GrR$-Mod, then $\phi \left(m\right)\in N_s$ for all $m\in M_s$ and $s\in \mathfrak{G}$, where M and N are $\mathfrak{G}$-weak graded left R-modules. These morphisms are denoted by $\mathfrak{G}$-$GrHo{m}_R(M,N)$.

Definition 4.

Let M and N be two $\mathfrak{G}$-weak graded R-modules. Then, we define an additive subgroup $\mathfrak{G}$-$GrHo{m}_R{(M,N)}_t$ of $\mathfrak{G}$-$GrHo{m}_R(M,N)$, for $t\in \mathfrak{G}$, by

$$\mathfrak{G}-GrHo{m}_R{(M,N)}_t=\{\varphi \in \mathfrak{G}-GrHo{m}_R(M,N):\varphi \left(M_s\right)\subseteq N_{s\ast t},\mathit{for}\mathit{all}s\in \mathfrak{G}\}.$$

Proposition 1.

$\mathfrak{G}$-$GrHo{m}_R(M,N)$ is a subgroup of ${\mathit{Hom}}_{\mathit{R}}(\mathit{M},\mathit{N})$ additively.

Proof. 

Let $\varphi ,\phi \in$$\mathfrak{G}$-$GrHo{m}_R(M,N)$. Hence, for all $s\in \mathfrak{G}$, we have

$$\varphi \left(M_s\right)\subseteq N_s\mathrm{and}\phi \left(M_s\right)\subseteq N_s.$$

Thus,

$$(\varphi +\phi )\left(M_s\right)=\varphi \left(M_s\right)+\phi \left(M_s\right)\subseteq N_s+N_s=N_s.$$

Knowing that $\varphi$ and $\phi$ are homomorphisms and that $N_s$ is an additive abelian subgroup of N completes the proof. □

Theorem 1.

Let M and N be $\mathfrak{G}$-weak graded left R-modules. Then,

$$\mathfrak{G}-GrHo{m}_R(M,N)=\underset{s\in \mathfrak{G}}{⨁}\mathfrak{G}-GrHo{m}_R{(M,N)}_s,$$

as additive subgroups.

Proof. 

Let ${\phi }_s\in$$\mathfrak{G}-GrHo{m}_R{(M,N)}_s$ for $s\in \mathfrak{G}$ s.t. all ${\phi }_s$, except a finite number, are zero maps, and let

$$\sum _{s\in \mathfrak{G}}{\phi }_s=0.$$

(4)

Now, we show that ${\phi }_s$ is a zero map. By Definition 4, we have ${\phi }_s\left(m\right)\in N_{t\ast s}$ for all $m\in M_t$ and an arbitrary fixed element $t\in \mathfrak{G}$. Hence, considering (4), we have:

$$(\sum _{s\in \mathfrak{G}}{\phi }_s)\left(m\right)=\sum _{s\in \mathfrak{G}}{\phi }_s\left(m\right)=0_N.$$

This is the unique expansion of $0_N$ in the direct sum $N={⨁}_{s\in \mathfrak{G}}{N}_{t\ast s}$ or equivalently $N={⨁}_{s\in \mathfrak{G}}{N}_s$. Thus, ${\phi }_s\left(m\right)=0_N$ for each $s\in \mathfrak{G}$, which means that ${\phi }_s$ is a zero map on $M_t$ for $t\in \mathfrak{G}$. Since t is an arbitrary element and $M={⨁}_{t\in \mathfrak{G}}{M}_t$, it follows that ${\phi }_s$ is a zero map on M, which guarantees that the equality in the theorem is satisfied. □

Proposition 2.

Let $e_{\mathfrak{G}}$ be a two-sided identity in $\mathfrak{G}$. Then, the left multiplication by any weak graded unit $x\in R_s$ for any $s\in \mathfrak{G}$ is an isomorphism in $R_{e_{\mathfrak{G}}}$-Mod. Moreover, $x{R}_{e_{\mathfrak{G}}}=R_s$.

Proof. 

Since x is a unit, it immediately follows that the left multiplication by x is an $R_{e_{\mathfrak{G}}}$-isomorphism of $R_{e_{\mathfrak{G}}}$ onto $x{R}_{e_{\mathfrak{G}}}$. Furthermore, [22], Theorem 4, yields

$$x{R}_{e_{\mathfrak{G}}}\subseteq R_s{R}_{e_{\mathfrak{G}}}\subseteq R_{s\ast e_{\mathfrak{G}}}=R_s.$$

On the other hand,

$$R_s=x{x}^{-1}{R}_s\subseteq x{R}_{s^L}{R}_s\subseteq x{R}_{e_{\mathfrak{G}}},$$

which means $R_s=x{R}_{e_{\mathfrak{G}}}$, as required. □

Proposition 3.

Let M be a $\mathfrak{G}$-weak graded left R-module. Then, $M_s$ is a left $R_{e_{\mathfrak{G}}}$-submodule of M for each $s\in \mathfrak{G}$.

Proof. 

By Definition 2, $M_s$ is an abelian subgroup of M for each $s\in \mathfrak{G}$. Furthermore, by using relation (2) of Definition 2, we obtain $R_{e_{\mathfrak{G}}}{M}_s\subseteq M_{e_{\mathfrak{G}}\ast s}=M_s$, which means that $M_s$ is a left $R_{e_{\mathfrak{G}}}$-module. Knowing that $M_s\subseteq M$ completes the proof. □

Definition 5.

A non-empty subset N of a $\mathfrak{G}$-weak graded R-module M is termed a $\mathfrak{G}$-weak graded submodule of M if N itself is a $\mathfrak{G}$-weak graded R-module.

Proposition 4.

Let N be a non-trivial sub-module of a $\mathfrak{G}$-weak graded left R-module M. If N contains all of its components that are $\mathfrak{G}$-homogeneous, then N is a $\mathfrak{G}$-weak graded sub-module.

Proof. 

Let $n={\sum }_{s\in \mathfrak{G}}{n}_s$ such that $n_s\in N$ for all $n\in N$, $n_s\in N_s$, and $s\in \mathfrak{G}$. Now, we prove that $N={⨁}_{s\in \mathfrak{G}}{N}_s$. It is clear that $N={\sum }_{s\in \mathfrak{G}}{N}_s$. Since N is a submodule of $M={⨁}_{s\in \mathfrak{G}}{M}_s$, hence $N_s=N\cap M_s$ for each $s\in \mathfrak{G}$. Furthermore, as M is a $\mathfrak{G}$-weak graded left R-module, we obtain $M_s\bigcap \left({\sum }_{t\in \mathfrak{G}}{M}_t\right)=\left\{0\right\}$ for all $s\in \mathfrak{G}$ with $s\ne t$. Thus, $N_s\bigcap \left({\sum }_{t\in \mathfrak{G}}{N}_t\right)=\left\{0\right\}$. Therefore, $N={⨁}_{s\in \mathfrak{G}}{N}_s$, as required. Next, to prove that $R_s{N}_t\subseteq N_{s\ast t}$, let $N_t=N\cap M_t$. Then, for $s\in \mathfrak{G}$, we have

$$R_s{N}_t=R_s(N\cap M_t)=R_{s}N\cap R_s{M}_t\subseteq N\cap R_s{M}_t\subseteq N\cap M_{s\ast t}=N_{s\ast t},$$

which completes the proof. □

Proposition 5.

If M is a $\mathfrak{G}$-weak graded R-module and N is a non-trivial $\mathfrak{G}$-weak graded sub-module of M, then $M/N$ is a $\mathfrak{G}$-weak graded R-module, where for each $s\in \mathfrak{G}$, we have

$${(M/N)}_s=(M_s+N)/N=\{m+N:m\in M_s\},$$

for each $s\in \mathfrak{G}$.

Proof. 

First, for all $m\in M$, we have $m={\sum }_{s\in \mathfrak{G}}{m}_s$, where $m_s\in M_s$, which implies

$$m+N=(\sum _{s\in \mathfrak{G}}{m}_s)+N=\sum _{s\in \mathfrak{G}}(m_s+N).$$

Hence,

$$M/N=\sum _{s\in \mathfrak{G}}{(M/N)}_s.$$

Suppose that

$$\sum _{s\in \mathfrak{G}}(m_s+N)=0+N$$

(5)

for $m_s\in M_s$. We have to show that $m_s+N=0+N$ for all $s\in \mathfrak{G}$. From (5), clearly, ${\sum }_{s\in \mathfrak{G}}{m}_s\in N$. Since N is a $\mathfrak{G}$-weak graded submodule, then $m_s\in N$ for each $m_s$. Therefore, $m_s+N=0+N$, $\forall s\in \mathfrak{G}$, as required. Thus,

$$M/N=\underset{s\in \mathfrak{G}}{⨁}{(M/N)}_s.$$

Next, for the inclusion property, we have:

$$R_s{(M/N)}_t=R_s(M_t+N)/N=(R_s{M}_t+N)/N\subseteq (M_{s\ast t}+N)/N={(M/N)}_{s\ast t}.$$

Therefore, $M/N$ is a $\mathfrak{G}$-weak graded R-module, as required. □

Example 1.

Consider the ring $R=M_2\left(\mathbb{R}\right)$. Let $X=D_6=<x,y:x^6=y^2=1,xy=y{x}^5>$ be the dihedral group of symmetries of a regular hexagon. The group generators are given by a counterclockwise rotation through ${\displaystyle \frac{\pi }{3}}$ radians and reflection in a line joining the midpoints of two opposite edges where x denotes the rotation and y denotes the reflection. If we choose $H=\{1,x^3,y,x^{3}y\}$ and $\mathfrak{G}=\{1,x,x^5\}$, then R is a $\mathfrak{G}$-weak graded ring (see [22], Example 3.1). Define

$$M=M_{2\times 3}\left(\mathbb{R}\right)=\left\{\left[\begin{array}{ccc}{r}_1& r_2& r_3\\ r_4& r_5& r_6\end{array}\right]:r_i\in \mathbb{R},1⩽i⩽6\right\}.$$

Then, M is a $\mathfrak{G}$-weak graded R-module with

$$M=M_1\oplus M_x\oplus M_{x^5},$$

$$where,M_1=\left\{\left[\begin{array}{ccc}{r}_1& 0& 0\\ 0& r_5& 0\end{array}\right]\right\},M_x=\left\{\left[\begin{array}{ccc}0& 0& r_3\\ r_4& 0& 0\end{array}\right]\right\}\mathrm{and}{M}_{x^5}=\left\{\left[\begin{array}{ccc}0& r_2& 0\\ 0& 0& r_6\end{array}\right]\right\}.$$

Furthermore, $R_s{M}_t\subseteq M_{s\ast t}$, $\forall s,t\in \mathfrak{G}$, as follows:

1. 

$R_1{M}_1\subseteq M_{1\ast 1}$ as for all $\left[\begin{array}{cc}a& 0\\ 0& d\end{array}\right]\in R_1$ and $\left[\begin{array}{ccc}{r}_1& 0& 0\\ 0& r_5& 0\end{array}\right]\in M_1$, we have

$$\left[\begin{array}{cc}a& 0\\ 0& d\end{array}\right]\left[\begin{array}{ccc}{r}_1& 0& 0\\ 0& r_5& 0\end{array}\right]=\left[\begin{array}{ccc}a{r}_1& 0& 0\\ 0& d{r}_5& 0\end{array}\right]\in M_1=M_{1\ast 1}.$$

2. 

$R_1{M}_x\subseteq M_{1\ast x}$ as for all $\left[\begin{array}{cc}a& 0\\ 0& d\end{array}\right]\in R_1$ and $\left[\begin{array}{ccc}0& 0& r_3\\ r_4& 0& 0\end{array}\right]\in M_x$, we have

$$\left[\begin{array}{cc}a& 0\\ 0& d\end{array}\right]\left[\begin{array}{ccc}0& 0& r_3\\ r_4& 0& 0\end{array}\right]=\left[\begin{array}{ccc}0& 0& a{r}_3\\ d{r}_4& 0& 0\end{array}\right]\in M_x=M_{1\ast x}.$$

3. 

$R_1{M}_{x^5}\subseteq M_{1\ast x^5}$ as for all $\left[\begin{array}{cc}a& 0\\ 0& d\end{array}\right]\in R_1$ and $\left[\begin{array}{ccc}0& r_2& 0\\ 0& 0& r_6\end{array}\right]\in M_{x^5}$, we have

$$\left[\begin{array}{cc}a& 0\\ 0& d\end{array}\right]\left[\begin{array}{ccc}0& r_2& 0\\ 0& 0& r_6\end{array}\right]=\left[\begin{array}{ccc}0& a{r}_2& 0\\ 0& 0& d{r}_6\end{array}\right]\in M_{x^5}=M_{1\ast x^5}.$$

4. 

$R_x{M}_1\subseteq M_{x\ast 1}$ as for all $\left[\begin{array}{cc}0& 0\\ c& 0\end{array}\right]\in R_x$ and $\left[\begin{array}{ccc}{r}_1& 0& 0\\ 0& r_5& 0\end{array}\right]\in M_1$, we have

$$\left[\begin{array}{cc}0& 0\\ c& 0\end{array}\right]\left[\begin{array}{ccc}{r}_1& 0& 0\\ 0& r_5& 0\end{array}\right]=\left[\begin{array}{ccc}0& 0& 0\\ c{r}_1& 0& 0\end{array}\right]\in M_x=M_{x\ast 1}.$$

5. 

$R_x{M}_x\subseteq M_{1\ast x}$ as for all $\left[\begin{array}{cc}0& 0\\ c& 0\end{array}\right]\in R_x$ and $\left[\begin{array}{ccc}0& 0& r_3\\ r_4& 0& 0\end{array}\right]\in M_x$, we have

$$\left[\begin{array}{cc}0& 0\\ c& 0\end{array}\right]\left[\begin{array}{ccc}0& 0& r_3\\ r_4& 0& 0\end{array}\right]=\left[\begin{array}{ccc}0& 0& 0\\ 0& 0& c{r}_3\end{array}\right]\in M_{x^5}=M_{x\ast x}.$$

6. 

$R_x{M}_{x^5}\subseteq M_{x\ast x^5}$ as for all $\left[\begin{array}{cc}0& 0\\ c& 0\end{array}\right]\in R_x$ and $\left[\begin{array}{ccc}0& r_2& 0\\ 0& 0& r_6\end{array}\right]\in M_{x^5}$, we have

$$\left[\begin{array}{cc}0& 0\\ c& 0\end{array}\right]\left[\begin{array}{ccc}0& r_2& 0\\ 0& 0& r_6\end{array}\right]=\left[\begin{array}{ccc}0& 0& 0\\ 0& c{r}_2& 0\end{array}\right]\in M_1=M_{x\ast x^5}.$$

7. 

$R_{x^5}{M}_1\subseteq M_{x^5\ast 1}$ as for all $\left[\begin{array}{cc}0& b\\ 0& 0\end{array}\right]\in R_{x^5}$ and $\left[\begin{array}{ccc}{r}_1& 0& 0\\ 0& r_5& 0\end{array}\right]\in M_1$, we have

$$\left[\begin{array}{cc}0& b\\ 0& 0\end{array}\right]\left[\begin{array}{ccc}{r}_1& 0& 0\\ 0& r_5& 0\end{array}\right]=\left[\begin{array}{ccc}0& b{r}_5& 0\\ 0& 0& 0\end{array}\right]\in M_{x^5}=M_{x^5\ast 1}.$$

8. 

$R_{x^5}{M}_x\subseteq M_{x^5\ast x}$ as for all $\left[\begin{array}{cc}0& b\\ 0& 0\end{array}\right]\in R_{x^5}$ and $\left[\begin{array}{ccc}0& 0& r_3\\ r_4& 0& 0\end{array}\right]\in M_x$, we have

$$\left[\begin{array}{cc}0& b\\ 0& 0\end{array}\right]\left[\begin{array}{ccc}0& 0& r_3\\ r_4& 0& 0\end{array}\right]=\left[\begin{array}{ccc}b{r}_4& 0& 0\\ 0& 0& 0\end{array}\right]\in M_1=M_{x^5\ast x}.$$

9. 

$R_{x^5}{M}_{x^5}\subseteq M_{x^5\ast x^5}$ as for all $\left[\begin{array}{cc}0& b\\ 0& 0\end{array}\right]\in R_{x^5}$ and $\left[\begin{array}{ccc}0& r_2& 0\\ 0& 0& r_6\end{array}\right]\in M_{x^5}$, we have

$$\left[\begin{array}{cc}0& b\\ 0& 0\end{array}\right]\left[\begin{array}{ccc}0& r_2& 0\\ 0& 0& r_6\end{array}\right]=\left[\begin{array}{ccc}0& 0& b{r}_6\\ 0& 0& 0\end{array}\right]\in M_x=M_{x^5\ast x^5}.$$

Thus, M is a non-trivial $\mathfrak{G}$-weak graded left R-module.

Proposition 6.

Let M be a strongly $\mathfrak{G}$-weak graded R-module. Then, $M=0$ if and only if $M_t=0$ for some $t\in \mathfrak{G}$.

Proof. 

Suppose that $M_t=0$ for some $t\in \mathfrak{G}$, then, for all $e_{\mathfrak{G}}\ne s\in \mathfrak{G}$, we have

$$0=R_s{M}_t=M_{s\ast t}=M_p$$

where $p=s\ast t$. Thus, the right division property on $\mathfrak{G}$ implies $M_p=0$ for all $p\in \mathfrak{G}$, as required.

The converse is even more obvious. □

4. $\mathfrak{G}$-Weak Graded Fields

Definition 6.

We call a $\mathfrak{G}$-weak graded ring that is not the zero ring a $\mathfrak{G}$-weak graded field if each $\mathfrak{G}$-homogeneous non-zero element has an inverse.

It can be noted that a $\mathfrak{G}$-weak graded field is not necessarily a field, as we show in the next example:

Example 2.

Let $(\mathbb{H},+,·)$ be the ring of real quaternions. Let $X={\mathbb{Z}}_2\times {\mathbb{Z}}_2=\{(0,0),(0,1),(1,0),$$(1,1)\}$, $H=\left\{\right(0,0),(0,1\left)\right\}$, and $\mathfrak{G}=\left\{\right(0,1),(1,1\left)\right\}$. Then, the ∗ operation (Table 1), the cocycle f (Table 2), and the actions ▷ and ◁ (Table 3) are calculated as follows.

Table 1. The binary operation ∗.

∗	$(0,1)$	$(1,1)$
$(0,1)$	$(0,1)$	$(1,1)$
$(1,1)$	$(1,1)$	$(0,1)$

Table 2. The cocycle f.

f	$(0,1)$	$(1,1)$
$(0,1)$	$(0,1)$	$(0,1)$
$(1,1)$	$(0,1)$	$(0,1)$

Table 3. The actions $s▷u$ and $s◁u$.

$\mathit{s}▷\mathit{u}$	$(0,0)$	$(0,1)$	$\mathit{s}◁\mathit{u}$	$(0,0)$	$(0,1)$
$(0,1)$	$(0,0)$	$(0,1)$	$(0,1)$	$(0,1)$	$(0,1)$
$(1,1)$	$(0,0)$	$(0,1)$	$(1,1)$	$(1,1)$	$(1,1)$

Thus, $\mathbb{H}={\mathbb{C}}_{(0,1)}\oplus {\mathbb{C}}_{(1,1)}$, where ${\mathbb{C}}_{(0,1)}=\mathbb{R}\oplus \mathbb{R}i$ and ${\mathbb{C}}_{(1,1)}=\mathbb{R}j\oplus \mathbb{R}k$. Now, the following calculations are needed to show that the inclusion property is satisfied:

1. 

${\mathbb{C}}_{(0,1)}{\mathbb{C}}_{(0,1)}\subseteq {\mathbb{C}}_{(0,1)\ast (0,1)}={\mathbb{C}}_{(0,1)}$ as for all $(r_1+r_1^{\prime }i),(r_2+r_2^{\prime }i)\in {\mathbb{C}}_{(0,1)}$, we have

$$(r_1+r_1^{\prime }i)(r_2+r_2^{\prime }i)=(r_1{r}_2-r_1^{\prime }{r}_2^{\prime })+(r_1{r}_2^{\prime }+r_1^{\prime }{r}_2)i\in \mathbb{R}\oplus \mathbb{R}i={\mathbb{C}}_{(0,1)}.$$

2. 

${\mathbb{C}}_{(0,1)}{\mathbb{C}}_{(1,1)}\subseteq {\mathbb{C}}_{(0,1)\ast (1,1)}={\mathbb{C}}_{(1,1)}$ as for all $(r+r^{\prime }i)\in {\mathbb{C}}_{(0,1)}$ and $(r_{1}j+r_1^{\prime }k)\in {\mathbb{C}}_{(1,1)}$, we have

$$(r+r^{\prime }i)(r_{1}j+r_1^{\prime }k)=(r{r}_1-r^{\prime }{r}_1^{\prime })j+(r{r}_1^{\prime }+r^{\prime }{r}_1)k\in \mathbb{R}j\oplus \mathbb{R}k={\mathbb{C}}_{(1,1)}.$$

3. 

${\mathbb{C}}_{(1,1)}{\mathbb{C}}_{(0,1)}\subseteq {\mathbb{C}}_{(1,1)\ast (0,1)}={\mathbb{C}}_{(1,1)}$ as for all $(r+r^{\prime }i)\in {\mathbb{C}}_{(0,1)}$ and $(r_{1}j+r_1^{\prime }k)\in {\mathbb{C}}_{(1,1)}$, we have

$$(r_{1}j+r_1^{\prime }k)(r+r^{\prime }i)=(r_{1}r+r_1^{\prime }{r}^{\prime })j+(r_1^{\prime }r-r_1{r}^{\prime })k\in \mathbb{R}j\oplus \mathbb{R}k={\mathbb{C}}_{(1,1)}.$$

4. 

${\mathbb{C}}_{(1,1)}{\mathbb{C}}_{(1,1)}\subseteq {\mathbb{C}}_{(1,1)\ast (1,1)}={\mathbb{C}}_{(0,1)}$ as for all $(r_{1}j+r_1^{\prime }k),(r_{2}j+r_2^{\prime }k)\in {\mathbb{C}}_{(1,1)}$, we have

$$(r_{1}j+r_1^{\prime }k)(r_{2}j+r_2^{\prime }k)=(-r_1{r}_2-r_1^{\prime }{r}_2^{\prime })+(r_1{r}_2^{\prime }-r_1^{\prime }{r}_2)i\in \mathbb{R}\oplus \mathbb{R}i={\mathbb{C}}_{(0,1)}.$$

Thus, $\mathbb{H}$ is a strongly $\mathfrak{G}$-weak graded ring. Moreover, as every element in $\mathbb{H}$ is invertible, hence every $\mathfrak{G}$-homogeneous element is invertible. Consequently, $\mathbb{H}$ is a $\mathfrak{G}$-weak graded field.

Now, we give an example of a $\mathfrak{G}$-weak graded field, which is a field.

Example 3.

Let X be the dihedral group of symmetries of a regular hexagon $D_6=\{1,x,x^2,x^3,x^4,$$x^5,y,xy,x^{2}y,x^{3}y,x^{4}y,x^{5}y\}$, $H=\{1,x^2,x^4,y,x^{2}y,x^{4}y\}$ and $\mathfrak{G}=\{1,x\}$. Then, the ∗ operation (Table 4), the cocycle f (Table 5), and the actions ▷ and ◁ (Table 6) are calculated as follows.

Table 4. The binary operation ∗.

∗	1	x
1	1	x
x	x	1

Table 5. The cocycle f.

f	1	x
1	1	1
x	1	$x^2$

Table 6. The actions $s▷u$ and $s◁u$.

$\mathit{s}▷\mathit{u}$	1	${\mathit{x}}^2$	${\mathit{x}}^4$	y	${\mathit{x}}^2\mathit{y}$	${\mathit{x}}^4\mathit{y}$	$\mathit{s}◁\mathit{u}$	1	${\mathit{x}}^2$	${\mathit{x}}^4$	y	${\mathit{x}}^2\mathit{y}$	${\mathit{x}}^4\mathit{y}$
1	1	$x^2$	$x^4$	y	$x^{2}y$	$x^{4}y$	1	1	1	1	1	1	1
x	1	$x^2$	$x^4$	$x^{2}y$	$x^{4}y$	y	x	x	x	x	x	x	x

Now, we consider the field $F=({\mathbb{R}}^2,+,·)$ with product:

$$(a,b)(a_1,b_1)=(a{a}_1-b{b}_1,a{b}_1+b{a}_1),$$

for all $(a,b),(a_1,b_1)\in F$. Hence, F is a $\mathfrak{G}$-weak graded with $F=F_1\oplus F_x$, where

$$F_1=\{(a,0):a\in \mathbb{R}\}\mathrm{and}{F}_x=\{(0,b):b\in \mathbb{R}\},$$

are additive subgroups. In addition, the inclusion property is satisfied as follows:

1. 

$F_1{F}_1=\{(a_1,0)(a_2,0):a_1,a_2\in \mathbb{R}\}=\{(a_1{a}_2,0):a_1{a}_2\in \mathbb{R}\}=F_1=F_{1\ast 1}$.

2. 

$F_1{F}_x=\{(a,0)(0,b):a,b\in \mathbb{R}\}=\{(0,ab):ab\in \mathbb{R}\}=F_x=F_{1\ast x}$.

3. 

$F_x{F}_1=\{(0,b)(a,0):a,b\in \mathbb{R}\}=\{(0,ba):ba\in \mathbb{R}\}=F_x=F_{x\ast 1}$.

4. 

$F_x{F}_x=\{(0,b_1)(0,b_2):b_1,b_2\in \mathbb{R}\}=\{(-b_1{b}_2,0):-b_1{b}_2\in \mathbb{R}\}=F_1=F_{x\ast x}$.

Therefore, F is a strongly $\mathfrak{G}$-weak graded field.

Definition 7.

Let R be a $\mathfrak{G}$-weak graded ring. An ideal I of R is termed a $\mathfrak{G}$-homogeneous ideal of R if I satisfies the condition: if $x\in I$ and $x={\sum }_{s\in \mathfrak{G}}{x}_s$ with $x_s\in R_s$, then each $x_s\in I$.

Theorem 2.

Let R be a $\mathfrak{G}$-weak graded ring. Then, R is a $\mathfrak{G}$-weak graded field if and only if $\left\{0\right\}$ is a maximal $\mathfrak{G}$-homogeneous ideal of R.

Proof. 

First, let R be a $\mathfrak{G}$-weak graded field, and let I be a maximal $\mathfrak{G}$-homogeneous ideal of R. Suppose that $I\ne \left\{0\right\}$, then there is at least $0\ne x\in I$ with $x={\sum }_{s\in \mathfrak{G}}{x}_s$, which implies $0\ne x_s\in I$ for some $\mathfrak{G}$-homogeneous component $x_s$ of x. Hence, as R is a graded field, $x_s^{-1}\in R$, which implies $x_s^{-1}{x}_s=1_R\in I$. Thus, $I=R$. However, by the maximality of I, $I\ne R$, which means that $I=\left\{0\right\}$.

On the other hand, let $I=\left\{0\right\}$ be the maximal $\mathfrak{G}$-homogeneous ideal of R. Then, for any non-zero $\mathfrak{G}$-homogeneous element $x\in R$, we have

$$<x>=\{rx:r\in R\}.$$

Hence, by the maximality of I, $<x>=R$, which implies $1_R\in <x>$. This means that there exist $r^{\prime }\in R$ such that $r^{\prime }x=1_R\in <x>$, which implies $r^{\prime }=x^{-1}$. Thus, every $\mathfrak{G}$-homogeneous element ($\ne 0$) has an inverse. Therefore, R is a $\mathfrak{G}$-weak graded field. □

It is known that every field is an integral domain, which is commutative [23]. We give here a counterexample, which shows that there is a field that has a non-homogeneous unit, although it is a non-trivially X-graded field where X is a finite group. This may not coincide with some of what was mentioned in [10,11,24].

Example 4.

Consider the field $F=({\mathbb{R}}^2,+,·)$, where ${\mathbb{R}}^2=\{(a,b):a,b\in \mathbb{R}\}$ with $(a_1,b_1)$$(a_2,b_2)=(a_1{a}_2-b_1{b}_2,a_1{b}_2+b_1{a}_2)$, for all $(a_1,b_1),(a_2,b_2)\in {\mathbb{R}}^2$. Hence, $F=F_0\oplus F_1$ is a ${\mathbb{Z}}_2$-graded field with:

$$F_0=\{(a,0):a\in \mathbb{R}\}\mathrm{and}{F}_1=\{(0,b):b\in \mathbb{R}\},$$

where $F_0$ and $F_1$ are additive subgroups. The inclusion property is satisfied as follows:

1. 

$F_0{F}_0=\{(a_1,0)(a_2,0):a_1,a_2\in \mathbb{R}\}=\{(a_1{a}_2,0):a_1{a}_2\in \mathbb{R}\}=F_0=F_{0+0}$.

2. 

$F_0{F}_1=\{(a,0)(0,b):a,b\in \mathbb{R}\}=\{(0,ab):ab\in \mathbb{R}\}=F_1=F_{0+1}$.

3. 

$F_1{F}_0=\{(0,b)(a,0):a,b\in \mathbb{R}\}=\{(0,ba):ba\in \mathbb{R}\}=F_1=F_{1+0}$.

4. 

$F_1{F}_1=\{(0,b_1)(0,b_2):b_1,b_2\in \mathbb{R}\}=\{(-b_1{b}_2,0):-b_1{b}_2\in \mathbb{R}\}=F_0=F_{1+1}$.

Thus, F is a strongly ${\mathbb{Z}}_2$-graded field. Moreover, it can be noted that $(1,1)$ is a unit as

$$(1,1)(\frac{1}{2},-\frac{1}{2})=(\frac{1}{2},-\frac{1}{2})(1,1)=(1,0)=1_R,$$

but, obviously, $(1,1)$ is not a homogeneous element.

As $\mathfrak{G}$-weak graded vector spaces are no more than modules over fields, all the results mentioned for $\mathfrak{G}$-weak graded modules are applicable here.

Example 5.

Let F be a field that is $\mathfrak{G}$-weak graded. Then, F is a $\mathfrak{G}$-weak graded vector space over itself by putting $V_s=F_s$ for all $s\in \mathfrak{G}$.

Example 6.

Let X be the symmetric group $S_3=\{e,\left(12\right),\left(13\right),\left(23\right),\left(123\right),\left(132\right)\}$, $H=\{e,(12\left)\right\}$, and $\mathfrak{G}=\left\{\right(12),(13),(23\left)\right\}$. Then, the ∗ operation (Table 7), the cocycle f (Table 8), and the actions ▷ and ◁ (Table 9) are calculated as follows.

Table 7. The binary operation ∗.

∗	$\left(12\right)$	$\left(13\right)$	$\left(23\right)$
$\left(12\right)$	$\left(12\right)$	$\left(13\right)$	$\left(23\right)$
$\left(13\right)$	$\left(23\right)$	$\left(12\right)$	$\left(13\right)$
$\left(23\right)$	$\left(13\right)$	$\left(23\right)$	$\left(12\right)$

Table 8. The cocycle f.

f	$\left(12\right)$	$\left(13\right)$	$\left(23\right)$
$\left(12\right)$	$\left(12\right)$	$\left(12\right)$	$\left(12\right)$
$\left(13\right)$	$\left(12\right)$	$\left(12\right)$	$\left(12\right)$
$\left(23\right)$	$\left(12\right)$	$\left(12\right)$	$\left(12\right)$

Table 9. The actions $s▷u$ and $s◁u$.

$\mathit{s}▷\mathit{u}$	e	$\left(12\right)$	$\mathit{s}◁\mathit{u}$	e	$\left(12\right)$
$\left(12\right)$	e	$\left(12\right)$	$\left(12\right)$	$\left(12\right)$	$\left(12\right)$
$\left(13\right)$	e	$\left(12\right)$	$\left(13\right)$	$\left(13\right)$	$\left(23\right)$
$\left(23\right)$	e	$\left(12\right)$	$\left(23\right)$	$\left(23\right)$	$\left(13\right)$

If we choose F to be the field $\mathbb{R}$ of real numbers, then F is $\mathfrak{G}$-weak graded by putting $F_{e_{\mathfrak{G}}}=F$. Consider the vector space ${\mathbb{R}}^3=\{(a,b,c):a,b,c\in \mathbb{R}\}$, and define

$$V_{\left(12\right)}=\{(a,a,a):a\in \mathbb{R}\},$$

$$V_{\left(13\right)}=\{(0,b,0):b\in \mathbb{R}\}$$

and

$$V_{\left(23\right)}=\{(0,0,c):c\in \mathbb{R}\}.$$

Hence, ${\mathbb{R}}^3=V_{\left(12\right)}\oplus V_{\left(13\right)}\oplus V_{\left(23\right)}$. Moreover, the property (3) is satisfied for all $s\in \mathfrak{G}$. Therefore, $V={\mathbb{R}}^3$ is a strongly $\mathfrak{G}$-weak graded vector space.