Generalized orthopair fuzzy matrices

Author(s): I. Silambarasan1
1 Department of Mathematics, Sri Manakula Vinayagar Engineering College, Madagadipet, Puducherry-605 107, India.
Copyright © I. Silambarasan. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

A q-rung orthopair fuzzy matrix (q-ROFM), an extension of the Pythagorean fuzzy matrix (PFM) and intuitionistic fuzzy matrix (IFM), is very helpful in representing vague information that occurs in real-world circumstances. In this paper we define some algebraic operations, such as max-min, min-max, complement, algebraic sum, algebraic product, scalar multiplication \((nA)\), and exponentiation \((A^n)\). We also investigate the algebraic properties of these operations. Furthermore, we define two operators, namely the necessity and possibility to convert q-ROFMs into an ordinary fuzzy matrix, and discuss some of their basic algebraic properties. Finally, we define a new operation(@) on q-ROFMs and discuss distributive laws in the case where the operations of \(\oplus_{q}, \otimes_{q}, \wedge_{q}\) and \(\vee_{q}\) are combined each other.

Keywords: Intuitionistic fuzzy matrix; Pythagorean fuzzy matrix; q-rung orthopair fuzzy matrix; Algebraic sum; Algebraic product; Scalar multiplication; Exponentiation.

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 \(\left\langle \mu_{a_{ij}},\nu_{a_{ij}}\right\rangle\) with \(\mu_{a_{ij}},\nu_{a_{ij}}\in [0,1]\) and \(0\leq \mu_{a_{ij}}+\nu_{a_{ij}}\leq 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\leq 1 (q\geq 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 \(\left\langle \mu_{a_{ij}},\nu_{a_{ij}}\right\rangle\) with \(\mu_{a_{ij}},\nu_{a_{ij}}\in [0,1]\) and \(0\leq \mu^2_{a_{ij}}+\nu^2_{a_{ij}}\leq 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[\left\langle \mu_{a_{ij}}, \nu_{a_{ij}}\right\rangle\right]\) of a non negative real numbers \(\mu_{a_{ij}}, \nu_{a_{ij}}\in [0,1]\) satisfying \(0\leq \mu_{a_{ij}}+\nu_{a_{ij}}\leq 1\) for all \(i,j.\)

Definition 2.[26] A Pythagorean fuzzy matrix (PFM) is a pair \(A=\left[\left\langle \mu_{a_{ij}}, \nu_{a_{ij}}\right\rangle\right]\) of non negative real numbers \(\mu_{a_{ij}}, \nu_{a_{ij}}\in [0,1]\) satisfying the condition \(0\leq\mu^2_{a_{ij}}+\nu^2_{a_{ij}}\leq 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[\left\langle \mu_{a_{ij}}, \nu_{a_{ij}}\right\rangle\right]\) of non negative real numbers \(\mu_{a_{ij}}, \nu_{a_{ij}}\in [0,1]\) satisfying the condition \(0\leq\mu^q_{a_{ij}}+\nu^q_{a_{ij}}\leq 1 (q\geq 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 \leq 1 ~(q\geq 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^q_{a_{ij}}\leq \mu^2_{a_{ij}}\leq \mu_{a_{ij}}\) and \(\nu^q_{a_{ij}}\leq \nu^2_{a_{ij}}\leq \nu_{a_{ij}}\). Thus \(\mu_{a_{ij}}+\nu_{a_{ij}}\leq 1 \Rightarrow \mu^2_{a_{ij}}+\nu^2_{a_{ij}}\leq 1 \Rightarrow \mu^q_{a_{ij}}+\nu^q_{a_{ij}}\leq 1.\) Consider a point \((0.9,0.6)\), we see that \((0.9)^q+(0.6)^q\leq 1, (q \geq 1)\) thus this is an q-ROFM. Since \((0.9)^2+(0.6)^2 =0.81+0.36=1.17\geq 1\) and \(0.9+0.6\geq 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}}\leq 1,\) the PFMs are all points with \(\mu^2_{a_{ij}}+\nu^2_{a_{ij}}\leq 1,\) and the q-ROFMs are all points with \(\mu^q_{a_{ij}}+\nu^q_{a_{ij}}\leq 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[\left\langle \mu_{a_{ij}},\nu_{a_{ij}}\right\rangle\right]\) and \(B=\left[\left\langle \mu_{b_{ij}},\nu_{b_{ij}}\right\rangle\right]\) be two q-ROFMs of the same size. Then

  • (i) \(A\vee_{q} B=\left[\left\langle \max\left\{\mu_{a_{ij}},\mu_{b_{ij}}\right\}\min\left\{\nu_{a_{ij}},\nu_{b_{ij}}\right\}\right\rangle\right]\),
  • (ii) \(A\wedge_{q} B=\left[\left\langle \min\left\{\mu_{a_{ij}},\mu_{b_{ij}}\right\}\max\left\{\nu_{a_{ij}},\nu_{b_{ij}}\right\}\right\rangle\right]\),
  • (iii) \(A^C=\left[\left\langle \mu_{a_{ij}},\nu_{a_{ij}}\right\rangle\right]\).

Definition 5. Let \(A=\left[\left\langle \mu_{a_{ij}},\nu_{a_{ij}}\right\rangle\right]\) and \(B=\left[\left\langle \mu_{b_{ij}},\nu_{b_{ij}}\right\rangle\right]\) be two q-ROFMs of the same size. Then

  • (i) \( A\oplus_{q} B=\left[\left\langle \left(\mu_{a_{ij}}^q+\mu_{b_{ij}}^q-\mu_{a_{ij}}^q\mu_{b_{ij}}^q\right)^{1/q},\nu_{a_{ij}}\nu_{b_{ij}}\right\rangle\right]\),
  • (ii) \( A\otimes_{q} B=\left[\left\langle \mu_{a_{ij}}\mu_{b_{ij}}, \left(\nu^q_{a_{ij}}+\nu^q_{b_{ij}}-\nu^q_{a_{ij}}\nu^q_{b_{ij}}\right)^{1/q}\right\rangle\right]\),
  • (iii) \( nA=\left[\left\langle \left(1-(1-\mu_{a_{ij}}^q)^{n}\right)^{1/q},(\nu_{a_{ij}})^n\right\rangle\right]\),
  • (iv) \( A^{n}=\left[\left\langle \mu_{a_{ij}}^{n},\left(1-(1-\mu_{a_{ij}}^q)^{n}\right)^{1/q}\right\rangle\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{align*}A\oplus_{q} B&=\left[\left\langle \left(\mu_{a_{ij}}^q+\mu_{b_{ij}}^q-\mu_{a_{ij}}^q\mu_{b_{ij}}^q\right)^{1/q},\nu_{a_{ij}}\nu_{b_{ij}}\right\rangle\right]\\ &=\left[\left\langle \left(\mu_{b_{ij}}^q+\mu_{a_{ij}}^q-\mu_{b_{ij}}^q\mu_{a_{ij}}^q\right)^{1/q},\nu_{b_{ij}}\nu_{a_{ij}}\right\rangle\right]\\ &=B\oplus_{q} A.\end{align*}
  • (ii) \begin{align*} A\otimes_{q} B&=\left[\left\langle \mu_{a_{ij}}\mu_{b_{ij}}, \left(\nu^q_{a_{ij}}+\nu^q_{b_{ij}}-\nu^q_{a_{ij}}\nu^q_{b_{ij}}\right)^{1/q}\right\rangle\right]\\ &=\left[\left\langle \mu_{b_{ij}}\mu_{a_{ij}}, \left(\nu^q_{b_{ij}}+\nu^q_{a_{ij}}-\nu^q_{b_{ij}}\nu^q_{a_{ij}}\right)^{1/q}\right\rangle\right]\\ &=B\otimes_{q} A.\end{align*}
  • (iii) \begin{align*} n(A\oplus_{q} B)&= n \left[\left\langle \left(\mu_{a_{ij}}^q+\mu_{b_{ij}}^q-\mu_{a_{ij}}^q\mu_{b_{ij}}^q\right)^{1/q},\nu_{a_{ij}}\nu_{b_{ij}}\right\rangle\right]\\ &=\left[\left\langle \left(1-\left[1-(\mu_{a_{ij}}^q+\mu_{b_{ij}}^q-\mu_{a_{ij}}^q\mu_{b_{ij}}^q)\right]^n\right)^{1/q},(\nu_{a_{ij}}\nu_{b_{ij}})^{n}\right\rangle\right]\\ &=\left[\left\langle \left(1-(1-\mu_{a_{ij}}^q)^{n}(1-\mu_{b_{ij}}^q)^{n}\right)^{1/q},(\nu_{a_{ij}}\nu_{b_{ij}})^{n}\right\rangle\right]\\ nA\oplus_{q} nB&=\left[\left\langle \left(1-(1-\mu_{a_{ij}}^q)^{n}\right)^{1/q},(\nu_{a_{ij}})^n \right\rangle \oplus_{q} \left\langle \left(1-(1-\mu_{a_{ij}}^q)^{n}\right)^{1/q},(\nu_{a_{ij}})^n\right\rangle\right]\\ &=\left[\left\langle \left(1-(1-\mu_{a_{ij}}^q)^{n}(1-\mu_{a_{ij}}^q)^{n}\right)^{1/q},(\nu_{a_{ij}}\nu_{b_{ij}})^n\right\rangle\right]\\ &=n(A\oplus_{q} B).\end{align*}
  • (iv) \begin{align*} (n_{1}+n_{2})A&=\left[\left\langle \left(1-(1-\mu_{a_{ij}}^q)^{n_{1}+n_{2}}\right)^{1/q},(\nu_{a_{ij}})^{n_{1}+n_{2}}\right\rangle\right]\\ &=\left[\left\langle \left(1-(1-\mu_{a_{ij}}^q)^{n_{1}}(1-\mu_{a_{ij}}^q)^{n_{2}}\right)^{1/q},(\nu_{a_{ij}}\nu_{b_{ij}})^{n_{1}+n_{2}}\right\rangle\right]\\ &=\left[\left\langle \left(1-(1-\mu_{a_{ij}}^q)^{n_{1}}\right)^{1/q},(\nu_{a_{ij}})^{n_{1}} \right\rangle \oplus_{q} \left\langle \left(1-(1-\mu_{a_{ij}}^q)^{n_{2}}\right)^{1/q},(\nu_{a_{ij}})^{n_{2}}\right\rangle\right]\\ &=n_{1}A\oplus_{q} n_{2}A.\end{align*}
  • (v) \begin{align*} (A\otimes_{q} B)^{n}&=\left[\left\langle \mu_{a_{ij}}\mu_{b_{ij}}, \left(\nu^q_{a_{ij}}+\nu^q_{b_{ij}}-\nu^q_{a_{ij}}\nu^q_{b_{ij}}\right)^{1/q}\right\rangle\right]^n\\ &=\left[\left\langle \left(\mu_{a_{ij}}\mu_{b_{ij}}\right)^n, \left(1-\left(1-\nu^q_{a_{ij}}-\nu^q_{b_{ij}}+\nu^q_{a_{ij}}\nu^q_{b_{ij}}\right)^n\right)^{1/q}\right\rangle\right]^n\\ &=\left[\left\langle \left(\mu_{a_{ij}}\right)^n\left(\mu_{b_{ij}}\right)^n, \left(1-(1-\mu_{a_{ij}}^q)^{n}(1-\mu_{a_{ij}}^q)^{n}\right)^{1/q} \right\rangle\right]\\ &=\left[\left\langle \mu_{a_{ij}}^{n},\left(1-(1-\mu_{a_{ij}}^q)^{n}\right)^{1/q}\right\rangle\ \otimes_{q} \left\langle \mu_{b_{ij}}^{n},\left(1-(1-\mu_{b_{ij}}^q)^{n}\right)^{1/q}\right\rangle\right]\\ &=A^{n}\otimes_{q} B^{n}.\end{align*}
  • (vi) \begin{align*} A^{n_{1}}\otimes_{q} A^{n_{2}}&=\left[\left\langle \mu_{a_{ij}}^{n_{1}},\left(1-(1-\mu_{a_{ij}}^q)^{n_{1}}\right)^{1/q}\right\rangle\ \otimes_{q} \left\langle \mu_{a_{ij}}^{n_{2}},\left(1-(1-\mu_{a_{ij}}^q)^{n_{2}}\right)^{1/q}\right\rangle\right]\\ &=\left[\left\langle \mu_{a_{ij}}^{n_{1}+n_{2}},\left(1-(1-\mu_{a_{ij}}^q)^{n_{1}+n_{2}}\right)^{1/q}\right\rangle\right]\\ &=A^{(n_{1}+n_{2})}. \end{align*}

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{align*}(A\wedge_{q} B)&=\left(\min\left\{\mu_{a_{ij}},\mu_{b_{ij}}\right\}, \max\left\{\nu_{a_{ij}},\nu_{b_{ij}}\right\}\right) \\ &=\left(\min\left\{\mu_{b_{ij}},\mu_{a_{ij}}\right\}, \max\left\{\nu_{b_{ij}},\nu_{a_{ij}}\right\}\right)\\ &=B\wedge_{q} A.\end{align*}
  • (iii) \begin{align*} A\wedge_{q}(B\wedge_{q} C) &=\left(\mu_{a_{ij}},\nu_{b_{ij}}\right)\wedge_{q} \left(\min\left\{\mu_{b_{ij}},\mu_{c_{ij}}\right\}, \max\left\{\nu_{b_{ij}},\nu_{c_{ij}}\right\} \right)\\ &=\left(\min\left\{\mu_{a_{ij}},\min\left\{\mu_{b_{ij}},\mu_{c_{ij}}\right\}\right\}, \max\left\{\nu_{a_{ij}},\max\left\{\nu_{b_{ij}},\nu_{c_{ij}}\right\}\right\}\right)\\ &=\left(\min\left\{\min\left\{\mu_{a_{ij}},\mu_{b_{ij}}\right\},\mu_{c_{ij}}\right\}, \max\left\{\max\left\{\nu_{a_{ij}},\nu_{b_{ij}}\right\}, \nu_{c_{ij}}\right\}\right)\\ &=\left(\min\left\{\mu_{a_{ij}},\mu_{b_{ij}}\right\}, \max\left\{\nu_{a_{ij}},\nu_{b_{ij}}\right\} \right)\wedge_{q} \left(\mu_{c_{ij}},\nu_{c_{ij}}\right)\\ &=(A\wedge_{q} B)\wedge_{q} C.\end{align*}
  • (vi) \begin{align*} n(A\vee_{q} B)&=nA\vee_{q} nB\\ &=n\left(\min\left\{\mu_{a_{ij}},\mu_{b_{ij}}\right\}, \max\left\{\nu_{a_{ij}},\nu_{b_{ij}}\right\} \right)\\ &=\left[\left\langle \left(1-(1-\max\left\{\mu_{a_{ij}}^q,\mu_{b_{ij}}^q\right\})^{n}\right)^{1/q},\min\left\{(\nu_{a_{ij}})^n,(\nu_{b_{ij}})^n\right\}\right\rangle\right]\\ nA\vee_{q} nB&=\left[\left\langle \left(\left(1-(1-\mu_{a_{ij}}^q)^{n}\right)^{1/q},{\nu_{a_{ij}}}^{n}\right) \vee \left( \left(1-(1-\mu_{a_{ij}}^q)^{n}\right)^{1/q},(\nu_{a_{ij}})^n\right)\right\rangle\right]\\ &=\left[\left\langle \max\left\{\left(1-(1-\mu_{a_{ij}}^q)^{n}\right)^{1/q},\left(1-(1-\mu_{b_{ij}}^q)^{n}\right)^{1/q}\right\},\min\left\{(\nu_{a_{ij}})^n,(\nu_{b_{ij}})^n\right\}\right\rangle\right]\\ &=\left[\left\langle \left(1-(1-\max\left\{\mu_{a_{ij}}^q,\mu_{b_{ij}}^q\right\})^{n}\right)^{1/q},\min\left\{(\nu_{a_{ij}})^n,(\nu_{b_{ij}})^n\right\}\right\rangle\right]\\ &=n(A\vee_{q} B).\end{align*}

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{align*} (A\wedge_{q} B)^C&=\left[\left\langle \left(\min\left\{\mu_{a_{ij}},\mu_{b_{ij}}\right\},\max\left\{\nu_{a_{ij}},\nu_{b_{ij}}\right\}\right)^C\right\rangle\right]\\ &=\left[\left\langle \max\left\{\nu_{a_{ij}},\nu_{b_{ij}}\right\},\min\left\{\mu_{a_{ij}},\mu_{b_{ij}}\right\}\right\rangle\right]\\ &=\left(\nu_{a_{ij}},\mu_{a_{ij}}\right)\vee_{q} \left(\nu_{b_{ij}},\mu_{b_{ij}}\right)\\ &=A^C\vee_{q} B^C.\end{align*}
  • (iii) \begin{align*}(A\oplus_{q} B)^C&=\left[\left\langle\left( \left(\mu_{a_{ij}}^q+\mu_{b_{ij}}^q-\mu_{a_{ij}}^q\mu_{b_{ij}}^q\right)^{1/q},\nu_{a_{ij}}\nu_{b_{ij}}\right)^C\right\rangle\right]\\ &=\left[\left\langle \mu_{a_{ij}}\mu_{b_{ij}},\left(\nu_{a_{ij}}^q+\nu_{b_{ij}}^q-\nu_{a_{ij}}^q\nu_{b_{ij}}^q\right)^{1/q}\right\rangle\right]\\ &=(\nu_{a_{ij}}\mu_{b_{ij}}) \otimes (\nu_{b_{ij}}\mu_{b_{ij}})\\ &=A^C\otimes_{q} B^C.\end{align*}
  • (v) \begin{align*} (A^C)^{n}&=(\nu_{a_{ij}},\mu_{a_{ij}})^n\\ &=\left[\left\langle \nu^n_{a_{ij}},\left(1-(1-\mu_{a_{ij}}^q)^n\right)^{1/q}\right\rangle\right]\\ &=\left[\left\langle \left(\left(1-(1-\mu_{a_{ij}}^q)^n\right)^{1/q}, \nu^n_{a_{ij}}\right)^C\right\rangle\right]\\ &=(nA)^C.\end{align*}

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{align*} (A\vee_{q} B)\wedge_{q} C &=\left[\left\langle \min\left\{\max\left\{\mu_{a_{ij}},\mu_{b_{ij}}\right\},\mu_{c_{ij}}\right\},\max\left\{\min\left\{\nu_{a_{ij}},\nu_{b_{ij}}\right\}\nu_{c_{ij}}\right\}\right\rangle\right]\\ &=\left[\left\langle \max\left\{\min\left\{\mu_{a_{ij}},\mu_{b_{ij}}\right\},\min\left\{\mu_{a_{ij}},\mu_{c_{ij}}\right\}\right\},\min\left\{\max\left\{\nu_{a_{ij}},\nu_{b_{ij}}\right\},\max\left\{\nu_{b_{ij}},\nu_{c_{ij}}\right\}\right\}\right\rangle\right]\\ &=\left[\left\langle\left\{\min\left\{\mu_{a_{ij}},\mu_{c_{ij}}\right\},\max\left\{\nu_{a_{ij}},\nu_{c_{ij}}\right\}\right\}\bigvee \left\{\min\left\{\nu_{b_{ij}},\nu_{c_{ij}}\right\},\max\left\{\nu_{b_{ij}},\nu_{c_{ij}}\right\}\right\}\right\rangle\right]\\ &=(A\wedge_{q} C)\vee_{q} (B\wedge_{q} C).\end{align*} Hence, \((A\vee_{q} B)\wedge_{q} C=(A\wedge_{q} C)\vee_{q} (B\wedge_{q} C).\)

(iii)

\begin{align*} (A\vee_{q} B)\oplus_{q} C&=\left(\max\left\{\mu_{a_{ij}},\mu_{b_{ij}}\right\},\min\left\{\nu_{a_{ij}},\nu_{b_{ij}}\right\}\right)\oplus \left(\mu_{c_{ij}}, \nu_{c_{ij}} \right)\\ &=\left[\left\langle \left(\max\left\{\mu_{a_{ij}}^q,\mu_{b_{ij}}^q\right\}+\mu_{c_{ij}}^q-\max\left\{\mu_{a_{ij}}^q,\mu_{b_{ij}}^q\right\}\mu_{c_{ij}}^q\right)^{1/q} ,\min\left\{\nu_{a_{ij}},\nu_{b_{ij}}\right\}\nu_{c_{ij}}\right\rangle\right]\\ &=\left[\left\langle \left((1-\mu_{c_{ij}}^q)\max\left\{\mu_{a_{ij}}^q,\mu_{b_{ij}}^q\right\}+\mu_{c_{ij}}^q\right)^{1/q},\min\left\{\nu_{a_{ij}}\nu_{c_{ij}},\nu_{b_{ij}}\nu_{c_{ij}}\right\}\right\rangle\right].\end{align*} \begin{align*}(A\oplus_{q} C)\vee_{q} (B\oplus_{q} C)&=\left[\left\langle \max\left\{\left(\mu_{a_{ij}}^q+\mu_{c_{ij}}^q-\mu_{a_{ij}}^q\mu_{c_{ij}}^q\right)^{1/q},\left(\mu_{b_{ij}}^q+\mu_{c_{ij}}^q-\mu_{b_{ij}}^q\mu_{c_{ij}}^q\right)^{1/q}\right\},\min\left\{\nu_{a_{ij}}\nu_{c_{ij}},\nu_{b_{ij}}\nu_{c_{ij}}\right\}\right\rangle\right]\\ &=\left[\left\langle \max\left\{\left((1-\mu_{c_{ij}}^q)\mu_{a_{ij}}^q+\mu_{c_{ij}}^q\right)^{1/q},\left((1-\mu_{c_{ij}}^q)\mu_{b_{ij}}^q+\mu_{c_{ij}}^q\right)^{1/q}\right\},\min\left\{\nu_{a_{ij}}\nu_{c_{ij}},\nu_{b_{ij}}\nu_{c_{ij}}\right\}\right\rangle\right]\\ &=\left[\left\langle \left((1-\mu_{c_{ij}}^q)\max\left\{\mu_{a_{ij}}^q,\mu_{b_{ij}}^q\right\}+\mu_{c_{ij}}^q\right)^{1/q},\min\left\{\nu_{a_{ij}}\nu_{c_{ij}},\nu_{b_{ij}}\nu_{c_{ij}}\right\}\right\rangle\right]\\ &=(A\vee_{q} B)\oplus_{q}C.\end{align*} Hence, \((A\vee_{q} B)\oplus_{q} C=(A\oplus_{q} C)\vee_{q} (B\oplus_{q} C)\).

(v)

\begin{align*} (A\vee_{q} B)\otimes_{q}C&=\left[\left\langle \max\left\{\mu_{a_{ij}},\mu_{b_{ij}}\right\}\mu_{c_{ij}},\left(\min\left\{\nu^q_{a_{ij}},\nu^q_{b_{ij}}\right\}+\nu^q_{c_{ij}}-\min\left\{\nu^q_{a_{ij}},\nu^q_{b_{ij}}\right\}\nu^q_{c_{ij}}\right)^{1/q}\right\rangle\right]\\ &=\left[\left\langle \max\left\{\mu_{a_{ij}},\mu_{b_{ij}}\right\}\mu_{c_{ij}},\left((1-\nu^q_{c_{ij}})\min\left\{\nu^q_{a_{ij}},\nu^q_{b_{ij}}\right\}+\nu^q_{c_{ij}}\right)^{1/q}\right\rangle\right].\end{align*} \begin{align*}(A\otimes_{q} C)\vee_{q} (B\otimes_{q} C) &=\left[\left\langle \max\left\{\mu_{a_{ij}}\mu_{c_{ij}},\mu_{b_{ij}}\mu_{c_{ij}}\right\},\min\left\{\left(\nu^q_{a_{ij}}+\nu^q_{c_{ij}}-\nu^q_{a_{ij}}\nu^q_{c_{ij}}\right)^{1/q},\left(\nu^q_{b_{ij}}+\nu^q_{c_{ij}}-\nu^q_{b_{ij}}\nu^q_{c_{ij}}\right)^{1/q}\right\}\right\rangle\right]\\ &=\left[\left\langle \max\left\{\mu_{a_{ij}}\mu_{c_{ij}},\mu_{b_{ij}}\mu_{c_{ij}}\right\},\min\left\{\left((1-\nu_{c_{ij}}^q)\nu_{a_{ij}}^q+\nu_{c_{ij}}^q\right)^{1/q},\left((1-\nu_{c_{ij}}^q)\nu_{b_{ij}}^q+\nu_{c_{ij}}^q\right)^{1/q}\right\}\right\rangle\right]\\ &=\left[\left\langle \max\left\{\mu_{a_{ij}},\mu_{b_{ij}}\right\}\mu_{c_{ij}},\left((1-\nu^q_{c_{ij}})\min\left\{\nu^q_{a_{ij}},\nu^q_{b_{ij}}\right\}+\nu^q_{c_{ij}}\right)^{1/q}\right\rangle\right]\\ &=(A\vee_{q} B)\otimes_{q} C.\end{align*} 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 =\left\langle \mu_{a_{ij}}, \nu_{a_{ij}}\right\rangle \oplus_{q}\left\langle 0,1\right\rangle =\left[\left\langle \left(\mu^q_{a_{ij}}+0-\mu^q_{a_{ij}}.0 \right)^{1/q}, \nu_{a_{ij}}.1\right\rangle\right] =\left[\left\langle \mu_{a_{ij}}, \nu_{a_{ij}}\right\rangle\right] =A.\)

    Similarly, we can prove \(O\oplus_{q} A=A\).

  • (ii) \( A\otimes_{q} J=\left\langle \mu_{a_{ij}}, \nu_{a_{ij}}\right\rangle \otimes_{q}\left\langle 1,0\right\rangle =\left[\left\langle \mu_{a_{ij}}.1,\left({\nu_{a_{ij}}}^q+0-{\nu_{a_{ij}}}^q.0\right)^{1/q}\right\rangle\right] =\left[\left\langle \mu_{a_{ij}}, \nu_{a_{ij}}\right\rangle\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)=\left\langle \mu_{a_{ij}},\nu_{a_{ij}}\right\rangle \oplus_{q} \left\langle 1,0\right\rangle =\left[\left\langle \left(\mu^q_{a_{ij}}+1-\mu^q_{a_{ij}}.1\right)^{1/q},a_{ij}.0\right\rangle\right] =\left\langle 1,0\right\rangle =J.\)

    Similarly, we can prove \(J\oplus_{q} A=J\).

  • (ii) \((A\otimes_{q} O) =\left\langle \mu_{a_{ij}}, \nu_{a_{ij}}\right\rangle \otimes_{q} \left\langle 0,1\right\rangle =\left[\left\langle \mu_{a_{ij}}.0,\left(\nu^q_{a_{ij}}+1-\nu^q_{a_{ij}}.1\right)^{1/q}\right\rangle\right] =\left\langle 0,1\right\rangle=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 \((\Box)\) and possibility \((\Diamond)\) operators are defined as follows: \[\Box A=\left[\left\langle \mu_{a_{ij}},\left(1-\mu_{a_{ij}}^q\right)^{1/q}\right\rangle\right],\] \[\Diamond A=\left[\left\langle \left(1-\nu^q_{a_{ij}}\right)^{1/q},\nu_{a_{ij}}\right\rangle\right].\]

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

  • (i) \(\Box(A\oplus_{q} B)=\Box A\oplus_{q} \Box B,\)
  • (ii) \(\Diamond (A\oplus_{q} B)=\Diamond A\oplus_{q} \Diamond B\).

Proof. (i) \begin{align*} \Box(A\oplus_{q} B)&=\left[\left\langle \left(\mu_{a_{ij}}^q+\mu_{b_{ij}}^q-\mu_{a_{ij}}^q\mu_{b_{ij}}^q\right)^{1/q},\left(1-(\mu_{a_{ij}}^q+\mu_{b_{ij}}^q-\mu_{a_{ij}}^q\mu_{b_{ij}}^q)\right)^{1/q}\right\rangle\right]\\ \Box A\oplus_{q} \Box B&=\left[\left\langle \left(\mu_{a_{ij}}^q+\mu_{b_{ij}}^q-\mu_{a_{ij}}^q\mu_{b_{ij}}^q\right)^{1/q},\left(1-\mu_{a_{ij}}^q\right)^{1/q} \left(1-\mu_{b_{ij}}^q\right)^{1/q}\right\rangle\right]\\ &=\left[\left\langle \left(\mu_{a_{ij}}^q+\mu_{b_{ij}}^q-\mu_{a_{ij}}^q\mu_{b_{ij}}^q\right)^{1/q},\left(1-(\mu_{a_{ij}}^q+\mu_{b_{ij}}^q-\mu_{a_{ij}}^q\mu_{b_{ij}}^q)\right)^{1/q}\right\rangle\right]. \end{align*} Hence, \(\Box(A\oplus_{q} B)=\Box A\oplus_{q} \Box B\).

(ii)

\begin{align*} \Diamond (A\oplus_{q} B)&=\left[\left\langle \left(1-\nu^q_{a_{ij}}\nu^q_{b_{ij}}\right)^{1/q},\nu_{a_{ij}}\nu_{b_{ij}}\right\rangle\right]\\ \Diamond A\oplus_{q} \Diamond B &=\left[\left\langle \left((1-\nu^q_{a_{ij}})+(1-\nu^q_{b_{ij}})-(1-\nu^q_{a_{ij}})(1-\nu^q_{b_{ij}})\right)^{1/q},\nu_{a_{ij}}\nu_{b_{ij}}\right\rangle\right] &=\left[\left\langle \left(1-\nu^q_{a_{ij}}\nu^q_{b_{ij}}\right)^{1/q},\nu_{a_{ij}}\nu_{b_{ij}}\right\rangle\right].\end{align*} Hence, \(\Diamond (A\oplus_{q} B)=\Diamond A\oplus_{q} \Diamond B\).

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

  • (i) \(\Box(A\otimes_{q} B)=\Box A\otimes_{q} \Box B,\)
  • (ii) \(\Diamond (A\otimes_{q} B)=\Diamond A\otimes_{q} \Diamond B\).

Proof.

  • (i) \begin{align*} \Box(A\otimes_{q} B)&=\left[\left\langle \mu_{a_{ij}}\mu_{b_{ij}},\left(1-\mu_{a_{ij}}^q\mu_{b_{ij}}^q\right)^{1/q}\right\rangle\right]\\ \Box A\otimes_{q} \Box B&=\left[\left\langle \mu_{a_{ij}}\mu_{b_{ij}},\left((1-\mu_{a_{ij}}^q)+(1-\mu_{b_{ij}}^q)-(1-\mu_{a_{ij}}^q)(1-\mu_{b_{ij}}^q)\right)^{1/q}\right\rangle\right]\\ &=\left[\left\langle \mu_{a_{ij}}\mu_{b_{ij}},\left(1-\mu_{a_{ij}}^q\mu_{b_{ij}}^q\right)^{1/q}\right\rangle\right].\end{align*} Hence, \(\Box(A\otimes_{q} B)=\Box A\otimes_{q} \Box B\).
  • (ii) It can be proved analogously.

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

  • (i) \(\left(\Box(A^C\oplus_{q} B^C)\right)^{C}=\Diamond A\otimes_{q} \Diamond B,\)
  • (ii) \(\left(\Box(A^C\otimes_{q} B^C)\right)^{C}=\Diamond A\oplus_{q} \Diamond B\).

Proof.

  • (i) \[(A^C\oplus_{q} B^C) =\left[\left\langle \left(\nu^q_{a_{ij}}+\nu^q_{b_{ij}}-\nu^q_{a_{ij}}\nu^q_{b_{ij}}\right)^{1/q},\mu_{a_{ij}}\mu_{b_{ij}}\right\rangle\right],\] \begin{align*}\Box(A^C\oplus_{q} B^C) &=\left[\left\langle \left(\nu^q_{a_{ij}}+\nu^q_{b_{ij}}-\nu^q_{a_{ij}}\nu^q_{b_{ij}}\right)^{1/q}, \left(1-(\nu^q_{a_{ij}}+\nu^q_{b_{ij}}-\nu^q_{a_{ij}}\nu^q_{b_{ij}})\right)^{1/q}\right\rangle\right],\\ \left(\Box(A^C\oplus_{q} B^C)\right)^{C} &=\left[\left\langle \left(1-(\nu^q_{a_{ij}}+\nu^q_{b_{ij}}-\nu^q_{a_{ij}}\nu^q_{b_{ij}})\right)^{1/q},\left(\nu^q_{a_{ij}}+\nu^q_{b_{ij}}-\nu^q_{a_{ij}}\nu^q_{b_{ij}}\right)^{1/q}\right\rangle\right] =\Diamond A\otimes_{q} \Diamond B.\end{align*}
  • (ii) It can be proved analogously.

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

  • (i) \(\left(\Diamond(A^C\oplus_{q} B^C)\right)^{C}=\Box A\otimes_{q} \Box B,\)
  • (ii) \(\left(\Diamond(A^C\otimes_{q} B^C)\right)^{C}=\Box A\oplus_{q} \Box B\).

Proof.

  • (i) \begin{align*} \Diamond(A^C\oplus_{q} B^C)&=\left[\left\langle \left(1-\mu_{a_{ij}}^q\mu_{b_{ij}}^q\right)^{1/q},\mu_{a_{ij}}\mu_{b_{ij}}\right\rangle\right],\\ \left(\Diamond(A^C\oplus_{q} B^C)\right)^{C}&=\left[\left\langle \mu_{a_{ij}}\mu_{b_{ij}},\left(1-\mu_{a_{ij}}^q\mu_{b_{ij}}^q\right)^{1/q}\right\rangle\right] =\Box A\otimes_{q} \Box B.\end{align*}
  • (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[\left\langle \mu_{a_{ij}}, \nu_{a_{ij}}\right\rangle\right],\) and \(B=\left[\left\langle\mu_{b_{ij}}, \nu_{b_{ij}}\right\rangle\right]\) be any two q-ROFMs. The new operation of q-ROFM is defined by \[A@B=\left[\left\langle\left(\dfrac{\mu^q_{a_{ij}}+\mu^q_{b_{ij}}}{2}\right)^{1/q},\left(\dfrac{\nu^q_{a_{ij}}+\nu^q_{b_{ij}}}{2}\right)^{1/q}\right\rangle\right].\]

Theorem 12. For any q-ROFM \(A\), we have \(A@A=A.\)

Proof. \begin{align*} A@A&=\left[\left\langle \left(\dfrac{\mu^q_{a_{ij}}+\mu^q_{a_{ij}}}{2}\right)^{1/q},\left(\dfrac{\nu^q_{a_{ij}}+\nu^q_{a_{ij}}}{2}\right)^{1/q}\right\rangle\right]\\ &=\left[\left\langle \left(\dfrac{2\mu^q_{a_{ij}}}{2}\right)^{1/q}, \left(\dfrac{2\nu^q_{a_{ij}}}{2}\right)^{1/q}\right\rangle\right]\\ &=\left[\left\langle \mu^q_{a_{ij}}, \nu^q_{a_{ij}}\right\rangle\right]\\ &=\left[\left\langle \mu_{a_{ij}}, \nu_{a_{ij}}\right\rangle\right]\\ &=A.\end{align*}

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{align*} (A\oplus_{P} B)\wedge_{q} (A\otimes_{q} B) &=\left[\left\langle \min\left\{ \left(\mu^q_{a_{ij}}+\mu^q_{b_{ij}}-\mu^q_{a_{ij}}\mu^q_{b_{ij}}\right)^{1/q}, \mu_{a_{ij}}\mu_{b_{ij}}\right\},\max\left\{ \nu_{a_{ij}}\nu_{b_{ij}},\left(\nu^q_{a_{ij}}+\nu^q_{b_{ij}}-\nu^q_{a_{ij}}\nu^q_{b_{ij}}\right)^{1/q}\right\}\right\rangle\right]\\ &=\left[\left\langle \mu_{a_{ij}}\mu_{b_{ij}}, \left(\nu^q_{a_{ij}}+\nu^q_{b_{ij}}-\nu^q_{a_{ij}}\nu^q_{b_{ij}}\right)^{1/q}\right\rangle\right]\\ &=A\otimes_{q} B.\end{align*} Hence, \((A\oplus_{q} B)\wedge_{q} (A\otimes_{q} B)=A\otimes_{q} B\).

(ii)

\begin{align*} (A\oplus_{q} B)\vee_{q} (A\otimes_{q} B) &=\left[\left\langle \max\left\{ \left(\mu^q_{a_{ij}}+\mu^q_{b_{ij}}-\mu^q_{a_{ij}}\mu^q_{b_{ij}}\right)^{1/q},\mu_{a_{ij}}\mu_{b_{ij}}\right\},\min\left\{ \nu_{a_{ij}}\nu_{b_{ij}},\left(\nu^q_{a_{ij}}+\nu^q_{b_{ij}}-\nu^q_{a_{ij}}\nu^q_{b_{ij}}\right)^{1/q}\right\} \right\rangle\right]\\ &=\left[\left\langle \left(\mu_{a_{ij}}^q+\mu_{b_{ij}}^q-\mu_{a_{ij}}^q\mu_{b_{ij}}^q\right)^{1/q},\nu_{a_{ij}}\nu_{b_{ij}}\right\rangle\right]\\ &=A\oplus_{q} B.\end{align*} Hence, \((A\oplus_{q} B)\vee_{q} (A\otimes_{q} B)=A\oplus_{q} B.\)

(iii)

\begin{align*} (A\oplus_{q} B)\wedge_{q} (A@B) &=\left[\left\langle\min\left\{\left(\mu^q_{a_{ij}}+\mu^q_{b_{ij}}-\mu^q_{a_{ij}}\mu^q_{b_{ij}}\right)^{1/q},\left(\dfrac{\mu^q_{a_{ij}}+\mu^q_{b_{ij}}}{2}\right)^{1/q}\right\},\max\left\{\nu_{a_{ij}}\nu_{b_{ij}},\left(\dfrac{\nu^q_{a_{ij}}+\nu^q_{b_{ij}}}{2}\right)^{1/q}\right\}\right\rangle\right]\\ &=\left[\left\langle\left(\dfrac{\mu^q_{a_{ij}}+\mu^q_{b_{ij}}}{2}\right)^{1/q},\left(\dfrac{\nu^q_{a_{ij}}+\nu^q_{b_{ij}}}{2}\right)^{1/q}\right\rangle\right]\\ &=A@B.\end{align*} Hence, \((A\oplus_{q} B)\wedge_{q} (A@B)=A@B.\)

(iv)

\begin{align*} (A\oplus_{q} B)\vee_{q} (A@B) &=\left[\left\langle \max \left\{\left(\mu^q_{a_{ij}}+\mu^q_{b_{ij}}-\mu^q_{a_{ij}}\mu^q_{a_{ij}}\right)^{1/q},\left(\dfrac{\mu^q_{a_{ij}}+\mu^q_{b_{ij}}}{2}\right)^{1/q}\right\},\min\left\{\nu_{a_{ij}}\nu_{b_{ij}},\left(\dfrac{\nu^q_{a_{ij}}+\nu^q_{b_{ij}}}{2}\right)^{1/q}\right\}\right\rangle\right]\\ &=\left[\left\langle \left(\mu_{a_{ij}}^q+\mu_{b_{ij}}^q-\mu_{a_{ij}}^q\mu_{b_{ij}}^q\right)^{1/q},\nu_{a_{ij}}\nu_{b_{ij}}\right\rangle\right]\\ &=A\oplus_{q} B.\end{align*} Hence, \((A\oplus_{q} B)\vee_{q} (A@B)=A\oplus_{q} B.\)

(v)

\begin{align*} (A\otimes_{q} B)\wedge_{q} (A@B) &=\left[\left\langle\min\left\{\mu_{a_{ij}}\mu_{b_{ij}},\left(\dfrac{\mu^q_{a_{ij}}+\mu^q_{b_{ij}}}{2}\right)^{1/q}\right\},\max\left\{\left(\nu^q_{a_{ij}}+\nu^q_{b_{ij}}-\nu^q_{a_{ij}}\nu^q_{b_{ij}}\right)^{1/q},\left(\dfrac{\nu^q_{a_{ij}}+\nu^q_{b_{ij}}}{2}\right)^{1/q}\right\}\right\rangle\right]\\ &=\left[\left\langle \mu_{a_{ij}}\mu_{b_{ij}}, \left(\nu^q_{a_{ij}}+\nu^q_{b_{ij}}-\nu^q_{a_{ij}}\nu^q_{b_{ij}}\right)^{1/q}\right\rangle\right]\\ &=A\otimes_{q} B.\end{align*} Hence, \((A\otimes_{q} B)\wedge_{q} (A@B)=A\otimes_{q} B.\)

(vi)

\begin{align*} (A\otimes_{q} B)\vee_{q} (A@B) &=\left[\left\langle\max\left\{\mu_{a_{ij}}\mu_{b_{ij}},\left(\dfrac{\mu^q_{a_{ij}}+\mu^q_{b_{ij}}}{2}\right)^{1/q}\right\},\min\left\{\left(\nu^q_{a_{ij}}+\nu^q_{b_{ij}}-\nu^q_{a_{ij}}\nu^q_{b_{ij}}\right)^{1/q},\left(\dfrac{\nu^q_{a_{ij}}+\nu^q_{b_{ij}}}{2}\right)^{1/q}\right\}\right\rangle\right]\\ &=\left[\left\langle \left(\dfrac{\mu^q_{a_{ij}}+\mu^q_{b_{ij}}}{2}\right)^{1/q},\left(\dfrac{\nu^q_{a_{ij}}+\nu^q_{b_{ij}}}{2}\right)^{1/q}\right\rangle\right]\\ &=A@B.\end{align*} 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.

References:

  1. Khan, S. K., Pal, M., & Shyamal, A. K. (2002). Intuitionistic fuzzy matrices. Notes on Intuitionistic Fuzzy Sets, 8(2), 51-62. [Google Scholor]
  2. Im, Y. P., Lee, F. B., & Park, S. W. (2001). The determinant of square intuitionistic fuzzy matrices. Far East Journal of Mathematical Science, 3(5), 789-796. [Google Scholor]
  3. Thomason, M. G. (1977). Convergence of powers of Fuzzy matrix. Journal of Mathematical Analysis and Applications, 57(2), 476-480. [Google Scholor]
  4. Khan, S. K., & Pal, M. (2006). Some operations on intuitionistic fuzzy matrices. Acta Ciencia Indica, 32, 515-524. [Google Scholor]
  5. Pal, P. (2001). Intuitionistic fuzzy determinant. V.U.J. Physical Sciences, 7, 87-93. [Google Scholor]
  6. Mondal, S., & Pal, M. (2013). Similarity relations, invertibility and eigenvalues of IFM. Fuzzy Information and Engineering, 5(4), 431-443. [Google Scholor]
  7. Muthuraji, T., Sriram, S., & Murugadas, P. (2016). Decomposition of intuitionistic fuzzy matrices. Fuzzy Information and Engineering, 8(3), 345-354. [Google Scholor]
  8. Sriram, S., & Boobalan, J. (2016). Monoids of intuitionistic fuzzy matrices. Annals of Fuzzy Mathematics and Informatics, 11(3), 505-510. [Google Scholor]
  9. Muthuraji, T., & Sriram, S. (2017). Representation and decomposition of an intuitionistic fuzzy matrix using some \((\alpha,\alpha’)\) cuts. Applications and Applied Mathematics, 12(1), 241-258. [Google Scholor]
  10. Silambarasan, I., & Sriram, S. (2017). Hamacher sum and Hamacher product of fuzzy matrices. International Journal of Fuzzy Mathematical Archive, 13(2), 191-198. [Google Scholor]
  11. Silambarasan, I., & Sriram, S. (2018). Hamacher operations of intuitionistic fuzzy matrices. Annals of Pure and Applied Mathematics, 16(1), 81-90. [Google Scholor]
  12. Silambarasan, I. (2020). Interval-valued intuitionistic fuzzy matrices based on Hamacher operations. World Scientific News, 150, 148-161. [Google Scholor]
  13. Silambarasan, I. (2020). Some operations over interval-valued fuzzy matrices. Journal of Science, Computing and Engineering Research, 1(5), 131-137.[Google Scholor]
  14. Silambarasan, I., & Sriram, S. (2021). Some operations over intuitionistic fuzzy matrices based on Hamacher t-norm and t-conorm. TWMS Journal of Applied and Engineering Mathematics, 11(2), 541-551. [Google Scholor]
  15. Yager, R. R. (2014). Pythagorean membership grades in multi-criteria decision making. IEEE Transactions on Fuzzy Systems, 22(4), 958-965. [Google Scholor]
  16. Zhang, X. L., & Xu, Z. S. (2014). Extension of TOPSIS to multiple criteria decision making with Pythagorean fuzzy sets. International Journal of Intelligent Systems, 29(12), 1061-1078. [Google Scholor]
  17. Yager, R. R. (2017). Generalized orthopair fuzzy sets. IEEE Transactions on Fuzzy Systems, 25(5), 1222-1230. [Google Scholor]
  18. Liu, P., & Wang, P. (2018). Some q-rung orthopair fuzzy aggregation operators and their applications to multiple-attribute decision making. International Journal of Intelligent Systems, 33(2), 259-280. [Google Scholor]
  19. Riaz, M., Pamucar, D., Athar Farid, H. M., & Hashmi, M. R. (2020). q-Rung orthopair fuzzy prioritized aggregation operators and their application towards green supplier chain management. Symmetry, 12, Article No. 976, https://doi.org/10.3390/sym12060976. [Google Scholor]
  20. Riaz, M., Athar Farid, H. M., Karaaslan, F., & Hashmi, M. R. (2020). Some q-rung orthopair fuzzy hybrid aggregation operators and TOPSIS method for multi-attribute decision-making. Journal of Intelligent & Fuzzy Systems, 39(1), 1227-1241. [Google Scholor]
  21. Riaz, M., Athar Farid, H. M., Kalsoom, H., Pamucar, D., & Chu, Y.M.(2020). A robust q-rung orthopair fuzzy Einstein prioritized aggregation operators with application towards MCGDM. Symmetry, 12, Article No. 1058, https://doi.org/10.3390/sym12061058. [Google Scholor]
  22. Riaz, M., Garg, H., Athar Farid, H. M., & Chinram, R. (2021). Multi-criteria decision making based on bipolar picture fuzzy operators and new distance measures. CMES-Computer Modeling in Engineering & Sciences, 127(2), 771-800. [Google Scholor]
  23. Feng, F., Zheng, Y., & Sun, B. et al.(2021). Novel score functions of generalized orthopair fuzzy membership grades with application to multiple attribute decision making. Granular Computing, https://doi.org/10.1007/s41066-021-00253-7. [Google Scholor]
  24. Akram, M., Alsulami, S., Karaaslan, F., & Khan, A. (2021). q-Rung orthopair fuzzy graphs under Hamacher operators. Journal of Intelligent & Fuzzy Systems, 40(1), 1367-1390. [Google Scholor]
  25. Akram, M., Shahzadi, G. & Peng, X. (2020). Extension of Einstein geometric operators to multi-attribute decision making under q-rung orthopair fuzzy information. Granular Computing, https://doi.org/10.1007/s41066-020-00233-3. [Google Scholor]
  26. Silambarasan, I., & Sriram, S.(2018). Algebraic operations on Pythagorean fuzzy matrices. Mathematical Sciences International Research Journal, 7(2), 406-414. [Google Scholor]
  27. Silambarasan, I., & Sriram, S.(2019). Commutative monoid of Pythagorean fuzzy matrices. International Journal of Computer Sciences and Engineering, 7(4), 637-643. [Google Scholor]
  28. Silambarasan, I., & Sriram, S. (2019). New Operations for Pythagorean Fuzzy Matrices. Indian Journal of Science and Technology, 12(20), 1-7. [Google Scholor]