A Study of Derivations On Lattices

Mathematical Theory and Modeling
ISSN 2224-5804 (Paper)

ISSN 2225-0522 (Online)
Vol.4, No.11, 2014
www.iiste.org
A Study of Derivations on Lattices

Funmilola Balogun*
Department of Mathematical Sciences and Information Technology, Federal University Dutsin-ma,
Katsina State, Nigeria
* fbalogun@fudutsinma.edu.ng
Abstract
In this paper we introduce the notion () = , where f is a derivation on a lattice L and , ,
using this notion we establish equivalence relations on L. Secondly we extend some results of isotone derivations
on a distributive lattice. Finally, it is shown that; (),, is a modular lattice, where L is a modular lattice
and () is the set of all isotone derivations on L
Keywords: isotone derivation, distributive lattice, modular lattice.
1 Introduction
Several authors [2,3,6,10,11,13,20,22] have studied analytical and algebraic properties of lattice. In the
eighteenth century, George Boole [7] initiated the study of lattices. In this context Richard Dedekind in a series
of paper around 1900, laid foundation for lattice theory. The distributive lattices were introduced by Gratzer [12].
These lattices have provided the motivation for many results in general lattice theory.
Lattice theory has quite a number of applications in many research areas such as information retrieval, and
information access controls(see [8] and[20]). Sandhu [20] showed that lattice based mandatory access controls
can be enforced by appropriate configuration of Role Based Access Control(RBAC) components. In [11], the
author solved several problems in cryptanalysis using tools from the geometry of numbers. The probability
density under a general hypergraphical model was expressed using the co-information lattice in [3].
Derivations in rings and near rings have been widely researched [4,5,15,18,19]. The concept of derivation in a
lattice was introduced in [22], Xin et al characterized modular lattices and distributive lattices by isotone
derivations and gave conditions under which a derivation is isotone for bounded lattices, modular lattices and
distributive lattices. Several other authors like; [1,9,21,23] also studied derivations on lattices. In [21], the author
using fixed sets of isotone derivations established characterizations of a chain, a distributive lattice, a modular
lattice and a relatively pseudo-complimented lattice. The application of the notion of derivation in ring and
near-ring theory to BCI-algebras was given by Jun and Xin [16], see also [24]
The rest of the paper is organized as follows. Section 2, is devoted to some basic definitions and results. In
Section 3, we define () = and establish equivalence relations using isotone derivations on L.
Section 4 gives an extension of isotone derivations on distributive lattices, which was studied in [22]. Also by
defining a partial order on the set of all isotone derivations on a modular lattice, we prove that this set of isotone
derivations together with the operations of meet and join form a modular lattice.
2. Preliminaries
We need some basic definitions and results on lattices and derivations on lattices.
Definition 2.1[6]: Let L be a nonempty set endowed with operations and . Then (,,) is called a lattice
if it satisfies the following conditions for all , , :
i.
ii.
iii.
iv.
= , =
= , =
( ) = ( ), ( ) = ( )
( ) = , ( ) = .
Definition 2.2 [6]: A lattice (,,) is called a distributive lattice if it satisfies any of the following conditions
for all , , :
v.
vi.
( ) = ( ) ( )
( ) = ( ) ( )
14

Vol.4, No.11, 2014
www.iiste.org
In any lattice, conditions v. and vi. are equivalent.

Definition 2.3 [2]: A lattice (,,) is called a modular lattice if it satisfies the following conditions for all
, , :
vii. If , then ( ) = ( )
Condition vii. is called the modular identity.
Example 2.4: A distributive lattice of fundamental importance is the two-element chain(2,,). This lattice
features prominently in logic as the lattice of truth values.
In [14] the lattice L is called n-distributive if, (=0 ) ==0 ( (()=0

))
Figure 1 represents a modular lattice.
M5
Fig. 1
Definition 2.5 [6]: Let (,,) be a lattice. A binary relation is defined by if and only if
= and = .
We need the following result;
Lemma 2.6 [6]: Let (,,) be a lattice. Define the binary relation as in definition 2.5. Then (, ) is
a partially ordered set (poset) and for any , , is the g.l.b of {, }, and is the l.u.b of {, }.
From Lemma 2.6, clearly a lattice is an ordered structure.
Definition 2.7 [6]: An ideal I of the lattice (,,) is a nonempty subset I of L with the properties:
viii. ,
ix. ,
1 , 2 are ideals of L, implies that 1 2 is an ideal of L.
Definition 2.8 [6]: Let : be a function from a lattice L to a lattice M. Then is a lattice
homomorphism if ( ) = () ()
and
( ) = () ()
for all ,
A homomorphism is called an isomorphism if it is bijective, an epimorphism if it is onto and a monomorphism if

it is one-to-one.
The following is an analogous form of the Leibnizs formula for derivations in a ring.
Definition 2.9 [22]: Let L be a lattice and :
condition:
be a function. We call f a derivation on L if it satisfies the
( ) = (() ) ( ())
15

Vol.4, No.11, 2014
www.iiste.org
The following example shows that not all functions are derivations;
Example 2.10 [21]: Take the lattice L in figure 2,
Fig. 2
Define two functions 1 2 on L by
1 = {
,
,
,
= 0 1,
, = 1,
= ,
=
2 = { 0,
=
0,
=0
1 is not a derivation but 2 is a derivation on L.

We have the following result due to [22]
Proposition 2.11: Let L be a lattice and f be a derivation on L. Then the following hold:
1.
2.
3.
4.
;
( ) ;
If I is an ideal of L, then , where = {: };
If L has a least element 0, 0 = 0.
From the result above, it is obvious that derivations in lattices are contraction mappings i.e. .
Next we have the following results;
Definition 2.12 [22]: Let L be a lattice and f be a derivation on L. If implies , then f is called an
isotone derivation.
Proposition 2.13 [22]: Let L be a lattice and f be a derivation on L. If and = , then = .
Theorem 2.14 [22]: Let L be a distributive lattice and f be a derivation on L. The following conditions are
equivalent:
1.
2.
3.
f is an isotone derivation;
( ) = ;
( ) =
3. Derivations on Lattices
The following result is as presented in [21]: Let L be a lattice and . Define a function by () =
for all then is a derivation on L. Such derivations are called principal derivations.
We include the proof of the above for the sake of convenience for the reader.
( ) = ( ) ( ) = (( ) ) ( ( )) = (( ) ) (( ) ) =
( ) ( ) = ( )
Motivated by the observation above, we introduce the following;

Proposition 3.2: Let L be a lattice and . Define a function by () = for all
16
, then

Vol.4, No.11, 2014
www.iiste.org
is a derivation (also a principal derivation) on L.

( ) = = ( ) ( ) = ( ( )) = (( ) ) = ( )
= ( ) ( ) = ( )
Proposition 3.3: Every principal derivation of a lattice L is an isotone derivation of L.

Proof
Let be a principal derivation of a lattice L. Since for any , , we have = = and
hence is isotone.(see[21] for details)
Similarly, if we define = , we have;
For any , , = = and hence is isotone.
Next we prove the following results;

Theorem 3.4: Let L be a lattice and : be a derivation. The following conditions are equivalent:
1.
2.
f is an isotone derivation
( ) =
Proof
12
Suppose f is an isotone derivation,
we have; , ,
Then ( ) = ( ) ( ) ()
Also, and
This implies that, ( ) and ( )
We have, ( ) ()
From (i) and (ii) we have ( ) =
21
Suppose ( ) = ,
We have; ( ) = ( ) ( ) =
If , ( ) = =
We have = ( ) =
Therefore, , hence f is isotone.
Theorem 3.5: Let L be a lattice and : be a derivation. The following conditions are equivalent:
1.
2.
( ) = ;
( ) =
Proof
(1) (2)
Suppose ( ) = , clearly,
Since = ( ) also, and
This implies that = =
Therefore, ( ) = .
(2) (1)
Suppose ( ) = ,
If then = ( ) = , hence f is an isotone derivation. Since f is an isotone
derivation, by Theorem 3.4, we have,( ) =
From Theorems 3.4 and 3.5 we have the following result;
17

Vol.4, No.11, 2014
www.iiste.org
Theorem 3.6: Let L be a lattice and : be a derivation. The following conditions are equivalent;
1.
2.
3.
f is an isotone derivation;
( ) =
( ) =
4. Derivations on Distributive and Modular Lattices

Distributive lattices have provided the motivation for many results in general lattice theory. Many conditions on
lattices are weakend forms of distributivity. Hence derivations on distributive lattices have stronger properties.
Theorem 4.1 [21]: Let L be a distributive lattice and 1 2 be two isotone derivations on L.
Define
(1 2 )() = 1 2 ,
(1 2 )() = 1 2 .
Then 1 2 and 1 2 are also isotone derivation on L.
In this sequel we establish the following result;
Theorem 4.2: Let L be a distributive lattice. Let 1 , 2 and 3 be isotone derivations on L, defined by
((1 2 ) 3 ) = (1 2 ) 3
((1 2 ) 3 ) = (1 2 ) 3
Then (1 2 ) 3 and (1 2 ) 3 are also isotone derivations on L.
Proof
We begin with,
((1 2 ) 3 )( ) = 1 ( ) 2 ( ) 3 ( )
= ( 1 ) ( 2 ) ( 3 ) = ((1 2 ) 3 )
= ((1 2 ) 3 ) ()
Similarly we have,
((1 2 ) 3 )( ) = ((1 2 ) 3 ) ()
Combining (i) and (ii) we get
((1 2 ) 3 )( ) = (((1 2 ) 3 ) ) (((1 2 ) 3 ) )
Therefore (1 1 ) 1 is a derivation on L.
Also, by Theorem 2.14 (1 2 ) 3 is isotone since
((1 2 ) 3 )( ) = ((1 2 )( )) 3 ( ) = 1 ( ) 2 ( ) 3 ( )
= (1 1 ) (2 2 ) (3 3 ) = ((1 2 ) 3 ) ((1 2 ) 3 )
= ((1 2 ) 3 ) ((1 2 ) 3 ) = ((1 2 ) 3 ) ((1 2 ) 3 )
Similarly (1 2 ) 3 is an isotone derivation on L.
The following result is due to [21]

Theorem 4.3: Let L be a distributive lattice and () be a set of all isotone derivations on L. Then
(),, is a distributive lattice.
In this sequel we give the following result for modular lattices.
Theorem 4.4: Let L be a modular lattice and () be a set of all isotone derivations on L.
Then (),, is a modular lattice.
Proof
18

Vol.4, No.11, 2014
www.iiste.org
From Theorem 4.2, we know that are binary operators on (). Define a partial order on ()
by 1 2 if and only if 1 2 = 1 1 2 = 2 .
The g.l.b {1 , 2 } = 1 2 , and l.u.b {1 , 2 } = 1 2 ,
hence (),, is a lattice.
Furthermore, for any 1 , 2 , 3 () and for all we have,
(1 (2 3 )) = 1 (2 3 ) = (1 2 ) (1 3 ) = ((1 2 )) ((1 3 )) = 2 3
= (2 3 ) = 2
also,
((1 2 ) 3 ) = (1 2 ) 3 = (1 3 ) (2 3 ) = (1 3 ) (2 3 ) = 1 2
= (1 2 ) = 2
Therefore, (1 (2 3 )) = ((1 2 ) 3 )
References
[1]
[2]
[3]
[4]
[5]
[6]
[7]
[8]
[9]
[10]
[11]
[12
[13]
[14]
[15]
[16]
[17]
[18]
[19]
[20]
[21]
Alshehri, N. O. (2010), Generalized Derivations of Lattices, Int. J. Contemp. Math. Sciences 5, 629-640.
Balbes, R. and Dwinger, P. (1974), Distributive Lattices, University of Missouri Press, Columbia, USA.
Bell, A.J. (2003), The co-information lattice, In: 4th International Symposium on Independent Component Analysis and
Blind Signal Seperation (ICA2003), Nara, pp. 921-926.
Bell, H.E. and Kappe, L.C. (1989), Rings in which derivations satisfy certain algebraic conditions. Acta Math. Hng.
53(3-4),339-346.
Bell, H. E. and Mason, G. (1987), On derivations in near-rings and near-fields. North-Holl. Math.Std.137, 31-35.
Birkhoff, G. (1940), Lattice Theory, American Mathematical Society, New York.
Boole, G. (1854), An investigation of the Laws of Thought, Cambridge University Press.
Carpineto, C. and Romano, G. (1996), Information retrieval through hybrid navigation of lattice representations. Int. J.
Human-Comput. Stud. 45,553-578.
Chaudhry, M. A. and Ullah, Z. (2011), On Generalized , -Derivations on Lattices, Quaestiones Mathematicae 34,
417-424.
Degang, C., Wenxiu, Z., Yeung, D. and Tsang, E.C.C. (2006), Rough approximations on a complete distributive lattice
with applications to generalized rough sets, Inf. Sci. 176, 1829-1848.
Durfee, G. (2002), Cryptanalysis of RSA using algebraic and lattice methods. A dissertation submitted to the
Department of Computer Sciences and the committee on graduate studies, Stanford University, California, USA.
Gratzer, G. (2008), Lattice Theory. First concepts and Distributive Lattices. W. H. Freeman and Co., San Fransisco,
calif., 1971. xv+212pp, softcover edition, Dover publications.
Honda, A. and Grabisch, M. (2006), Entropy of capacities on lattices and set systems. Inf. Sci. 176, 3472-3489.
Huhn, A. (1975), n-distribtivity and some questions of the equational theory of lattices, Colloquia Math. Soc. J.
Bolyai, 17. Contributions to niversal algebra, Szeged, 1975, North-Holland, Amsterdam, 1977, p167-178.
Hvala, B. (1998), Generalized derivations in prime rings. Commun. Algebra 26, 1147-1166.
Jun, Y. B. and Xin, X. L. (2004), On derivations of BCI-algebras. Inf. Sci. 159, 167-176.
Karacal, F. (2006), On the direct decomposability of strong negations and S-implication operators on product lattices.
Inf. Sci. 176, 3011-3025.
Kaya, K. (1987-1988), Prime rings with derivations. Bull. Natural Sci. Eng.16-17, 63-71.
Posner, E. (1957), Derivations in prime rings. Proc. Amer. Math. Soc. 8,1093-1100.
Sandhu, R.S. (1996), Role hierarchies and constraints for lattice-based access controls. In: Proceedings of the 4th
European Symposium on Research in Computer Security, Rome, pp. 65-79.
Xin, X. L. (2012), The fixed set of a derivation in lattices, Fixed Point Theory and Applications(a Springer Open
Journal)
[22] Xin, X. L., Li, T. Y. and Lu, J.H. (2008), On derivations of lattices. Inf. Sci. 176, 307-316.
[23] Yilmaz, C. and Ozturk, M. A. (2008), On f-derivations of lattices, Bull. Korean Math. Soc. 1675-1684.
[24] Zhan, J. and Liu, T. Y. (2005), On f-derivations of BCI-algebras, Int. J. Math. Sci. 11, 1675-1684.
19
Business, Economics, Finance and Management Journals

European Journal of Business and Management
Research Journal of Finance and Accounting
Journal of Economics and Sustainable Development
Information and Knowledge Management
Journal of Developing Country Studies
Industrial Engineering Letters
PAPER SUBMISSION EMAIL

EJBM@iiste.org
RJFA@iiste.org
JESD@iiste.org
IKM@iiste.org
DCS@iiste.org
IEL@iiste.org
Physical Sciences, Mathematics and Chemistry Journals

Journal of Natural Sciences Research
Journal of Chemistry and Materials Research
Journal of Mathematical Theory and Modeling
Advances in Physics Theories and Applications
Chemical and Process Engineering Research

JNSR@iiste.org
CMR@iiste.org
MTM@iiste.org
APTA@iiste.org
CPER@iiste.org
Engineering, Technology and Systems Journals

Computer Engineering and Intelligent Systems
Innovative Systems Design and Engineering
Journal of Energy Technologies and Policy
Information and Knowledge Management
Journal of Control Theory and Informatics
Journal of Information Engineering and Applications
Industrial Engineering Letters
Journal of Network and Complex Systems

CEIS@iiste.org
ISDE@iiste.org
JETP@iiste.org
IKM@iiste.org
CTI@iiste.org
JIEA@iiste.org
IEL@iiste.org
NCS@iiste.org
Environment, Civil, Materials Sciences Journals

Journal of Environment and Earth Science
Journal of Civil and Environmental Research

JEES@iiste.org
CER@iiste.org
JNSR@iiste.org
Life Science, Food and Medical Sciences

Advances in Life Science and Technology
Journal of Biology, Agriculture and Healthcare
Journal of Food Science and Quality Management
Journal of Chemistry and Materials Research

ALST@iiste.org
JNSR@iiste.org
JBAH@iiste.org
FSQM@iiste.org
CMR@iiste.org
Education, and other Social Sciences

Journal of Education and Practice
Journal of Law, Policy and Globalization
Journal of New Media and Mass Communication
Journal of Energy Technologies and Policy
Historical Research Letter
Public Policy and Administration Research
International Affairs and Global Strategy
Research on Humanities and Social Sciences
Journal of Developing Country Studies
Journal of Arts and Design Studies

JEP@iiste.org
JLPG@iiste.org
NMMC@iiste.org
JETP@iiste.org
HRL@iiste.org
PPAR@iiste.org
IAGS@iiste.org
RHSS@iiste.org
DCS@iiste.org
ADS@iiste.org
The IISTE is a pioneer in the Open-Access hosting service and academic event management.
The aim of the firm is Accelerating Global Knowledge Sharing.
More information about the firm can be found on the homepage:
http://www.iiste.org
CALL FOR JOURNAL PAPERS
There are more than 30 peer-reviewed academic journals hosted under the hosting platform.
Prospective authors of journals can find the submission instruction on the following
page: http://www.iiste.org/journals/ All the journals articles are available online to the
readers all over the world without financial, legal, or technical barriers other than those
inseparable from gaining access to the internet itself. Paper version of the journals is also
available upon request of readers and authors.
MORE RESOURCES
Book publication information: http://www.iiste.org/book/
IISTE Knowledge Sharing Partners

EBSCO, Index Copernicus, Ulrich's Periodicals Directory, JournalTOCS, PKP Open
Archives Harvester, Bielefeld Academic Search Engine, Elektronische Zeitschriftenbibliothek
EZB, Open J-Gate, OCLC WorldCat, Universe Digtial Library , NewJour, Google Scholar

A Study of Derivations On Lattices

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

A Study of Derivations On Lattices

Diunggah oleh

Hak Cipta:

Format Tersedia

Mathematical Theory and Modeling

ISSN 2224-5804 (Paper)