→ | 0 | e | f | g | 1 |
0 | 1 | 1 | 1 | 1 | 1 |
e | f | 1 | 1 | 1 | 1 |
f | 0 | e | 1 | 1 | 1 |
g | 0 | e | f | 1 | 1 |
1 | 0 | e | f | g | 1 |
This paper aims to study bounded algebras in another perspective-dual ideals of bounded L-algebras. As the dual concept of ideals in L-algebras, dual ideals are designed to characterize some significant properties of bounded L-algebras. We begin by providing a definition of dual ideals and discussing the relationships between ideals and dual ideals. Then, we prove that these dual ideals induce congruence relations and quotient L-algebras on bounded L-algebras. Naturally, in order to construct the first isomorphism theorem between bounded L-algebras, the relationship between dual ideals and morphisms between bounded L-algebras is investigated and that the kernels of any morphisms between bounded L-algebras are dual ideals is proven. Fortunately, although the first isomorphism theorem between arbitrary bounded L-algebras fails to be proven when using dual ideals, the theorem was proven when the range of morphism was good. Another main purpose of this study is to use dual ideals to characterize several kinds of bounded L-algebras. Therefore, first, the properties of dual ideals in some special bounded L-algebras are studied; then, some special bounded L-algebras are characterized by dual ideals. For example, a good L-algebra is a CL-algebra if and only if every dual ideal is C dual ideal is proven.
Citation: Chun Ge Hu, Xiao Guang Li, Xiao Long Xin. Dual ideal theory on L-algebras[J]. AIMS Mathematics, 2024, 9(1): 122-139. doi: 10.3934/math.2024008
[1] | Seok-Zun Song, Hee Sik Kim, Young Bae Jun . Commutative ideals of BCK-algebras and BCI-algebras based on soju structures. AIMS Mathematics, 2021, 6(8): 8567-8584. doi: 10.3934/math.2021497 |
[2] | Jie Qiong Shi, Xiao Long Xin . Ideal theory on EQ-algebras. AIMS Mathematics, 2021, 6(11): 11686-11707. doi: 10.3934/math.2021679 |
[3] | Fengxia Gao, Jialei Chen . Conjugacy classes of left ideals of Sweedler's four-dimensional algebra $ H_{4} $. AIMS Mathematics, 2022, 7(5): 7720-7727. doi: 10.3934/math.2022433 |
[4] | M. Mohseni Takallo, Rajab Ali Borzooei, Seok-Zun Song, Young Bae Jun . Implicative ideals of BCK-algebras based on MBJ-neutrosophic sets. AIMS Mathematics, 2021, 6(10): 11029-11045. doi: 10.3934/math.2021640 |
[5] | Moin A. Ansari, Ali N. A. Koam, Azeem Haider . Intersection soft ideals and their quotients on KU-algebras. AIMS Mathematics, 2021, 6(11): 12077-12084. doi: 10.3934/math.2021700 |
[6] | Anas Al-Masarwah, Nadeen Kdaisat, Majdoleen Abuqamar, Kholood Alsager . Crossing cubic Lie algebras. AIMS Mathematics, 2024, 9(8): 22112-22129. doi: 10.3934/math.20241075 |
[7] | Tariq Mahmood, Liaqat Ali, Muhammad Aslam, Ghulam Farid . On commutativity of quotient semirings through generalized derivations. AIMS Mathematics, 2023, 8(11): 25729-25739. doi: 10.3934/math.20231312 |
[8] | Abdul Razaq, Ghaliah Alhamzi . On Pythagorean fuzzy ideals of a classical ring. AIMS Mathematics, 2023, 8(2): 4280-4303. doi: 10.3934/math.2023213 |
[9] | Ziteng Zhao, Jing Wang, Yali Wu . Note on $ p $-ideals set of orthomodular lattices. AIMS Mathematics, 2024, 9(11): 31947-31961. doi: 10.3934/math.20241535 |
[10] | Xiying Zheng, Bo Kong, Yao Yu . Quantum codes from $ \sigma $-dual-containing constacyclic codes over $ \mathfrak{R}_{l, k} $. AIMS Mathematics, 2023, 8(10): 24075-24086. doi: 10.3934/math.20231227 |
This paper aims to study bounded algebras in another perspective-dual ideals of bounded L-algebras. As the dual concept of ideals in L-algebras, dual ideals are designed to characterize some significant properties of bounded L-algebras. We begin by providing a definition of dual ideals and discussing the relationships between ideals and dual ideals. Then, we prove that these dual ideals induce congruence relations and quotient L-algebras on bounded L-algebras. Naturally, in order to construct the first isomorphism theorem between bounded L-algebras, the relationship between dual ideals and morphisms between bounded L-algebras is investigated and that the kernels of any morphisms between bounded L-algebras are dual ideals is proven. Fortunately, although the first isomorphism theorem between arbitrary bounded L-algebras fails to be proven when using dual ideals, the theorem was proven when the range of morphism was good. Another main purpose of this study is to use dual ideals to characterize several kinds of bounded L-algebras. Therefore, first, the properties of dual ideals in some special bounded L-algebras are studied; then, some special bounded L-algebras are characterized by dual ideals. For example, a good L-algebra is a CL-algebra if and only if every dual ideal is C dual ideal is proven.
Based on the L equation, the basic definition of L-algebras was introduced by German mathematician Wolfgang Rump in 2008 [1]. The purpose of this definition was to address the problem related to the set-theoretic solutions of the quantum Yang-Baxter equation. The L equation, which can be found in earlier papers [2,3], has historically received little attention and has been virtually ignored. In [1], Rump studied the conditions under which an algebra can be a monoid and showed that every L-algebra has a self-similar closure. This allows us to use the properties of self-similar L-algebras to study L-algebras themselves. In recent years, L-algebras have attracted many scholars, who have conducted thorough research studies on L-algebras. In 2019, Wu et al. constructed lattice-ordered effect algebras in [4]. They proved that every lattice-ordered effect algebra can be generated from an L-algebra having the same ortho-complement. In 2020, Wu and Yang [5] proved that the monoid operation in the self-similar closure of OM-L-algebra is commutative and also provided the necessary and sufficient conditions for a KL-algebra to be a Boolean algebra. In 2021, Ciungu [6] discussed the relationships between some special L-algebras and normal L-algebras and claimed that L-algebras can be generated from other structures (such as BCK-algebras and pseudo MV-algebras). In 2022, Xin et al. [7] introduced the concept of pseudo L-algebras and studied their pseudo self-similar closures and structure groups.
When investigating algebraic structures, the study of ideals and filters is crucial. Mostly, they are used in inducing congruences relations and characterizing algebras. Therefore, studying various types of ideals and filters is crucial for the research of algebra itself. In [1], Rump provided the definition of ideals in L-algebras, and studied congruence relations and quotient algebras induced by ideals. In [8], Hua proposed state operators on L-algebras, as well as provided the concept of state L-algebras and state ideals and characterized a kind of state L-algebra by using state ideals. Ciungu defined a class of special ideals on L-algebras (commutative ideals) and studied the relationship between commutative ideals and CL-algebras in [6]. Iseki proposed the notion of prime ideals for commutative BCK-algebras in [9]. In [10], prime ideals in BCI-algebras were further developed, and various properties of prime ideals in BCI-algebras and BCK-algebras were verified, such as the relationship between prime ideals and maximal ideals. Ideals focus on fuzzy events with low truth values. The aforementioned ideals are the kinds of dual ideals in an L-algebra we are going to study. Thus, we can provide a new idea to study L-algebras by using dual ideals.
The main purpose of this article is to study L-algebras and its corresponding structure by using dual ideals. This article is organized as follows. In Section 2, we review some definitions and properties of L-algebras. In Section 3, the concept of dual ideals on bounded L-algebras is proposed. First, we give some properties of dual ideals. In addition, we discuss the connection between dual ideals and ideals in L-algebras. Furthermore, we prove that every dual ideal can induce both an equivalence relation and a congruence relation. In Section 4, we study the relationship between dual ideals and morphisms between L-algebras. We prove that for any morphism f from L-algebra L1 to L-algebra L2, then Imf is an L-algebra. Moreover, if L1 and L2 are both bounded L-algebras, then the inverse image of every dual ideal is a dual ideal as well. Using this fact, we find some connections between dual ideals and congruence relations that can induce quotient algebras. Furthermore, we prove that there is a one-to-one correspondence between dual ideals and congruence relations that can induce quotient algebras in involution L-algebras. Moreover, the isomorphism theorem is proven when L2 is a good L-algebra. In Section 5, we introduce four special types of dual ideals on L-algebras. Then, we provide equivalent characterizations of special L-algebras (such as KL-algebras and CL-algebras) by using special dual ideals on good L-algebras.
In this section, we recall some fundamental results regarding L-algebras.
Definition 2.1. [1] An L-algebra is an algebra of type (2,0), denoted by L=(L,→,1), that satisfies the following conditions for any r,s,t∈L:
(L1)r→r=r→1=1, 1→r=r;
(L2)(r→s)→(r→t)=(s→r)→(s→t);
(L3)r→s=s→r=1⇒r=s.
Condition (L1) asserts that 1 is a logical unit, which is unique. A partial ordering is defined by r≤s⇔r→s=1.
Definition 2.2. [11] If an L-algebra L admits a smallest element 0, L is called a bounded L-algebra. If the mapping r↦r′ is bijective, where r′=r→0, the bounded L-algebra L is called an L-algebra with negation. The inverse mapping is denoted by r↦˜r.
Proposition 2.1. [11] Let L be an L-algebra. If r≤s, then t→r≤t→s for all r,s,t∈L.
Proposition 2.2. [11] Let L be an L-algebra. Then the following conditions are equivalent:
(1)s≤r→s for all r,s∈L;
(2)r≤t⇒t→s≤r→s for all r,s,t∈L;
(3)((r→s)→t)→t≤((r→s)→t)→((s→r)→t) for all r,s,t∈L.
Definition 2.3. [1] We call (L,→,1) a semiregular L-algebra if it is an L-algebra and satisfies ((r→s)→t)→((s→r)→t)=((r→s)→t)→t for all r,s,t∈L.
Proposition 2.3. [11] Let L be a semiregular L-algebra with negation. Then r≤s⇔s′≤r′ holds for all r,s∈L.
Proposition 2.4. [11] Let L be a semiregular L-algebra. If r→t≥s→t, then (r→s)→(r→t)=r→t for all r,s,t∈L.
Proposition 2.5. [1] Let L be an L-algebra, and r,s∈L. Then r=s if and only if r→t=s→t for all t∈L.
Definition 2.4. [1] A monoid H equipped with a binary operation → is said to be a left hoop provided that the following conditions are satisfied for any r,s,t∈H:
(H1)r→r=1;
(H2)r⋅s→t=r→(s→t);
(H3)(r→s)⋅r=(s→r)⋅s.
Definition 2.5. [12] A self-similar L-algebra L can be described equationally as a monoid with a second operation → satisfying r,s,t∈L:
(1)s→r⋅s=r;
(2)r⋅s→t=r→(s→t);
(3)(r→s)⋅r=(s→r)⋅s.
Proposition 2.6. [6] If L is a self-similar L-algebra, then the following statements hold for all r,s,t∈L:
(1)r⋅s≤t⇔r≤s→t;
(2)(r→s)⋅r≤r,s;
(3)r→s=r⋅t→s⋅t.
Definition 2.6. [4] Let (L,→,1) be an L-algebra. We call F⊆L an ideal if the following conditions hold for all r,s∈L:
(F1)1∈F;
(F2)r,r→s∈F⇒s∈F;
(F3)r∈F⇒(r→s)→s∈F;
(F4)r∈F⇒s→r,s→(r→s)∈F.
If L satisfies the equation r→(s→r)=1, then property (F4) is no longer required.
Definition 2.7. [6] Let (L,→,1) be an L-algebra.
(1) If L satisfies condition K: r→(s→r)=1, then L is called a KL-algebra.
(2) If L satisfies condition C: (r→(s→t))→(s→(r→t))=1, then L is called a CL-algebra.
Proposition 2.7. [6] Let (L,→,1) be an L-algebra. If L satisfies condition C, then the following condition holds for all x,y∈L:
(D)r→((r→s)→s)=1.
After preparing some preliminaries for our work in Section 2, we start our main work in this section. The main purpose of this section is to provide a definition of dual ideals that are within bounded L-algebras and to discuss the relationship between dual ideals and congruence relations.
Definition 3.1. Let L be a bounded L-algebra. A subset I of L is called a dual ideal if it satisfies the following conditions for any elements r,s of L:
(I1)0∈I;
(I2) if r′∈I and (r→s)′∈I, then s′∈I;
(I3) if r′∈I, then ((r→s)→s)′∈I;
(I4) if r′∈I, then (s→r)′∈I and (s→(r→s))′∈I;
(I5) if r≤s and s∈I, then r∈I.
Let Id(L) be the set of all dual ideals of L. A dual ideal I is said to be proper if I≠L.
Remark 3.1. If L satisfies condition (K), then (I4) can be omitted. In fact, assuming that (K) holds and s′∈I, it follows from (I2) that (t→s)′∈I since (s→(t→s))′=0∈I. By (K), we have (t→(s→t))′=0∈I. Therefore, (I4) is also satisfied.
Example 3.1. Let L={0,e,f,g,1}. The operation → on L is defined by Table 1. Then, (L,→,0,1) is a bounded L-algebra and the partial order is determined by L is 0≤e≤f≤g≤1. We can check that all dual ideals of L are I1={0},I2={0,e} and L.
→ | 0 | e | f | g | 1 |
0 | 1 | 1 | 1 | 1 | 1 |
e | f | 1 | 1 | 1 | 1 |
f | 0 | e | 1 | 1 | 1 |
g | 0 | e | f | 1 | 1 |
1 | 0 | e | f | g | 1 |
Remark 3.2. Although the identity r′=r′′′ holds in residuated lattices, BE-algebras, and many other logic algebras, it may not generally hold in L-algebras as shown in Example 3.1 that e′=f≠1=e′′′. However, there is an interesting result stating that if r′∈I, then r′′′∈I for any dual ideal I of a bounded L-algebra. The proof directly follows the definition (I3) of dual ideals.
Remark 3.3. Suppose L is a bounded L-algebra. It is routine to prove that the intersection of any dual ideals is also a dual ideal. However, it is important to note that the union of dual ideals is not necessarily a dual ideal of L, as illustrated by the following example.
Example 3.2. [8] Let L={0,m,n,1}. The operation → on L is defined by Table 2. It can be checked that L is a bounded L-algebra and all dual ideals of L are I1={0},I2={0,m},I3={0,n}, and L. We can see that the union of I2 and I3 is not a dual ideal anymore.
→ | 0 | m | n | 1 |
0 | 1 | 1 | 1 | 1 |
m | n | 1 | n | 1 |
n | m | m | 1 | 1 |
1 | 0 | m | n | 1 |
We observe that {0} is not necessarily a dual ideal in L-algebras, as demonstrated in the following example. However, we have discovered a sufficient condition, known as the "good condition" (i.e., r′=0 if and only if r=1), under which 0 becomes a dual ideal. Notably, the good condition is weaker than the involution. A bounded L-algebra that satisfies the good condition is referred to as a good L-algebra. Example 3.5 illustrates that the class of involutive L-algebras is a proper subclass of good L-algebras. Sections 4 and 5 will delve into further properties of good L-algebras.
Example 3.3. Let L={0,a,b,c,1}. The operation → on L is defined by Table 3. Then, L is a bounded L-algebra and {0} is not a dual ideal of L since b′∈{0} and (c→b)′=b∉{0}.
→ | 0 | a | b | c | 1 |
0 | 1 | 1 | 1 | 1 | 1 |
a | b | 1 | 1 | 1 | 1 |
b | 0 | a | 1 | a | 1 |
c | 0 | a | a | 1 | 1 |
1 | 0 | a | b | c | 1 |
Good L-algebras hold a significant position in our paper as a special type of bounded L-algebras. It is evident that any involutive L-algebra is also good, but the converse is not true, as demonstrated in Example 3.5. We observe that the bounded L-algebra in Example 3.2 satisfies the good condition. However, it is important to note that not all bounded L-algebras are necessarily good, as illustrated in Example 3.4.
Example 3.4. Let L={0,e,f,g,h,1}. The binary operation → on L is shown in Table 4. Then, L is a bounded L-algebra and partial order induced by the operation is 0≤f≤e≤1 and 0≤h≤g≤e≤1. L is not good since e′=0.
→ | 0 | e | f | g | h | 1 |
0 | 1 | 1 | 1 | 1 | 1 | 1 |
e | 0 | 1 | f | g | h | 1 |
f | g | 1 | 1 | g | g | 1 |
g | f | 1 | f | 1 | e | 1 |
h | f | 1 | f | 1 | 1 | 1 |
1 | 0 | e | f | g | h | 1 |
Example 3.5. Let L={0,e,f,g,1}. The operation → on L is defined by Table 5. Then, L is a bounded L-algebra. Since f′′=e, L is good but not involutive.
→ | 0 | e | f | g | 1 |
0 | 1 | 1 | 1 | 1 | 1 |
e | e | 1 | e | e | 1 |
f | e | e | 1 | e | 1 |
g | e | e | e | 1 | 1 |
1 | 0 | e | f | g | 1 |
In the following two propositions, we will delve into the relationships between dual ideals and ideals in bounded L-algebras. To facilitate this discussion, we introduce the notation N(A)={a∈L | a′∈A⊆L} and refer to N(A) as the complement of A in any bounded L-algebra. We will now employ this notation to establish the correspondence between these concepts.
Proposition 3.1. Let L be a bounded L-algebra and I∈Id(L). Then, N(I) is an ideal of L.
Proof. It is straightforward.
Proposition 3.2. Let L be a bounded L-algebra satisfying that (r→s)′′=r′′→s′′ and the operation′ is antitone. If F is an ideal of L, then N(F)∈Id(L).
Proof. Let F be an ideal of L. Since 0′=1∈F, 0∈N(F). Let r′, (r→s)′∈N(F). Then r′′∈F and r′′→s′′=(r→s)′′∈F. By (F2), we get s′′∈F, i.e., s′∈N(F). Let r′∈N(F) (i.e., r′′∈F). It follows that (r′′→s′′)→s′′∈F by (F3). Therefore, ((r→s)→s)′′∈F, and ((r→s)→s)′∈N(F). Similarly, we have (s→r)′,(s→(r→s))′∈N(F). Since F is an upset and ′ is antitone, N(F) is a down set. Thus, N(F)∈Id(L).
Example 3.6. Notice that in Example 3.3, 0=a′′=(c→b)′′≠c′′→b′′=1 and F={1} is an ideal of L, but N(F)={0}∉Id(L). This shows that the condition (r→s)′′=r′′→s′′ is necessary for Proposition 3.2.
In the following section, we will demonstrate the significant implications of our concept of dual ideals in inducing congruence relations and quotient algebras in bounded L-algebras. This will facilitate the construction of the isomorphism theorem on bounded L-algebras, as presented in Section 4.
Subsequently, we will utilize dual ideals to induce binary relations on L and prove that these relations are indeed congruence relations. Moreover, we will prove that the quotient algebras induced by these congruence relations qualify as bounded L-algebras. The binary relation ∼I, induced by a dual ideal I of L is defined as follows: r∼Is if and only if (r→s)′∈I and (s→r)′∈I.
Proposition 3.3. The binary relation ∼I is an equivalence relation on the bounded L-algebra L for all I∈Id(L).
Proof. For any r∈L, since (r→r)′=0∈I, r∼Ir and ∼I is reflexive. The symmetry of ∼I is apparent. To prove that ∼I is transitive, suppose r,s,t∈L such that r∼Is and s∼It, which means (r→s)′∈I, (s→r)′∈I, (s→t)′∈I, and (t→s)′∈I. By (I4), we have ((s→r)→(s→t))′∈I. Since (s→r)→(s→t)=(r→s)→(r→t), we have ((r→s)→(r→t))′∈I. By (I2), we get (r→t)′∈I. Similarly, we have (t→r)′∈I. Therefore, r∼It and ∼I is transitive.
Therefore, ∼I is an equivalence relation on L.
Theorem 3.1. Let L be a bounded L-algebra and I∈Id(L). Then ∼I is a congruence relation on L.
Proof. To show that ∼I is a congruence relation on L, we need to prove that ∼I is compatible with → (i.e., r∼Is implies t→r∼It→s and r→t∼Is→t for all r,s,t∈L).
First, we prove that t→r∼It→s for any r,s,t∈L. Let r∼Is. Then, we have (r→s)′∈I and (s→r)′∈I. By (I4), ((s→t)→(s→r))′∈I. Since (s→t)→(s→r)=(t→s)→(t→r), we have ((t→s)→(t→r))′∈I. Similarly, we have ((t→r)→(t→s))′∈I, hence t→r∼It→s.
To prove (r→t)∼I(s→t), we first prove that for any u,v,w∈L, if u′∈I and ((u→v)→w)′∈I, then (v→w)′∈I. Since ((u→v)→w)′∈I, by (I4), we can conclude that (((u→v)→v)→((u→v)→w))′∈I. Since ((v→(u→v))→(v→w))′=(((u→v)→v)→((u→v)→w))′, so we have ((v→(u→v))→(v→w))′∈I. Since u′∈I, applying (I4), we obtain (v→(u→v))′∈I. Therefore, by (I2), we obtain (v→w)′∈I.
Next, let u=r→s,v=r→t,w=s→t and r∼Is. Then u′=(r→s)′∈I and (s→r)′∈I. By (I3), we obtain (((s→r)→(s→t))→(s→t))′∈I. Since ((u→v)→w)′=(((r→s)→(r→t))→(s→t))′=(((s→r)→(s→t))→(s→t))′∈I, it follows that ((r→t)→(s→t))′∈I. Similarly, we obtain ((s→t)→(r→t))′∈I. Hence, r→t∼Is→t.
We have shown that ∼I is compatible with →. Therefore ∼I is a congruence relation on L.
Note: We denote Con(L) as the set of all congruence relations of L. For any θ∈Con(L) and r∈L, we denote [r]θ={s∈L | (r,s)∈θ}.
Theorem 3.2. Let (L,→,1) be a bounded L-algebra and I∈Id(L). We denote L/I={[r]∼I | r∈L} and define a binary operation on L/I: [r]∼I→[s]∼I=[r→s]∼I for all [r]∼I,[s]∼I∈L/I. Then, (L/I,→,[1]∼I) is a bounded L-algebra and will be called the quotient L-algebra with respect to I.
Proof. Let [r]∼I=[r1]∼I and [s]∼I=[s1]∼I. Then r∼Ir1 and s∼Is1. Since ∼I∈Con(L), we have r→s∼Ir1→s1. Therefore, [r]∼I→[s]∼I=[r→s]∼I=[r1→s1]∼I=[r1]∼I→[s1]∼I. Therefore, → is well-defined in L/I.
Since the axioms of L-algebra defined by equations are naturally valid in quotient algebra, we only need to prove L3. Let [r]∼I,[s]∼I∈L/I and [r]∼I→[s]∼I=[s]∼I→[r]∼I=[1]∼I. It is easy to prove [1]∼I={t∈L | t′∈I}, since [r]∼I→[s]∼I=[r→s]∼I=[s]∼I→[r]∼I, we obtain r→s∈[1]∼I and s→r∈[1]∼I (i.e., (r→s)′∈I and (s→r)′∈I). This implies r∼Is, i.e., [r]∼I=[s]∼I.
Let [x]∼I∈L/I. Since [0]∼I→[x]∼I=[0→x]∼I=[1]∼I, we have [0]∼I≤[x]∼I. Hence, L/I has a bottom element [0]∼I.
Therefore, the triple (L/I,→,[1]∼I) forms a bounded L-algebra.
Remark 3.4. Since the properties described by equations in an L-algebra can be naturally inherited by its quotient algebra, the quotient algebras of an involutive L-algebra and CL-algebra are involutive L-algebras and CL-algebras, respectively.
The concept of a homomorphism between L-algebras, also known as a morphism, was introduced by Rump [1]. In this section, we primarily focus on the relationship between morphisms and dual ideals, and demonstrate that the concept of dual ideals has a significant impact on the study of morphisms. To begin, we will discuss certain properties of morphisms between L-algebras.
Definition 4.1. [1] Let E=(E,→,1) and F=(F,→,1) be two L-algebras. A map h:E→F is called a morphism if it satisfies the following condition, for any r,s∈E:
h(r→s)=h(r)→h(s). |
Example 4.1. Let L1={0,m,n,x,y,1}. Table 6 for the operation → is shown below.
→ | 0 | m | n | x | y | 1 |
0 | 1 | 1 | 1 | 1 | 1 | 1 |
m | y | 1 | y | 1 | y | 1 |
n | m | m | 1 | 1 | 1 | 1 |
x | 0 | m | y | 1 | y | 1 |
y | m | m | x | x | 1 | 1 |
1 | 0 | m | n | x | y | 1 |
Let L2 be an arbitrary bounded L-algebra. We define a map h:L1→L2 as follows: h(0)=h(n)=h(y)=0, and h(m)=h(x)=h(1)=1. It can be easily verified that h is a morphism.
Example 4.2. Let L={0,l,m,n,1}. Table 7 for the operation → is shown below.
→ | 0 | l | m | n | 1 |
0 | 1 | 1 | 1 | 1 | 1 |
l | m | 1 | m | 1 | 1 |
m | l | l | 1 | 1 | 1 |
n | 0 | l | m | 1 | 1 |
1 | 0 | l | m | n | 1 |
Then, (L,→,1) is a bounded L-algebra. We define a map h:L→L as follows: h(0)=0,h(l)=m,h(m)=l,h(n)=n, and h(1)=1. We can check that h is an endomorphism.
Proposition 4.1. [13] Let L1 and L2 be two L-algebras and h:L1→L2 a morphism. Then,
(i)h(1)=1;
(ii)h is isotone.
Remark 4.1. Let L1 and L2 be two bounded L-algebras. A surjective morphism h from L1 to L2 is called an epimorphism. It is straightforward that if h is an epimorphism, then h(01)=02 and h(r′)=h(r)′ (∀r∈L1).
Lemma 4.1. Let L1 and L2 be two L-algebras and h:L1→L2 a morphism. Then, Imh={h(r) | r∈L1} is a subalgebra of L2.
Proof. Apparently, we only need to prove that 1∈Imh and Imh is closed under →. By Proposition 4.1 (1), we have 1∈Imh. Let h(r1)∈Imh and h(r2)∈Imh. Then, h(r1)→h(r2)=h(r1→r2)∈Imh, hence Imh is closed under →. Therefore, Imh is a subalgebra of L2.
Remark 4.2. In particular, if L1 is an involutive L-algebra, then Imh={h(r) | r∈L1} is also an involutive L-algebra. For any s∈L1, we have h(s)=h((s→01)→01)=(h(s)→02)→02=h(s)′′; it follows that Imh={h(r) | r∈L1} is involutive.
Theorem 4.1. Let L1 and L2 be two bounded L-algebras, h:L1→L2 be an epimorphism and I∈Id(L2). Then, h−1(I)={r∈L1 | h(r)∈I}∈Id(L1).
Proof. (1) Since h:L1→L2 is an epimorphism, h(01)=02∈I, thus 01∈h−1(I).
(2) If r′∈h−1(I) and (r→s)′∈h−1(I), then h(r)′=h(r′)∈I and (h(r)→h(s))′=h((r→s)′)∈I. By Definition 3.1, we obtain h(s′)=h(s)′∈I, hence s′∈h−1(I).
(3) If r′∈h−1(I), then h(r)′=h(r′)∈I. Hence, we obtain h(((r→s)→s)′)=((h(r)→h(s))→h(s))′∈I, so ((r→s)→s)′∈h−1(I).
(4) Similar to (3), let r′∈h−1(I) which is routine to prove that (s→r)′∈h−1(I) and (s→(r→s))′∈h−1(I).
(5) Let r∈h−1(I) and s∈L1 such that s≤r. Then, h(r)∈I and s→r=1. By Definition 3.1, since 1=h(1)=h(s→r)=h(s)→h(r), h(s)≤h(r), we obtain h(s)∈I, which implies that s∈h−1(I).
Therefore, we have shown that h−1(I)∈Id(L1).
Corollary 4.1. Let L1 and L2 be two bounded L-algebras and h:L1→L2 an epimorphism. If {0} is a dual ideal of L2, h−1(0)={r∈L1 | h(r)=0} is a dual ideal of L1. Specially, if L2 is good, h−1(0) is a dual ideal.
Definition 4.2. Let (L,→,1) be an L-algebra. A mapping h:L→L is called idempotent if h2(r)=h(r) for all r∈L where h2=h∘h.
Remark 4.3. Let h be a mapping from L to L. The set of fixed points of h is denoted by Fixh={r∈L∣h(r)=r}. If h is an endomorphism of L, then it is readily observed that Fixh is a subalgebra of L.
Example 4.3. Let L={0,a,b,1}. The operations →h and →g on L are shown in Table 8.
→h | 0 | a | b | 1 |
0 | 1 | 1 | 1 | 1 |
a | b | 1 | b | 1 |
b | a | a | 1 | 1 |
1 | 0 | a | b | 1 |
→g | 0 | a | b | 1 |
0 | 1 | 1 | 1 | 1 |
a | b | 1 | 1 | 1 |
b | 0 | a | 1 | 1 |
1 | 0 | a | b | 1 |
We can verify that (L,→h,1) and (L,→g,1) are two L-algebras. Let h:L→L and g:L→L be defined as follows: h(0)=h(a)=0, h(b)=h(1)=1, and g(0)=0,g(a)=a, g(b)=b,g(1)=1. Since g is identified on {0,a,b,1}, the claim h∘g=g∘h is trivial.
Remark 4.4. The following theorem states that if two idempotent mappings h and g on an L-algebra L which satisfies the condition h∘g=g∘h, then they are equal if and only if they have the same image or the same fixed point set.
Theorem 4.2. Let f and g be two idempotent mappings in L-algebra L such that h∘g=g∘h, then the following statements are equivalent:
(1)h=g;
(2)Imh=Img;
(3)Fixh=Fixg.
Proof. (1)⇒(2) It is straightforward.
(2)⇒(3) Clearly, we only need to prove that Imh=Fixh for any h that is a idempotent. Let r∈Imh. Then there exists r0∈L such that h(r0)=r, and it follows that h(r)=h(h(r0))=h(r0)=r, which implies r∈Fixh. Therefore, Imh⊆Fixh. Let r∈Fixh; then h(r)=r, which implies r∈Imh. Hence, Fixh⊆Imh. Therefore, Imh=Fixh. Since Imh=Img, therefore we have Fixh=Fixg.
(3)⇒(1) Assume that Fixh=Fixg. Let r∈L. Since h(r)∈Fixh=Fixg, we have g(h(r))=h(r). Similarly, we have h(g(r))=g(r); hence h(r)=g(h(r))=(g∘h)(r)=(h∘g)(r)=h(g(r))=g(r). Therefore, h=g.
Definition 4.3. Let (L,→,1) be an L-algebra and h:L→L be an idempotent endomorphism on L. The pair (L,h) is referred to as an endomorphic L-algebra.
Example 4.4. As shown in Example 4.3, (L,f) is an endomorphic L-algebra.
Example 4.5. [14] Let L be an L-algebra and h:L→L be defined by h(r)=r for all r∈L. Then, it is clear that (L,h) is an endomorphic L-algebra.
Example 4.6. [14] Let L={l,m,n,1}. Table 9 for the operation → is shown below.
→ | l | m | n | 1 |
l | 1 | m | n | 1 |
m | 1 | 1 | n | 1 |
n | 1 | 1 | 1 | 1 |
1 | l | m | n | 1 |
Then, (L,→,1) is an L-algebra. We can define a map h:L→L by setting h(1)=h(l)=1 and h(m)=h(n)=m. However, h is not an endomorphism because h(m→n)=h(n)=m≠1=m→m=h(m)→h(n).
Theorem 4.3. Let (L,→,1) be an L-algebra and ψ:L→L. Define the self-map hψ on L×L as hψ((r,s))=(ψ(r),ψ(s)). Then (L,ψ) is an endomorphic L-algebra if and only if (L×L,hψ) is an endomorphic L-algebra.
Proof. If ψ is an idempotent endomorphism on L, let (u1,v1),(u2,v2)∈L×L, then hψ((u1,v1))→hψ((u2,v2))=(ψ(u1),ψ(v1))→(ψ(u2),ψ(v2))=(ψ(u1)→ψ(u2),ψ(v1)→ψ(v2))=(ψ(u1→u2),ψ(v1→v2))=hψ((u1→u2,v1→v2))=hψ((u1,v1)→(u2,v2)). Hence hψ is a morphism on L2. Since h2ψ((u1,v1))=hψ(hψ((u1,v1)))=hψ((ψ(u1),ψ(v1)))=(ψ2(u1),ψ2(v1))=(ψ(u1),ψ(v1))=hψ((u1,v1)), thus hψ is an idempotent endomorphism on L2.
Conversely, assume that hψ is an idempotent endomorphism on L2. We obtain (ψ(1),ψ(1))=hψ((1,1))=(1,1), and hence ψ(1)=1. Since hψ is an idempotent endomorphism on L2, we obtain (1,ψ(u)→ψ(v))=(ψ(1)→ψ(1),ψ(u)→ψ(v))=((ψ(1),ψ(u))→(ψ(1),ψ(v)))=hψ(1,u)→hψ(1,v)=hψ((1,u)→(1,v))=hψ((1→1,u→v))=(ψ(1),ψ(u→v))=(1,ψ(u→v)), thus ψ(u→v)=ψ(u)→ψ(v). Since hψ is idempotent, then (ψ2(u),ψ2(u))=h2ψ((u,u))=hψ((u,u))=(ψ(u),ψ(u)), so ψ2(u)=ψ(u) for any u∈L. Therefore, ψ is an idempotent endomorphism on L.
Next, we quote the theorem stating that the kernel of a homomorphism between algebras is a congruence relation. By using this theorem, we successfully proved the isomorphism theorem on bounded L-algebras when the second one is good.
Lemma 4.2. [15] Let R and S be two algebras of some type and f:R→S a morphism between them. Then, Kerf={(r,s)∈R2:f(r)=f(s)} is a congruence on R.
Lemma 4.3. Let L1 be a bounded L-algebra, L2 be a good L-algebra, and f:L1→L2 be an epimorphism. Then, f−1(0)=[0]Kerf and ∼[0]Kerf=Kerf.
Proof. Since f is an epimorphism, we have [0]Kerf={x∈L | f(x)=f(0)}={x∈L | f(x)=0}=f−1(0).
Now, let (r,s)∈Kerf, meaning f(r)=f(s). It follows that 1=f(r)→f(s)=f(r→s) and 1=f(s)→f(r)=f(s→r). Thus, f((r→s)′)=f(r→s)′=0 and f((s→r)′)=f(s→r)′=0, which implies (r→s)′∈[0]Kerf and (s→r)′∈[0]Kerf, indicating that (r,s)∈∼[0]Kerf. Therefore, we have shown that Kerf⊆∼[0]Kerf.
Conversely, let (r,s)∈∼[0]Kerf, meaning (r→s)′∈[0]Kerf and (s→r)′∈[0]Kerf. This implies that f((r→s)′)=f(r→s)′=0 and f((s→r)′)=f(s→r)′=0. Since L is a good L-algebra, we have f(r→s)=f(r)→f(s)=1 and f(s→r)=f(s)→f(r)=1, which implies f(r)=f(s) and so (r,s)∈Kerf. Hence ∼[0]Kerf⊆Kerf.
Therefore, ∼[0]Kerf=Kerf.
Lemma 4.4. [15] Suppose that R and S are two algebras of some type and f:R→S is a homomorphism from algebra R onto algebra S. Then, we can construct an isomorphism β from the quotient algebra R/Kerf to S such that the homomorphism f can be expressed as the composition of the natural homomorphism υ from R to R/Kerf and β, i.e., f=β∘υ.
Theorem 4.4. Let L1 be a bounded L-algebra, L2 be a good L-algebra and f:L1→L2 be an epimorphism, then
L1/∼[0]Kerf≅L2. |
Proof. This result follows directly from Lemmas 4.3 and 4.4.
In the following example, we will show that the mapping φ:Id(L)→Con(L), I↦∼I, is neither injective nor surjective.
Example 4.7. Let L={0,m,n,1}. Table 10 for the operation → is shown below.
→ | 0 | m | n | 1 |
0 | 1 | 1 | 1 | 1 |
m | n | 1 | 1 | 1 |
n | 0 | m | 1 | 1 |
1 | 0 | m | n | 1 |
We can verify that L is an L-algebra. By checking that I={0} is a dual ideal of L, we can compute the following:
(1)[0]∼I={0,m} and {0,m} is a dual ideal,
(2)∼I={(0,0),(m,m),(n,n),(1,1),(0,m),(n,1)} and ∼[0]∼I={(0,0),(m,m),(n,n),(1,1),(0,m),(n,1)}.
We have shown [0]∼I≠I and ∼I=∼[0]∼I, which implies that φ is not injective. Furthermore, it is evident that φ is order preserving. Considering that I is the smallest dual ideal of L, and the congruence induced by I is not the smallest congruence of L, it follows that the smallest congruence of L does not have an inverse image, so φ is not surjective.
The above example has shown that the congruence relations and dual ideals may not admit one-to-one correspondence. Following this, we will investigate some properties about congruences and dual ideals, and construct a bijection between dual ideals and congruences whose quotient algebras are L-algebras when L is involutive.
Lemma 4.5. If L is an involutive L-algebra and I∈Id(L), then [0]∼I=I.
Proof.
[0]∼I={r∈L|r∼I0}={r∈L|(r→0)′∈I}={r∈L|r′′∈I}={r∈L|r∈I}=I. |
Note: We will use QCon(L) to represent the set of all congruence relations whose induced quotient algebras are also L-algebras.
Lemma 4.6. If L is an involutive L-algebra and θ∈QCon(L), then [0]θ∈Id(L).
Proof. Let f:L→L/θ be the natural epimorphism. Since (r,s)∈Kerf⇔f(r)=f(s)⇔[r]θ=[s]θ⇔(r,s)∈θ, we have Kerf=θ. Since L/θ is involutive, {[0]θ} is a dual ideal of L/θ. By Corollary 4.1, we obtain [0]θ=[0]Kerf={x | f(x)=f(0)=[0]θ}=f−1([0]θ)∈Id(L).
Lemma 4.7. Let L be an involutive L-algebra and θ∈QCon(L), then ∼[0]θ=θ.
Proof. By Lemma 4.6, [0]θ∈Id(L); therefore, this lemma makes sense. Let (r,s)∈θ. Since θ∈QCon(L), we have (r→s,s→s)=(r→s,1)∈θ and (s→r,s→s)=(s→r,1)∈θ, it follows that ((r→s)′,0)∈θ and ((s→r)′,0)∈θ. Hence (r→s)′,(s→r)′∈[0]θ (i.e., r∼[0]θs, thus θ⊆∼[0]θ).
Conversely, if (r,s)∈∼[0]θ, i.e., (r→s)′,(s→r)′∈[0]θ. This implies that ((r→s)′,0)∈θ, and so (r→s,1)∈θ. Similarly, (s→r,1)∈θ. Since θ∈QCon(L), we get ((r→s)→(r→0),r→0)∈θ and ((s→r)→(s→0),s→0)∈θ. By Definition 2.1, we obtain ((s→r)→(s→0),s→0)=((r→s)→(r→0),s→0)∈θ. Hence (r→0,s→0)∈θ, and therefore (r,s)∈θ. Thus ∼[0]θ⊆θ.
Therefore, ∼[0]θ=θ.
Theorem 4.5. There exists a bijective mapping between Id(L) and QCon(L) for an involutive L-algebra L.
Proof. It follows directly from Lemmas 4.5 and 4.7.
In this section, we will present several types of bounded L-algebras and utilize dual ideals to characterize them.
Definition 5.1. Let L be a bounded L-algebra and I∈Id(L). I is said to be a K dual ideal if it satisfies the following condition: (K1)(r→(s→r))′∈I for all r,s∈L.
Example 5.1. [4] Let L={0,e,f,g,1}. Table 11 for the operation → is shown below.
→ | 0 | e | f | g | 1 |
0 | 1 | 1 | 1 | 1 | 1 |
e | e | 1 | e | e | 1 |
f | f | f | 1 | f | 1 |
g | g | g | g | 1 | 1 |
1 | 0 | e | f | g | 1 |
We can confirm that the only two dual ideals of L are I1={0} and L itself. It is evident that for any bounded L, the dual ideal L itself is a K dual ideal. In this example, another dual ideal of LI1={0} is not K dual ideal since (e→(f→e))′=e∉{0}.
Theorem 5.1. Let L be a good L-algebra. L is a KL-algebra if and only if every dual ideal of L is a K dual ideal.
Proof. Assume that L is a KL-algebra and I∈Id(L). For any r,s∈L, we have (r→(s→r))′=0∈I. Hence, I is a K dual ideal. This implies that every dual ideal of L is a K dual ideal.
Conversely, suppose that every dual ideal of L is a K dual ideal, and let r,s∈L. Since {0} is a K dual ideal, we have (r→(s→r))′=0. As L is a good L-algebra, we can conclude that r→(s→r)=1. Therefore, L is a KL-algebra.
Definition 5.2. Let L be a bounded L-algebra and I∈Id(L). Then, I is said to be a C dual ideal if it satisfies the following condition: (C1)((r→(s→t))→(s→(r→t)))′∈I for all r,s,t∈L.
Example 5.2. Apparently, any bounded L-algebra as its dual ideal is C dual ideal. In Example 5.1, {0} is not a C dual ideal since ((e→(f→g))→(f→(e→g)))′=e∉{0}.
Theorem 5.2. Let L be a good L-algebra. Then L is a CL-algebra if and only if every dual ideal of L is a C dual ideal.
Proof. Assume that L is a CL-algebra and I∈Id(L). For any r,s,t∈L, we have (r→(s→t))→(s→(r→t))=1, and ((r→(s→t))→(s→(r→t)))′=0∈I; hence, I is a C dual ideal. Therefore, every dual ideal of L is a C dual ideal.
Conversely, suppose that every dual ideal of L is a C dual ideal, and let r,s,t∈L. Since {0} is a C dual ideal, ((r→(s→t))→(s→(r→t)))′=0. As L is a good L-algebra, (r→(s→t))→(s→(r→t))=1. Therefore, L is a CL-algebra.
Recall that an L-algebra L is said to be commutative if it satisfies the condition K and (r→s)→s=(s→r)→r for any r,s∈L.
Definition 5.3. Let L be a bounded L-algebra and I∈Id(L). Then, I is called a commutative dual ideal if it satisfies the following condition: (I6)(s→r)′∈I implies (((r→s)→s)→r)′∈I for all r,s∈L.
Note: Denote by Idc(L) the set of all commutative dual ideals of L.
Example 5.3. In Example 3.4, it could be noted that Id(L)=Idc(L).
Proposition 5.1. Let L be a bounded CL-algebra, M∈Idc(L) and N∈Id(L) such that M⊆N. Then N∈Idc(L).
Proof. Let r,s∈L. Denote t=s→r and assume that t′=(s→r)′∈N. By the fact that condition C implies D, we have s→(t→r)=s→((s→r)→r)=1, therefore (s→(t→r))′=0∈M. By (I6) and M⊆N, we obtain ((((t→r)→s)→s)→(t→r))′∈M⊆N. Due to condition C, we have (t→((((t→r)→s)→s)→r))′∈N. Since t′∈N, ((((t→r)→s)→s)→r)′∈N. Since condition C implies K, we have r≤t→r, so (t→r)→s≤r→s⇒(r→s)→s≤((t→r)→s)→s⇒(((t→r)→s)→s)→r≤((r→s)→s)→r⇒(((r→s)→s)→r)′≤((((t→r)→s)→s)→r)′∈N. Hence (((r→s)→s)→r)′∈N, and we conclude that N∈Idc(L).
Corollary 5.1. If L is a good CL-algebra, then {0}∈Idc(L) if and only if Id(L)=Idc(L).
Lemma 5.1. [6] Let (L,→,1) be a CL-algebra. The following statements are equivalent:
(1)L is commutative;
(2)r→s=((s→r)→r)→s for any r,s∈L.
Lemma 5.2. [6] Let (L,→,1) be a KL-algebra. The following statements are equivalent:
(1)L is commutative;
(2)r≤(r→s)→s, for all r,s∈L and r=(r→s)→s, whenever s≤r.
Theorem 5.3. Let L be a good CL-algebra. The following statements are equivalent:
(1)L is commutative;
(2){0}∈Idc(L);
(3) every dual ideal of L is a commutative dual ideal.
Proof. (1)⇒(2) Assume that L is commutative. By Lemma 5.1, we have s→r=((r→s)→s)→r for all r,s∈L. If r,s∈L such that (s→r)′∈{0}, then (((r→s)→s)→r)′∈{0}; hence, {0}∈Idc(L).
(2)⇒(1) Assume that {0}∈Idc(L) and r,s∈L such that s≤r, then (s→r)′=0∈{0}. Since {0} is commutative, we obtain (((r→s)→s)→r)′∈{0}, so (((r→s)→s)→r)′=0. Since L is a good L-algebra, ((r→s)→s)→r=1. As L is a CL-algebra, we obtain r≤(r→s)→s, so r=(r→s)→s. By Lemma 5.2, we uncover that L is commutative.
(3)⇒(2) This is straightforward.
(2)⇒(3) Since {0}∈Idc(L) and {0}⊆I for any I∈Id(L), then I∈Idc(L) by Proposition 5.1.
Definition 5.4. Suppose that (L,→,⋅,0,1) is an algebra of type (2,1,0,0), where (L,→,0,1) is a bounded L-algebra and (L,⋅,1) is a monoid. If, for all r,s∈L−{0}, s→r⋅s=r and r⋅s→s=1, then (L,→,⋅,0,1) is called a partially self-similar L-algebra.
Remark 5.1. According to Definition 2.5, if a self-similar L-algebra L is bounded, then it contains only one element. Therefore, a new concept is introduced in Definition 5.4, namely, partial self-similar L-algebra. Its characteristic is the exclusion of the element 0 when defining partial self-similarity, while still preserving most of the properties of self-similar L-algebras.
Proposition 5.2. If L is a partially self-similar L-algebra, then the following statements hold for all r,s∈L−{0}:
(1)r⋅s→t=r→(s→t) for all t∈L;
(2) if r→s∈L−{0} and s→r∈L−{0}, then (r→s)⋅r=(s→r)⋅s for all t∈L.
Proof. (1) Let L be a partially self-similar L-algebra. We have r→(s→t)=(s→r⋅s)→(s→t)=(r⋅s→s)→(r⋅s→t). Since r⋅s→s=1, we obtain r→(s→t)=r⋅s→t.
(2) By (1), we have (r→s)⋅r→t=(r→s)→(r→t)=(s→r)→(s→t)=(s→r)⋅s→t. By Proposition 2.5, we obtain (r→s)⋅r=(s→r)⋅s.
Proposition 5.3. If L is a partially self-similar L-algebra and r∈L−{0}, then the following statements hold:
(1)s⋅r→t⋅r=s→t for all s,t∈L−{0};
(2) for all x∈L−{0}, there is some u∈L such that x=r→u;
(3) The map g:L−{0}→L, s↦s⋅r is injective;
(4) if s,t,r→s⋅t,((t→r)→s)⋅(r→t)∈L−{0}, then r→s⋅t=((t→r)→s)⋅(r→t).
Proof. (1) Since L is a partially self-similar L-algebra, according to Proposition 5.2 (1), we have s⋅r→t⋅r=s→(r→t⋅r)=s→t.
(2) Since L is a partially self-similar L-algebra, assume that x∈L−{0}. By Definition 5.4, if you put u=x⋅r, then we have r→u=x.
(3) Suppose that s⋅r=t⋅r,s,t∈L−{0}, then s⋅r→u=t⋅r→u for all u∈L. By Proposition 5.2(1), we obtain s→(r→u)=t→(r→u). Since s,t∈L−{0}, by (2), there exist u1 and u2 in L such that s=r→u1 and t=r→u2. If you replace u by u1 and u2 in equation s→(r→u)=t→(r→u), respectively, then we have s→s=t→s and s→t=t→t; therefore, s=t and g is injective.
(4) Using Proposition 5.2 (1), for all u∈L, we obtain (r→s⋅t)→(r→u)=(s⋅t→r)→(s⋅t→u)=(s→(t→r))→(s→(t→u))=((t→r)→s)→((t→r)→(t→u))=((t→r)→s)→((r→t)→(r→u))=((t→r)→s)⋅(r→t)→(r→u). Similar to (3), we have r→s⋅t=((t→r)→s)⋅(r→t).
Example 5.4. [16] Let G=(G,∨,∧,+,−,0) be an arbitrary ℓ-group and G− be the negative cone of G, that is, G−={x∈G | x≤0}. For any x,y∈G−, we define the following operations on G−: x⋅y:=x+y, x→y:=(y−x)∧0. First, add a symbol −∞ in G− and still denote G− as G−∪{−∞}, then define the following operation rules: −∞→−∞=0,x→−∞=−∞,−∞→x=0,x⋅−∞=−∞⋅x=−∞,−∞⋅−∞=−∞. We can verify that G−=(G−,→,−∞,0) is a bounded L-algebra. Since for all x,y∈G–{−∞}, x→y⋅x=(x+y−x)∧0=y and x⋅y→y=0, G− is a partially self-similar L-algebra.
A product for a L-algebra with negation: r⋅s:=(r→s′)∼, where ∼ represents the inverse mapping of the bijection ′ from Definition 2.2.
Definition 5.5. Let L be an L-algebra with negation and I∈Id(L). Then, I is called a self-similar dual ideal if it satisfies the condition: (S1)((r→s⋅r)→s)′∈I, (s→(r→s⋅r))′∈I and (r⋅s→s)′∈I for all r,s∈L−{0}.
Theorem 5.4. If L is a L-algebra with negation, then L is a partially self-similar L-algebra if and only if every dual ideal of L is a self-similar dual ideal.
Proof. Assume that L is a partially self-similar L-algebra and let I∈Id(L). If r,s∈L−{0}, then (r→s⋅r)→s=1, s→(r→s⋅r)=1, and r⋅s→s=1, so ((r→s⋅r)→s)′=0∈I, (s→(r→s⋅r))′=0∈I, and (r⋅s→s)′=0∈I. Hence, I is a self-similar dual ideal. Thus, every dual ideal of L is a self-similar dual ideal.
Conversely, suppose that every dual ideal of L is a self-similar dual ideal, and let r,s∈L−{0}. Apparently, if L is a L-algebra with negation, then L is good. Therefore, we have {0} as a self-similar dual ideal, ((r→s⋅r)→s)′=0, (s→(r→s⋅r))′=0, and (s→(r→s⋅r))′=0. Hence (r→s⋅r)→s=1, s→(r→s⋅r)=1, and r⋅s→s=1 (i.e., r→s⋅r=s and r⋅s≤s). Therefore, L is a partially self-similar L-algebra.
This article introduces the concept of dual ideals and gives us a new tool to study bounded L-algebras. We prove that dual ideals induce congruence relations and quotient L-algebras. Consequently, by studying the relations between morphisms between bounded L-algebras and dual ideals, the isomorphism theorem is constructed by dual ideals. In Section 5, we use dual ideals to characterize special bounded L-algebras. Remarkably, the single point subset {0} is not necessarily a dual ideal of a bounded L-algebra, which causes some difficulties in our paper. Therefore, we expect an improved definition which would designate {0} as a dual ideal in any bounded L-algebra. This paper introduces the definition of dual ideals and conducts an initial study of their properties, and we look forward to a more in-depth study of bounded L-algebras and dual ideals.
The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.
This research is supported by the following grants: (1) 2022 Research and Practice of Degree and Graduate Education Reform of Xi'an Engineering University (22yjzg05); (2) National Natural Science Foundation of China (11971384); (3) Foreign Expert Program of China (DL20230410021).
All authors declare no conflicts of interest in this paper.
[1] |
W. Rump, L-algebras, self-similarity, and ℓ-groups, J. Algebra, 320 (2008), 2328–2348. https://doi.org/10.1016/j.jalgebra.2008.05.033 doi: 10.1016/j.jalgebra.2008.05.033
![]() |
[2] |
B. Bosbach, Komplement¨are halbgruppen kongruenzen und quotienten, Fund. Math., 69 (1970), 1–14. https://doi.org/10.4064/FM-69-1-1-14 doi: 10.4064/FM-69-1-1-14
![]() |
[3] |
L. Herman, E. L. Marsden, R. Piziak, Implication connectives in orthomodular lattices, Notre Dame J. Form. Logic, 16 (1975), 305–328. https://doi.org/10.1305/ndjfl/1093891789 doi: 10.1305/ndjfl/1093891789
![]() |
[4] |
Y. Wu, J. Wang, Y. Yang, Lattice-ordered effect algebras and L-algebras, Fuzzy Set. Syst., 369 (2019), 103–113. https://doi.org/10.1016/j.fss.2018.08.013 doi: 10.1016/j.fss.2018.08.013
![]() |
[5] |
Y. Wu, Y. Yang, Orthomodular lattices as L-algebras, Soft Comput., 24 (2020), 14391–14400. https://doi.org/10.1007/s00500-020-05242-7 doi: 10.1007/s00500-020-05242-7
![]() |
[6] |
L. C. Ciungu, Results in L-algebras, Algebra Univers., 82 (2021), 7. https://doi.org/10.1007/s00012-020-00695-1 doi: 10.1007/s00012-020-00695-1
![]() |
[7] |
X. L. Xin, X. F. Yang, Y. C. Ma, Pseudo L-algebras, Iran. J. Fuzzy Syst., 19 (2022), 61–73. https://doi.org/10.22111/ijfs.2022.7210 doi: 10.22111/ijfs.2022.7210
![]() |
[8] |
X. J. Hua, State L-algebras and derivations of L-algebras, Soft Comput., 25 (2021), 4201–4212. https://doi.org/10.1007/s00500-021-05651-2 doi: 10.1007/s00500-021-05651-2
![]() |
[9] | K. Iseki, On some ideals in BCK-algebras, Math. Seminar Notes, 3 (1975), 65–70. |
[10] | R. A. Borzooei, O. Zahiri, Prime ideals in BCI and BCK-algebras, Ann. Univ. Craiova-Mat., 39 (2012), 266–276. |
[11] |
W. Rump, Y. Yang, Intervals in ℓ-groups as L-algebras, Algebra Univers., 67 (2012), 121–130. https://doi.org/10.1007/s00012-012-0172-5 doi: 10.1007/s00012-012-0172-5
![]() |
[12] |
W. Rump, L-algebras with duality and the structure group of a set-theoretic solution to the Yang-Baxter equation, J. Pure Appl. Algebra, 224 (2020), 106314. https://doi.org/10.1016/j.jpaa.2020.106314 doi: 10.1016/j.jpaa.2020.106314
![]() |
[13] |
L. C. Ciungu, The Category of L-algebras, Trans. Fuzzy Set. Syst., 1 (2022), 142–159. https://doi.org/10.30495/tfss.2022.1959857.1034 doi: 10.30495/tfss.2022.1959857.1034
![]() |
[14] | M. S. Rao, M. B. Prabhakar, Ideals in endomorphic BE-algebras, In: 2016 International Conference on Electrical, Electronics, and Optimization Techniques (ICEEOT), 2016, 4397–4402. https://doi.org/10.1109/ICEEOT.2016.7755550 |
[15] | S. Burris, H. P. Sankappanavar, A course in universal algebra, New York: Springer-Verlag, 1981. |
[16] | L. C. Ciungu, Non-commutative multiple-valued logic algebras, Springer, 2013. https://doi.org/10.1007/978-3-319-01589-7 |
→ | 0 | e | f | g | 1 |
0 | 1 | 1 | 1 | 1 | 1 |
e | f | 1 | 1 | 1 | 1 |
f | 0 | e | 1 | 1 | 1 |
g | 0 | e | f | 1 | 1 |
1 | 0 | e | f | g | 1 |
→ | 0 | m | n | 1 |
0 | 1 | 1 | 1 | 1 |
m | n | 1 | n | 1 |
n | m | m | 1 | 1 |
1 | 0 | m | n | 1 |
→ | 0 | a | b | c | 1 |
0 | 1 | 1 | 1 | 1 | 1 |
a | b | 1 | 1 | 1 | 1 |
b | 0 | a | 1 | a | 1 |
c | 0 | a | a | 1 | 1 |
1 | 0 | a | b | c | 1 |
→ | 0 | e | f | g | h | 1 |
0 | 1 | 1 | 1 | 1 | 1 | 1 |
e | 0 | 1 | f | g | h | 1 |
f | g | 1 | 1 | g | g | 1 |
g | f | 1 | f | 1 | e | 1 |
h | f | 1 | f | 1 | 1 | 1 |
1 | 0 | e | f | g | h | 1 |
→ | 0 | e | f | g | 1 |
0 | 1 | 1 | 1 | 1 | 1 |
e | e | 1 | e | e | 1 |
f | e | e | 1 | e | 1 |
g | e | e | e | 1 | 1 |
1 | 0 | e | f | g | 1 |
→ | 0 | m | n | x | y | 1 |
0 | 1 | 1 | 1 | 1 | 1 | 1 |
m | y | 1 | y | 1 | y | 1 |
n | m | m | 1 | 1 | 1 | 1 |
x | 0 | m | y | 1 | y | 1 |
y | m | m | x | x | 1 | 1 |
1 | 0 | m | n | x | y | 1 |
→ | 0 | l | m | n | 1 |
0 | 1 | 1 | 1 | 1 | 1 |
l | m | 1 | m | 1 | 1 |
m | l | l | 1 | 1 | 1 |
n | 0 | l | m | 1 | 1 |
1 | 0 | l | m | n | 1 |
→h | 0 | a | b | 1 |
0 | 1 | 1 | 1 | 1 |
a | b | 1 | b | 1 |
b | a | a | 1 | 1 |
1 | 0 | a | b | 1 |
→g | 0 | a | b | 1 |
0 | 1 | 1 | 1 | 1 |
a | b | 1 | 1 | 1 |
b | 0 | a | 1 | 1 |
1 | 0 | a | b | 1 |
→ | l | m | n | 1 |
l | 1 | m | n | 1 |
m | 1 | 1 | n | 1 |
n | 1 | 1 | 1 | 1 |
1 | l | m | n | 1 |
→ | 0 | m | n | 1 |
0 | 1 | 1 | 1 | 1 |
m | n | 1 | 1 | 1 |
n | 0 | m | 1 | 1 |
1 | 0 | m | n | 1 |
→ | 0 | e | f | g | 1 |
0 | 1 | 1 | 1 | 1 | 1 |
e | e | 1 | e | e | 1 |
f | f | f | 1 | f | 1 |
g | g | g | g | 1 | 1 |
1 | 0 | e | f | g | 1 |
→ | 0 | e | f | g | 1 |
0 | 1 | 1 | 1 | 1 | 1 |
e | f | 1 | 1 | 1 | 1 |
f | 0 | e | 1 | 1 | 1 |
g | 0 | e | f | 1 | 1 |
1 | 0 | e | f | g | 1 |
→ | 0 | m | n | 1 |
0 | 1 | 1 | 1 | 1 |
m | n | 1 | n | 1 |
n | m | m | 1 | 1 |
1 | 0 | m | n | 1 |
→ | 0 | a | b | c | 1 |
0 | 1 | 1 | 1 | 1 | 1 |
a | b | 1 | 1 | 1 | 1 |
b | 0 | a | 1 | a | 1 |
c | 0 | a | a | 1 | 1 |
1 | 0 | a | b | c | 1 |
→ | 0 | e | f | g | h | 1 |
0 | 1 | 1 | 1 | 1 | 1 | 1 |
e | 0 | 1 | f | g | h | 1 |
f | g | 1 | 1 | g | g | 1 |
g | f | 1 | f | 1 | e | 1 |
h | f | 1 | f | 1 | 1 | 1 |
1 | 0 | e | f | g | h | 1 |
→ | 0 | e | f | g | 1 |
0 | 1 | 1 | 1 | 1 | 1 |
e | e | 1 | e | e | 1 |
f | e | e | 1 | e | 1 |
g | e | e | e | 1 | 1 |
1 | 0 | e | f | g | 1 |
→ | 0 | m | n | x | y | 1 |
0 | 1 | 1 | 1 | 1 | 1 | 1 |
m | y | 1 | y | 1 | y | 1 |
n | m | m | 1 | 1 | 1 | 1 |
x | 0 | m | y | 1 | y | 1 |
y | m | m | x | x | 1 | 1 |
1 | 0 | m | n | x | y | 1 |
→ | 0 | l | m | n | 1 |
0 | 1 | 1 | 1 | 1 | 1 |
l | m | 1 | m | 1 | 1 |
m | l | l | 1 | 1 | 1 |
n | 0 | l | m | 1 | 1 |
1 | 0 | l | m | n | 1 |
→h | 0 | a | b | 1 |
0 | 1 | 1 | 1 | 1 |
a | b | 1 | b | 1 |
b | a | a | 1 | 1 |
1 | 0 | a | b | 1 |
→g | 0 | a | b | 1 |
0 | 1 | 1 | 1 | 1 |
a | b | 1 | 1 | 1 |
b | 0 | a | 1 | 1 |
1 | 0 | a | b | 1 |
→ | l | m | n | 1 |
l | 1 | m | n | 1 |
m | 1 | 1 | n | 1 |
n | 1 | 1 | 1 | 1 |
1 | l | m | n | 1 |
→ | 0 | m | n | 1 |
0 | 1 | 1 | 1 | 1 |
m | n | 1 | 1 | 1 |
n | 0 | m | 1 | 1 |
1 | 0 | m | n | 1 |
→ | 0 | e | f | g | 1 |
0 | 1 | 1 | 1 | 1 | 1 |
e | e | 1 | e | e | 1 |
f | f | f | 1 | f | 1 |
g | g | g | g | 1 | 1 |
1 | 0 | e | f | g | 1 |