The notion of (co)derivations of ranked bigroupoids is discussed by Alshehri et al. (in press), and their generalized version is studied by Jun et al. (under review press). In particular, Jun et al. (under review press) studied coderivations of ranked bigroupoids. In this paper, the generalization of coderivations of ranked bigroupoids is discussed. The notion of generalized coderivations in ranked bigroupoids is introduced, and new generalized coderivations of ranked bigroupoids are obtained by combining a generalized self-coderivation with a rankomorphism. From the notion of (X, ∗, &)-derivation, the existence of a rankomorphism of ranked bigroupoids is established.

1. Introduction

Several authors [1–4] have studied derivations in rings and near-rings. Jun and Xin [5] applied the notion of derivation in ring and near-ring theory to BCI-algebras, and as a result they introduced a new concept, called a (regular) derivation, in BCI-algebras. Alshehri [6] applied the notion of derivations to incline algebras. Alshehri et al. [7] introduced the notion of ranked bigroupoids and discussed (X, *, &)-self-(co)derivations. Jun et al. [8] discussed generalized derivations on ranked bigroupoids. They studied coderivations of ranked bigroupoids. In this paper, we discuss the generalization of coderivations of ranked bigroupoids. We introduce the notion of generalized coderivations in ranked bigroupoids. Combining a generalized self-coderivation with a rankomorphism, we obtain new generalized coderivations of ranked bigroupoids. From the notion of (X, *, &)-derivation, we induce the existence of a rankomorphism of ranked bigroupoids.

2. Preliminaries

Let X be a nonempty set with a distinguished element 0. For any binary operation ♮ on X, we consider the following axioms:

(a1) ((x♮y)♮(x♮z))♮(z♮y) = 0,
(a2) (x♮(x♮y))♮y = 0,
(a3) x♮x = 0,
(a4) x♮y = 0 and y♮x = 0 imply x = y,
(b1) x♮0 = x,
(b2) (x♮y)♮z = (x♮z)♮y,
(b3) ((x♮z)♮(y♮z))♮(x♮y) = 0,
(b4) x♮(x♮(x♮y)) = x♮y.

If X satisfies axioms (a1), (a2), (a3), and (a4) under the binary operation *, then we say that (X, *, 0) is a BCI-algebra. If a BCI-algebra (X, *, 0) satisfies the identity 0*x = 0 for all x ∈ X, we say that (X, *, 0) is a BCK-algebra. Note that a BCI-algebra (X, *, 0) satisfies conditions (b1), (b2), (b3), and (b4) under the binary operation * (see [9]).

In a p-semisimple BCI-algebra (X, *, 0), the following hold

(b5) (x*z)*(y*z) = x*y.
(b6) 0*(0*x) = x.
(b7) x*(0*y) = y*(0*x).
(b8) x*y = 0 implies x = y.
(b9) x*a = x*b implies a = b.
(b10) a*x = b*x implies a = b.
(b11) a*(a*x) = x.
(b12) ((x*y)*z)*(x*(y*z)) = 0.

A ranked bigroupoid (see [7]) is an algebraic system (X, *, •) where X is a nonempty set and “*” and “•” are binary operations defined on X. We may consider the first binary operation * as the major operation and the second binary operation • as the minor operation.

Given a ranked bigroupoid (X, *, &), a map d : X → X is called an (X, *, &)-self-derivation (see [7]) if for all x, y ∈ X,

(2.1)

In the same setting, a map d : X → X is called an (X, *, &)-self-coderivation (see [7]) if for all x, y ∈ X,

(2.2)

Note that if (X, *) is a commutative groupoid, then (X, *, &)-self-derivations are (X, *, &)-self-coderivations. A map d : X → X is called an abelian-(X, *, &)-self-derivation (see [7]) if it is both an (X, *, &)-self-derivation and an (X, *, &)-self-coderivation.

Given ranked bigroupoids (X, *, &) and (Y, •, ω), a map f : (X, *, &)→(Y, •, ω) is called a rankomorphism (see [7]) if it satisfies f(x*y) = f(x)•f(y) and f(x&y) = f(x)ωf(y) for all x, y ∈ X.

3. Coderivations of Ranked Bigroupoids

Definition 3.1 (see [8].)Let (X, *, &) be a ranked bigroupoid. A mapping D : X → X is called a generalized (X, *, &)-self-derivation if there exists an (X, *, &)-self-derivation d : X → X such that D(x*y) = (D(x)*y)&(x*d(y)) for all x, y ∈ X. If there exists an (X, *, &)-self-coderivation d : X → X such that D(x*y) = (x*D(y))&(d(x)*y) for all x, y ∈ X, the mapping D : X → X is called a generalized (X, *, &)-self-coderivation. If D is both a generalized (X, *, &)-self-derivation and a generalized (X, *, &)-self-coderivation, we say that D is a generalized abelian (X, *, &)-self-derivation.

Definition 3.2 (see [7].)Let (X, *, &) and (Y, •, ω) be ranked bigroupoids. A map δ : (X, *, &)→(Y, •, ω) is called an (X, *, &)-derivation if there exists a rankomorphism f : X → Y such that

(3.1)

for all x, y ∈ X.

Theorem 3.3. Let (X, *, &) and (Y, •, ω) be ranked bigroupoids with distinguished element 0 in which the following items are valid.

(1)
The axioms (a3) and (b1) are valid under the major operation *.
(2)
The axioms (b1), (b2), (b3), (a3) and (a4) are valid under the major operation •.
(3)
The minor operation ω is defined by aωb = b•(b•a) for all a, b ∈ Y.

If δ : (X, *, &)→(Y, •, ω) is an (X, *, &)-derivation, then there exists a rankomorphism f : (X, *, &)→(Y, •, ω) such that δ(x) = δ(x)ωf(x) for all x ∈ X. In particular, δ(0) = 0•(0•δ(0)).

Proof. Assume that δ : (X, *, &)→(Y, •, ω) is an (X, *, &)-derivation. Then there exists a rankomorphism f : (X, *, &)→(Y, •, ω) such that

(3.2)

for all x, y ∈ X. Since the axiom (a3) is valid under the major operations * and •, we get f(0) = 0. Hence

(3.3)

for all x ∈ X. It follows from (b3) that

(3.4)

for all x ∈ X. Note from (b2) and (a3) that

(3.5)

for all x ∈ X. Using (a4), we have δ(x) = δ(x)ωf(x) for all x ∈ X. If we let x : = 0, then δ(0) = 0•(0•δ(0)).

Corollary 3.4. Let (X, *, &) and (Y, •, ω) be ranked bigroupoids with distinguished element 0 in which the following items are valid.

(1)
The axioms (a3) and (b1) are valid under the major operation *.
(2)
(Y, •, 0) is a BCI-algebra.
(3)
The minor operation ω is defined by aωb = b•(b•a) for all a, b ∈ Y.

Theorem 3.5. Let (X, *, &) and (Y, •, ω) be ranked bigroupoids with distinguished element 0 in which the following items are valid.

(1)
The axiom (a3) is valid under the major operation *.
(2)
The axioms (a3), (b2), (b5), and (b6) are valid under the major operation •.
(3)
The minor operation ω is defined by aωb = b•(b•a) for all a, b ∈ Y.

If δ : (X, *, &)→(Y, •, ω) is an (X, *, &)-derivation, then there exists a rankomorphism f : (X, *, &)→(Y, •, ω) such that

(3.6)

Proof. Assume that δ : (X, *, &)→(Y, •, ω) is an (X, *, &)-derivation. Then there exists a rankomorphism f : (X, *, &)→(Y, •, ω) such that

(3.7)

for all x, y ∈ X. Let a ∈ X be such that a = 0*(0*a). Then

(3.8)

and so

(3.9)

This completes the proof.

Corollary 3.6. Let (X, *, &) and (Y, •, ω) be ranked bigroupoids with distinguished element 0 in which the following items are valid.

(1)
The axiom (a3) is valid under the major operation *.
(2)
(Y, •, 0) is a p-semisimple BCI-algebra.
(3)
The minor operation ω is defined by aωb = b•(b•a) for all a, b ∈ Y.

If δ : (X, *, &)→(Y, •, ω) is an (X, *, &)-derivation, then there exists a rankomorphism f : (X, *, &)→(Y, •, ω) such that

(3.10)

Definition 3.7 (see [8].)Given ranked bigroupoids (X, *, &) and (Y, •, ω), a map φ : (X, *, &)→(Y, •, ω) is called an (X, *, &)-coderivation if there exists a rankomorphism f : X → Y such that

(3.11)

for all x, y ∈ X.

Definition 3.8. A map Ψ : (X, *, &)→(Y, •, ω) is called a generalized (X, *, &)-coderivation if there exist both a rankomorphism f : X → Y and an (X, *, &)-coderivation δ : (X, *, &)→(Y, •, ω) such that

(3.12)

for all x, y ∈ X.

Lemma 3.9 (see [8].)If f : (X, *, &)→(Y, •, ω) is a rankomorphism of ranked bigroupoids and d : X → X is an (X, *, &)-self-coderivation, then f∘d : (X, *, &)→(Y, •, ω) is an (X, *, &)-coderivation.

Theorem 3.10. Let D : (X, *, &)→(X, *, &) be a generalized (X, *, &)-self-coderivation and f : (X, *, &)→(Y, •, ω) a rankomorphism. Then f∘D is a generalized (X, *, &)-coderivation.

Proof. Since D is a generalized (X, *, &)-self-coderivation, there exists an (X, *, &)-self-coderivation d : X → X such that

(3.13)

for all x, y ∈ X. It follows that

(3.14)

for all x, y ∈ X. Note from Lemma 3.9 that f∘d is an (X, *, &)-coderivation. Hence f∘D is a generalized (X, *, &)-coderivation.

Lemma 3.11 (see [8].)If f : (X, *, &)→(Y, •, ω) is a rankomorphism of ranked bigroupoids and δ : (Y, •, ω)→(Y, •, ω) is a (Y, •, ω)-self-coderivation, then δ∘f : (X, *, &)→(Y, •, ω) is an (X, *, &)-coderivation.

Theorem 3.12. Let D : (Y, •, ω)→(Y, •, ω) be a generalized (Y, •, ω)-self-coderivation. If f : (X, *, &)→(Y, •, ω) is a rankomorphism, then D∘f : (X, *, &)→(Y, •, ω) is a generalized (X, *, &)-coderivation.

Proof. Since D is a generalized (Y, •, ω)-self-coderivation, there exists a (Y, •, ω)-self-coderivation δ : (Y, •, ω)→(X, *, &) such that

(3.15)

for all a, b ∈ Y. It follows that

(3.16)

for all x, y ∈ X. By Lemma 3.11, δ∘f : (X, *, &)→(Y, •, ω) is an (X, *, &)-coderivation. Hence D∘f : (X, *, &)→(Y, •, ω) is a generalized (X, *, &)-coderivation.

Lemma 3.13 (see [8].)For ranked bigroupoids (X, *, &), (Y, •, ω) and (Z, □, π), consider a rankomorphism f : (X, *, &)→(Y, •, ω). If φ : (Y, •, ω)→(Z, □, π) is a (Y, •, ω)-coderivation, then φ∘f : (X, *, &)→(Z, □, π) is an (X, *, &)-coderivation.

Theorem 3.14. Given ranked bigroupoids (X, *, &), (Y, •, ω), and (Z, □, π), consider a rankomorphism f : (X, *, &)→(Y, •, ω). If Ψ : (Y, •, ω)→(Z, □, π) is a generalized (Y, •, ω)-coderivation, then Ψ∘f : (X, *, &)→(Z, □, π) is a generalized (X, *, &)-coderivation.

Proof. If Ψ : (Y, •, ω)→(Z, □, π) is a generalized (Y, •, ω)-coderivation, then there exist both a rankomorphism g : (Y, •, ω)→(Z, □, π) and a (Y, •, ω)-coderivation φ : (Y, •, ω)→(Z, □, π) such that

(3.17)

for all a, b ∈ Y. It follows that

(3.18)

for all x, y ∈ X. Obviously, g∘f is a rankomorphism. By Lemma 3.13, φ∘f is an (X, *, &)-coderivation. Therefore Ψ∘f : (X, *, &)→(Z, □, π) is a generalized (X, *, &)-coderivation.

Lemma 3.15 (see [8].)For ranked bigroupoids (X, *, &), (Y, •, ω), and (Z, □, π), consider a rankomorphism g : (Y, •, ω)→(Z, □, π). If η : (X, *, &)→(Y, •, ω) is an (X, *, &)-coderivation, then g∘η : (X, *, &)→(Z, □, π) is an (X, *, &)-coderivation.

Theorem 3.16. Given ranked bigroupoids (X, *, &),(Y, •, ω), and (Z, □, π), consider a rankomorphism g : (Y, •, ω)→(Z, □, π). If Φ : (X, *, &)→(Y, •, ω) is a generalized (X, *, &)-coderivation, then g∘Φ : (X, *, &)→(Z, □, π) is a generalized (X, *, &)-coderivation.

Proof. If Φ : (X, *, &)→(Y, •, ω) is a generalized (X, *, &)-coderivation, then there exist both a rankomorphism f : X → Y and an (X, *, &)-coderivation η : (X, *, &)→(Y, •, ω) such that

(3.19)

for all x, y ∈ X. It follows that

(3.20)

for all x, y ∈ X. Obviously, g∘f is a rankomorphism and g∘η is an (X, *, &)-coderivation by Lemma 3.15. This shows that g∘Φ : (X, *, &)→(Z, □, π) is a generalized (X, *, &)-coderivation.

Acknowledgments

The authors wish to thank the anonymous reviewers for their valuable suggestions. Y. B. Jun, is an Executive Research Worker of Educational Research Institute Teachers College in Gyeongsang National University.

References

1 Bell H. E. and Kappe L.-C., Rings in which derivations satisfy certain algebraic conditions, Acta Mathematica Hungarica. (1989) 53, no. 3-4, 339–346, https://doi.org/10.1007/BF01953371, 1014917, ZBL0705.16021.
10.1007/BF01953371
Web of Science® Google Scholar
2 Bell H. E. and Mason G., On derivations in near-rings, Near-Rings and Near-Dields, 1987, 137, North-Holland, Amsterdam, The Netherlands, 31–35, https://doi.org/10.1016/S0304%2D0208(08)72283%2D7, 890753, ZBL0619.16024.
10.1016/S0304-0208(08)72283-7
Google Scholar
3 Kaya K., Prime rings with α derivations, Hacettepe Bulletin of Natural Sciences and Engineering. 1987-1988, 16-17, 63–71.
Google Scholar
4 Posner E. C., Derivations in prime rings, Proceedings of the American Mathematical Society. (1957) 8, 1093–1100, 0095863, https://doi.org/10.1090/S0002%2D9939%2D1957%2D0095863%2D0.
10.1090/S0002-9939-1957-0095863-0
Google Scholar
5 Jun Y. B. and Xin X. L., On derivations of BCI-algebras, Information Sciences. (2004) 159, no. 3-4, 167–176, https://doi.org/10.1016/j.ins.2003.03.001, 2042224, ZBL1044.06011.
10.1016/j.ins.2003.03.001
Web of Science® Google Scholar
6 Alshehri N. O., On derivations of incline algebras, Scientiae Mathematicae Japonicae. (2010) 71, no. 3, 349–355, 2666215, ZBL1195.16048.
Google Scholar
7 Alshehri N. O., Kim H. S., and Neggers J., Derivations on ranked bigroupoids, Applied Mathematics & Information Sciences. In press.
Google Scholar
8 Jun Y. B., Roh E. H., and Muhiuddin G., Generalized derivations on ranked bi-groupoids, Knowledge-Based Systems. Under review process.
Google Scholar
9 Huang Y., BCI-Algebra, 2006, Science Press, Beijing, China.
Google Scholar

Citing Literature

All articles

Coderivations of Ranked Bigroupoids

Abstract

1. Introduction

2. Preliminaries

3. Coderivations of Ranked Bigroupoids

Acknowledgments

References

Citing Literature

References

Information

About Wiley Online Library

Help & Support

Opportunities

Connect with Wiley

Coderivations of Ranked Bigroupoids

Abstract

1. Introduction

2. Preliminaries

3. Coderivations of Ranked Bigroupoids

Acknowledgments

References

Citing Literature

References

Related

Information