An algebra  is called a lattice if  is a nonempty set,  and  are binary operations on , both  and  are idempotent, commutative, and associative, and they satisfy the absorption law. The study of lattices is called lattice theory.

Note that this type of lattice is distinct from the regular array of points known as a point lattice (or informally as a mesh or grid). While every point lattice is a lattice under the ordering inherited from the plane, many lattices are not point lattices.

Lattices offer a natural way to formalize and study the ordering of objects using a general concept known as the partially ordered set. A lattice as an algebra is equivalent to a lattice as a partially ordered set (Grätzer 1971, p. 6) since

1. Let the partially ordered set  be a lattice. Set {a,b}" src="https://mathworld.wolfram.com/images/equations/Lattice/Inline9.gif" style="height:15px; width:96px" /> and {a,b}" src="https://mathworld.wolfram.com/images/equations/Lattice/Inline10.gif" style="height:15px; width:98px" />. Then the algebra  is a lattice.

2. Let the algebra  be a lattice. Set  iff . Then  is a partially ordered set, and the partially ordered set  is a lattice.

3. Let the partially ordered set  be a lattice. Then .

4. Let the algebra  be a lattice. Then .

The following inequalities hold for any lattice:

	(1)
	(2)
	(3)
	(4)

(Grätzer 1971, p. 35). The first three are the distributive inequalities, and the last is the modular identity.

A lattice  can be obtained from a lattice-ordered poset  by defining {a,b}" src="https://mathworld.wolfram.com/images/equations/Lattice/Inline27.gif" style="height:15px; width:96px" /> and {a,b}" src="https://mathworld.wolfram.com/images/equations/Lattice/Inline28.gif" style="height:15px; width:98px" /> for any . Also, from a lattice , one may obtain a lattice-ordered set  by setting  in  if and only if . One obtains the same lattice-ordered set  from the given lattice by setting  in  if and only if . (In other words, one may prove that for any lattice, , and for any two members  and  of ,  if and only if .)

REFERENCES:

Grätzer, G. Lattice Theory: First Concepts and Distributive Lattices. San Francisco, CA: W. H. Freeman, 1971.

اخر الاخبار

اخبار العتبة العباسية المقدسة

قسم الشؤون الطبية يقدم الخدمات الصحية والعلاجية لزائري مدينة سامراء

العتبة العباسية المقدسة تقدم خدماتها لزائري مرقد الإمامين العسكريين (عليهما السلام) في سامراء

المجمَع العلمي ووفد وزارة التربية يبحثان سبل التعاون المشترك

قسم الشؤون الفكرية يصدر العدد 192 من مجلة الرياحين للأطفال

المزيد

الآخبار الصحية

كنز غذائي على طبقك.. ماذا تفعل السبانخ بجسمك؟

ما لا يتوقعه أحد.. "سر غذائي" في الجبن الدسم

لتحسين الهضم والنوم.. هذا أفضل وقت لتناول العشاء

10 طرق بسيطة وغير مألوفة لحرق المزيد من السعرات يوميا

المزيد

الآخبار التكنلوجية

سابقة بعالم الطيران.. طائرة تقرر الهبوط بنفسها بعد ظرف طارئ

"الإنفلونزا الخارقة" تكتسح دول العالم.. وتثير قلقا كبيرا

مرحلة ما قبل الأعراض.. دواء جديد يستهدف "شرارة" الزهايمر

إزالة ثاني أكسيد الكربون من الغلاف الجوي.. ما دور المحيطات والبحار؟

المزيد