相关论文: Join-semilattices with two-dimensional congruence …
Given two elements $A,B$ in a compact semisimple Lie algebra, we show that there is a regular element $X$ and elements $Y,Z$ with $A=[X,Y]$ and $B=[X,Z]$. In the course of the proof we show also that every linear subspace $V$ of codimension…
This article gives an overview of some key categorical-algebraic properties of the variety of Heyting semilattices, with the aim of correcting a misconception in the literature. We confirm that the category of Heyting semilattices is not…
Two subanalytic subsets of R^n are called s-equivalent at a common point P if the Hausdorff distance between their intersections with the sphere centered at P of radius r vanishes of order greater than s when r tends to 0. In this paper we…
To any fixed, finite relational structure, $\mathbb{D}$, there is an associated decision problem, CSP$(\mathbb{D})$, which is a restricted version of the constraint satisfaction problem. In [8], the so called "algebraic approach" to the…
We study non-counital coalgebras and their dual non-unital algebras, and introduce the finite dual of a non-unital algebra. We show that a theory that parallels in good part the duality in the unital case can be constructed. Using this, we…
Let $L$ be one of the finite dimensional Lie algebras $W_n({\bf m}),$ $S_n({\bf m}),$ $ H_n({\bf m})$ of Cartan type over an algebraically closed field of prime characteristic $p>0.$ For an elements $F$ of the symmetrical algebra $S(L)$ we…
We study the equivalence of Poisson structures around a given symplectic leaf of nonzero dimension. Some criteria of Poisson equivalence are derived from a homotopy argument for coupling Poisson structures. In the case when the transverse…
A planar semimodular lattice is slim if it does not contain $M_3$ as a sublattice. An SPS lattice is a slim, planar, semimodular lattice. A recent result of G\'abor Cz\'edli proves that there is an eight element (planar) distributive…
We prove that if a non-atomic separable Banach lattice in a weak Hilbert space, then it is lattice isomorphic to $L_2(0,1)$.
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…
We classify surjective lattice homomorphisms $W\to W'$ between the weak orders on finite Coxeter groups. Equivalently, we classify lattice congruences $\Theta$ on $W$ such that the quotient $W/\Theta$ is isomorphic to $W'$. Surprisingly,…
Let V be a normal affine variety over the real numbers R, and let S be a semi-algebraic subset of V(R). We study the subring B(S) of the coordinate ring of V consisting of the polynomials that are bounded on S. We introduce the notion of…
We give a complete description of the congruences on the partition monoid $P_X$ and the partial Brauer monoid $PB_X$, where $X$ is an arbitrary infinite set, and also of the lattices formed by all such congruences. Our results complement…
We consider the problem of covering $\mathbb{Z}^2$ with a finite number of sublattices of finite index, satisfying a simple minimality or non-degeneracy condition. We show how this problem may be viewed as a projective (or homogeneous)…
First we give a new proof of Goto's theorem for Lie algebras of compact semisimple Lie groups using Coxeter transformations. Namely, every $x$ in $L = \operatorname{Lie}(G)$ can be written as $x =[a, b]$ for some $a$, $b$ in $L$. By using…
A planar semimodular lattice $K$ is \emph{slim} if $\mathsf{M}_3$ is not a sublattice of~$K$. In a recent paper, G. Cz\'edli found four new properties of congruence lattices of slim, planar, semimodular lattices, including the \emph{No…
We define a class of algebras, the semilattices of Mal'cev blocks (for short, SMB algebras). In a nutshell, these algebras are semilattices in which each element gets blown up into a Mal'cev algebra. We publish for the first time our old…
The space of realizations of a finite-dimensional Lie algebra by first order differential operators is naturally isomorphic to H^1 with coefficients in the module of functions. The condition that a realization admits a finite-dimensional…
For i=1,2, let (M_i,D_i) be pairs consisting of a Cartan MASA D_i in a von Neumann algebra M_i, let atom(D_i) be the set of atoms of D_i, and let S_i be the lattice of Bures-closed D_i bimodules in M_i. We show that when M_i have separable…
We construct a metrizable semitopological semilattice $X$ whose partial order $P=\{(x,y)\in X\times X:xy=x\}$ is a non-closed dense subset of $X\times X$. As a by-product we find necessary and sufficient conditions for the existence of a…