- About this Journal
- Abstracting and Indexing
- Aims and Scope
- Article Processing Charges
- Articles in Press
- Author Guidelines
- Bibliographic Information
- Citations to this Journal
- Contact Information
- Editorial Board
- Editorial Workflow
- Free eTOC Alerts
- Publication Ethics
- Reviewers Acknowledgment
- Submit a Manuscript
- Subscription Information
- Table of Contents
International Journal of Mathematics and Mathematical Sciences
Volume 2010 (2010), Article ID 312027, 7 pages
Derivations of MV-Algebras
Department of Mathematics, Faculty of Science (Girl's), King Abdulaziz University, P.O. Box 126238, Jeddah 21352, Saudi Arabia
Received 26 August 2010; Revised 8 November 2010; Accepted 16 December 2010
Academic Editor: Howard Bell
Copyright © 2010 N. O. Alshehri. 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.
We introduce the notion of derivation for an MV-algebra and discuss some related properties. Using the notion of an isotone derivation, we give some characterizations of a derivation of an MV-algebra. Moreover, we define an additive derivation of an MV-algebra and investigate some of its properties. Also, we prove that an additive derivation of a linearly ordered MV-algebral is an isotone.
In his classical paper , Chang invented the notion of MV-algebra in order to provide an algebraic proof of the completeness theorem of infinite valued Lukasiewicz propositional calculus. Recently, the algebraic theory of MV-algebras is intensively studied, see [2–5].
The notion of derivation, introduced from the analytic theory, is helpful to the research of structure and property in algebraic system. Several authors [6–9] studied derivations in rings and near rings. Jun and Xin  applied the notion of derivation in ring and near-ring theory to BCI-algebras. In , Szász introduced the concept of derivation for lattices and investigated some of its properties, for more details, the reader is referred to [9, 12–19].
In this paper, we apply the notion of derivation in ring and near-ring theory to MV-algebras and investigate some of its properties. Using the notion of an isotone derivation, we characterize a derivation of MV-algebra. We introduce a new concept, called an additive derivation of MV-algebras, and then we investigate several properties. Finally, we prove that an additive derivation of a linearly ordered MV-algebra is an isotone.
Definition 2.1 (see ). An MV-algebra is a structure where is a binary operation, is a unary operation, and 0 is a constant such that the following axioms are satisfied for any : (MV1) is a commutative monoid,(MV2) ,(MV3) ,(MV4) .
If we define the constant and the auxiliary operations , and by then is a commutative monoid and the structure is a bounded distributive lattice. Also, we define the binary operation by . A subset of an MV-algebra is called subalgebra of if and only if is closed under the MV-operations defined in . In any MV-algebras, one can define a partial order ≤ by putting if and only if for each . If the order relation ≤, defined over , is total, then we say that is linearly ordered. For an MV-algebra , if we define . Then, is both a largest subalgebra of and a Boolean algebra.
An MV-algebra has the following properties for all (1),(2),(3), (4)If , then ,(5)If , then ,(6)If , then and ,(7)If , then and ,(8) if and only if ,(9) if and only if .
Theorem 2.2 (see ). The following conditions are equivalent for all (i), (ii), (iii).
Definition 2.3 (see ). Let be an MV-algebra and be a nonempty subset of . Then, we say that is an ideal if the following conditions are satisfied: (i), (ii) imply ,(iii) and imply .
Proposition 2.4 (see ). Let be a linearly ordered MV-algebra, then and implies that .
3. Derivations of MV-Algebras
Definition 3.1. Let be an MV-algebra, and let be a function. We call a derivation of , if it satisfies the following condition for all
We often abbreviate to .
Proposition 3.4. Let be an MV-algebra, and let be a derivation on . Then, the following hold for every : (i), (ii), (iii), (iv),(v)If is an ideal of an MV-algebra , then .
Proof. (i) .
Putting , we get .
(ii) Let , then and so (ii) follows from (4). (iii)It is clear.(iv)Let , from (ii), we have from Theorem 2.2 we get . (v)Let , then for some . Since , thus and so .
Proposition 3.5. Let be a derivation of an MV-algebra , and let . If . Then, the following hold: (i), (ii), (iii).
Proof. (i) Let , then Theorem 2.2 implies that , and so .
(ii)From (i), we get and by (4), we have . Therefore, .(iii)If , then , thus , also , and so . Hence, .
Proposition 3.6. Let be an MV-algebra, and let be a derivation on . Then, the following hold: (i), (ii) if and only if is the identity on .
Proof. (i) It follows directly from Proposition 3.5(iii).
(ii)It is sufficient to show that if , then is the identity on .
Assume that , from Proposition 3.4(ii), we have , which implies that . Therefore, .
Definition 3.7. Let be an MV-algebra and be a derivation on . If implies for all , is called an isotone derivation.
Example 3.8. Let be an MV-algebra as in Example 3.3. It is easily checked that is an isotone derivation of .
Proposition 3.9. Let be an MV-algebra, and let be aderivation of . If for all , then the following hold:(i),(ii), (iii)If is an isotone derivation of , then is zero.
Proof. (i) It follows by putting .
(ii)It follows from Proposition 3.6(i).(iii)Since is an isotone, hence for all . By (i), we have , and so is zero.
Definition 3.10. Let be an MV-algebra, and let be a derivation on . If for all is called an additive derivation.
Example 3.11. Let be an MV-algebra as in Example 3.3. It is easily checked that is an additive derivation of .
Theorem 3.12. Let M be an MV-algebra, and let be a nonzero additive derivation of . Then, .
Proof. Let , thus for some . Then,
Therefore , this complete the proof.
Theorem 3.13. Let be an additive derivation of a linearly ordered MV-algebra M. Then, either or .
Proof. Let be an additive derivation of a linearly ordered MV-algebra . Hence, also, for all . If , then Proposition 2.4 implies that . Putting , we get that . Therefore, for all , and so is zero.
Proposition 3.14. Let be a linearly ordered MV-algebra, and let additive derivations of . Define for all . If , then or .
Proof. Let , , and suppose that . Then, thus . Similarly, we can prove that .
Proposition 3.15. Let be a linearly ordered MV-algebra, and let be a nonzero additive derivation of . Then,
Theorem 3.16. Every nonzero additive derivation of a linearly ordered MV-algebra is an isotone derivation.
Proof. Assume that is an additive derivation of , and . If , then , hence and so, , from (8), we have . Otherwise, , again by (8) . Since , we get .
Theorem 3.17. Let be a linearly ordered MV-algebra, and let be a nonzero additive deriviation of . Then, is an ideal of .
- C. C. Chang, “Algebraic analysis of many valued logics,” Transactions of the American Mathematical Society, vol. 88, pp. 467–490, 1958.
- G. Cattaneo, R. Giuntini, and R. Pilla, “BZMVdM algebras and Stonian MV-algebras (applications to fuzzy sets and rough approximations),” Fuzzy Sets and Systems, vol. 108, no. 2, pp. 201–222, 1999.
- C. C. Chang, “A new proof of the completeness of the Łukasiewicz axioms,” Transactions of the American Mathematical Society, vol. 93, pp. 74–80, 1959.
- R. Cignoli, I. D'Ottaviano, and D. Mundici, Algebraic Foundations of Many-Valued-Reasoning, Kluwer Academic, Dodrecht, The Netherlands, 2000.
- S. Rasouli and B. Davvaz, “Roughness in MV-algebras,” Information Sciences, vol. 180, no. 5, pp. 737–747, 2010.
- 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.
- H. E. Bell and G.N. Mason, “On derivations in near-rings,” in Near-Rings and Near-Fields (Tübingen, 1985), vol. 137 of North-Holland Mathematical Studies, pp. 31–35, North-Holland, Amsterdam, The Netherlands, 1987.
- K. Kaya, “Prime rings with -derivations,” Hacettepe Bulletin of Natural Sciences and Engineering, vol. 16-17, pp. 63–71, 1988.
- 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 Scientiarum Mathematicarum, vol. 37, pp. 149–154, 1975.
- Y. Çeven, “Symmetric bi-derivations of lattices,” Quaestiones Mathematicae, vol. 32, no. 2, pp. 241–245, 2009.
- Y. Çeven and M. A. Öztürk, “On -derivations of lattices,” Bulletin of the Korean Mathematical Society, vol. 45, no. 4, pp. 701–707, 2008.
- Luca Ferrari, “On derivations of lattices,” Pure Mathematics and Applications, vol. 12, no. 4, pp. 365–382, 2001.
- F. Alev, “On -derivations of BCC-Algebras,” Ars Combinatoria, vol. 97 A, pp. 377–382, 2010.
- Ş. A. Özbal and A. Firat, “Symmetric bi-derivations of lattices,” Ars Combinatoria, vol. 97, pp. 471–477, 2010.
- M. A. Öztürk and Y. Çeven, “Derivations on subtraction algebras,” Korean Mathematical Society. Communications, vol. 24, no. 4, pp. 509–515, 2009.
- M. A. Öztürk, H. Yazarlı, and K. H. Kim, “Permuting tri-derivations in lattices,” Quaestiones Mathematicae, vol. 32, no. 3, pp. 415–425, 2009.
- J. Zhan and Y. L. Liu, “On -derivations of BCI-algebras,” International Journal of Mathematics and Mathematical Sciences, no. 11, pp. 1675–1684, 2005.