Congruences and Trajectories in Planar Semimodular Lattices
Journal Title: Discussiones Mathematicae - General Algebra and Applications - Year 2018, Vol 38, Issue 1
Abstract
A 1955 result of J. Jakub´ık states that for the prime intervals p and q of a finite lattice, con(p) ≥ con(q) iff p is congruence-projective to q (via intervals of arbitrary size). The problem is how to determine whether con(p) ≥ con(q) involving only prime intervals. Two recent papers approached this problem in different ways. G. Cz´edli’s used trajectories for slim rectangular lattices—a special subclass of slim, planar, semimodular lattices. I used the concept of prime-projectivity for arbitrary finite lattices. In this note I show how my approach can be used to reprove Cz´edli’s result and generalize it to arbitrary slim, planar, semimodular lattices.
Authors and Affiliations
G. Grätzer
Keywords
Related Articles
- EP ID EP394538
- DOI 10.7151/dmgaa.1280
- Views 45
- Downloads 0
IF-FILTERS OF PSEUDO-BL-ALGEBRAS
Characterizations of IF-filters of a pseudo-BL-algebra are established. Some related properties are investigated. The notation of prime IF- filters and a characterization of a pseudo-BL-chain are given. Homomorphisms of...
TRACE INEQUALITIES FOR POSITIVE SEMIDEFINITE MATRICES
Certain trace inequalities for positive definite matrices are generalized for positive semidefinite matrices using the notion of the group generalized inverse.
GENERALIZED DERIVATIONS WITH LEFT ANNIHILATOR CONDITIONS IN PRIME AND SEMIPRIME RINGS
Let R be a prime ring with its Utumi ring of quotients U, C = Z(U) be the extended centroid of R, H and G two generalized derivations of R, L a noncentral Lie ideal of R, I a nonzero ideal of R. The left annihilator of S...
APPLICATIONS OF SADDLE-POINT DETERMINANTS
For a given square matrix A ∈ Mn(R) and the vector e ∈ (R)^n of ones denote by (A, e) the matrix A e e^T 0 This is often called the saddle point matrix and it plays a significant role in several branches of m...
Sublattices corresponding to very true operators in commutative basic algebras
We introduce the concept of very true operator on a commutative basic algebra in a way analogous to that for fuzzy logics. We are motivated by the fact that commutative basic algebras form an algebraic axiomatization of...