Hostname: page-component-cb9f654ff-9b74x Total loading time: 0 Render date: 2025-08-29T16:00:47.675Z Has data issue: false hasContentIssue false
  • English
  • Français

Finite Projective Distributive Lattices

Published online by Cambridge University Press:  20 November 2018

G. Grätzer  and
B. Wolk
G. Grätzer
Affiliation:
University of Manitoba, Winnipeg, Manitoba
B. Wolk
Affiliation:
University of Manitoba, Winnipeg, Manitoba
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

The theorem stated below is due to R. Balbes. The present proof is direct; it uses only the following two well-known facts: (i) Let K be a category of algebras, and let free algebras exist in K; then an algebra is projective if and only if it is a retract of a free algebra, (ii) Let F be a free distributive lattice with basis {x i | i ∊ I}; then ∧(x i | i ∊ J 0) ≤ ∨(x i | i ∊ J 1) implies J 0∩J 1≠ϕ. Note that (ii) implies (iii): If for J 0 ⊆ I, a, b ∊ F, ∧(x i | i ∊ J 0)≤a ∨ b, then ∧ (x i | i ∊ J 0)≤ a or b.

Information

Type
Research Article
Information
Canadian Mathematical Bulletin , Volume 13 , Issue 1 , March 1970 , pp. 139 - 140
Copyright
Copyright © Canadian Mathematical Society 1970

References

(2) Pacific J. Math. 21 (1967), 405-420.

(3) The map φ is by necessity the same as in R. Balbes, loc. cit.