Research Article | Open Access
-Step Derivations on -Groupoids: The Case
We define a ranked trigroupoid as a natural followup on the idea of a ranked bigroupoid. We consider the idea of a derivation on such a trigroupoid as representing a two-step process on a pair of ranked bigroupoids where the mapping is a self-derivation at each step. Following up on this idea we obtain several results and conclusions of interest. We also discuss the notion of a couplet on , consisting of a two-step derivation and its square , for example, whose defining property leads to further observations on the underlying ranked trigroupoids also.
The notion of derivations arising in analytic theory is extremely helpful in exploring the structures and properties of algebraic systems. Several authors [1, 2] studied derivations in rings and near rings. Jun and Xin  applied the notion of derivation in ring and near ring theory to -algebras. In , the concept of derivation for lattices was introduced and some of its properties are investigated. For more details, the reader is referred to [3, 5–7].
Iséki and Tanaka introduced two classes of abstract algebras: -algebras and -algebras [8, 9]. Neggers and Kim introduced the notion of -algebras which is another useful generalization of -algebras and then investigated several relations between -algebras and -algebras as well as several other relations between -algebras and oriented digraphs . Kim and Neggers  introduced the notion of and obtained a semigroup structure. Bell and Kappe  studied rings in which derivations satisfy certain algebraic conditions. Alshehri  applied the notion of derivations in incline algebras.
The present authors  introduced the notion of ranked bigroupoids and discussed -self-(co)derivations. In addition, they defined rankomorphisms and -scalars for ranked bigroupoids and obtained some properties of these as well. Recently, Jun et al.  obtained further results on derivations of ranked bigroupoids, and Jun et al.  introduced the notion of generalized coderivations in ranked bigroupoids and showed that new generalized coderivations of ranked bigroupoids are obtained by combining a generalized self-coderivation with a rankomorphism.
In this paper, we extend the theory of derivations on a ranked bigroupoid to that of a type of derivation on ranked trigroupoids, that is, two-step derivations on ranked trigroupoids considered as a couple of ranked bigroupoids and with such a two-step derivation on if it is a self-derivation on both and . The role of the operation in this definition is the more interesting one since it acts as the minor operation in and the major operation in . From the results obtained below it is clear that it is indeed possible to obtain meaningful insights, especially via the notion of a couplet on a ranked trigroupoid consisting of a pair of mappings , satisfying a natural condition (6) stated below which arises in a rather natural way from the context and is seen to be of interest in this study and presumably of any followup as well.
An -algebra  is a nonempty set with a constant and a binary operation “” satisfying the following axioms:(A),(B),(C) and imply for all .
A -algebra is a -algebra satisfying the following additional axioms:(D),(E) for all .
Given a nonempty set , we let denote the collection of all groupoids , where is a map and where is written in the usual product form. Given elements and of , define a product “” on these groupoids as follows: where for any . Using that notion, Kim and Neggers proved the following theorem.
Theorem 1 (see ). is a semigroup; that is, the operation “” as defined in general is associative. Furthermore, the left-zero-semigroup is the identity for this operation.
A ranked bigroupoid is an algebraic system where is a nonempty set and “” and “” are binary operations defined on . We may consider the first binary operation as the major operation, and the second binary operation as the minor operation.
Example 2 (see ). A -algebra is defined as an algebraic system where is a group and where . Hence every -algebra is a ranked bigroupoid.
Example 3 (see ). We construct a ranked bigroupoid from any -algebra. In fact, given a -algebra , if we define a binary operation “” on by for any , then is a ranked bigroupoid.
We introduce the notion of “ranked bigroupoids” to distinguish two bigroupoids and . Even though in the sense of bigroupoids, the same is not true in the sense of ranked bigroupoids. This is analogous to the situation for sets, where but in general.
Given an element , has a natural associated ranked bigroupoid ; that is, the major operation and the minor operation coincide.
Given a ranked bigroupoid , a map is called an -self-derivation if for all , In the same setting, a map is called an -self-coderivation if for all ,
Note that if is a commutative groupoid, then -self-derivations are -self-coderivations. A map is called an abelian--self-derivation if it is both an -self-derivation and an -self-coderivation.
3. Two-Step Derivations and Couplets on Trigroupoids
An algebraic system is said to be a ranked trigroupoid if algebraic systems and are ranked bigroupoids. A two-step derivation on a ranked trigroupoid is a mapping such that is both an -self-derivation and an -self-derivation.
Obviously, if one considers ranked -groupoids , then one may consider -step derivations for which one has as an -self-derivation for .
In this paper we will mostly be interested in the case of two-step-derivations on ranked trigroupoids and some related pairs of maps which we call couplets. For ranked -groupoids where , we obtain triplets, quadruplets, and so forth, as the appropriate generalizations.
Let be a two-step derivation on a ranked trigroupoid . Then, for any , we have
If we let , then it follows that
We call a couplet on a ranked trigroupoid if it satisfies condition (6), and if contains a constant 0.
Example 4. Let be the set of all real numbers and let be the ranked trigroupoid where and are usual multiplication, addition, and subtraction, respectively. If we let be a couplet on the ranked trigroupoid , then
If we let in (7), then
Thus for all , whence for all . If we let in (7), then . It follows that, for any , which implies that . Hence, by (7), we have ; that is,
If we let and in (9), then we have . Hence for all .
In Example 4, if is a two-step derivation on , then and for any . It follows that , which proves that for all .
Example 5. Let and let be a ranked trigroupoid where , + are usual multiplication and addition, respectively. Define a map satisfying for all . For , , , we define a map by where and . Then is a -self-derivation. In fact, if , for some , then Assume that is a couplet on the ranked trigroupoid for some self--derivation . Then, Since , we obtain
Proposition 6. There is no two-step derivation on the ranked trigroupoid .
Proof. Assume that is a two-step derivation on . Then, for any ,
If we let in (15), then If we let in (16), then . On the other hand, if we let and in (15), then , proving that is a contradiction. Hence there is no two-step derivation on the ranked trigroupoid .
Proposition 7. There is no two-step derivation on the ranked trigroupoid .
Proposition 8. Let be a couplet on a ranked trigroupoid . If and , then for all . In particular, if , then is a -self-derivation.
Proof. If is a couplet on a ranked trigroupoid , then, for any , we have Since , if we let in (20), then . It follows that Hence for any . If we change into for any , then we obtain for all . In particular, if , then and hence ; that is, is a -self-derivation.
4. Frame Algebras and -Algebras
A groupoid is said to be a frame algebra if it satisfies the axioms , and(F),
for all .
Example 9. Every -algebra is a frame algebra.
Every lattice implication algebra (see [17, 18]) is a frame algebra.
The collection of frame algebras includes the collection of -algebras and it is a variety. In a frame algebra the element 0 is unique. Indeed, if and are both zeros, then , yields .
Proposition 10. The collection of all frame algebras forms a subsemigroup of the semigroup .
Proof. Given frame algebras , if we let , then for all . It follows that , , and , proving that is a frame algebra. This proves the proposition.
Given groupoids , we define
Proposition 11. Let and be frame algebras. If , then is a frame algebra.
Proof. If , then for all . It follows that implies that . Moreover, shows that , and shows that , proving that is a frame algebra.
A ranked trigroupoid is called an fr()-algebra if(G) are frame algebras,(H).
Theorem 12. Let be an fr-algebra. If is a two-step derivation on , then (i),(ii) for all .
Proof. (i) If is a two-step derivation on , then for any , we have
It follows that ; that is, , for all . If we let , then by applying (A) we obtain .
(ii) Given , we have and .
Given a two-step derivation on a trigroupoid , we denote its kernel by .
Proposition 13. Let be an fr-algebra. If is a two-step derivation on , then (i), ,(ii) implies that , ,(iii),for all .
Proposition 14. Let be an fr-algebra. If is a two-step derivation on , then for all .
Proof. If , then and hence for all , which proves that .
Note that may not be computable unless the behavior of is specified, since for some .
Proposition 15. Let be an fr-algebra. If is a couplet of , then .
Proof. If is a couplet of and if , then for any . It follows from (6) that , proving that .
Let be a poset with minimal element 0. Define a binary operation “” on by Then is a -algebra, called a standard -algebra inherited from the poset .
Proposition 16. Let be a standard -algebra. Let be an fr-algebra and let be a couplet of . If for some , then and .
Proof. Let . We claim that . Suppose that . Since is a fr-algebra, by applying (6), we obtain that is a contradiction. Since is a standard -algebra, we obtain . We claim that . If , then is a contradiction. It follows that , proving the proposition.
5. Classification of Linear Ranked Trigroupoids
Let be the real field and let be a ranked trigroupoid, where and are linear groupoids; that is, , , and for any , where (fixed).
Thus, if is a two-step derivation on , then for any , we have and also in a similar manner we obtain
If for all , then (29) and (30) become for any . If we let , in (31), then we obtain , . Hence, (31) reduces to for all . If we let , and let , in (32) and (33), respectively, then we obtain From this information, we obtain the following propositions.
Proposition 17. Let be the real field and let be a ranked trigroupoid, where are linear groupoids; that is, , , and for any , where (fixed). Let be a two-step derivation such that for all . (1)If and , then , , ;(2)If and , then , .
Proof. (i) If , then it follows from (34) that we obtain , . If , then we have and .
(ii) If and , then and is arbitrary, and hence we obtain the result.
Proposition 18. Let be the real field and let be a ranked trigroupoid, where are linear groupoids; that is, , , and for any , where (fixed). Let be a two-step derivation such that for all :(i)if and , then , , ;(ii)if , , then , , ;(iii)if , , , then , , ;(iv)if , , , then , , ;(v)if , , , then , , .
Proof. The proof is similar to Proposition 17 and we omit it.
The notion of two-step derivations is a generalization of derivations. This leads to the study of trigroupoids, and we explore some relations with several algebras, for example, -algebras, frame algebras, and so forth. The classification of linear ranked trigroupoids then explains a number of concrete algebraic structures with derivations.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.
The authors are grateful to the referee for valuable suggestions and help.
- H. E. Bell and L.-C. Kappe, “Rings in which derivations satisfy certain algebraic conditions,” Acta Mathematica Hungarica, vol. 53, no. 3-4, pp. 339–346, 1989.
- E. C. Posner, “Derivations in prime rings,” Proceedings of the American Mathematical Society, vol. 8, pp. 1093–1100, 1957.
- Y. B. Jun and X. L. Xin, “On derivations of BCI-algebras,” Information Sciences, vol. 159, no. 3-4, pp. 167–176, 2004.
- G. Szász, “Derivations of lattices,” Acta Universitatis Szegediensis. Acta Scientiarum Mathematicarum, vol. 37, pp. 149–154, 1975.
- Y. Çeven, “Symmetric bi-derivations of lattices,” Quaestiones Mathematicae. Journal of the South African Mathematical Society, vol. 32, no. 2, pp. 241–245, 2009.
- K. Kaya, “Prime rings with-derivations,” Hacettepe Bulletin of Natural Sciences and Engineering, vol. 16-17, pp. 63–71, 1988.
- J. Zhan and Y. L. Liu, “On -derivations of BCI-algebras,” International Journal of Mathematics and Mathematical Sciences, no. 11, pp. 1675–1684, 2005.
- K. Iséki, “On BCI-algebras,” Mathematics Seminar Notes, vol. 8, no. 1, pp. 125–130, 1980.
- K. Iséki and S. Tanaka, “An introduction to the theory of BCK-algebras,” Mathematica Japonica, vol. 23, no. 1, pp. 1–26, 1978/79.
- J. Neggers and H. S. Kim, “On -algebras,” Mathematica Slovaca, vol. 49, no. 1, pp. 19–26, 1999.
- H. S. Kim and J. Neggers, “The semigroups of binary systems and some perspectives,” Bulletin of the Korean Mathematical Society, vol. 45, no. 4, pp. 651–661, 2008.
- N. O. Alshehri, “On derivations of incline algebras,” Scientiae Mathematicae Japonicae, vol. 71, no. 3, pp. 349–355, 2010.
- N. O. Alshehri, H. S. Kim, and J. Neggers, “Derivations on ranked bigroupoids,” Applied Mathematics & Information Sciences, vol. 7, no. 1, pp. 161–166, 2013.
- Y. B. Jun, H. S. Kim, and E. H. Roh, “Further results on derivations of ranked bigroupoids,” Journal of Applied Mathematics, vol. 2012, Article ID 783657, 9 pages, 2012.
- Y. B. Jun, K. J. Lee, and C. H. Park, “Coderivations of ranked bigroupoids,” Journal of Applied Mathematics, vol. 2012, Article ID 626781, 8 pages, 2012.
- K. H. Dar and M. Akram, “Characterization of a -algebra by self maps,” Southeast Asian Bulletin of Mathematics, vol. 28, no. 4, pp. 601–610, 2004.
- Y. B. Jun, “Implicative filters of lattice implication algebras,” Bulletin of the Korean Mathematical Society, vol. 34, no. 2, pp. 193–198, 1997.
- Y. Xu, “Lattice implication algebras,” Journal of SouthWest JiaoTong University, vol. 1, pp. 20–27, 1993.
Copyright © 2014 N. O. Alshehri et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.