Related papers: A Presentation for the Dual Symmetric Inverse Mono…
In the paper we show that the monoid $\mathbf{I}\mathbb{N}_{\infty}$ of all partial cofinite isometries of positive integers does not embed isomorphically into the monoid $\mathbf{ID}_{\infty}$ of all partial cofinite isometries of…
Presentations for unbraided, braided and symmetric pseudomonoids are defined. Biequivalences characterising the semistrict bicategories generated by these presentations are proven. It is shown that these biequivalences categorify results in…
Let $\mathcal{M}_{2N}(\delta_1, \delta_2,\dots, \delta_N)$ be the moduli space of centrally symmetric convex polyhedral surfaces with $2N$ labeled vertices and prescribed cone-deficits $\delta_1$, $\delta_2$, $\dots$, $\delta_N$. We show…
The aim of this paper is to see at what extent homological properties of an inverse monoid are determined from those of its maximum group image. We provide several evidences that the maximum group image contains vital homological…
We introduce the new notion of general bilinear forms (generalizing sesquilinear forms) and prove that for every ring $R$ (not necessarily commutative, possibly without involution) and every right $R$-module $M$ which is a generator (i.e.…
We investigate gcd-monoids, which are cancellative monoids in which any two elements admit a left and a right gcd, and the associated reduction of multifractions (arXiv:1606.08991 and 1606.08995), a general approach to the word problem for…
The category of involutive non-commutative sets encodes the structure of an involution compatible with a (co)associative (co)multiplication. We prove that the category of involutive bimonoids in a symmetric monoidal category is equivalent…
A prefix monoid is a finitely generated submonoid of a finitely presented group generated by the prefixes of its defining relators. Important results of Guba (1997), and of Ivanov, Margolis and Meakin (2001), show how the word problem for…
A sequence of monoidal transformations is defined, in terms of invariants, for a singular hypersurface embedded in a smooth scheme of positive characteristic. Some examples are added to illustrate the improvement of singularities by this…
For $n \in \mathbb{N}$, let $[n] = \{1, 2, \ldots, n\}$ be an $n$ - element set. As usual, we denote by $I_n$ the symmetric inverse semigroup on $[n]$, i.e. the partial one-to-one transformation semigroup on $[n]$ under composition of…
For any natural number $n \geq 2$, we construct a triangulated monoidal category whose Grothendieck ring is isomorphic to the ring of cyclotomic integers $\mathbb{O}_n$.
We obtain some criteria for a symmetric square-central element of a totally decomposable algebra with orthogonal involution in characteristic two, to be contained in an invariant quaternion subalgebra.
It is a study note detailing the connection between Boolean inverse monoids and ample groupoids.
We prove a coherence theorem for invertible objects in a symmetric monoidal category. This is used to deduce associativity, skew-commutativity, and related results for multi-graded morphism rings, generalizing the well-known versions for…
The (ordinary) quiver of an algebra $A$ is a graph that contains information about the algebra's representations. We give a description of the quiver of $\mathbb{C}PT_{n}$, the algebra of the monoid of all partial functions on $n$ elements.…
Our main result is that every n-dimensional polytope can be described by at most (2n-1) polynomial inequalities and, moreover, these polynomials can explicitly be constructed. For an n-dimensional pointed polyhedral cone we prove the bound…
In this paper, we introduce new representation and characterization of the weighted core inverse of matrices. Several properties of these inverses and their interconnections with other generalized inverses are also explored. Through…
A combinatorial property of prositive group presentations, called completeness, is introduced, with an effective criterion for recognizing complete presentations, and an iterative method for completing an incomplete presentation. We show…
(I) We study Clifford-Mackey-Rieffel's theory for finite monoid; (II) We prove some results of Theta Representations of finite inverse monoids.
In this paper, we consider the monoids of all partial endomorphisms, of all partial weak endomorphisms, of all injective partial endomorphisms, of all partial strong endomorphisms and of all partial strong weak endomorphisms of a star graph…