Matches in SemOpenAlex for { <https://semopenalex.org/work/W2087625521> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2087625521 endingPage "185" @default.
- W2087625521 startingPage "179" @default.
- W2087625521 abstract "If K is a lattice, then let | denote the lattice of all congruence relations of K. It is known (see [1]) that O(K) is a distributive lattice satisfying some continuity properties (see below). It is natural to ask about the lattice-theoretical characterization of O(K). I f K is finite, then | is also finite, and conversely, every finite distributive lattice L is isomorphic to a O(K) where Kis finite too. This theorem is due to R. P. DILWORTH and is mentioned in [I] without proof. No proof of this theorem has been published as yet. In this note we give a proof of this theorem; some generalizations are also mentioned. Before stating the results some notions are needed. A lattice K is called section complemented if K has a least element 0, and if every x with x_-< y has a complement z in [0, y], i. e. xP, z=O, x U z = y . The length of a chain C o f n + l elements is n, and the length of a finite lattice K is n if K contains a subchain of length n but no subchain of length n + 1." @default.
- W2087625521 created "2016-06-24" @default.
- W2087625521 creator A5082819529 @default.
- W2087625521 creator A5085391470 @default.
- W2087625521 date "1962-03-01" @default.
- W2087625521 modified "2023-10-06" @default.
- W2087625521 title "On congruence lattices of lattices" @default.
- W2087625521 cites W1996296639 @default.
- W2087625521 cites W2009091545 @default.
- W2087625521 cites W2056090773 @default.
- W2087625521 cites W2079213919 @default.
- W2087625521 cites W2093405062 @default.
- W2087625521 cites W851611197 @default.
- W2087625521 doi "https://doi.org/10.1007/bf02033636" @default.
- W2087625521 hasPublicationYear "1962" @default.
- W2087625521 type Work @default.
- W2087625521 sameAs 2087625521 @default.
- W2087625521 citedByCount "100" @default.
- W2087625521 countsByYear W20876255212012 @default.
- W2087625521 countsByYear W20876255212013 @default.
- W2087625521 countsByYear W20876255212014 @default.
- W2087625521 countsByYear W20876255212016 @default.
- W2087625521 countsByYear W20876255212017 @default.
- W2087625521 countsByYear W20876255212018 @default.
- W2087625521 countsByYear W20876255212019 @default.
- W2087625521 countsByYear W20876255212020 @default.
- W2087625521 countsByYear W20876255212021 @default.
- W2087625521 countsByYear W20876255212022 @default.
- W2087625521 crossrefType "journal-article" @default.
- W2087625521 hasAuthorship W2087625521A5082819529 @default.
- W2087625521 hasAuthorship W2087625521A5085391470 @default.
- W2087625521 hasBestOaLocation W20876255212 @default.
- W2087625521 hasConcept C132074034 @default.
- W2087625521 hasConcept C202444582 @default.
- W2087625521 hasConcept C2524010 @default.
- W2087625521 hasConcept C33923547 @default.
- W2087625521 hasConceptScore W2087625521C132074034 @default.
- W2087625521 hasConceptScore W2087625521C202444582 @default.
- W2087625521 hasConceptScore W2087625521C2524010 @default.
- W2087625521 hasConceptScore W2087625521C33923547 @default.
- W2087625521 hasIssue "1-2" @default.
- W2087625521 hasLocation W20876255211 @default.
- W2087625521 hasLocation W20876255212 @default.
- W2087625521 hasOpenAccess W2087625521 @default.
- W2087625521 hasPrimaryLocation W20876255211 @default.
- W2087625521 hasRelatedWork W1588277680 @default.
- W2087625521 hasRelatedWork W1966582389 @default.
- W2087625521 hasRelatedWork W2048900920 @default.
- W2087625521 hasRelatedWork W2070031639 @default.
- W2087625521 hasRelatedWork W2080076779 @default.
- W2087625521 hasRelatedWork W2271889716 @default.
- W2087625521 hasRelatedWork W2315540400 @default.
- W2087625521 hasRelatedWork W2333925524 @default.
- W2087625521 hasRelatedWork W2410897890 @default.
- W2087625521 hasRelatedWork W4240363806 @default.
- W2087625521 hasVolume "13" @default.
- W2087625521 isParatext "false" @default.
- W2087625521 isRetracted "false" @default.
- W2087625521 magId "2087625521" @default.
- W2087625521 workType "article" @default.