
The main goal of this article is to reveal a new generalized version of the q-linear Diophantine fuzzy set (q-LDFS) named spherical q-linear Diophantine fuzzy set (Sq-LDFS). The existing concepts of intuitionistic fuzzy set (IFS), q-rung orthopair fuzzy set (q-OFS), linear Diophantine fuzzy set (LDFS), and spherical fuzzy set have a wide range of applications in decision-making problems, but they all have strict limitations in terms of membership degree, non-membership degree, and uncertainty degree. We moot the article of the spherical q-linear Diophantine fuzzy set (Sq-LDFS) with control factors to alleviate these limitations. A Spherical q-linear Diophantine fuzzy number structure is independent of the selection of the membership grades because of its control parameters in three membership grades. An Sq-LDFS with a parameter estimation process can be extremely useful for modeling uncertainty in decision-making (DM). By using control factors, Sq-LDFS may classify a physical system. We highlight some of the downsides of q-LDFSs. By using algebraic norms, we offer some novel operational laws for Sq-LDFSs. We also introduced the weighted average and weighted geometric aggregation operators and their fundamental laws and properties. Furthermore, we proposed the algorithms for a multicriteria decision-making approach with graphical representation. Moreover, a numerical illustration of using the proposed methodology for Sq-LDF data for emergency decision-making is presented. Finally, a comparative analysis is presented to examine the efficacy of our proposed approach.
Citation: Shahzaib Ashraf, Huzaira Razzaque, Muhammad Naeem, Thongchai Botmart. Spherical q-linear Diophantine fuzzy aggregation information: Application in decision support systems[J]. AIMS Mathematics, 2023, 8(3): 6651-6681. doi: 10.3934/math.2023337
[1] | Mohammad Esmael Samei, Lotfollah Karimi, Mohammed K. A. Kaabar . To investigate a class of multi-singular pointwise defined fractional q–integro-differential equation with applications. AIMS Mathematics, 2022, 7(5): 7781-7816. doi: 10.3934/math.2022437 |
[2] | Asghar Ahmadkhanlu, Hojjat Afshari, Jehad Alzabut . A new fixed point approach for solutions of a p-Laplacian fractional q-difference boundary value problem with an integral boundary condition. AIMS Mathematics, 2024, 9(9): 23770-23785. doi: 10.3934/math.20241155 |
[3] | Reny George, Sina Etemad, Fahad Sameer Alshammari . Stability analysis on the post-quantum structure of a boundary value problem: application on the new fractional (p,q)-thermostat system. AIMS Mathematics, 2024, 9(1): 818-846. doi: 10.3934/math.2024042 |
[4] | Idris Ahmed, Sotiris K. Ntouyas, Jessada Tariboon . Separated boundary value problems via quantum Hilfer and Caputo operators. AIMS Mathematics, 2024, 9(7): 19473-19494. doi: 10.3934/math.2024949 |
[5] | Abdelatif Boutiara, Mohamed Rhaima, Lassaad Mchiri, Abdellatif Ben Makhlouf . Cauchy problem for fractional (p,q)-difference equations. AIMS Mathematics, 2023, 8(7): 15773-15788. doi: 10.3934/math.2023805 |
[6] | Donny Passary, Sotiris K. Ntouyas, Jessada Tariboon . Hilfer fractional quantum system with Riemann-Liouville fractional derivatives and integrals in boundary conditions. AIMS Mathematics, 2024, 9(1): 218-239. doi: 10.3934/math.2024013 |
[7] | Khalid K. Ali, K. R. Raslan, Amira Abd-Elall Ibrahim, Mohamed S. Mohamed . On study the fractional Caputo-Fabrizio integro differential equation including the fractional q-integral of the Riemann-Liouville type. AIMS Mathematics, 2023, 8(8): 18206-18222. doi: 10.3934/math.2023925 |
[8] | Nichaphat Patanarapeelert, Jiraporn Reunsumrit, Thanin Sitthiwirattham . On nonlinear fractional Hahn integrodifference equations via nonlocal fractional Hahn integral boundary conditions. AIMS Mathematics, 2024, 9(12): 35016-35037. doi: 10.3934/math.20241667 |
[9] | Reny George, Sina Etemad, Ivanka Stamova, Raaid Alubady . Existence of solutions for [p,q]-difference initial value problems: application to the [p,q]-based model of vibrating eardrums. AIMS Mathematics, 2025, 10(2): 2321-2346. doi: 10.3934/math.2025108 |
[10] | Changlong Yu, Jufang Wang, Huode Han, Jing Li . Positive solutions of IBVPs for q-difference equations with p-Laplacian on infinite interval. AIMS Mathematics, 2021, 6(8): 8404-8414. doi: 10.3934/math.2021487 |
The main goal of this article is to reveal a new generalized version of the q-linear Diophantine fuzzy set (q-LDFS) named spherical q-linear Diophantine fuzzy set (Sq-LDFS). The existing concepts of intuitionistic fuzzy set (IFS), q-rung orthopair fuzzy set (q-OFS), linear Diophantine fuzzy set (LDFS), and spherical fuzzy set have a wide range of applications in decision-making problems, but they all have strict limitations in terms of membership degree, non-membership degree, and uncertainty degree. We moot the article of the spherical q-linear Diophantine fuzzy set (Sq-LDFS) with control factors to alleviate these limitations. A Spherical q-linear Diophantine fuzzy number structure is independent of the selection of the membership grades because of its control parameters in three membership grades. An Sq-LDFS with a parameter estimation process can be extremely useful for modeling uncertainty in decision-making (DM). By using control factors, Sq-LDFS may classify a physical system. We highlight some of the downsides of q-LDFSs. By using algebraic norms, we offer some novel operational laws for Sq-LDFSs. We also introduced the weighted average and weighted geometric aggregation operators and their fundamental laws and properties. Furthermore, we proposed the algorithms for a multicriteria decision-making approach with graphical representation. Moreover, a numerical illustration of using the proposed methodology for Sq-LDF data for emergency decision-making is presented. Finally, a comparative analysis is presented to examine the efficacy of our proposed approach.
In the theory of quantum groups, the quantum universal enveloping algebra of three-dimensional simple Lie algebras sl2 plays an important role [1]. In 1983, the one-parameter quantized enveloping algebra Uq(sl2) was introduced by Kulish and Reshetikhin in the context of the Yang-Baxter equation for the integrable statistical models in the quantum inverse scattering method, and later its Hopf algebraic structure was discovered by Sklyanin [1,2,3]. A few years later, Drinfeld and Jimbo [4,5,6,7] independently discovered quantized enveloping algebras with higher ranks of complex simple-Lie algebras, which are quasi-triangular Hopf algebras. When q is not a root of unity, the representation theory of Uq(sl2) is very similar to that of the Lie algebra sl2, and has been basically solved. However, when q is a root of unity, the quantum group Uq(sl2) will become very complex. Many authors study representations of Uq(sl2) when q is a root of unity, and get some interesting results, see [8,9,10] for example.
In 2020, Aziziheris et al. [11] defined the classical Lie algebra sl∗2(C) based on a new associative multiplication on the 2×2 matrix, and then obtained a new type quantum group Uq(sl∗2). In [12], Xu and Chen investigated the above new type quantum group Uq(sl∗2) and classified its all Hopf PBW-deformations in which the classical Drinfeld-Jimbo quantum group Uq(sl2) was almost the unique nontrivial one. In [13], the authors defined a new type restricted quantum group ¯Uq(sl∗2) and determined its Hopf PBW-deformations ¯Uq(sl∗2,κ) in which ¯Uq(sl∗2,0)=¯Uq(sl∗2) and the classical restricted Drinfeld-Jimbo quantum group ¯Uq(sl2) was included. They showed that ¯Uq(sl∗2) was a basic Hopf algebra, then uniformly realize ¯Uq(sl∗2) and ¯Uq(sl2) via some quotients of (deformed) preprojective algebras corresponding to the Gabriel quiver of ¯Uq(sl∗2).
One of the basic problems in the theory of quantum groups is to decompose a tensor product of modules into a direct sum of indecomposable ones and hence to elucidate the structure of the corresponding fusion rule algebra. In [8], Suter decomposed the restricted quantum universal enveloping algebra Uq(sl2) in a canonical way into a direct sum of indecomposable left (or right) ideals. The indecomposable finite-dimensional Uq(sl2)-modules were classified and the tensor products of two simple modules, simple and projective modules were decomposed into indecomposable ones. Su and Yang [10] accurately characterized the structure of the representation ring of the restricted quantum group ¯Uq(sl2) when q is a primitive 2p-th (p≥2) root of unity. In [14], the authors classified all the finite dimensional indecomposable D(n) modules, and then gave the tensor product decomposition formulas between two indecomposables, at last described the representation ring by generators and relations clearly. In [15], for a class of 2n2 dimensional semisimple Hopf algebras H2n2, the authors classified all irreducible H2n2-modules, established the decomposition formulas of the tensor product of two irreducible H2n2-modules and described the Grothendieck rings r(H2n2) by generators and relations explicitly. In the present paper, we will consider the decomposition of tensor products and try to describe the projective class ring of ¯Uq(sl∗2).
The paper is organized as follows. In Section 2, we recall the definition of the new type restricted quantum group ¯Uq(sl∗2) and its Hopf algebra structure, and some preliminaries used in the following sections. In Section 3, we construct the principal indecomposable projective module Pj through the primitive orthogonal idempotents of ¯Uq(sl∗2), and then study its composition series, radical series, socle series and some other related properties. In Section 4, we give the decomposition formulas of tensor products between two simple modules, two indecomposable projective modules and a simple module and an indecomposable projective module of ¯Uq(sl∗2). Furthermore, we describe the projective class ring by generators and relations explicitly.
Throughout the paper, we work over the complex field C. The notations Z and Z≥0 denote the set of all integers, and the set of all nonnegative integers respectively.
Fix an integer n≥3(n≠4). From now on, we always assume that q is a primitive n-th root of unity, and
d={n,ifnisodd,n2,ifniseven. |
First, we recall the definition of the new type restricted quantum group ¯Uq(sl∗2) and some properities as follows.
Definition 2.1. [13] The restricted quantum algebra ¯Uq(sl∗2) is an associative unital algebra generated by K,K−1, E, F and subject to the following relations
KK−1=K−1K=1,Kd=1,Ed=Fd=0,KE=q2EK,KF=q−2FK,EF=FE. |
Lemma 2.2. [13] (1) The set {FiKkEj|i,j,k∈Z,0≤i,j,k<d} is a basis of ¯Uq(sl∗2), and the dimension of ¯Uq(sl∗2) is d3.
(2) ¯Uq(sl∗2) is a Hopf algebra with coproduct Δ, counit ε and antipode S defined by
Δ(K)=K⊗K, Δ(E)=E⊗K+1⊗E, Δ(F)=F⊗1+K−1⊗F, |
ε(E)=0, ε(F)=0, ε(K)=ε(K−1)=1, |
S(E)=−EK−1, S(F)=−KF, S(K)=K−1. |
(3) ¯Uq(sl∗2) is a pointed, basic but not semisimple Hopf algebra.
Lemma 2.3. [13] Let M be a finite dimensional simple ¯Uq(sl∗2)-module. Then dim(M)=1 and the module structure on M=Cv0 can be given as follows:
Kv0=qlv0,Ev0=Fv0=0, | (2.1) |
where l∈{0,1,⋯,d−1} when n is odd, l∈{0,2,⋯,2(d−1)} when n is even.
Lemma 2.4. [13] For any i∈Zd, set ϵi=1dd−1∑l=0q−2ilKl. Obviously one has
ϵiK=q2iϵi,ϵiE=Eϵi−1,ϵiF=Fϵi+1. |
{ϵi|i∈Zd} is a complete set of primitive orthogonal idempotents of ¯Uq(sl∗2).
Using the primitive orthogonal idempotents {ϵi|i∈Zd} of ¯Uq(sl∗2), one has
¯Uq(sl∗2)=¯Uq(sl∗2)ϵ0⊕¯Uq(sl∗2)ϵ1⊕⋯⊕¯Uq(sl∗2)ϵd−1. |
Let Pj=¯Uq(sl∗2)ϵj, then {Pj|j∈Zd} is the set of the nonisomorphic principal indecomposable projective modules of ¯Uq(sl∗2). As in [8], Pj can be showed in Figure 1.
Each point represents a one-dimensional vector space generated by the vector at that point, the downward arrows indicate the left action of E, the right-oblique upward arrows indicate the left action of F. Figure 1 shows that there are d2 black dots, so the dimension of Pj is d2.
From Figure 1, it is easy to see that if we delete one point and the arrows connecting it at a time, from left to right, and from top to bottom, then we get a modules series, in which the former module modulo the next one is a 1-dimensional simple module. Therefore, we obtain the composition series of Pj as follows.
Proposition 3.1. The principal indecomposable projective module Pj(j∈Zd) has the following composition series:
Pj=Mj0⊃Mj1⊃Mj2⊃⋯⊃Mjd2=0, |
where for all i∈{0,1,…,d−1},
Mji=⨁0≤k<d1≤l<dCEkFlϵj⊕⨁i≤k<dCEkϵj,Mjd+i=⨁0≤k<d2≤l<dCEkFlϵj⊕⨁i≤k<dCEkFϵj,⋮Mjd2−d+i=⨁i≤k<dCEkFd−1ϵj. |
We can make the figures of Mj1 and Mj2 as follows (see Figures 2 and 3):
Proposition 3.2. The principal indecomposable projective module Pj has a radical series as follows:
Pj⊃rad(Pj)⊃rad2(Pj)⊃⋯⊃rad2d−1(Pj)=0, |
for all i∈{0,1,…,2d−1},
radi(Pj)=⨁0≤k,l<di≤k+lCEkFlϵj. |
Proof. Recall that rad(Pj) is exactly the intersection of all the maximal submodules of Pj, and Pj has a unique maximal submodule Mj1, so that rad(Pj)=Mj1, the figure is shown as before. rad2(Pj) is the intersection of the maximal submodules of rad(Pj), and is the submodule obtained by removing CEϵj and CFϵj and the connecting arrows, as shown in Figure 4. Proceed this way, we have rad2d−2(Pj)=CEd−1Fd−1ϵj, rad2d−1(Pj)=0.
Proposition 3.3. The principal indecomposable projective module Pj has a socle series as follows:
0=soc0(Pj)⊂soc(Pj)⊂soc2(Pj)⊂⋯⊂soc2d−1(Pj)=Pj, |
for all i∈{0,1,…,2d−1},
soci(Pj)=⨁0≤k,l<d2d−1−i≤k+lCEkFlϵj. |
Proof. Recall that for i∈Z≥0, soci(Pj) is defined inductively as follows: soc0(Pj)=0, and if soci(Pj) is already defined and p:Pj→soc(Pj) denotes the canonical epimorphism, we get soci+1(Pj)=p−1(soc(Pj/soci(Pj))). Thus, by the definition, we have soc0(Pj)=0, and as Pj has only one simple submodule CEd−1Fd−1ϵj, so soc(Pj)=CEd−1Fd−1ϵj. Inductively, we have soc2(Pj)=CEd−1Fd−1ϵj⊕CEd−1Fd−2ϵj⊕CEd−2Fd−1ϵj; and we obtain a general expression of the socle series of the module Pj as soci(Pj)=⨁0≤k,l<d2d−1−i≤k+lCEkFlϵj, where i∈{0,1,…,2d−1}.
More intuitively, we can draw the figures soc(Pj),soc2(Pj),soc3(Pj) as follows (see Figure 5):
Observe the radical series and socle series of Pj, it is easy to see that
socs(Pj)=radt(Pj), |
where s+t=2d−1,s,t∈{0,1,⋯2d−1}, and the length of the radical series(resp., the socle series) is 2d−1.
Note that dimCϵi¯Uq(sl∗2)ϵj=d, we have
Proposition 3.4. (1) The dimensional vector of Pj is
dimPj=[d,d,⋯,d]T. |
(2) The Cartan matrix of the algebra ¯Uq(sl∗2) is
(dd⋯ddd⋯d⋮⋮⋱⋮dd⋯d)∈Mn(Z). |
Let H be a finite dimensional Hopf algebra and M and N be two finite dimensional H-modules. Then M⊗N is also a H-module defined by
h⋅(m⊗n)=∑(h)h(1)⋅m⊗h(2)⋅n |
for all h∈H and m∈M,n∈N, where Δ(h)=∑(h)h(1)⊗h(2). By the Krull-Schmidt Theorem, any finite dimensional H-module can be decomposed into a direct sum of indecomposable H-modules.
Now we consider the tensor products of two irreducible ¯Uq(sl∗2)-modules.
From Lemma 2.3, we know that for ¯Uq(sl∗2) there are d non-isomorphic simple modules Si=Cvi,i∈{0,1,…,d−1}. Specifically, the module structure is:
E⋅vi=F⋅vi=0,K⋅vi=q2ivi. |
We have the following theorem:
Theorem 4.1. Si⊗Sj≅S(i+j)(modd),(0≤i,j≤d−1).
Proof. Suppose that Si and Sj are two simple modules of ¯Uq(sl∗2), with basis vi,vj respectively. Then Si⊗Sj is also a ¯Uq(sl∗2)-module, with basis vi⊗vj and the actions of the generators are as follows
E⋅(vi⊗vj)=(E⊗K+1⊗E)(vi⊗vj)=0,F⋅(vi⊗vj)=(F⊗1+K−1⊗F)(vi⊗vj)=0,K⋅(vi⊗vj)=(K⊗K)(vi⊗vj)=q2(i+j)vi⊗vj. |
Therefore Si⊗Sj≅S(i+j)(modd),(0≤i,j≤d−1).
For the tensor products of a simple module with a projective module, we have
Theorem 4.2. Si⊗Pj≅P(i+j)(modd)≅Pj⊗Si,0≤i,j≤d−1.
Proof. Note that the basis of Pj is {EkFlϵj|0≤k,l≤d−1}, let
l1=ϵj,l2=Eϵj,⋯,ld=Ed−1ϵj, |
ld+1=Fϵj,ld+2=EFϵj,⋯,l2d=Ed−1Fϵj,⋯, |
ld2−d+1=Fd−1ϵj,ld2−d+2=EFd−1ϵj,⋯,ld2=Ed−1Fd−1ϵj. |
Then the matrix of K on the basis of l1,l2,⋯,ld,ld+1,ld+2,⋯,l2d,⋯,ld2−d+1,ld2−d+2,⋯,ld2 is
A1=(A110⋯00A21⋯0⋮⋮⋱⋮00⋯Ad1)d2×d2, |
where
A11=(q2j0⋯00q2j+2⋯0⋮⋮⋱⋮00⋯q2j+2d−2)d×d, |
A21=(q2j−20⋯00q2j⋯0⋮⋮⋱⋮00⋯q2j+2d−4)d×d, |
⋮ |
Ad1=(q2j−2d+2q2j−2d+4⋱q2j)d×d. |
The matrix of E acting on this basis is
B1=(N0⋯00N⋯0⋮⋮⋱⋮00⋯N)d2×d2, |
where
N=(000⋯00100⋯00010⋯00001⋯00⋮⋮⋮⋱⋮⋮000⋯10)d×d. |
The matrix of F acting on this basis is
C1=(00⋯00I0⋯000I⋯00⋮⋮⋱⋮⋮00⋯I0)d2×d2, |
where I represents the identity matrix of order d.
Next we consider Si⊗Pj. Note that the bases of Si and Pj are vi and EkFlϵj,{0≤i,k,l≤d−1}, respectively, it is obvious that
s1=vi⊗ϵj,s2=vi⊗Eϵj,⋯,sd=vi⊗Ed−1ϵj, |
sd+1=vi⊗Fϵj,sd+2=vi⊗EFϵj,⋯,s2d=vi⊗Ed−1Fϵj, |
s2d+1=vi⊗F2ϵj,s2d+2=vi⊗EF2ϵj,⋯,s3d=vi⊗Ed−1F2ϵj, |
⋮ |
sd2−d+1=vi⊗Fd−1ϵj,sd2−d+2=vi⊗EFd−1ϵj,⋯,sd2=vi⊗Ed−1Fd−1ϵj |
is a basis of Si⊗Pj. Let
t1=vi⊗ϵj,t2=vi⊗Eϵj,⋯,td=vi⊗Ed−1ϵj, |
td+1=q−2ivi⊗Fϵj,td+2=q−2ivi⊗EFϵj,⋯,t2d=q−2ivi⊗Ed−1Fϵj, |
t2d+1=q−4ivi⊗F2ϵj,t2d+2=q−4ivi⊗EF2ϵj,⋯,t3d=q−4ivi⊗Ed−1F2ϵj, |
⋮ |
td2−d+1=q−2(d−1)ivi⊗Fd−1ϵj,td2−d+2=q−2(d−1)ivi⊗EFd−1ϵj,⋯, |
td2=q−2(d−1)ivi⊗Ed−1Fd−1ϵj. |
Then t1,t2,⋯,td2 is also a basis of Si⊗Pj, since
(t1,t2,…,td2)=(s1,s2,…,sd2)(P10⋯00P2⋯0⋮⋮⋱⋮00⋯Pd)d2×d2, |
where
P1=(10⋯001⋯0⋮⋮⋱⋮00⋯1)d×d, |
P2=(q−2i0⋯00q−2i⋯0⋮⋮⋱⋮00⋯q−2i)d×d, |
⋮ |
Pd=(q−2(d−1)i0⋯00q−2(d−1)i⋯0⋮⋮⋱⋮00⋯q−2(d−1)i)d×d, |
and the transition matrix is invertible as q is a primitive n-th root of unity. The matrix of K on the basis of t1,t2,⋯,td2 is
A2=(A120⋯00A22⋯0⋮⋮⋱⋮00⋯Ad2)d2×d2 |
where
A12=(q2i+2j0⋯00q2i+2j+2⋯0⋮⋮⋱⋮00⋯q2i+2j+2d−2)d×d, |
A22=(q2i+2j−20⋯00q2i+2j⋯0⋮⋮⋱⋮00⋯q2i+2j+2d−4)d×d, |
⋮ |
Ad2=(q2i+2j−2d+2q2i+2j−2d+4⋱q2i+2j)d×d. |
The matrix of E acting on this basis is B2=B1; the matrix of F is C2=C1. Therefore we have Si⊗Pj≅P(i+j)(modd),(0≤i,j≤d−1). Now we consider Pj⊗Si. The bases of Pj and Si are ϵj,Eϵj,⋯,Ed−1Fd−1ϵj and vi respectively. Then we can take a basis of Pj⊗Si as
r1=ϵj⊗vi,r2=q2iEϵj⊗vi,⋯,rd=q2(d−1)iEd−1ϵj⊗vi, |
rd+1=Fϵj⊗vi,rd+2=q2iEFϵj⊗vi,⋯,r2d=q2(d−1)iEd−1Fϵj⊗vi, |
⋯, |
rd2−d+1=Fd−1ϵj⊗vi,td2−d+2=q2iEFd−1ϵj⊗vi,⋯,td2=q2(d−1)iEd−1Fd−1ϵj⊗vi. |
Then the matrix of K acting on this set of basis is A3=A2; the matrix of E acting on this set of basis is B3=B1; the matrix of F acting on this set of basis is C3=C1. In summary,
Si⊗Pj≅P(i+j)(modd)≅Pj⊗Si,(0≤i,j≤d−1). |
As in [8], we can show the tensor product by the following diagram.
Example 4.3. Let n=3, d=3 and q3=1, we can make the following structure diagram of K-eigenvalue, where a number l stands for the K-eigenvalue ql.
P0S1P1P1S2P0(211000221)⊗(2)→(100222110),(100222110)⊗(1)→(211000221). |
Observe that, we have P0⊗S1≅P1, P1⊗S2≅P0. Other results can be showed similarly, such that both Pj⊗Si and Si⊗Pj are consistent with the K-eigenvalue of P(i+j)(mod3), and we have
Si⊗Pj≅P(i+j)(mod3)≅Pj⊗Si,0≤i,j≤2. |
Now we consider the tensor products of two projective ¯Uq(sl∗2)-modules. We have
Theorem 4.4. Pi⊗Pj≅(P0⊕P1⊕⋯Pd−1)d,0≤i,j≤d−1.
Proof. Let P be a projective ¯Uq(sl∗2)-module. For any ¯Uq(sl∗2)-module M, P⊗M, M⊗P are also projective modules. Suppose there is a ¯Uq(sl∗2)-module short exact sequence
0→K→M→N→0, |
then there exists a projective short exact sequence
0→K⊗P(V)→M⊗P(V)→N⊗P(V)→0, |
where P(V) is the projective cover of V, and we have
M⊗P(V)≅K⊗P(V)⊕N⊗P(V). |
Now we calculate Pi⊗Pj.
Note that Pi is the projective cover of Si, and there is an epimorphism
Pi→Si→0. |
Let Ω(Si) be the kernel of the epimorphism, and we have the short exact sequence
0→Ω(Si)→Pi→Si→0, |
then
0→Ω(Si)⊗Pj→Pi⊗Pj→Si⊗Pj→0, |
and therefore
Pi⊗Pj≅Ω(Si)⊗Pj⊕Si⊗Pj. |
We write the composition series of Pi below and find its composition factors. Let
Ni0={0},Ni1=CEd−1Fd−1ϵi,Ni2=CEd−1Fd−1ϵi+CEd−2Fd−1ϵi,⋮Nid2=Pi. |
Then
0=Ni0⊂Ni1⊂Ni2⊂⋯⊂Nid2=Pi |
is the composition series of Pi. By the short exact sequences
0→Nid2−1→Nid2→Nid2/Nid2−1→0, |
0→Nid2−2→Nid2−1→Nid2−1/Nid2−2→0, |
⋮ |
0→Ni1→Ni2→Ni2/Ni1→0, |
we have
Nid2⊗Pj≅Nid2−1⊗Pj⊕Nid2/Nid2−1⊗Pj, |
Nid2−1⊗Pj≅Nid2−2⊗Pj⊕Nid2−1/Nid2−2⊗Pj, |
⋮ |
Ni2⊗Pj≅Ni1⊗Pj⊕Ni2/Ni1⊗Pj, |
it follows that
Pi⊗Pj≅Ni1⊗Pj⊕Ni2/Ni1⊗Pj⊕Ni3/Ni2⊗Pj⊕⋯⊕Nid2/Nid2−1⊗Pj. |
Note that
KEd−1Fd−1ϵi=q2iFd−1Ed−1ϵi, |
KEd−2Fd−2ϵi=q2iFd−2Ed−2ϵi,⋯,Kϵi=q2iϵi, |
then
Ni1≅Nid+2/Nid+1≅Ni2d+3/Ni2d+2≅⋯≅Nid2/Nid2−1≅Si, |
since
KEd−2Fd−1ϵi=q2i−2Fd−1Ed−2ϵi, |
KEd−3Fd−2ϵi=q2i−2Fd−2Ed−3ϵi,⋯,KFϵi=q2i−2ϵi, |
then
Ni2/Ni1≅Nid+3/Nid+2≅Ni2d+4/Ni2d+3≅⋯≅Nid2−d+1/Nid2−d≅Si−1+d(modd), |
⋮ |
as
KFd−1ϵi=q2i+2Fd−1ϵi,KEd−1Fd−2ϵi=q2i+2Fd−2Ed−1ϵi, |
KEd−2Fd−3ϵi=q2i+2Fd−3Ed−2ϵi,⋯,KEϵi=q2i+2ϵi, |
then
Nid/Nid−1≅Nid+1/Nid≅Ni2d+2/Ni2d+1≅⋯≅Nid2−1/Nid2−2≅Si+1(modd). |
By Theorem 4.2, we have
Pi⊗Pj≅(Si⊗Pj⊕Si−1(modd)⊗Pj⊕⋯⊕Si+1(modd)⊗Pj)⊕(Si+1(modd)⊗Pj⊕Si⊗Pj⊕⋯⊕Si+2(modd)⊗Pj)⊕⋯⊕(Si−1(modd)⊗Pj⊕Si−2(modd)⊗Pj⊕⋯⊕Si⊗Pj)≅(Pi+j(modd)⊕Pi+j−1(modd)⊕⋯⊕Pi+j+1(modd))⊕(Pi+j+1(modd)⊕Pi+j(modd)⊕⋯⊕Pi+j+2(modd))⊕⋯⊕(Pi+j−1(modd)⊕Pi+j−2(modd)⊕⋯⊕Pi+j(modd))≅(P0⊕P1⊕⋯⊕Pd−1)d. |
Let H be a finite dimensional Hopf algebra. The Green ring r(H) is defined as follows. r(H) is the Abelian group generated by the isomorphism classes [M] of finite dimensional H-modules M modulo the relations [M⊕N]=[M]+[N]. The multiplication of r(H) is given by the tensor product [M][N]=[M⊗N]. The Green ring r(H) is an associative ring with identity given by [kε], the trivial 1-dimensional H-module. The projective class ring P(H) of H is the subring of r(H) generated by projective modules and simple modules (see [16]).
In this section we will describe the projective class ring P(¯Uq(sl∗2)) of the quantum group ¯Uq(sl∗2) explicitly by generators and generating relations.
Let t=[S1] be the isomorphism class of the simple module S1, and f=[P1] the isomorphism class of the indecomposable projective module P1. Then we have:
Lemma 4.5. The following statements hold in P(¯Uq(sl∗2)).
(1)td=1,
(2)tf=ft,
(3)f2=d(f+tf+t2f+⋯+td−1f).
Proof. By Theorem 4.1, we know that [S1]d=[S0]=1, hence we get (1). By Theorem 4.2, we have tf=[S1][P1]=[S1⊗P1]=[P1⊗S1]=[P1][S1]=ft, so we obtain that tf=ft. By Theorems 4.1, 4.2 and 4.4, we have
f2=[P1]2=[P1⊗P1]=[(P0⊕P1⊕⋯⊕Pd−1)d]=d(f+tf+t2f+⋯+td−1f). |
Corollary 4.6. The set {tifj∣0≤i≤d−1,0≤j≤1} is a set of Z-basis of P(¯Uq(sl∗2)).
Proof. P(¯Uq(sl∗2)) has a set of Z-basis {[Si],[Pi]∣0≤i≤d−1}, so the rank of P(¯Uq(sl∗2)) is 2d. From Lemma 3.5, it is known that [Si],[Pi] is Z-spanned by the set {tifj∣0≤i≤d−1,0≤j≤1}, so {tifj∣0≤i≤d−1,0≤j≤1} is actually a set of Z-basis of P(¯Uq(sl∗2)).
Theorem 4.7. The projective class ring P(¯Uq(sl∗2)) is isomorphic to the quotient ring Z[x,y]/I, where I is the ideal generated by the relationship
xd−1,xy−yx,y2−d(y+xy+x2y+⋯xd−1y). |
Proof. Let π:Z[x,y]→Z[x,y]/I be the natural epimorphism such that for any v∈Z[x,y], ˉv=π(v). We can straightforward to verify that the ring Z[x,y]/I is Z-spanned by the set {¯xiyj∣0≤i≤d−1,0≤j≤1}. On the other hand, because P(¯Uq(sl∗2)) is an commutative ring generated by t,f, there exists an unique ring epimorphism Φ:Z[x,y]→P(¯Uq(sl∗2)), where Φ(x)=t,Φ(y)=f. From Lemma 4.5, it is easily verified that
Φ(xd−1)=0,Φ(xy−yx)=0, |
Φ(y2−d(y+xy+x2y+⋯xd−1y))=0, |
that is Φ(I)=0, thus Φ induces a ring epimorphism
¯Φ:Z[x,y]/I→P(¯Uq(sl∗2)), |
such that for any v∈Z[x,y], ¯Φ(ˉv)=Φ(v). Then from Corollary 4.6, we can define a Z-module homomorphism
Ψ:P(¯Uq(sl∗2))→Z[x,y]/I, |
with Ψ(tifj)=¯xiyj for 0≤i≤d−1,0≤j≤1. Assume ˉv∈{¯xiyj∣0≤i≤d−1,0≤j≤1}, it is easy to check that Ψ∘¯Φ(ˉv)=ˉv. Therefore Ψ∘¯Φ=id, which means ¯Φ is a ring isomorphism.
For the new type restricted quantum group ¯Uq(sl∗2) we give the decomposition formulas of tensor products between two simple modules, two indecomposable projective modules, and a simple module and an indecomposable projective module of ¯Uq(sl∗2). Furthermore, we describe the projective class ring by generators and relations explicitly.
The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.
This research is supported by the National Natural Science Foundations of China (Grant No. 11701019) and the Science and Technology Project of Beijing Municipal Education Commission (No. KM202110005012).
The authors declare no conflicts of interest in this paper.
[1] |
K. T. Atanassov, G. Gargov, Interval valued intuitionistic fuzzy sets, Fuzzy Sets Syst., 31 (1989), 343–349. https://doi.org/10.1016/0165-0114(89)90205-4 doi: 10.1016/0165-0114(89)90205-4
![]() |
[2] |
K. T. Atanassov, Intuitionistic fuzzy sets, Fuzzy Sets Syst., 20 (1986), 87–96. https://doi.org/10.1016/S0165-0114(86)80034-3 doi: 10.1016/S0165-0114(86)80034-3
![]() |
[3] |
A. O. Almagrabi, S. Abdullah, M. Shams, Y. D. Al-Otaibi, S. Ashraf, A new approach to q-linear Diophantine fuzzy emergency decision support system for COVID19, J. Ambient Intell. Human. Comput., 13 (2022), 1687–1713. https://doi.org/10.1007/s12652-021-03130-y doi: 10.1007/s12652-021-03130-y
![]() |
[4] |
S. Ashraf, S. Abdullah, M. Aslam, Symmetric sum based aggregation operators for spherical fuzzy information: Application in multi-attribute group decision making problem, J. Intell. Fuzzy Systs., 38 (2020), 5241–5255. https://doi.org/10.3233/JIFS-191819 doi: 10.3233/JIFS-191819
![]() |
[5] |
S. Ashraf, S. Abdullah, L. Abdullah, Child development influence environmental factors determined using spherical fuzzy distance measures, Mathematics, 7 (2019), 661. https://doi.org/10.3390/math7080661 doi: 10.3390/math7080661
![]() |
[6] |
S. Ashraf, S. Abdullah, M. Aslam, M. Qiyas, M. A. Kutbi, Spherical fuzzy sets and its representation of spherical fuzzy t-norms and t-conorms, J. Intell. Fuzzy Systs., 36 (2019), 6089–6102. https://doi.org/10.3233/JIFS-181941 doi: 10.3233/JIFS-181941
![]() |
[7] | S. Ashraf, S. Abdullah, A. O. Almagrabi, A new emergency response of spherical intelligent fuzzy decision process to diagnose of COVID19, Soft Comput., 2020. https://doi.org/10.1007/s00500-020-05287-8 |
[8] |
S. Ashraf, S. Abdullah, Emergency decision support modeling for COVID-19 based on spherical fuzzy information, Int. J. Intell. Syst., 35 (2020), 1601–1645. https://doi.org/10.1002/int.22262 doi: 10.1002/int.22262
![]() |
[9] |
S. Ashraf S. Abdullah, Spherical aggregation operators and their application in multiattribute group decision-making, Int. J. Intell. Syst., 34 (2019), 493–523. https://doi.org/10.1002/int.22062 doi: 10.1002/int.22062
![]() |
[10] | S. Ashraf, S. Abdullah, T. Mahmood, Spherical fuzzy Dombi aggregation operators and their application in group decision making problems, J Ambient Intell. Human. Comput., 11 (2020), 2731–2749. https://doi.org/10.1007/s12652-019-01333-y |
[11] |
S. Ashraf, S. Abdullah, T. Mahmood, F. Ghani, Spherical fuzzy sets and their applications in multi-attribute decision making problem, J. Intell. Fuzzy Syst., 36 (2019), 2829–2844. https://doi.org/10.3233/JIFS-172009 doi: 10.3233/JIFS-172009
![]() |
[12] |
S. Ayub, M. Shabir, M. Riaz, M. Aslam, R. Chinram, Linear Diophantine fuzzy relations and their algebraic properties with decision making, Symmetry, 13 (2021), 945. https://doi.org/10.3390/sym13060945 doi: 10.3390/sym13060945
![]() |
[13] |
K. Y. Bai, X. M. Zhu, J. Wang, R. T. Zhang, Some partitioned Maclaurin symmetric mean based on q-rung orthopair fuzzy information for dealing with multi-attribute group decision making, Symmetry, 10 (2018), 383. https://doi.org/10.3390/sym10090383 doi: 10.3390/sym10090383
![]() |
[14] |
O. Barukab, S. Abdullah, S. Ashraf, M. Arif, S. A. Khan, A new approach to fuzzy TOPSIS method based on entropy measure under spherical fuzzy information, Entropy, 21 (2019), 1231. https://doi.org/10.3390/e21121231 doi: 10.3390/e21121231
![]() |
[15] |
E. Alsuwat, S. Alzahrani, H. Alsuwat, Detecting COVID-19 Utilizing Probabilistic Graphical Models, Int. J. Adv. Comput. Sci. Appl., 12 (2021), 786–793. https://doi.org/10.14569/IJACSA.2021.0120692 doi: 10.14569/IJACSA.2021.0120692
![]() |
[16] |
A. Iampan, G. S. Garc, M. Riaz, H. M. Athar Farid, R. Chinram, Linear Diophantine fuzzy Einstein aggregation operators for multi-criteria decision making problems, J. Math., 2021 (2021), 5548033. https://doi.org/10.1155/2021/5548033 doi: 10.1155/2021/5548033
![]() |
[17] |
B. Farhadinia, Similarity-based multi-criteria decision making technique of pythagorean fuzzy set, Artif. Intell. Rev., 55 (2022), 2103–2148. https://doi.org/10.1007/s10462-021-10054-8 doi: 10.1007/s10462-021-10054-8
![]() |
[18] |
H. M. A. Farid, M. Riaz, M. J. Khan, P. Kumam, K. Sitthithakerngkiet, Sustainable thermal power equipment supplier selection by Einstein prioritized linear Diophantine fuzzy aggregation operators, AIMS Mathematics, 7 (2022), 11201–11242. https://doi.org/10.3934/math.2022627 doi: 10.3934/math.2022627
![]() |
[19] |
M. A. Firozja, B. Agheli, E. B. Jamkhaneh, A new similarity measure for Pythagorean fuzzy sets, Complex Intell. Syst., 6 (2020), 67–74. https://doi.org/10.1007/s40747-019-0114-3 doi: 10.1007/s40747-019-0114-3
![]() |
[20] |
H. Garg, Some series of intuitionistic fuzzy interactive averaging aggregation operators, SpringerPlus, 5 (2016), 999. https://doi.org/10.1186/s40064-016-2591-9 doi: 10.1186/s40064-016-2591-9
![]() |
[21] |
H. Garg, A new generalized Pythagorean fuzzy information aggregation using Einstein operations and its application to decision making, Int. J. Intell. Syst., 31 (2016), 886–920. https://doi.org/10.1002/int.21809 doi: 10.1002/int.21809
![]() |
[22] |
H. Garg, Generalized Pythagorean fuzzy geometric aggregation operators using Einstein t-norm and t-conorm for multicriteria decision-making process, Int. J. Intell. Syst., 32 (2017), 597–630. https://doi.org/10.1002/int.21860 doi: 10.1002/int.21860
![]() |
[23] |
H. Garg, New logarithmic operational laws and their aggregation operators for Pythagorean fuzzy set and their applications, Int. J. Intell. Syst., 34 (2019), 82–106 https://doi.org/10.1002/int.22043 doi: 10.1002/int.22043
![]() |
[24] |
H. Garg, Some methods for strategic decision-making problems with immediate probabilities in Pythagorean fuzzy environment, Int. J. Intell. Syst., 33 (2018), 687–712. https://doi.org/10.1002/int.21949 doi: 10.1002/int.21949
![]() |
[25] |
F. K. Gündoğdu, C. Kahraman, A novel spherical fuzzy analytic hierarchy process and its renewable energy application, Soft Comput., 24 (2020), 4607–4621. https://doi.org/10.1007/s00500-019-04222-w doi: 10.1007/s00500-019-04222-w
![]() |
[26] |
F. K. Gündoğdu, C. Kahraman, A novel spherical fuzzy QFD method and its application to the linear delta robot technology development, Eng. Appl. Artif. Intel., 87 (2020), 103348. https://doi.org/10.1016/j.engappai.2019.103348 doi: 10.1016/j.engappai.2019.103348
![]() |
[27] |
G. Q. Huang, L. M. Xiao, W. Pedrycz, D. Pamucar, G. B. Zhang, L. Martínez, Design alternative assessment and selection: A novel Z-cloud rough number-based BWM-MABAC model, Inf. Sci., 603 (2022), 149–189. https://doi.org/10.1016/j.ins.2022.04.040 doi: 10.1016/j.ins.2022.04.040
![]() |
[28] |
G. Q. Huang, L. M. Xiao, G. B. Zhang, Assessment and prioritization method of key engineering characteristics for complex products based on cloud rough numbers, Adv. Eng. Inform., 49 (2021), 101309. https://doi.org/10.1016/j.aei.2021.101309 doi: 10.1016/j.aei.2021.101309
![]() |
[29] | G. Q. Huang, L. M. Xiao, W. Pedrycz, G. B. Zhang, L. Martinez, Failure mode and effect analysis using T-spherical fuzzy maximizing deviation and combined comparison solution methods, IEEE T. Reliab., 2022, 1–22. https://doi.org/10.1109/TR.2022.3194057 |
[30] |
Y. Jin, S. Ashraf, S. Abdullah, Spherical fuzzy logarithmic aggregation operators based on entropy and their application in decision support systems, Entropy, 21 (2019), 628. https://doi.org/10.3390/e21070628 doi: 10.3390/e21070628
![]() |
[31] | S. M. Khalil, M. A. H. Hasab, Decision making using new distances of intuitionistic fuzzy sets and study their application in the universities, In: Intelligent and fuzzy techniques: Smart and innovative solutions, Cham: Springer, 2020. https://doi.org/10.1007/978-3-030-51156-2_46 |
[32] |
M. A. Khan, S. Ashraf, S. Abdullah, F. Ghani, Applications of probabilistic hesitant fuzzy rough set in decision support system, Soft Comput., 24 (2020), 16759–16774. https://doi.org/10.1007/s00500-020-04971-z doi: 10.1007/s00500-020-04971-z
![]() |
[33] |
M. J. Khan, P. Kumam, P. D. Liu, W. Kumam, S. Ashraf, A novel approach to generalized intuitionistic fuzzy soft sets and its application in decision support system, Mathematics, 7 (2019), 742. https://doi.org/10.3390/math7080742 doi: 10.3390/math7080742
![]() |
[34] |
M. J. Khan, P. Kumam, P. D. Liu, W. Kumam, S. Ashraf, A novel approach to generalized intuitionistic fuzzy soft sets and its application in decision support system, Mathematics, 7 (2019), 742. https://doi.org/10.3390/math7080742 doi: 10.3390/math7080742
![]() |
[35] |
D. Q. Li, W. Y. Zeng, Distance measure of Pythagorean fuzzy sets, Int. J. Intell. Syst., 33 (2018), 348–361. https://doi.org/10.1002/int.21934 doi: 10.1002/int.21934
![]() |
[36] |
Z. M. Ma, Z. S. Xu, Symmetric Pythagorean fuzzy weighted geometric/averaging operators and their application in multicriteria decision-making problems, Int. J. Intell. Syst., 31 (2016), 1198–1219. https://doi.org/10.1002/int.21823 doi: 10.1002/int.21823
![]() |
[37] |
T. Mahmood, Z. Ali, M. Aslam, R. Chinram, Generalized Hamacher aggregation operators based on linear Diophantine uncertain linguistic setting and their applications in decision-making problems, IEEE Access, 9 (2021), 126748–126764. https://doi.org/10.1109/ACCESS.2021.3110273 doi: 10.1109/ACCESS.2021.3110273
![]() |
[38] |
X. D. Peng, J. G. Dai, Research on the assessment of classroom teaching quality with q-rung orthopair fuzzy information based on multiparametric similarity measure and combinative distancebased assessment, Int. J. Intell. Syst., 34 (2019), 1588–1630. https://doi.org/10.1002/int.22109 doi: 10.1002/int.22109
![]() |
[39] |
M. Qiyas, M. Naeem, S. Abdullah, N. Khan, A. Ali, Similarity measures based on q-rung linear Diophantine fuzzy sets and their application in logistics and supply chain management, J. Math., 2022 (2022), 4912964. https://doi.org/10.1155/2022/4912964 doi: 10.1155/2022/4912964
![]() |
[40] |
M. Rafiq, S. Ashraf, S. Abdullah, T. Mahmood, S. Muhammad, The cosine similarity measures of spherical fuzzy sets and their applications in decision making, J. Intell. Fuzzy Syst., 36 (2019), 6059–6073. https://doi.org/10.3233/JIFS-181922 doi: 10.3233/JIFS-181922
![]() |
[41] |
M. Riaz, H. M. A. Farid, M. Aslam, D. Pamucar, D. Bozanić, Novel approach for third-party reverse logistic provider selection process under linear Diophantine fuzzy prioritized aggregation operators, Symmetry, 13 (2021), 1152. https://doi.org/10.3390/sym13071152 doi: 10.3390/sym13071152
![]() |
[42] |
M. Riaz, M. R. Hashmi, Linear Diophantine fuzzy set and its applications towards multi-attribute decision-making problems, J. Intell. Fuzzy Syst., 37 (2019), 5417–5439. https://doi.org/10.3233/JIFS-190550 doi: 10.3233/JIFS-190550
![]() |
[43] |
M. Riaz, M. R. Hashmi, D. Pamucar, Y. M. Chu, Spherical linear Diophantine fuzzy sets with modeling uncertainties in MCDM, Comput. Model. Eng. Sci., 126 (2021), 1125–1164. https://doi.org/10.32604/cmes.2021.013699 doi: 10.32604/cmes.2021.013699
![]() |
[44] |
A. Sotoudeh-Anvari, A critical review on theoretical drawbacks and mathematical incorrect assumptions in fuzzy OR methods: Review from 2010 to 2020, Appl. Soft Comput., 93 (2020), 106354. https://doi.org/10.1016/j.asoc.2020.106354 doi: 10.1016/j.asoc.2020.106354
![]() |
[45] |
L. M. Xiao, G. Q. Huang, W. Pedrycz, D. Pamucar, L. Martínez, G. B. Zhang, A q-rung orthopair fuzzy decision-making model with new score function and best-worst method for manufacturer selection, Inf. Sci., 608 (2022), 153–177. https://doi.org/10.1016/j.ins.2022.06.061 doi: 10.1016/j.ins.2022.06.061
![]() |
[46] |
L. M. Xiao, G. Q. Huang, G. B. Zhang, An integrated risk assessment method using Z-fuzzy clouds and generalized TODIM, Qual. Reliab. Eng., 38 (2022), 1909–1943. https://doi.org/10.1002/qre.3062 doi: 10.1002/qre.3062
![]() |
[47] | Z. S. Xu, R. R. Yager, Some geometric aggregation operators based on intuitionistic fuzzy sets, Int. J. Gen. Syst., 35 (2006), 417–433. |
[48] |
Y. G. Xue, Y. Deng, Decision making under measure-based granular uncertainty with intuitionistic fuzzy sets, Appl. Intell., 51 (2021), 6224–6233. https://doi.org/10.1007/s10489-021-02216-6 doi: 10.1007/s10489-021-02216-6
![]() |
[49] | R. R. Yager, Pythagorean fuzzy subsets, 2013 joint IFSA world congress and NAFIPS annual meeting (IFSA/NAFIPS), 2013, 57–61. |
[50] | R. R. Yager, Pythagorean membership grades in multi-criteria decision making, IEEE T. Fuzzy Syst., 22 (2014), 958–965. |
[51] |
R. R. Yager, Generalized orthopair fuzzy sets, IEEE T. Fuzzy Syst., 25 (2017), 1222–1230. https://doi.org/10.1109/TFUZZ.2016.2604005 doi: 10.1109/TFUZZ.2016.2604005
![]() |
[52] |
L. A. Zadeh, Fuzzy sets, Inf. Control, 8 (1965), 338–353. https://doi.org/10.1016/S0019-9958(65)90241-X doi: 10.1016/S0019-9958(65)90241-X
![]() |
[53] |
S. Z. Zeng, A. Hussain, T. Mahmood, M. I. Ali, S. Ashraf, M. Munir, Covering-based spherical fuzzy rough set model hybrid with TOPSIS for multi-attribute decision-making, Symmetry, 11 (2019), 547. https://doi.org/10.3390/sym11040547 doi: 10.3390/sym11040547
![]() |
[54] |
S. Z. Zeng, Pythagorean fuzzy multiattribute group decision making with probabilistic information and OWA approach, Int. J. Intell. Syst., 32 (2017), 1136–1150. https://doi.org/10.1002/int.21886 doi: 10.1002/int.21886
![]() |