Difference between revisions of "Complete Dedekind lattice"
From Encyclopedia of Mathematics
(Importing text file) |
m |
||
| (One intermediate revision by one other user not shown) | |||
| Line 1: | Line 1: | ||
| − | A | + | <!-- |
| + | c0237401.png | ||
| + | $#A+1 = 5 n = 0 | ||
| + | $#C+1 = 5 : ~/encyclopedia/old_files/data/C023/C.0203740 Complete Dedekind lattice | ||
| + | Automatically converted into TeX, above some diagnostics. | ||
| + | Please remove this comment and the {{TEX|auto}} line below, | ||
| + | if TeX found to be correct. | ||
| + | --> | ||
| − | + | {{TEX|auto}} | |
| + | {{TEX|done}} | ||
| − | + | A complete lattice such that the identity | |
| − | |||
| − | |||
| − | |||
| + | $$ | ||
| + | \left ( \wedge _ {i \in I } a _ {i} \right ) \ | ||
| + | \wedge \left ( \lor _ {i \in I } b _ {i} \right ) = \ | ||
| + | \lor _ {i \in I } ( a _ {i} \wedge b _ {i} ) | ||
| + | $$ | ||
| + | is valid for any of its elements $ a _ {i} , b _ {i} $, | ||
| + | $ i \in I $, | ||
| + | for which $ a _ {i} \geq b _ {j} $ | ||
| + | if $ i \neq j $. | ||
| + | Any complete Dedekind lattice is a modular lattice. If a universal algebra has commuting congruences, then its congruence lattice is a complete Dedekind lattice [[#References|[1]]]. | ||
====Comments==== | ====Comments==== | ||
| − | The term | + | The term "Dedekind lattice" is seldom used in the English language literature, instead one uses [[modular lattice]] (cf. [[#References|[a1]]]). However, a complete modular lattice is a [[complete lattice]] satisfying the (finite) modular law. The notion defined in the article above has no established name; it could be called a completely modular lattice. |
====References==== | ====References==== | ||
| − | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> | + | <table> |
| + | <TR><TD valign="top">[1]</TD> <TD valign="top"> Ph. Dwinger, "Some theorems on universal algebras III" ''Indag. Math.'' , '''20''' (1958) pp. 70–76</TD></TR> | ||
| + | <TR><TD valign="top">[a1]</TD> <TD valign="top"> P.M. Cohn, "Universal algebra" , Reidel (1981)</TD></TR> | ||
| + | </table> | ||
Latest revision as of 12:52, 18 July 2025
A complete lattice such that the identity
$$ \left ( \wedge _ {i \in I } a _ {i} \right ) \ \wedge \left ( \lor _ {i \in I } b _ {i} \right ) = \ \lor _ {i \in I } ( a _ {i} \wedge b _ {i} ) $$
is valid for any of its elements $ a _ {i} , b _ {i} $, $ i \in I $, for which $ a _ {i} \geq b _ {j} $ if $ i \neq j $. Any complete Dedekind lattice is a modular lattice. If a universal algebra has commuting congruences, then its congruence lattice is a complete Dedekind lattice [1].
Comments
The term "Dedekind lattice" is seldom used in the English language literature, instead one uses modular lattice (cf. [a1]). However, a complete modular lattice is a complete lattice satisfying the (finite) modular law. The notion defined in the article above has no established name; it could be called a completely modular lattice.
References
| [1] | Ph. Dwinger, "Some theorems on universal algebras III" Indag. Math. , 20 (1958) pp. 70–76 |
| [a1] | P.M. Cohn, "Universal algebra" , Reidel (1981) |
How to Cite This Entry:
Complete Dedekind lattice. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Complete_Dedekind_lattice&oldid=17947
Complete Dedekind lattice. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Complete_Dedekind_lattice&oldid=17947
This article was adapted from an original article by O.A. Ivanova (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article