Related papers: Conjunctive Join Semi-Lattices
Let $\mathcal C$ be a class of Hausdorff topological semigroups which contains all zero-dimensional Hausdorff topological semigroups. A semigroup $X$ is called $\mathcal C$-$closed$ if $X$ is closed in each topological semigroup $Y\in…
We introduce the notion of metric semilattice on the metric space and prove the criterion of $\R$-tree as connected geodesic metric space $X$ admitting the partial order, such that $X$ is semilinear metric semilattice. Also we state the…
We find (completeness type) conditions on topological semilattices $X,Y$ guaranteeing that each continuous homomorphism $h:X\to Y$ has closed image $h(X)$ in $Y$.
We say that two elements of a group or semigroup are $\Bbbk$-linear conjugates if their images under any linear representation over $\Bbbk$ are conjugate matrices. In this paper we characterize $\Bbbk$-linear conjugacy for finite semigroups…
We prove that if $S$ is a $le$-semigroup in which left ideal elements commute (condition which is called $\mathbf{\Lambda}$), then any $\mathcal{J}$-class satisfying the Green condition is a subsemigroup of $S$. As a corollary of this we…
Each lens space has a canonical contact structure which lifts to the distribution of complex lines on the three-sphere. In this paper, we show that a symplectic homology cobordism between two lens spaces, which is given with the canonical…
In this paper, we introduce an element $\phi$-$\delta$-primary to another element in a compactly generated multiplicative lattice $L$ and obtain its characterizations. We prove many of its properties and investigate the relations between…
In this paper we find a unique normal form for the symplectic matrix representation of the conjugacy class of a prime order element of the mapping-class group. We find a set of generators for the fundamental group of a surface with a…
Given a poset $P$, a join-specification $\mathcal U$ for $P$ is a set of subsets of $P$ whose joins are all defined. The set $\mathcal I_{\mathcal U}$ of downsets closed under joins of sets in $\mathcal U$ forms a complete lattice, and is,…
The construction of joins and secant varieties is studied in the combinatorial context of monomial ideals. For ideals generated by quadratic monomials, the generators of the secant ideals are obstructions to graph colorings, and this leads…
J. Tuma proved an interesting "congruence amalgamation" result. We are generalizing and providing an alternate proof for it. We then provide applications of this result: --A.P. Huhn proved that every distributive algebraic lattice $D$ with…
The Swing Lemma of the second author describes how a congruence spreads from a prime interval to another in a slim (having no $M_3$ sublattice), planar, semimodular lattice. We generalize the Swing Lemma to planar semimodular lattices.
Morphisms between (formal) contexts are certain pairs of maps, one between objects and one between attributes of the contexts in question. We study several classes of such morphisms and the connections between them. Among other things, we…
A sectionally pseudocomplemented poset P is one which has the top element and in which every principal order filter is a pseudocomplemented poset. The sectional pseudocomplements give rise to an implication-like operation on P which…
For many equation-theoretical questions about modular lattices, Hall and Dilworth give a useful construction: Let $L_0$ be a lattice with largest element $u_0$, $L_1$ be a lattice disjoint from $L_0$ with smallest element $v_1$, and $a \in…
In the article \cite{Sim}, H. Simmons describes two monads of interests arising from the dual adjunction between the category of topological spaces and that of (bounded) distributive lattices. These are the open prime filter monad and the…
IIn a finite lattice, a congruence spreads from a prime interval to another by a sequence of congruence-perspectivities through \emph{intervals of arbitrary size}, by a 1955 result of J. Jakub\'ik. In this note, I introduce the concept of…
Let \mathbb{F}_q^{n+l} denote the (n+l)-dimensional singular linear space over a finite field \mathbb{F}_q. For a fixed integer m\leq\min\{n,l\}, denote by \mathcal{L}^m_o(\mathbb{F}_q^{n+l}) the set of all subspaces of type (t,t_1), where…
We establish several independent results concerning extremal, left modular, congruence uniform, and semidistributive lattices. An equivalent characterization of left modular lattices is obtained in terms of edge-labellings, together with…
Finite (upper) nearlattices are essentially the same mathematical entities as finite semilattices, finite commutative idempotent semigroups, finite join-enriched meet semilattices, and chopped lattices. We prove that if an $n$-element…