Related papers: Semilinear De Morgan monoids and epimorphisms

The class of finitely presented algebras over a field K with a set of generators a_1,...,a_n and defined by homogeneous relations of the form a_1a_2...a_n = a_{sigma(1)}a_{sigma(2)}...a_{sigma(n)}, where sigma runs through an abelian…

We introduce the inverse monoid of inner partial automorphisms of a semigroup -- a tool that associates to every semigroup an inverse semigroup. When the semigroup is a group, this inverse semigroup is isomorphic to the group of inner…

Let \(\T\) be a commutative ternary \(\Gm\)-semiring in the sense of the triadic, \(\Gm\)-parametrized multiplication \(\{a,b,c\}_{\gamma}\). Building on the affine \(\Gm\)-spectrum \(\SpecG(\T)\), the structure sheaf, and the equivalence…

In this paper we prove that every automorphism of the semigroup of invertible matrices with nonnegative elements over a linearly oredered associative ring on some specially defined subgroup concides with the composition of an inner…

All irreducible representations of the Chinese monoid $C_n$, of any rank $n$, over a nondenumerable algebraically closed field $K$, are constructed. It turns out that they have a remarkably simple form and they can be built inductively from…

We study the algebraic properties of binary relations whose underlying digraph is smooth, that is has no source or sink. Such objects have been studied as surjective hyper-operations (shops) on the corresponding vertex set, and as binary…

The variety generated by the Brandt semigroup ${\bf B}_2$ can be defined within the variety generated by the semigroup ${\bf A}_2$ by the single identity $x^2y^2\approx y^2x^2$. Edmond Lee asked whether or not the same is true for the…

We consider a category whose morphisms are bordisms of $n$-dimensional pseudomanifolds equipped with a certain additional structure (coloring). On the other hand, we consider the product $G$ of $(n+1)$ copies of infinite symmetric group. We…

If $\mathcal{C}$ is a cocomplete monoidal category in which tensoring from both sides preserves coequalizers, then the category of monoids over $\mathcal{C}$ is cocomplete. The same holds if $\mathcal{C}$ has regular factorizations and…

We answer an implicit question of Ian Hodkinson's. We show that atomic Pinters algebras may not be completely representable, however the class of completely representable Pinters algebras is elementary and finitely axiomatizable. We obtain…

We generalize the notion of semi-universality in the classical deformation problems to the context of derived deformation theories. A criterion for a formal moduli problem to be semi-prorepresentable is produced. This can be seen as an…

We construct a category equivalent to the category $\mathbf{Mon}$ of monoids and monoid homomorphisms, based on categories with strict factorization systems. This equivalence is then extended to the category $\mathbf{Mon_s}$ of unital…

Generalizing a theorem of Campercholi, we characterize, in syntactic terms, the ranges of epimorphisms in an arbitrary class of similar first-order structures (as opposed to an elementary class). This allows us to strengthen a result of…

We examine varieties of epigroups as unary semigroups, that is semigroups equipped with an additional unary operation of pseudoinversion. The article contains two main results. The first of them indicates a countably infinite family of…

In this note, we show that the epimorphic subgroups of an algebraic group are exactly the pull-backs of the epimorphic subgroups of its affinization. We also obtain epimorphicity criteria for subgroups of affine algebraic groups, which…

In this paper, we classify finite categories with two objects such that one of the endomorphism monoids is a group. We prove that having a group on one side affects the structure of the other endomorphism monoid, and we prove that it is…

Let $S$ be a compact oriented surface. We construct homogeneous quasimorphisms on $Diff(S, area)$, on $Diff_0(S, area)$ and on $Ham(S)$ generalizing the constructions of Gambaudo-Ghys and Polterovich. We prove that there are infinitely many…

We show that all subvarieties of a quotient of a bounded symmetric domain by a sufficiently small arithmetic discrete group of automorphisms are of general type. This result corresponds through the Green-Griffiths-Lang's conjecture to a…

A variety is finitely universal if its lattice of subvarieties contains an isomorphic copy of every finite lattice. Examples of finitely universal varieties of semigroups have been available since the early 1970s, but it is unknown if there…

We prove that for every natural number n there exists a natural number N(n) such that every multilinear skew-symmetric polynomial on N(n) or more variables which vanishes in the free associative algebra vanishes as well in any n-generated…