相关论文: Self-rectangulating varieties of type 5

Let $S$ be an additively idempotent semiring and $\mathbf{M}_n(S)$ be the semiring of all $n\times n$ matrices over $S$. We characterize the conditions of when the semiring $\mathbf{M}_n(S)$ is congruence-simple provided that the semiring…

Let g be a semisimple complex Lie algebra. Let O be a nilpotent orbit in g. Fix a triangular decomposition g=n+h+n^-. An irreducible component of the intersection of O and n is called an orbital variety associated to O. It is a Lagrangian…

The most developed aspect of the theory of finite semigroups is their classification in pseudovarieties. The main motivation for investigating such entities comes from their connection with the classification of regular languages via…

We prove that persistently finite algebras are not created by completions of algebras, in any ordered discriminator variety. A persistently finite algebra is one without infinite simple extensions. We prove that finite measurable relation…

We prove that any symplectic resolution of the closure of a nilpotent orbit in a semi-simple complex Lie algebra is isomorphic to the collapsing of the cotangent bundle of a projective homogenous variety. Then we give a complete…

This paper investigates the interplay between algebraic structure, topology, and differentiability in Clifford semigroups. The study is developed along three main themes. First, in the compact Hausdorff setting, we provide an explicit…

We construct a parametrix of a resolvent of elliptic differential operators acting on half-densities on manifolds with ends. The construction is carried out by introducing suitable pseudodifferential operators compatible with the end…

We continue our studies on semilattice ordered algebras. This time we accept constants in the type of algebras. We investigate identities satisfied by such algebras and describe the free objects in varieties of semilattice ordered algebras…

Schmidt and Spie{\ss} described the abelian tame fundamental group of a smooth variety over a finite field by using Suslin homology. In this paper we show that their result generalizes to singular varieties if one uses Weil-Suslin homology…

We represent finite join-semilattices and join-preserving morphisms as a category whose objects and morphisms are binary relations. It is a quotient category of $\mathsf{Rel}_f$'s arrow category, where self-duality arises by taking the…

We prove that a commutative parasemifield S is additively idempotent provided that it is finitely generated as a semiring. Consequently, every proper commutative semifield T that is finitely generated as a semiring is either additively…

We study the generalized right ample identity, introduced by the author in a previous paper. Let $S$ be a reduced $E$-Fountain semigroup which satisfies the congruence condition. We can associate with $S$ a small category $\mathcal{C}(S)$…

Let $G$ be a non-compact semisimple Lie group with finite centre and finitely many components. We show that any finitely generated group $\Gamma$ which is quasi-isometric to an irreducible lattice in $G$ has the $R_\infty$-property, namely,…

Rice's theorem shows that nontrivial extensional properties of partial recursive functions are undecidable. For finite weighted Boolean optimization/CSP-style slices, a Rice-style structural analogue holds for tractability classification:…

In this paper we describe a method to establish when a symplectic manifold $M$ with semi-free Hamiltonian $S^{1}$-action is unique up to isomorphism (equivariant symplectomorphism). This will rely on a study of the symplectic topology of…

In this paper we introduce and study a variety of algebras that properly includes integral distributive commutative residuated lattices and weak Heyting algebras. Our main goal is to give a characterization of the principal congruences in…

Let $L$ be an $n$-element finite lattice. We prove that if $L$ has strictly more than $2^{n-5}$ congruences, then $L$ is planar. This result is sharp, since for each natural number $n\geq 8$, there exists a non-planar lattice with exactly…

We investigate properties of varieties of algebras described by a novel concept of equation that we call \emph{commutator equation}. A commutator equation is a relaxation of the standard term equality obtained substituting the equality…

Dedekind stated and proved the well-known fact that a lattice is modular if and only if it does not contain a pentagon as a sublattice. In this paper we consider a similar result in the literature for the case of certain class of modular…

We present a construction that yields infinite families of non-isomorphic semidirect products $N \rtimes F_m$ sharing a specified profinite completion. Within each family, $m \ge 2$ is constant and $N$ is a fixed group. For $m=2$ we can…