Generalized orthopair fuzzy matrices

1. Introduction

The concept of an intuitionistic fuzzy matrix (IFM) was introduced by Khan et al. [1] and Im et al. [2] to generalize the concept of Thomason’s fuzzy matrix [3]. Each element in an IFM is expressed by an ordered pair $⟨{\mu }_{a_{ij}},{\nu }_{a_{ij}}⟩$ with ${\mu }_{a_{ij}},{\nu }_{a_{ij}}\in [0,1]$ and $0\le {\mu }_{a_{ij}}+{\nu }_{a_{ij}}\le 1$. Since the IFS was proposed, it has received a lot of attention in many fields, such as pattern recognition, medical diagnosis, and so on. But if the sum of the membership degree and the nonmembership degree is greater than 1, the IFM is no longer applicable. Khan and Pal [4] defined some basic operations and relations of IFMs including maxmin, minmax, complement, algebraic sum, algebraic product etc. and proved equality between IFMs. After the introduction of IFM theory, many researchers attempted the important role in IFM theory [5,6,7,8,9,10,11,12,13,14].

Yager [15] introduced the concept of a Pythagorean fuzzy set (PFS) and developed some aggregation operations for PFS. Zhang and Xu [16] studied various binary operations over PFS and also proposed a decision making algorithm based on PFS. Recently, Yager [17] proposed the concept of the q-ROFS, in which MD u and NMD satisfy ${\mu }^q+{\nu }^q\le 1(q\ge 1)$. We can see that the IFS and PFS are special cases of q-ROFS. As q-rung increases, the range of processing fuzzy information increases. In recent years, the topic of information aggregation has attracted a lot of attention and is one of the key research issues in the problems of MAGDM. As far as q-ROFS is concerned, different aggregation operators have been introduced and applied, such as q-ROFWA and q-ROFWG operator [18]. After the introduction of q-ROFS theory, many researchers attempted the important role in PFS and q-ROFS theory [19,20,21,22,23,24,25].

Using the theory of PFS ans q-ROFS, Silambarasan and Sriram [26] defined the Pythagorean fuzzy matrix (PFM) theory and its algebraic operations. Each element in an PFM is expressed by an ordered pair $⟨{\mu }_{a_{ij}},{\nu }_{a_{ij}}⟩$ with ${\mu }_{a_{ij}},{\nu }_{a_{ij}}\in [0,1]$ and $0\le {\mu }_{a_{ij}}^2+{\nu }_{a_{ij}}^2\le 1$. Also,they constructed $nA$ and $A^n$ of a Pythagorean fuzzy matrix $A$ and using these operations. Further, they defined the commutative monoid on Pythagorean fuzzy matrices and proved that the set of all PFMs forms a commutative monoid [27]. After the introduction of PFM theory, many researchers worked in PFM and Fermatean fuzzy matrix theory [28]. Since the PFM was brought up, it has been widely applied in FM operations on q-ROFMs and prove their desirable properties. In Section 5, we define necessity and possibility on q-ROFMs and proved some algebraic properties of these operations. In Section 6, we define a new operation(@) on q-ROFMs and investigated their algebraic properties. We write the conclusion of the paper in the last section.

2. Preliminaries

In this section, some basic concepts related to the intuitionistic fuzzy matrix (IFM) and Pythagorean fuzzy matrix (PFM) have been given.

Definition 1.[1] An intuitionistic fuzzy matrix (IFM) is a pair $A=\left[⟨{\mu }_{a_{ij}},{\nu }_{a_{ij}}⟩\right]$ of a non negative real numbers ${\mu }_{a_{ij}},{\nu }_{a_{ij}}\in [0,1]$ satisfying $0\le {\mu }_{a_{ij}}+{\nu }_{a_{ij}}\le 1$ for all $i,j.$

Definition 2.[26] A Pythagorean fuzzy matrix (PFM) is a pair $A=\left[⟨{\mu }_{a_{ij}},{\nu }_{a_{ij}}⟩\right]$ of non negative real numbers ${\mu }_{a_{ij}},{\nu }_{a_{ij}}\in [0,1]$ satisfying the condition $0\le {\mu }_{a_{ij}}^2+{\nu }_{a_{ij}}^2\le 1$, for all $i,j$. Where ${\mu }_{a_{ij}}\in [0,1]$ is called the degree of membership and ${\nu }_{a_{ij}}\in [0,1]$ is called the degree of non-membership.

3. q-rung orthopair fuzzy matrices (q-ROFMs)

In this section, we briefly introduce the q-rung orthopair fuzzy matrices and give examples.

Definition 3. A q-rung orthopair fuzzy matrix (q-ROFM) is a pair $A=\left[⟨{\mu }_{a_{ij}},{\nu }_{a_{ij}}⟩\right]$ of non negative real numbers ${\mu }_{a_{ij}},{\nu }_{a_{ij}}\in [0,1]$ satisfying the condition $0\le {\mu }_{a_{ij}}^q+{\nu }_{a_{ij}}^q\le 1(q\ge 1)$, for all $i,j$. Where ${\mu }_{a_{ij}}\in [0,1]$ is called the degree of membership and ${\nu }_{a_{ij}}\in [0,1]$ is called the degree of non-membership.

For understanding the q-ROFM better, we give an instance to illuminate the understandability of the q-ROFM: We can definitely get $0.9+0.6>1$, and, therefore, it does not follow the condition of intuitionistic fuzzy matrices. Also, we can get $(0.9{)}^2+(0.6{)}^2=0.81+0.36=1.17>1$, which does not obey the constraint condition of Pythagorean fuzzy matrices. However, we can get $(0.9{)}^q+(0.6{)}^q\le 1(q\ge 1)$, which is good enough to apply the q-ROFM to control it.

Theorem 1. The q-ROFMs is larger than the set of PFMs and IFMs.

Proof.

Any intuitionistic fuzzy matrix $({\mu }_{a_{ij}},{\nu }_{a_{ij}})$ that is an IFM is also a PFM and a q-ROFM. For any two fuzzy matrices $A,B\in [0,1]$, we get ${\mu }_{a_{ij}}^q\le {\mu }_{a_{ij}}^2\le {\mu }_{a_{ij}}$ and ${\nu }_{a_{ij}}^q\le {\nu }_{a_{ij}}^2\le {\nu }_{a_{ij}}$. Thus ${\mu }_{a_{ij}}+{\nu }_{a_{ij}}\le 1\Rightarrow {\mu }_{a_{ij}}^2+{\nu }_{a_{ij}}^2\le 1\Rightarrow {\mu }_{a_{ij}}^q+{\nu }_{a_{ij}}^q\le 1.$ Consider a point $(0.9,0.6)$, we see that $(0.9{)}^q+(0.6{)}^q\le 1,(q\ge 1)$ thus this is an q-ROFM. Since $(0.9{)}^2+(0.6{)}^2=0.81+0.36=1.17\ge 1$ and $0.9+0.6\ge 1$, therefore $(0.9,0.6)$ is neither a PFM nor an IFM.

This development can be evidently recognized in Figure 1. Here we notice that IFMs are all points beneath the line ${\mu }_{a_{ij}}+{\nu }_{a_{ij}}\le 1,$ the PFMs are all points with ${\mu }_{a_{ij}}^2+{\nu }_{a_{ij}}^2\le 1,$ and the q-ROFMs are all points with ${\mu }_{a_{ij}}^q+{\nu }_{a_{ij}}^q\le 1$. We see then that the q-ROFMs enable for the presentation of a bigger body of nonstandard membership function then IFMs and PFMs. Here $Q_{m\times n}$ denote the set of all the q-ROFMs.

4. PFM operations on q-ROFMs

In this section we propose the definition of q-rung orthopair fuzzy matrix (q-ROFM) and introduce some operations on q-ROFM. Also, we prove some algebraic properties, such as commutativity, associativity, identity, distributivity and De Morgan’s laws over complement.

Definition 4. Let $A=\left[⟨{\mu }_{a_{ij}},{\nu }_{a_{ij}}⟩\right]$ and $B=\left[⟨{\mu }_{b_{ij}},{\nu }_{b_{ij}}⟩\right]$ be two q-ROFMs of the same size. Then

• (i) $A{\vee }_{q}B=\left[⟨max\{{\mu }_{a_{ij}},{\mu }_{b_{ij}}\}min\{{\nu }_{a_{ij}},{\nu }_{b_{ij}}\}⟩\right]$,
• (ii) $A{\wedge }_{q}B=\left[⟨min\{{\mu }_{a_{ij}},{\mu }_{b_{ij}}\}max\{{\nu }_{a_{ij}},{\nu }_{b_{ij}}\}⟩\right]$,
• (iii) $A^C=\left[⟨{\mu }_{a_{ij}},{\nu }_{a_{ij}}⟩\right]$.

Definition 5. Let $A=\left[⟨{\mu }_{a_{ij}},{\nu }_{a_{ij}}⟩\right]$ and $B=\left[⟨{\mu }_{b_{ij}},{\nu }_{b_{ij}}⟩\right]$ be two q-ROFMs of the same size. Then

• (i) $A{\oplus }_{q}B=\left[⟨{({\mu }_{a_{ij}}^q+{\mu }_{b_{ij}}^q-{\mu }_{a_{ij}}^q{\mu }_{b_{ij}}^q)}^{1/q},{\nu }_{a_{ij}}{\nu }_{b_{ij}}⟩\right]$,
• (ii) $A{\otimes }_{q}B=\left[⟨{\mu }_{a_{ij}}{\mu }_{b_{ij}},{({\nu }_{a_{ij}}^q+{\nu }_{b_{ij}}^q-{\nu }_{a_{ij}}^q{\nu }_{b_{ij}}^q)}^{1/q}⟩\right]$,
• (iii) $nA=\left[⟨{(1-(1-{\mu }_{a_{ij}}^q{)}^n)}^{1/q},({\nu }_{a_{ij}}{)}^n⟩\right]$,
• (iv) $A^n=\left[⟨{\mu }_{a_{ij}}^n,{(1-(1-{\mu }_{a_{ij}}^q{)}^n)}^{1/q}⟩\right]$,

where $+,-$ and $.$ are ordinary addition, subtraction and multiplication respectively.

Theorem 2. For $A,B\in Q_{m\times n}$, we have

• (i) $A{\oplus }_{q}B=B{\oplus }_{q}A,$
• (ii) $A{\otimes }_{q}B=B{\otimes }_{q}A$,
• (iii) $n(A{\oplus }_{q}B)=nA{\oplus }_{q}nB,n>0$,
• (iv) $(n_1+n_2)A=n_{1}A{\oplus }_q{n}_{2}A,n_1,n_2>0$,
• (v) $(A{\oplus }_{q}B{)}^n=A^n{\otimes }_q{B}^n,n>0,$
• (vi) $A^{n_1}{\otimes }_q{A}^{n_2}=A^{(n_1+n_2)},n_1,n_2>0$.

Proof.

• (i) $$\begin{array}{rl}A{\oplus }_{q}B& =\left[⟨{({\mu }_{a_{ij}}^q+{\mu }_{b_{ij}}^q-{\mu }_{a_{ij}}^q{\mu }_{b_{ij}}^q)}^{1/q},{\nu }_{a_{ij}}{\nu }_{b_{ij}}⟩\right]\\ & =\left[⟨{({\mu }_{b_{ij}}^q+{\mu }_{a_{ij}}^q-{\mu }_{b_{ij}}^q{\mu }_{a_{ij}}^q)}^{1/q},{\nu }_{b_{ij}}{\nu }_{a_{ij}}⟩\right]\\ & =B{\oplus }_{q}A.\end{array}$$
• (ii) $$\begin{array}{rl}A{\otimes }_{q}B& =\left[⟨{\mu }_{a_{ij}}{\mu }_{b_{ij}},{({\nu }_{a_{ij}}^q+{\nu }_{b_{ij}}^q-{\nu }_{a_{ij}}^q{\nu }_{b_{ij}}^q)}^{1/q}⟩\right]\\ & =\left[⟨{\mu }_{b_{ij}}{\mu }_{a_{ij}},{({\nu }_{b_{ij}}^q+{\nu }_{a_{ij}}^q-{\nu }_{b_{ij}}^q{\nu }_{a_{ij}}^q)}^{1/q}⟩\right]\\ & =B{\otimes }_{q}A.\end{array}$$
• (iii) $$\begin{array}{rl}n(A{\oplus }_{q}B)& =n\left[⟨{({\mu }_{a_{ij}}^q+{\mu }_{b_{ij}}^q-{\mu }_{a_{ij}}^q{\mu }_{b_{ij}}^q)}^{1/q},{\nu }_{a_{ij}}{\nu }_{b_{ij}}⟩\right]\\ & =\left[⟨{(1-{[1-({\mu }_{a_{ij}}^q+{\mu }_{b_{ij}}^q-{\mu }_{a_{ij}}^q{\mu }_{b_{ij}}^q)]}^n)}^{1/q},({\nu }_{a_{ij}}{\nu }_{b_{ij}}{)}^n⟩\right]\\ & =\left[⟨{(1-(1-{\mu }_{a_{ij}}^q{)}^n(1-{\mu }_{b_{ij}}^q{)}^n)}^{1/q},({\nu }_{a_{ij}}{\nu }_{b_{ij}}{)}^n⟩\right]\\ nA{\oplus }_{q}nB& =\left[⟨{(1-(1-{\mu }_{a_{ij}}^q{)}^n)}^{1/q},({\nu }_{a_{ij}}{)}^n⟩{\oplus }_q⟨{(1-(1-{\mu }_{a_{ij}}^q{)}^n)}^{1/q},({\nu }_{a_{ij}}{)}^n⟩\right]\\ & =\left[⟨{(1-(1-{\mu }_{a_{ij}}^q{)}^n(1-{\mu }_{a_{ij}}^q{)}^n)}^{1/q},({\nu }_{a_{ij}}{\nu }_{b_{ij}}{)}^n⟩\right]\\ & =n(A{\oplus }_{q}B).\end{array}$$
• (iv) $$\begin{array}{rl}(n_1+n_2)A& =\left[⟨{(1-(1-{\mu }_{a_{ij}}^q{)}^{n_1+n_2})}^{1/q},({\nu }_{a_{ij}}{)}^{n_1+n_2}⟩\right]\\ & =\left[⟨{(1-(1-{\mu }_{a_{ij}}^q{)}^{n_1}(1-{\mu }_{a_{ij}}^q{)}^{n_2})}^{1/q},({\nu }_{a_{ij}}{\nu }_{b_{ij}}{)}^{n_1+n_2}⟩\right]\\ & =\left[⟨{(1-(1-{\mu }_{a_{ij}}^q{)}^{n_1})}^{1/q},({\nu }_{a_{ij}}{)}^{n_1}⟩{\oplus }_q⟨{(1-(1-{\mu }_{a_{ij}}^q{)}^{n_2})}^{1/q},({\nu }_{a_{ij}}{)}^{n_2}⟩\right]\\ & =n_{1}A{\oplus }_q{n}_{2}A.\end{array}$$
• (v) $$\begin{array}{rl}(A{\otimes }_{q}B{)}^n& ={\left[⟨{\mu }_{a_{ij}}{\mu }_{b_{ij}},{({\nu }_{a_{ij}}^q+{\nu }_{b_{ij}}^q-{\nu }_{a_{ij}}^q{\nu }_{b_{ij}}^q)}^{1/q}⟩\right]}^n\\ & ={\left[⟨{\left({\mu }_{a_{ij}}{\mu }_{b_{ij}}\right)}^n,{(1-{(1-{\nu }_{a_{ij}}^q-{\nu }_{b_{ij}}^q+{\nu }_{a_{ij}}^q{\nu }_{b_{ij}}^q)}^n)}^{1/q}⟩\right]}^n\\ & =\left[⟨{\left({\mu }_{a_{ij}}\right)}^n{\left({\mu }_{b_{ij}}\right)}^n,{(1-(1-{\mu }_{a_{ij}}^q{)}^n(1-{\mu }_{a_{ij}}^q{)}^n)}^{1/q}⟩\right]\\ & =\left[⟨{\mu }_{a_{ij}}^n,{(1-(1-{\mu }_{a_{ij}}^q{)}^n)}^{1/q}⟩{\otimes }_q⟨{\mu }_{b_{ij}}^n,{(1-(1-{\mu }_{b_{ij}}^q{)}^n)}^{1/q}⟩\right]\\ & =A^n{\otimes }_q{B}^n.\end{array}$$

• (vi) $$\begin{array}{rl}{A}^{n_1}{\otimes }_q{A}^{n_2}& =\left[⟨{\mu }_{a_{ij}}^{n_1},{(1-(1-{\mu }_{a_{ij}}^q{)}^{n_1})}^{1/q}⟩{\otimes }_q⟨{\mu }_{a_{ij}}^{n_2},{(1-(1-{\mu }_{a_{ij}}^q{)}^{n_2})}^{1/q}⟩\right]\\ & =\left[⟨{\mu }_{a_{ij}}^{n_1+n_2},{(1-(1-{\mu }_{a_{ij}}^q{)}^{n_1+n_2})}^{1/q}⟩\right]\\ & =A^{(n_1+n_2)}.\end{array}$$

Theorem 3. For $A,B\in Q_{m\times n}$, we have

• (i) $A{\wedge }_{q}B=B{\wedge }_{q}A,$
• (ii) $A{\vee }_{q}B=B{\vee }_{q}A,$
• (iii) $A{\wedge }_q(B{\wedge }_{q}C)=(A{\wedge }_{q}B){\wedge }_{q}C,$
• (iv) $A{\vee }_q(B{\vee }_{q}C)=(A{\vee }_{q}B){\vee }_{q}C,$
• (v) $n(A{\wedge }_{q}B)=nA{\wedge }_{q}nB,$
• (vi) $n(A{\vee }_{q}B)=nA{\vee }_{q}nB,$
• (vii) $(A{\wedge }_{q}B{)}^n=A^n{\wedge }_q{B}^n,$
• (viii) $(A{\vee }_{q}B{)}^n=A^n{\vee }_q{B}^n$.

Proof. Here we prove (i), (iii) and (vi). The remaining are similar.

• (i) $$\begin{array}{rl}(A{\wedge }_{q}B)& =(min\{{\mu }_{a_{ij}},{\mu }_{b_{ij}}\},max\{{\nu }_{a_{ij}},{\nu }_{b_{ij}}\})\\ & =(min\{{\mu }_{b_{ij}},{\mu }_{a_{ij}}\},max\{{\nu }_{b_{ij}},{\nu }_{a_{ij}}\})\\ & =B{\wedge }_{q}A.\end{array}$$
• (iii) $$\begin{array}{rl}A{\wedge }_q(B{\wedge }_{q}C)& =({\mu }_{a_{ij}},{\nu }_{b_{ij}}){\wedge }_q(min\{{\mu }_{b_{ij}},{\mu }_{c_{ij}}\},max\{{\nu }_{b_{ij}},{\nu }_{c_{ij}}\})\\ & =(min\{{\mu }_{a_{ij}},min\{{\mu }_{b_{ij}},{\mu }_{c_{ij}}\}\},max\{{\nu }_{a_{ij}},max\{{\nu }_{b_{ij}},{\nu }_{c_{ij}}\}\})\\ & =(min\{min\{{\mu }_{a_{ij}},{\mu }_{b_{ij}}\},{\mu }_{c_{ij}}\},max\{max\{{\nu }_{a_{ij}},{\nu }_{b_{ij}}\},{\nu }_{c_{ij}}\})\\ & =(min\{{\mu }_{a_{ij}},{\mu }_{b_{ij}}\},max\{{\nu }_{a_{ij}},{\nu }_{b_{ij}}\}){\wedge }_q({\mu }_{c_{ij}},{\nu }_{c_{ij}})\\ & =(A{\wedge }_{q}B){\wedge }_{q}C.\end{array}$$
• (vi) $$\begin{array}{rl}n(A{\vee }_{q}B)& =nA{\vee }_{q}nB\\ & =n(min\{{\mu }_{a_{ij}},{\mu }_{b_{ij}}\},max\{{\nu }_{a_{ij}},{\nu }_{b_{ij}}\})\\ & =\left[⟨{(1-(1-max\{{\mu }_{a_{ij}}^q,{\mu }_{b_{ij}}^q\}{)}^n)}^{1/q},min\{({\nu }_{a_{ij}}{)}^n,({\nu }_{b_{ij}}{)}^n\}⟩\right]\\ nA{\vee }_{q}nB& =\left[⟨({(1-(1-{\mu }_{a_{ij}}^q{)}^n)}^{1/q},{{\nu }_{a_{ij}}}^n)\vee ({(1-(1-{\mu }_{a_{ij}}^q{)}^n)}^{1/q},({\nu }_{a_{ij}}{)}^n)⟩\right]\\ & =\left[⟨max\{{(1-(1-{\mu }_{a_{ij}}^q{)}^n)}^{1/q},{(1-(1-{\mu }_{b_{ij}}^q{)}^n)}^{1/q}\},min\{({\nu }_{a_{ij}}{)}^n,({\nu }_{b_{ij}}{)}^n\}⟩\right]\\ & =\left[⟨{(1-(1-max\{{\mu }_{a_{ij}}^q,{\mu }_{b_{ij}}^q\}{)}^n)}^{1/q},min\{({\nu }_{a_{ij}}{)}^n,({\nu }_{b_{ij}}{)}^n\}⟩\right]\\ & =n(A{\vee }_{q}B).\end{array}$$

Theorem 4. For $A,B\in Q_{m\times n}$, we have

• (i) $(A{\wedge }_{q}B{)}^C=A^C{\vee }_q{B}^C,$
• (ii) $(A{\vee }_{q}B{)}^C=A^C{\wedge }_q{B}^C,$
• (iii) $(A{\oplus }_{q}B{)}^C=A^C{\otimes }_q{B}^C,$
• (iv) $(A{\otimes }_{q}B{)}^C=A^C{\oplus }_q{B}^C,$
• (v) $(A^C{)}^n=(nA{)}^C,$
• (vi) $n(A^C)=(A^n{)}^C.$

Proof. Here we prove (i), (iii) and (iv). The remaining are similar.

• (i) $$\begin{array}{rl}(A{\wedge }_{q}B{)}^C& =\left[⟨{(min\{{\mu }_{a_{ij}},{\mu }_{b_{ij}}\},max\{{\nu }_{a_{ij}},{\nu }_{b_{ij}}\})}^C⟩\right]\\ & =\left[⟨max\{{\nu }_{a_{ij}},{\nu }_{b_{ij}}\},min\{{\mu }_{a_{ij}},{\mu }_{b_{ij}}\}⟩\right]\\ & =({\nu }_{a_{ij}},{\mu }_{a_{ij}}){\vee }_q({\nu }_{b_{ij}},{\mu }_{b_{ij}})\\ & =A^C{\vee }_q{B}^C.\end{array}$$
• (iii) $$\begin{array}{rl}(A{\oplus }_{q}B{)}^C& =\left[⟨{({({\mu }_{a_{ij}}^q+{\mu }_{b_{ij}}^q-{\mu }_{a_{ij}}^q{\mu }_{b_{ij}}^q)}^{1/q},{\nu }_{a_{ij}}{\nu }_{b_{ij}})}^C⟩\right]\\ & =\left[⟨{\mu }_{a_{ij}}{\mu }_{b_{ij}},{({\nu }_{a_{ij}}^q+{\nu }_{b_{ij}}^q-{\nu }_{a_{ij}}^q{\nu }_{b_{ij}}^q)}^{1/q}⟩\right]\\ & =({\nu }_{a_{ij}}{\mu }_{b_{ij}})\otimes ({\nu }_{b_{ij}}{\mu }_{b_{ij}})\\ & =A^C{\otimes }_q{B}^C.\end{array}$$
• (v) $$\begin{array}{rl}(A^C{)}^n& =({\nu }_{a_{ij}},{\mu }_{a_{ij}}{)}^n\\ & =\left[⟨{\nu }_{a_{ij}}^n,{(1-(1-{\mu }_{a_{ij}}^q{)}^n)}^{1/q}⟩\right]\\ & =\left[⟨{({(1-(1-{\mu }_{a_{ij}}^q{)}^n)}^{1/q},{\nu }_{a_{ij}}^n)}^C⟩\right]\\ & =(nA{)}^C.\end{array}$$

Theorem 5. For $A,B,C\in Q_{m\times n}$, we have

• (i) $(A{\vee }_{q}B){\wedge }_{q}C=(A{\wedge }_{q}C){\vee }_q(B{\wedge }_{q}C),$
• (ii) $(A{\wedge }_{q}B){\vee }_{q}C=(A{\vee }_{q}C){\wedge }_q(B{\vee }_{q}C),$
• (iii) $(A{\vee }_{q}B){\oplus }_{q}C=(A{\oplus }_{q}C){\vee }_q(B{\oplus }_{q}C),$
• (iv) $(A{\wedge }_{q}B){\oplus }_{q}C=(A{\oplus }_{q}C){\wedge }_q(B{\oplus }_{q}C),$
• (v) $(A{\vee }_{q}B){\otimes }_{q}C=(A{\otimes }_{q}C){\vee }_q(B{\otimes }_{q}C),$
• (vi) $(A{\wedge }_{q}B){\otimes }_{q}C=(A{\otimes }_{q}C){\wedge }_q(B{\otimes }_{q}C).$

Proof. Here we prove(i), (iii) and (v). The remaining can be proved analogously.

(i)

$$\begin{array}{rl}(A{\vee }_{q}B){\wedge }_{q}C& =\left[⟨min\{max\{{\mu }_{a_{ij}},{\mu }_{b_{ij}}\},{\mu }_{c_{ij}}\},max\{min\{{\nu }_{a_{ij}},{\nu }_{b_{ij}}\}{\nu }_{c_{ij}}\}⟩\right]\\ & =\left[⟨max\{min\{{\mu }_{a_{ij}},{\mu }_{b_{ij}}\},min\{{\mu }_{a_{ij}},{\mu }_{c_{ij}}\}\},min\{max\{{\nu }_{a_{ij}},{\nu }_{b_{ij}}\},max\{{\nu }_{b_{ij}},{\nu }_{c_{ij}}\}\}⟩\right]\\ & =\left[⟨\{min\{{\mu }_{a_{ij}},{\mu }_{c_{ij}}\},max\{{\nu }_{a_{ij}},{\nu }_{c_{ij}}\}\}\bigvee \{min\{{\nu }_{b_{ij}},{\nu }_{c_{ij}}\},max\{{\nu }_{b_{ij}},{\nu }_{c_{ij}}\}\}⟩\right]\\ & =(A{\wedge }_{q}C){\vee }_q(B{\wedge }_{q}C).\end{array}$$ Hence, $(A{\vee }_{q}B){\wedge }_{q}C=(A{\wedge }_{q}C){\vee }_q(B{\wedge }_{q}C).$

(iii)

$$\begin{array}{rl}(A{\vee }_{q}B){\oplus }_{q}C& =(max\{{\mu }_{a_{ij}},{\mu }_{b_{ij}}\},min\{{\nu }_{a_{ij}},{\nu }_{b_{ij}}\})\oplus ({\mu }_{c_{ij}},{\nu }_{c_{ij}})\\ & =\left[⟨{(max\{{\mu }_{a_{ij}}^q,{\mu }_{b_{ij}}^q\}+{\mu }_{c_{ij}}^q-max\{{\mu }_{a_{ij}}^q,{\mu }_{b_{ij}}^q\}{\mu }_{c_{ij}}^q)}^{1/q},min\{{\nu }_{a_{ij}},{\nu }_{b_{ij}}\}{\nu }_{c_{ij}}⟩\right]\\ & =\left[⟨{((1-{\mu }_{c_{ij}}^q)max\{{\mu }_{a_{ij}}^q,{\mu }_{b_{ij}}^q\}+{\mu }_{c_{ij}}^q)}^{1/q},min\{{\nu }_{a_{ij}}{\nu }_{c_{ij}},{\nu }_{b_{ij}}{\nu }_{c_{ij}}\}⟩\right].\end{array}$$ $$\begin{array}{rl}(A{\oplus }_{q}C){\vee }_q(B{\oplus }_{q}C)& =\left[⟨max\{{({\mu }_{a_{ij}}^q+{\mu }_{c_{ij}}^q-{\mu }_{a_{ij}}^q{\mu }_{c_{ij}}^q)}^{1/q},{({\mu }_{b_{ij}}^q+{\mu }_{c_{ij}}^q-{\mu }_{b_{ij}}^q{\mu }_{c_{ij}}^q)}^{1/q}\},min\{{\nu }_{a_{ij}}{\nu }_{c_{ij}},{\nu }_{b_{ij}}{\nu }_{c_{ij}}\}⟩\right]\\ & =\left[⟨max\{{((1-{\mu }_{c_{ij}}^q){\mu }_{a_{ij}}^q+{\mu }_{c_{ij}}^q)}^{1/q},{((1-{\mu }_{c_{ij}}^q){\mu }_{b_{ij}}^q+{\mu }_{c_{ij}}^q)}^{1/q}\},min\{{\nu }_{a_{ij}}{\nu }_{c_{ij}},{\nu }_{b_{ij}}{\nu }_{c_{ij}}\}⟩\right]\\ & =\left[⟨{((1-{\mu }_{c_{ij}}^q)max\{{\mu }_{a_{ij}}^q,{\mu }_{b_{ij}}^q\}+{\mu }_{c_{ij}}^q)}^{1/q},min\{{\nu }_{a_{ij}}{\nu }_{c_{ij}},{\nu }_{b_{ij}}{\nu }_{c_{ij}}\}⟩\right]\\ & =(A{\vee }_{q}B){\oplus }_{q}C.\end{array}$$ Hence, $(A{\vee }_{q}B){\oplus }_{q}C=(A{\oplus }_{q}C){\vee }_q(B{\oplus }_{q}C)$.

(v)

$$\begin{array}{rl}(A{\vee }_{q}B){\otimes }_{q}C& =\left[⟨max\{{\mu }_{a_{ij}},{\mu }_{b_{ij}}\}{\mu }_{c_{ij}},{(min\{{\nu }_{a_{ij}}^q,{\nu }_{b_{ij}}^q\}+{\nu }_{c_{ij}}^q-min\{{\nu }_{a_{ij}}^q,{\nu }_{b_{ij}}^q\}{\nu }_{c_{ij}}^q)}^{1/q}⟩\right]\\ & =\left[⟨max\{{\mu }_{a_{ij}},{\mu }_{b_{ij}}\}{\mu }_{c_{ij}},{((1-{\nu }_{c_{ij}}^q)min\{{\nu }_{a_{ij}}^q,{\nu }_{b_{ij}}^q\}+{\nu }_{c_{ij}}^q)}^{1/q}⟩\right].\end{array}$$ $$\begin{array}{rl}(A{\otimes }_{q}C){\vee }_q(B{\otimes }_{q}C)& =\left[⟨max\{{\mu }_{a_{ij}}{\mu }_{c_{ij}},{\mu }_{b_{ij}}{\mu }_{c_{ij}}\},min\{{({\nu }_{a_{ij}}^q+{\nu }_{c_{ij}}^q-{\nu }_{a_{ij}}^q{\nu }_{c_{ij}}^q)}^{1/q},{({\nu }_{b_{ij}}^q+{\nu }_{c_{ij}}^q-{\nu }_{b_{ij}}^q{\nu }_{c_{ij}}^q)}^{1/q}\}⟩\right]\\ & =\left[⟨max\{{\mu }_{a_{ij}}{\mu }_{c_{ij}},{\mu }_{b_{ij}}{\mu }_{c_{ij}}\},min\{{((1-{\nu }_{c_{ij}}^q){\nu }_{a_{ij}}^q+{\nu }_{c_{ij}}^q)}^{1/q},{((1-{\nu }_{c_{ij}}^q){\nu }_{b_{ij}}^q+{\nu }_{c_{ij}}^q)}^{1/q}\}⟩\right]\\ & =\left[⟨max\{{\mu }_{a_{ij}},{\mu }_{b_{ij}}\}{\mu }_{c_{ij}},{((1-{\nu }_{c_{ij}}^q)min\{{\nu }_{a_{ij}}^q,{\nu }_{b_{ij}}^q\}+{\nu }_{c_{ij}}^q)}^{1/q}⟩\right]\\ & =(A{\vee }_{q}B){\otimes }_{q}C.\end{array}$$ Hence, $(A{\vee }_{q}B){\otimes }_{q}C=(A{\otimes }_{q}C){\vee }_q(B{\otimes }_{q}C)$.

Theorem 6. For any q-ROFM $A$, we have

• (i) $(A{\oplus }_{q}O)=(O{\oplus }_{q}A)=A,$
• (ii) $(A{\otimes }_{q}J)=(J{\otimes }_{q}A)=A.$

Proof.

• (i) $A{\oplus }_{q}O=⟨{\mu }_{a_{ij}},{\nu }_{a_{ij}}⟩{\oplus }_q⟨0,1⟩=\left[⟨{({\mu }_{a_{ij}}^q+0-{\mu }_{a_{ij}}^q.0)}^{1/q},{\nu }_{a_{ij}}.1⟩\right]=\left[⟨{\mu }_{a_{ij}},{\nu }_{a_{ij}}⟩\right]=A.$

  Similarly, we can prove $O{\oplus }_{q}A=A$.

• (ii) $A{\otimes }_{q}J=⟨{\mu }_{a_{ij}},{\nu }_{a_{ij}}⟩{\otimes }_q⟨1,0⟩=\left[⟨{\mu }_{a_{ij}}.1,{({{\nu }_{a_{ij}}}^q+0-{{\nu }_{a_{ij}}}^q.0)}^{1/q}⟩\right]=\left[⟨{\mu }_{a_{ij}},{\nu }_{a_{ij}}⟩\right]=A.$

  Similarly, we can prove $J{\otimes }_{q}A=A$.

Theorem 7. For any q-ROFM $A$, we have

• (i) $(A{\oplus }_{q}J)=(J{\oplus }_{q}A)=J,$
• (ii) $(A{\otimes }_{q}O)=(O{\otimes }_{q}A)=O.$

Proof.

• (i) $(A{\oplus }_{q}J)=⟨{\mu }_{a_{ij}},{\nu }_{a_{ij}}⟩{\oplus }_q⟨1,0⟩=\left[⟨{({\mu }_{a_{ij}}^q+1-{\mu }_{a_{ij}}^q.1)}^{1/q},a_{ij}.0⟩\right]=⟨1,0⟩=J.$

  Similarly, we can prove $J{\oplus }_{q}A=J$.

• (ii) $(A{\otimes }_{q}O)=⟨{\mu }_{a_{ij}},{\nu }_{a_{ij}}⟩{\otimes }_q⟨0,1⟩=\left[⟨{\mu }_{a_{ij}}.0,{({\nu }_{a_{ij}}^q+1-{\nu }_{a_{ij}}^q.1)}^{1/q}⟩\right]=⟨0,1⟩=O$.

  Similarly, we can prove $O{\otimes }_{q}A=O$.

5. Necessity and Possibility operators on q-ROFMs

In this section, we define necessity and possibility operators for q-ROFMs and proved their algebraic properties.

Definition 6. For every q-ROFM $A$, the necessity $(\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/15.0.3/svg/25fb.svg">})$ and possibility $(◊)$ operators are defined as follows: $$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/15.0.3/svg/25fb.svg">}A=\left[⟨{\mu }_{a_{ij}},{(1-{\mu }_{a_{ij}}^q)}^{1/q}⟩\right],$$ $$◊A=\left[⟨{(1-{\nu }_{a_{ij}}^q)}^{1/q},{\nu }_{a_{ij}}⟩\right].$$

Theorem 8. For $A,B\in Q_{m\times n}$, we have

• (i) $\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/15.0.3/svg/25fb.svg">}(A{\oplus }_{q}B)=\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/15.0.3/svg/25fb.svg">}A{\oplus }_q\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/15.0.3/svg/25fb.svg">}B,$
• (ii) $◊(A{\oplus }_{q}B)=◊A{\oplus }_q◊B$.

Proof. (i) $$\begin{array}{rl}\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/15.0.3/svg/25fb.svg">}(A{\oplus }_{q}B)& =\left[⟨{({\mu }_{a_{ij}}^q+{\mu }_{b_{ij}}^q-{\mu }_{a_{ij}}^q{\mu }_{b_{ij}}^q)}^{1/q},{(1-({\mu }_{a_{ij}}^q+{\mu }_{b_{ij}}^q-{\mu }_{a_{ij}}^q{\mu }_{b_{ij}}^q))}^{1/q}⟩\right]\\ \mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/15.0.3/svg/25fb.svg">}A{\oplus }_q\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/15.0.3/svg/25fb.svg">}B& =\left[⟨{({\mu }_{a_{ij}}^q+{\mu }_{b_{ij}}^q-{\mu }_{a_{ij}}^q{\mu }_{b_{ij}}^q)}^{1/q},{(1-{\mu }_{a_{ij}}^q)}^{1/q}{(1-{\mu }_{b_{ij}}^q)}^{1/q}⟩\right]\\ & =\left[⟨{({\mu }_{a_{ij}}^q+{\mu }_{b_{ij}}^q-{\mu }_{a_{ij}}^q{\mu }_{b_{ij}}^q)}^{1/q},{(1-({\mu }_{a_{ij}}^q+{\mu }_{b_{ij}}^q-{\mu }_{a_{ij}}^q{\mu }_{b_{ij}}^q))}^{1/q}⟩\right].\end{array}$$ Hence, $\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/15.0.3/svg/25fb.svg">}(A{\oplus }_{q}B)=\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/15.0.3/svg/25fb.svg">}A{\oplus }_q\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/15.0.3/svg/25fb.svg">}B$.

(ii)

$$\begin{array}{rl}◊(A{\oplus }_{q}B)& =\left[⟨{(1-{\nu }_{a_{ij}}^q{\nu }_{b_{ij}}^q)}^{1/q},{\nu }_{a_{ij}}{\nu }_{b_{ij}}⟩\right]\\ ◊A{\oplus }_q◊B& =\left[⟨{((1-{\nu }_{a_{ij}}^q)+(1-{\nu }_{b_{ij}}^q)-(1-{\nu }_{a_{ij}}^q)(1-{\nu }_{b_{ij}}^q))}^{1/q},{\nu }_{a_{ij}}{\nu }_{b_{ij}}⟩\right]& =\left[⟨{(1-{\nu }_{a_{ij}}^q{\nu }_{b_{ij}}^q)}^{1/q},{\nu }_{a_{ij}}{\nu }_{b_{ij}}⟩\right].\end{array}$$ Hence, $◊(A{\oplus }_{q}B)=◊A{\oplus }_q◊B$.

Theorem 9. For $A,B\in Q_{m\times n}$, we have

• (i) $\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/15.0.3/svg/25fb.svg">}(A{\otimes }_{q}B)=\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/15.0.3/svg/25fb.svg">}A{\otimes }_q\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/15.0.3/svg/25fb.svg">}B,$
• (ii) $◊(A{\otimes }_{q}B)=◊A{\otimes }_q◊B$.

Proof.

• (i) $$\begin{array}{rl}\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/15.0.3/svg/25fb.svg">}(A{\otimes }_{q}B)& =\left[⟨{\mu }_{a_{ij}}{\mu }_{b_{ij}},{(1-{\mu }_{a_{ij}}^q{\mu }_{b_{ij}}^q)}^{1/q}⟩\right]\\ \mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/15.0.3/svg/25fb.svg">}A{\otimes }_q\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/15.0.3/svg/25fb.svg">}B& =\left[⟨{\mu }_{a_{ij}}{\mu }_{b_{ij}},{((1-{\mu }_{a_{ij}}^q)+(1-{\mu }_{b_{ij}}^q)-(1-{\mu }_{a_{ij}}^q)(1-{\mu }_{b_{ij}}^q))}^{1/q}⟩\right]\\ & =\left[⟨{\mu }_{a_{ij}}{\mu }_{b_{ij}},{(1-{\mu }_{a_{ij}}^q{\mu }_{b_{ij}}^q)}^{1/q}⟩\right].\end{array}$$ Hence, $\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/15.0.3/svg/25fb.svg">}(A{\otimes }_{q}B)=\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/15.0.3/svg/25fb.svg">}A{\otimes }_q\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/15.0.3/svg/25fb.svg">}B$.
• (ii) It can be proved analogously.

Theorem 10. For $A,B\in Q_{m\times n}$, we have

• (i) ${(\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/15.0.3/svg/25fb.svg">}(A^C{\oplus }_q{B}^C))}^C=◊A{\otimes }_q◊B,$
• (ii) ${(\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/15.0.3/svg/25fb.svg">}(A^C{\otimes }_q{B}^C))}^C=◊A{\oplus }_q◊B$.

Proof.

• (i) $$(A^C{\oplus }_q{B}^C)=\left[⟨{({\nu }_{a_{ij}}^q+{\nu }_{b_{ij}}^q-{\nu }_{a_{ij}}^q{\nu }_{b_{ij}}^q)}^{1/q},{\mu }_{a_{ij}}{\mu }_{b_{ij}}⟩\right],$$ $$\begin{array}{rl}\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/15.0.3/svg/25fb.svg">}(A^C{\oplus }_q{B}^C)& =\left[⟨{({\nu }_{a_{ij}}^q+{\nu }_{b_{ij}}^q-{\nu }_{a_{ij}}^q{\nu }_{b_{ij}}^q)}^{1/q},{(1-({\nu }_{a_{ij}}^q+{\nu }_{b_{ij}}^q-{\nu }_{a_{ij}}^q{\nu }_{b_{ij}}^q))}^{1/q}⟩\right],\\ {(\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/15.0.3/svg/25fb.svg">}(A^C{\oplus }_q{B}^C))}^C& =\left[⟨{(1-({\nu }_{a_{ij}}^q+{\nu }_{b_{ij}}^q-{\nu }_{a_{ij}}^q{\nu }_{b_{ij}}^q))}^{1/q},{({\nu }_{a_{ij}}^q+{\nu }_{b_{ij}}^q-{\nu }_{a_{ij}}^q{\nu }_{b_{ij}}^q)}^{1/q}⟩\right]=◊A{\otimes }_q◊B.\end{array}$$
• (ii) It can be proved analogously.

Theorem 11. For $A,B\in Q_{m\times n}$, we have

• (i) ${(◊(A^C{\oplus }_q{B}^C))}^C=\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/15.0.3/svg/25fb.svg">}A{\otimes }_q\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/15.0.3/svg/25fb.svg">}B,$
• (ii) ${(◊(A^C{\otimes }_q{B}^C))}^C=\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/15.0.3/svg/25fb.svg">}A{\oplus }_q\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/15.0.3/svg/25fb.svg">}B$.

Proof.

• (i) $$\begin{array}{rl}◊(A^C{\oplus }_q{B}^C)& =\left[⟨{(1-{\mu }_{a_{ij}}^q{\mu }_{b_{ij}}^q)}^{1/q},{\mu }_{a_{ij}}{\mu }_{b_{ij}}⟩\right],\\ {(◊(A^C{\oplus }_q{B}^C))}^C& =\left[⟨{\mu }_{a_{ij}}{\mu }_{b_{ij}},{(1-{\mu }_{a_{ij}}^q{\mu }_{b_{ij}}^q)}^{1/q}⟩\right]=\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/15.0.3/svg/25fb.svg">}A{\otimes }_q\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/15.0.3/svg/25fb.svg">}B.\end{array}$$
• (ii) It can be proved similarly.

6. New operation (@) on q-ROFMs

In this section, we define the @ operation on q-ROFMs and present their algebraic properties. We discuss the Distributivity law in the case the operation of Algebraic sum and Algebraic product, ${\vee }_q$ and ${\wedge }_q$ are combined each other.

Definition 7. Let $A=\left[⟨{\mu }_{a_{ij}},{\nu }_{a_{ij}}⟩\right],$ and $B=\left[⟨{\mu }_{b_{ij}},{\nu }_{b_{ij}}⟩\right]$ be any two q-ROFMs. The new operation of q-ROFM is defined by $$A@B=\left[⟨{\left({\displaystyle \frac{{\mu }_{a_{ij}}^q+{\mu }_{b_{ij}}^q}{2}}\right)}^{1/q},{\left({\displaystyle \frac{{\nu }_{a_{ij}}^q+{\nu }_{b_{ij}}^q}{2}}\right)}^{1/q}⟩\right].$$

Theorem 12. For any q-ROFM $A$, we have $A@A=A.$

Proof. $$\begin{array}{rl}A@A& =\left[⟨{\left({\displaystyle \frac{{\mu }_{a_{ij}}^q+{\mu }_{a_{ij}}^q}{2}}\right)}^{1/q},{\left({\displaystyle \frac{{\nu }_{a_{ij}}^q+{\nu }_{a_{ij}}^q}{2}}\right)}^{1/q}⟩\right]\\ & =\left[⟨{\left({\displaystyle \frac{2{\mu }_{a_{ij}}^q}{2}}\right)}^{1/q},{\left({\displaystyle \frac{2{\nu }_{a_{ij}}^q}{2}}\right)}^{1/q}⟩\right]\\ & =\left[⟨{\mu }_{a_{ij}}^q,{\nu }_{a_{ij}}^q⟩\right]\\ & =\left[⟨{\mu }_{a_{ij}},{\nu }_{a_{ij}}⟩\right]\\ & =A.\end{array}$$

Theorem 13. For $A,B\in Q_{m\times n}$, we have

• (i) $(A{\oplus }_{q}B){\wedge }_q(A{\otimes }_{q}B)=A{\otimes }_{q}B,$
• (ii) $(A{\oplus }_{q}B){\vee }_q(A{\otimes }_{q}B)=A{\oplus }_{q}B,$
• (iii) $(A{\oplus }_{q}B){\wedge }_q(A@B)=A@B,$
• (iv) $(A{\oplus }_{q}B){\vee }_q(A@B)=A{\oplus }_{q}B,$
• (v) $(A{\otimes }_{q}B){\wedge }_q(A@B)=A{\otimes }_{q}B,$
• (vi) $(A{\otimes }_{q}B){\vee }_q(A@B)=A@B.$

Proof. (i) $$\begin{array}{rl}(A{\oplus }_{P}B){\wedge }_q(A{\otimes }_{q}B)& =\left[⟨min\{{({\mu }_{a_{ij}}^q+{\mu }_{b_{ij}}^q-{\mu }_{a_{ij}}^q{\mu }_{b_{ij}}^q)}^{1/q},{\mu }_{a_{ij}}{\mu }_{b_{ij}}\},max\{{\nu }_{a_{ij}}{\nu }_{b_{ij}},{({\nu }_{a_{ij}}^q+{\nu }_{b_{ij}}^q-{\nu }_{a_{ij}}^q{\nu }_{b_{ij}}^q)}^{1/q}\}⟩\right]\\ & =\left[⟨{\mu }_{a_{ij}}{\mu }_{b_{ij}},{({\nu }_{a_{ij}}^q+{\nu }_{b_{ij}}^q-{\nu }_{a_{ij}}^q{\nu }_{b_{ij}}^q)}^{1/q}⟩\right]\\ & =A{\otimes }_{q}B.\end{array}$$ Hence, $(A{\oplus }_{q}B){\wedge }_q(A{\otimes }_{q}B)=A{\otimes }_{q}B$.

(ii)

$$\begin{array}{rl}(A{\oplus }_{q}B){\vee }_q(A{\otimes }_{q}B)& =\left[⟨max\{{({\mu }_{a_{ij}}^q+{\mu }_{b_{ij}}^q-{\mu }_{a_{ij}}^q{\mu }_{b_{ij}}^q)}^{1/q},{\mu }_{a_{ij}}{\mu }_{b_{ij}}\},min\{{\nu }_{a_{ij}}{\nu }_{b_{ij}},{({\nu }_{a_{ij}}^q+{\nu }_{b_{ij}}^q-{\nu }_{a_{ij}}^q{\nu }_{b_{ij}}^q)}^{1/q}\}⟩\right]\\ & =\left[⟨{({\mu }_{a_{ij}}^q+{\mu }_{b_{ij}}^q-{\mu }_{a_{ij}}^q{\mu }_{b_{ij}}^q)}^{1/q},{\nu }_{a_{ij}}{\nu }_{b_{ij}}⟩\right]\\ & =A{\oplus }_{q}B.\end{array}$$ Hence, $(A{\oplus }_{q}B){\vee }_q(A{\otimes }_{q}B)=A{\oplus }_{q}B.$

(iii)

$$\begin{array}{rl}(A{\oplus }_{q}B){\wedge }_q(A@B)& =\left[⟨min\{{({\mu }_{a_{ij}}^q+{\mu }_{b_{ij}}^q-{\mu }_{a_{ij}}^q{\mu }_{b_{ij}}^q)}^{1/q},{\left({\displaystyle \frac{{\mu }_{a_{ij}}^q+{\mu }_{b_{ij}}^q}{2}}\right)}^{1/q}\},max\{{\nu }_{a_{ij}}{\nu }_{b_{ij}},{\left({\displaystyle \frac{{\nu }_{a_{ij}}^q+{\nu }_{b_{ij}}^q}{2}}\right)}^{1/q}\}⟩\right]\\ & =\left[⟨{\left({\displaystyle \frac{{\mu }_{a_{ij}}^q+{\mu }_{b_{ij}}^q}{2}}\right)}^{1/q},{\left({\displaystyle \frac{{\nu }_{a_{ij}}^q+{\nu }_{b_{ij}}^q}{2}}\right)}^{1/q}⟩\right]\\ & =A@B.\end{array}$$ Hence, $(A{\oplus }_{q}B){\wedge }_q(A@B)=A@B.$

(iv)

$$\begin{array}{rl}(A{\oplus }_{q}B){\vee }_q(A@B)& =\left[⟨max\{{({\mu }_{a_{ij}}^q+{\mu }_{b_{ij}}^q-{\mu }_{a_{ij}}^q{\mu }_{a_{ij}}^q)}^{1/q},{\left({\displaystyle \frac{{\mu }_{a_{ij}}^q+{\mu }_{b_{ij}}^q}{2}}\right)}^{1/q}\},min\{{\nu }_{a_{ij}}{\nu }_{b_{ij}},{\left({\displaystyle \frac{{\nu }_{a_{ij}}^q+{\nu }_{b_{ij}}^q}{2}}\right)}^{1/q}\}⟩\right]\\ & =\left[⟨{({\mu }_{a_{ij}}^q+{\mu }_{b_{ij}}^q-{\mu }_{a_{ij}}^q{\mu }_{b_{ij}}^q)}^{1/q},{\nu }_{a_{ij}}{\nu }_{b_{ij}}⟩\right]\\ & =A{\oplus }_{q}B.\end{array}$$ Hence, $(A{\oplus }_{q}B){\vee }_q(A@B)=A{\oplus }_{q}B.$

(v)

$$\begin{array}{rl}(A{\otimes }_{q}B){\wedge }_q(A@B)& =\left[⟨min\{{\mu }_{a_{ij}}{\mu }_{b_{ij}},{\left({\displaystyle \frac{{\mu }_{a_{ij}}^q+{\mu }_{b_{ij}}^q}{2}}\right)}^{1/q}\},max\{{({\nu }_{a_{ij}}^q+{\nu }_{b_{ij}}^q-{\nu }_{a_{ij}}^q{\nu }_{b_{ij}}^q)}^{1/q},{\left({\displaystyle \frac{{\nu }_{a_{ij}}^q+{\nu }_{b_{ij}}^q}{2}}\right)}^{1/q}\}⟩\right]\\ & =\left[⟨{\mu }_{a_{ij}}{\mu }_{b_{ij}},{({\nu }_{a_{ij}}^q+{\nu }_{b_{ij}}^q-{\nu }_{a_{ij}}^q{\nu }_{b_{ij}}^q)}^{1/q}⟩\right]\\ & =A{\otimes }_{q}B.\end{array}$$ Hence, $(A{\otimes }_{q}B){\wedge }_q(A@B)=A{\otimes }_{q}B.$

(vi)

$$\begin{array}{rl}(A{\otimes }_{q}B){\vee }_q(A@B)& =\left[⟨max\{{\mu }_{a_{ij}}{\mu }_{b_{ij}},{\left({\displaystyle \frac{{\mu }_{a_{ij}}^q+{\mu }_{b_{ij}}^q}{2}}\right)}^{1/q}\},min\{{({\nu }_{a_{ij}}^q+{\nu }_{b_{ij}}^q-{\nu }_{a_{ij}}^q{\nu }_{b_{ij}}^q)}^{1/q},{\left({\displaystyle \frac{{\nu }_{a_{ij}}^q+{\nu }_{b_{ij}}^q}{2}}\right)}^{1/q}\}⟩\right]\\ & =\left[⟨{\left({\displaystyle \frac{{\mu }_{a_{ij}}^q+{\mu }_{b_{ij}}^q}{2}}\right)}^{1/q},{\left({\displaystyle \frac{{\nu }_{a_{ij}}^q+{\nu }_{b_{ij}}^q}{2}}\right)}^{1/q}⟩\right]\\ & =A@B.\end{array}$$ Hence, $(A{\otimes }_{q}B){\vee }_q(A@B)=A@B.$

Remark 1. The q-rung orthopair fuzzy matrix forms a commutative monoid, associativity, commutativity and identity under the q-rung orthopair fuzzy matrix operation of algebraic sum and algebraic product. The distributive law also holds for ${\oplus }_q,{\otimes }_q$ and ${\wedge }_q,{\vee }_q,@$ are combined each other.

7. Application

The formation of q-ROFMs is commutative monoid structure, q-rung orthopair fuzzy matrix and algebraic structure on this matrix, the results are applicable.

8. Conclusion

Generalized orthopair fuzzy matrices are extensions of intuitionistic fuzzy matrices and Pythagorean fuzzy matrices. Each element is expressed as an ordered pair of values, the former indicating the support for membership and the latter support against membership. The restriction on the memberships is that the sum of the $q^{th}$ powers of the support for and support against is equal to or less than one. Thus it greatly increases the modelers’ ability to capture their judgment of the appropriate orthopair membership grade. In this paper, we proposed q-rung orthopair fuzzy matrices and its algebraic operations are defined. Then we proved some algebraic properties of q-ROFMs, such as associativity, commutativity, identity, distributivity and De Morgan’s laws over complement. Furthermore, we defined necessity and possibility operators on q-ROFMs and investigated their algebraic properties. Finally, a new operation(@) on q-ROFMs are defined and discussed distributive laws in the case where the operations of ${\oplus }_q,{\otimes }_q,{\wedge }_q$ and ${\vee }_q$ are combined each other. For the development of q-rung orthopair fuzzy commutative monoid structure and its algebraic property the results of this paper would be helpful.

Conflicts of Interest

The author declares no conflict of interest.