Related papers: Unification on subvarieties of pseudocomplemented …
We show that the congruence lattice of a semilattice satsifies a form of distributivity relative to principal congruences of the form $ \Theta_{t \odot s, s}$. Particularly, we establish that semilattice congruences obey the ``pairwise…
Unitally nondistributive quantales are unital quantales such that the unit is approximable by the totally below relation and does not meet-distribute over arbitrary joins. It is shown that the underlying nondistributive complete lattice…
The left multiplicative continuous compactification of a semitopological semigroup is the universal semigroup compactification. In this paper an internal construction of a semigroup compactification of a semitopological semigroup is…
We study the so-called closed and splitting subsemimodules and submodules of a given semimodule or module, respectively. We describe lattices of subsemimodules and of closed subsemimodules and posets of splitting subsemimodules and…
We introduce an algorithm for computing closure systems derived from a family of implications on a set. Semilattices presentations are explored and used in conjunction with the algorithm to compute various types of lattices freely generated…
We classify equivariant topological complex vector bundles over real projective plane under a compact Lie group (not necessarily effective) action. It is shown that nonequivariant Chern classes and isotropy representations at (at most)…
We classify nonsingular holomorphic foliations of dimension and codimension one on certain Hopf manifolds. More general, we prove that all nonsingular codimension one distributions on intermediary or generic Hopf manifolds are integrable…
In this paper we further develop the method of quaternion typification of Clifford algebra elements suggested by the author in the previous papers. On the basis of new classification of Clifford algebra elements it is possible to find out…
We exhaustively classify topological equivariant complex vector bundles over two-sphere under a compact Lie group (not necessarily effective) action. It is shown that inequivariant Chern classes and isotropy representations at (at most)…
Complemented lattices and uniquely complemented lattices are very important, not only in mathematics, but also in physics, biology, and even in social sciences. They have been investigated for a long time, especially by Huntington,…
We construct the Bruhat-Tits stratification of the ramified unitary splitting Rapoport-Zink space, with the level being the stabilizer of a vertex lattice. To determine certain local properties of the Bruhat-Tits strata, we develop a theory…
In the second edition of the congruence lattice book, Problem 22.1 asks for a characterization of subsets $Q$ of a finite distributive lattice $D$ such that there is a finite lattice $L$ whose congruence lattice is isomorphic to $D$ and…
We present a general theory for studying the difference analogues of special functions of hypergeometric type on the linear-type lattices, i.e., the solutions of the second order linear difference equation of hypergeometric type on a…
Any smooth projective variety contains many complete intersection subvarieties with ample cotangent bundles, of each dimension up to half its own dimension.
We analyse various structural and order-theoretical aspects of abstract separation systems and partial lattices, as well as the relationship between the different submodularity conditions one can impose on them.
We study the lattice of submonoids of the uniform block permutation monoid containing the symmetric group (which is its group of units). We prove that this lattice is distributive under union and intersection by relating the submonoids…
We determine the existence of cocompact lattices in groups of the form $\V\rtimes\SL_2(\R)$, where $\V$ is a finite dimensional real representation of $\SL_2(\R)$. It turns out that the answer depends on the parity of $\dim(\V)$ when the…
We characterize commutative idempotent involutive residuated lattices as disjoint unions of Boolean algebras arranged over a distributive lattice. We use this description to introduce a new construction, called gluing, that allows us to…
We investigate the structure of perfect residuated lattices, focussing especially on perfect pseudo MV-algebras. We show that perfect pseudo MV-algebras can be represented as a generalised version of kites of Dvure\v{c}enskij and Kowalski,…
A method for constructing distributions on the non negative integers as discrete analogue of continuous distributions on the non negative real is presented. A justification of the definition of discrete self decomposable laws is provided.…