Ganna Kudryavtseva, Volodymyr Mazorchuk
We obtain presentations for the Brauer monoid, the partial analogue of the Brauer monoid, and for the greatest factorizable inverse submonoid of the dual symmetric inverse monoid. In all three cases we apply the same approach, based on the realization of all these monoids as Brauer-type monoids.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We obtain a presentation for the singular part of the Brauer monoid with respect to an irreducible system of generators, consisting of idempotents. As an application of this result we get a new construction of the symmetric group via connected sequences of subsets. Another application describes the lengths of elements in the singular part of the Brauer monoid with respect to the system of generators, mentioned above.
The Brauer monoid is studied by the notion of 0-cohomology. We investigate the impact of invertible elements of modifications on the structure of the Brauer monoid, especially for finite fields.
We show that it is co-NP-hard to check whether a given semigroup identity holds in the twisted Brauer monoid $\mathcal{B}^τ_n$ with $n\ge5$.
We study monoids generated by various combinations of idempotents and one- or two-sided units of an infinite partial Brauer monoid. This yields a total of eight such monoids, each with a natural characterisation in terms of relationships between parameters associated to Brauer graphs. We calculate the relative ranks of each monoid modulo any other such monoid it may contain, and then apply these results to determine the Sierpinski rank of each monoid, and ascertain which ones have the semigroup Bergman property. We also make some fundamental observations about idempotents and units in arbitrar…
We investigate the structure of the twisted Brauer monoid $\mathcal B_n^τ$, comparing and contrasting it to the structure of the (untwisted) Brauer monoid $\mathcal B_n$. We characterise Green's relations and pre-orders on $\mathcal B_n^τ$, describe the lattice of ideals, and give necessary and sufficient conditions for an ideal to be idempotent-generated. We obtain formulae for the rank (smallest size of a generating set) and (where applicable) the idempotent rank (smallest size of an idempotent generating set) of each principal ideal; in particular, when an ideal is idempotent-generated, its…
We give new, short proofs of the presentations for the partition monoid and its singular ideal originally given in the author's 2011 papers in J Alg and IJAC.
The dual symmetric inverse monoid $\mathscr{I}_n^*$ is the inverse monoid of all isomorphisms between quotients of an $n$-set. We give a monoid presentation of $\mathscr{I}_n^*$ and, along the way, establish criteria for a monoid to be inverse when it is generated by completely regular elements.
A variant of a semigroup $S$ with respect to an element $a\in S$ is the semigroup $S^{a}=(S,\star_{a})$, where $x\star_{a}y=xay$ for any $x,y\in S$. Here, $a$ is the sandwich element of $S^{a}$. In this article, we study variants of the partial Brauer monoid $\mathcal{PB}_{n}$ for $n\in\mathbb{N}$. We give the classification of these variants in the case when the rank of the sandwich element is nonzero.
We study the partial Brauer monoid and its planar submonoid, the Motzkin monoid. We conduct a thorough investigation of the structure of both monoids, providing information on normal forms, Green's relations, regularity, ideals, idempotent generation, minimal (idempotent) generating sets, and so on. We obtain necessary and sufficient conditions under which the ideals of these monoids are idempotent-generated. We find formulae for the rank (smallest size of a generating set) of each ideal, and for the idempotent rank (smallest size of an idempotent generating set) of the idempotent-generated su…
The purpose of this paper is to introduce the theory of presentations of monoids acts. We aim to construct `nice' general presentations for various act constructions pertaining to subacts and Rees quotients. More precisely, given an $M$-act $A$ and a subact $B$ of $A$, on the one hand we construct presentations for $B$ and the Rees quotient $A/B$ using a presentation for $A$, and on the other hand we derive a presentation for $A$ from presentations for $B$ and $A/B$. We also construct a general presentation for the union of two subacts. From our general presentations, we deduce a number of fin…
Birman, Ko and Lee have introduced a new monoid ${\cal B}^{*}_{n}$--with an explicit presentation--whose group of fractions is the $n$-strand braid group ${\cal B}_{n}$. Building on a new approach by Digne, Michel and himself, Bessis has defined a {\it dual} braid monoid for every finite Coxeter type Artin-Tits group extending the type A case. Here, we give an explicit presentation for this dual braid monoid in the case of types B and D, and we study the combinatorics of the underlying Garside structures.
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 those from a recent article of East, Mitchell, Ruskuc and Torpey, which deals with the finite case. As a consequence of our classification result, we show that the congruence lattices of $P_X$ and $PB_X$ are isomorphic to each other, and are distributive and well quasi-ordered. We also calculate the smallest number of pairs of partitions required to generate a…
We study the way in which the abstract structure of a small overlap monoid is reflected in, and may be algorithmically deduced from, a small overlap presentation. We show that every C(2) monoid admits an essentially canonical C(2) presentation; by counting canonical presentations we obtain asymptotic estimates for the number of non-isomorphic monoids admitting a-generator, k-relation presentations of a given length. We demonstrate an algorithm to transform an arbitrary presentation for a C(m) monoid (m at least 2) into a canonical C(m) presentation, and a solution to the isomorphism problem fo…
We describe a formalism, using groupoids, for the study of rewriting for presentations of inverse monoids, that is based on the Squier complex construction for monoid presentations. We introduce the class of pseudoregular groupoids, an example of which now arises as the fundamental groupoid of our version of the Squier complex. A further key ingredient is the factorisation of the presentation map from a free inverse monoid as the composition of an idempotent pure map and an idempotent separating map. The relation module of a presentation is then defined as the abelianised kernel of this idempo…
In this survey we show how well known results about the Word Problem for finite group presentations can be generalized to the Word Problem and other decision problems for non-necessarily finite monoid and group presentations. This is done by introducing functions playing the same role of the Dehn function for the given decision problem and by finding the Tietze transformations that leave this function invariant. This survey presents some original ideas and points of view.
Short presentations for transformation monoids
本文给出了有限全变换幺半群、对称逆幺半群和部分变换幺半群在对称群表示基础上所需最少附加关系的表示，分别需要4、3和8条附加关系，并针对n≥7、n≥3和n≥7给出了具体表示。
Cancellative Elliptic Artin Monoids
本文为椭圆Artin群定义了新展示，证明由此定义的椭圆幺半群具有可消去性，解决了既有展示的可消去性失败问题，并为构造Garside结构奠定基础。
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 how to directly read several properties of the associated monoid and group from a complete presentation: cancellativity or existence of common multiples in the case of the monoid, or isoperimetric inequality in the case of the group. In particular, we obtain a new criterion for recognizing that a monoid embeds in a group of fractions. Typical presentations eli…
We will study the presentations of fundamental groups of the complement of complexified real affine line arrangements that do not contain two parallel lines. By Yoshinaga's minimal presentation, we can give positive homogeneous presentations of the fundamental groups. We consider the associated monoids defined by the presentations. It turns out that, in some cases, left (resp. right) \emph{least common multiple} does not always exist. Hence, the monoids are neither \emph{Garside} nor \emph{Artin}. Nevertheless, we will show that they carry certain particular elements similar to the \emph{funda…
This paper shows how to construct coherent presentations (presentations by generators, relations and relations among relations) of monoids admitting a right-noetherian Garside family. Thereby, it resolves the question of finding a unifying generalisation of the following two distinct extensions of construction of coherent presentations for spherical Artin-Tits monoids: to general Artin-Tits monoids, and to Garside monoids. The result is applied to some monoids which are neither Artin-Tits nor Garside.
We give a monoid presentation in terms of generators and defining relations for the partial analogue of the finite dual inverse symmetric monoid.
We give presentations, in terms of generators and relations, for the monoids of singular braids on closed surfaces. The proof of the validity of these presentations can also be applied to verify, in a new way, the presentations given by Birman for the monoids of Singular Artin braids.
Involutions of (twisted) diagram monoids
研究对划分、平面划分等多种图幺半群及其扭曲图幺半群的对合进行分类，刻画产生星正则或正则星幺半群结构的对合，发展扭曲积对合理论，给出相关结果如布劳尔幺半群的特殊情况及整数上扭曲图幺半群的性质等。
This is the second in a series of papers that develops the theory of reflection monoids, motivated by the theory of reflection groups. Reflection monoids were first introduced in arXiv:0812.2789. In this paper we study their presentations as abstract monoids. Along the way we also find general presentations for certain join-semilattices (as monoids under join) which we interpret for two special classes of examples: the face lattices of convex polytopes and the geometric lattices, particularly the intersection lattices of hyperplane arrangements. Another spin-off is a general presentation for t…
We give a complete description of the congruence lattices of the following finite diagram monoids: the partition monoid, the planar partition monoid, the Brauer monoid, the Jones monoid (also known as the Temperley-Lieb monoid), the Motzkin monoid, and the partial Brauer monoid. All the congruences under discussion arise as special instances of a new construction, involving an ideal I, a retraction I->M onto the minimal ideal, a congruence on M, and a normal subgroup of a maximal subgroup outside I.
We provide every Renner monoids with a monoid presentation, and we introduce a length function which extends the Coxeter length function.
We investigate the preservation of the properties of being finitely generated and finitely presented under both direct and wreath products of monoid acts. A monoid $M$ is said to preserve property $\mathcal{P}$ in direct products if, for any two $M$-acts $A$ and $B$, the direct product $A\times B$ has property $\mathcal{P}$ if and only if both $A$ and $B$ have property $\mathcal{P}$. It is proved that the monoids $M$ that preserve finite generation (resp. finitely presentability) in direct products are precisely those for which the diagonal $M$-act $M\times M$ is finitely generated (resp. fini…
Given a monoid defined by a presentation, and a homotopy base for the derivation graph associated to the presentation, and given an arbitrary subgroup of the monoid, we give a homotopy base (and presentation) for the subgroup. If the monoid has finite derivation type (FDT), and if under the action of the monoid on its subsets by right multiplication the strong orbit of the subgroup is finite, then we obtain a finite homotopy base for the subgroup, and hence the subgroup has FDT. As an application we prove that a regular monoid with finitely many left and right ideals has FDT if and only if all…
We give a characterisation of the idempotents of the partition monoid, and use this to enumerate the idempotents in the finite partition, Brauer and partial Brauer monoids, giving several formulae and recursions for the number of idempotents in each monoid as well as various $\mathscr R$-, $\mathscr L$- and $\mathscr D$-classes. We also apply our results to determine the number of idempotent basis elements in the finite dimensional partition, Brauer and partial Brauer algebras.
We show that being finitely presentable and being finitely presentable with solvable word problem are quasi-isometry invariants of finitely generated left cancellative monoids. Our main tool is an elementary, but useful, geometric characterisation of finite presentability for left cancellative monoids. We also give examples to show that this characterisation does not extend to monoids in general, and indeed that properties such as solvable word problem are not isometry invariants for general monoids.
Forest-skein groups II: construction from homogeneously presented monoids
本文研究由齐次幺半群呈现构造的一维森林-绞线群，通过圈积分解实现同构分类，并证明 Haagerup 性质、同调与拓扑有限性及可序性等性质可从幺半群分数群传递到这些群。
On groups of units of special and one-relator inverse monoids
该研究探究特殊与单关系逆幺半群的单位群，提出求单位群生成表的新方法并给出其为单关系群的充分条件，同时构造反例证明相关经典结果对逆幺半群一般不成立。
We obtain several presentations by generators and relations for the rook partition monoids and algebras, as well as their singular ideals. Among other results, we also calculate the minimal sizes of generating sets (some of our presentations use such minimal-size generating sets), and show that the singular part of the rook partition monoid is generated by its idempotents.
Structure monoids and groups are algebraic invariants of equational varieties. We show how to construct presentations of these objects from coherent categorifications of equational varieties, generalising several results of Dehornoy. We subsequently realise the higher Thompson groups $F_{n,1}$ and the Higman-Thompson groups $G_{n,1}$ as structure groups. We go on to obtain presentations of these groups via coherent categorifications of the varieties of higher-order associativity and of higher-order associativity and commutativity, respectively. These categorifications generalise Mac Lane's pen…
A category of Brauer diagrams, analogous to Turaev's tangle category, is introduced, and a presentation of the category is given; specifically, we prove that seven relations among its four generating homomorphisms suffice to deduce all equations among the morphisms. Full tensor functors are constructed from this category to the category of tensor representations of the orthogonal group $O(V)$ or the symplectic group $Sp(V)$ over any field of characteristic zero. The first and second fundamental theorems of invariant theory for these classical groups are generalised to the category theoretic se…
Given a finitely presented monoid and a homotopy base for the monoid, and given an arbitrary Schutzenberger group of the monoid, the main result of this paper gives a homotopy base, and presentation, for the Schutzenberger group. In the case that the R-class R' of the Schutzenberger group G(H) has only finitely many H-classes, and there is an element s of the multiplicative right pointwise stabilizer of H, such that under the left action of the monoid on its R-classes the intersection of the orbit of the R-class of s with the inverse orbit of R' is finite, then finiteness of the presentation a…
Affine diagram categories, algebras and monoids
本文研究了仿射图代数的生成元和关系，探讨了其表示论及张量积表示的渐进行为，并验证了一个关于有限单体表示中不可分解因子数量的猜想。
Presentation of monoids generated by a projection and an involution
该研究针对由对合和幂等元生成的strict 2-PIMs幺半群子问题，证明有限情形下可由单个额外等式生成，完成等式形式分类，并将Kuratowski定理纳入特例，为二阶元素生成的幺半群分类提供基础。
Quasipositive Braids, Presentations, and Garside Structures
本文给出辫子群的一种特定表示，证明其正幺半群不与拟正辫子幺半群同构，且拟正辫子幺半群无真Garside族，解决了Calegari的一个问题。
In 2010, Everitt and Fountain introduced the concept of reflection monoids. The Boolean reflection monoids form a family of reflection monoids (symmetric inverse semigroups are Boolean reflection monoids of type $A$). In this paper, we give a family of presentations of Boolean reflection monoids and show how these presentations are compatible with quiver mutations of orientations of Dynkin diagrams with frozen vertices. Our results recover the presentations of Boolean reflection monoids given by Everitt and Fountain and the presentations of symmetric inverse semigroups given by Popova respecti…
The left patience sorting (lPS) monoid, also known in the literature as the Bell monoid, and the right patient sorting (rPS) monoid are introduced by defining certain congruences on words. Such congruences are constructed using insertion algorithms based on the concept of decreasing subsequences. Presentations for these monoids are given. Each finite-rank rPS monoid is shown to have polynomial growth and to satisfy a non-trivial identity (dependent on its rank), while the infinite rank rPS monoid does not satisfy a non-trivial identity. The lPS monoids of finite rank have exponential growth an…
The objective of this paper is to study the monoid of all partial transformations of a finite set that preserve a uniform partition. In addition to proving that this monoid is a quotient of a wreath product with respect to a congruence relation, we show that it is generated by 5 generators, we compute its order and determine a presentation on a minimal generating set.
We give an example of a monoid with finitely many left and right ideals, all of whose Schutzenberger groups are presentable by finite complete rewriting systems, and so each have finite derivation type, but such that the monoid itself does not have finite derivation type, and therefore does not admit a presentation by a finite complete rewriting system. The example also serves as a counterexample to several other natural questions regarding complete rewriting systems and finite derivation type. Specifically it allows us to construct two finitely generated monoids M and N with isometric Cayley …
Presentations for semigroups of full-domain partitions
本文为全域划分幺半群及其奇异理想和平面子幺半群给出生成元与关系的表示，并揭示平面子幺半群为 grrac 幺半群，其结构由右正则带决定。
The submonoid of the $3$-strand braid group $\mathcal{B}_3$ generated by $σ_1$ and $σ_1 σ_2$ is known to yield an exotic Garside structure on $\mathcal{B}_3$. We introduce and study an infinite family $(M_n)_{n\geq 1}$ of Garside monoids generalizing this exotic Garside structure, i.e., such that $M_2$ is isomorphic to the above monoid. The corresponding Garside group $G(M_n)$ is isomorphic to the $(n,n+1)$-torus knot group-which is isomorphic to $\mathcal{B}_3$ for $n=2$ and to the braid group of the exceptional complex reflection group $G_{12}$ for $n=3$. This yields a new Garside structure …
Coherency properties for monoids of transformations and partitions
本文证明无限集上的全/部分变换幺半群、对称逆幺半群和划分幺半群均为弱右相干但非右相干，并通过对偶定义给出左相干对应结果，借助一个不可嵌入的逆半群表示证明非相干性。
In the paper we give a survey of rather new notions and results which generalize classical ones in the theory of braids. Among such notions are various inverse monoids of partial braids. We also observe presentations different from standard Artin presentation for generalizations of braids. Namely, we consider presentations with small number of generators, Sergiescu graph-presentations and Birman-Ko-Lee presentation. The work of V.V.Chaynikov on the word and conjugacy problems for the singular braid monoid in Birman-Ko-Lee generators is described as well.
Inverse braid monoid describes a structure on braids where the number of strings is not fixed. So, some strings of initial $n$ may be deleted. In the paper we show that many properties and objects based on braid groups may be extended to the inverse braid monoids. Namely we prove an inclusion into a monoid of partial monomorphisms of a free group. This gives a solution of the word problem. Another solution is obtained by an approach similar to that of Garside. We give also the analogues of Artin presentation with two generators and Sergiescu graph-presentations.
We describe a new presentation for the complex reflection groups of type $(e,e,r)$ and their braid groups. A diagram for this presentation is proposed. The presentation is a monoid presentation which is shown to give rise to a Garside structure. A detailed study of the combinatorics of this structure leads us to describe it as post-classical.
This note investigates and clarifies some connections between the theory of one-relator groups and special one-relation inverse monoids, i.e. those inverse monoids with a presentation of the form $\operatorname{Inv}\langle A \mid w=1 \rangle$. We show that every one-relator group admits a special one-relation inverse monoid presentation. We subsequently consider the classes ${\rm {\small ANY}}, {\rm {\small RED}}, {\rm {\small CRED}},$ and ${\rm {\small POS}}$ of one-relator groups which can be defined by special one-relation inverse monoid presentations in which the defining word is arbitrary…
Braid groups and mapping class groups have many features in common. Similarly to the notion of inverse braid monoid inverse mapping class monoid is defined. It concerns surfaces with punctures, but among given $n$ punctures several can be omitted. This corresponds to braids where the number of strings is not fixed. In the paper we give the analogue of the Dehn-Nilsen-Baer theorem, propose a presentation of the inverse mapping class monoid for a punctured sphere and study the word problem. This shows that certain properties and objects based on mapping class groups may be extended to the invers…
Factorization in Finitely-Presented Monoids
本文研究了有限生成单oid中元素分解为生成元乘积的算术性质，构造了非交换完全弹性单oid类，并证明了有限生成可约正规化单oid满足联合的结构定理。
We construct certain monoids, called tied monoids. These monoids result to be semidirect products finitely presented and commonly built from braid groups and their relatives acting on monoids of set partitions. The nature of our monoids indicate that they should give origin to new knot algebras; indeed, our tied monoids include the tied braid monoid and the tied singular braid monoid, which were used, respectively, to construct new polynomial invariants for classical links and singular links. Consequently, we provide a mechanism to attach an algebra to each tied monoid. To build the tied monoi…
The diagram algebra introduced by Brauer that describes the centralizer algebra on tensor products of the natural representation of an orthogonal group has a presentation by generators and relations that only depends on the graph of type An on n nodes. Here we describe an algebra depending on an arbitrary graph of type M. We study its structure when the type is An, Dn, E6, E7, E8. We determine the representations and find the dimensions. The algebra is generically semisimple and contains the group algebra of the Coxeter type M as a subalgebra. It is a ring homomorphism of the Birman-Murakami-W…
There are well known relations between braid groups and symmetric groups, between Artin-Briskorn braid groups and Coxeter groups. Inverse braid monoid the same way is related to the inverse symmetric monoid. In the paper we show that similar relations exist between the inverse braid monoid of type $B$ and the inverse reflection monoid of type $B$. This gives a presentation of the last monoid.
For a monoid $M$ and a subsemigroup $S$ of the full transformation semigroup $T_n$, the wreath product $M\wr S$ is defined to be the semidirect product $M^n\rtimes S$, with the coordinatewise action of $S$ on $M^n$. The full wreath product $M\wr T_n$ is isomorphic to the endomorphism monoid of the free $M$-act on $n$ generators. Here, we are particularly interested in the case that $S=Sing_n$ is the singular part of $T_n$, consisting of all non-invertible transformations. Our main results are presentations for $M\wr Sing_n$ in terms of certain natural generating sets, and we prove these via ge…
The vertices of any (combinatorial) Kashiwara crystal graph carry a natural monoid structure given by identifying words labelling vertices that appear in the same position of isomorphic components of the crystal. Working on a purely combinatorial and monoid-theoretical level, we prove some foundational results for these crystal monoids, including the observation that they have decidable word problem when their weight monoid is a finite rank free abelian group. The problem of constructing finite complete rewriting systems, and biautomatic structures, for crystal monoids is then investigated. In…
We generalize presentations of the fundamental group of discriminant complements and arrive at a class of presentations associated naturally with words in the free monoid of the alphabet $σ_1,\dots,σ_{n-1}$. Our study addresses invariance properties of these presentations and the presented groups under various operations on the words. In particular we prove that the group does only depend on the corresponding element in the positive braid monoid, and under mild hypotheses only on its conjugacy class in the braid group.
We prove that an Artin-Tits group of type $\tilde C$ is the group of fractions of a Garside monoid, analogous to the known dual monoids associated with Artin-Tits groups of spherical type and obtained by the "generated group" method. This answers, in this particular case, a general question on Artin-Tits groups, gives a new presentation of an Artin-Tits group of type $\tilde C$, and has consequences for the word problem, the computation of some centralizers or the triviality of the center. A key point of the proof is to show that this group is a group of fixed points in an Artin-Tits group of …
We show how the categorial approach to inverse monoids can be described as a certain endofunctor (which we call the partialization functor) of some category. In this paper we show that this functor can be used to obtain several recently defined inverse monoids, and use it to define a new object, which we call the inverse braid-permutation monoid. A presentation for this monoid is obtained. Finally, we study some abstract properties of the partialization functor and its iterations. This leads to a categorification of a monoid of all order preserving maps, and series of orthodox generalizations …
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。