<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Cain, Alan J.</style></author><author><style face="normal" font="default" size="100%">Guilherme, Ricardo P.</style></author><author><style face="normal" font="default" size="100%">Malheiro, António</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Quasi-crystals for arbitrary root systems and associated generalizations of the hypoplactic monoid</style></title></titles><keywords><keyword><style  face="normal" font="default" size="100%">05E10</style></keyword><keyword><style  face="normal" font="default" size="100%">05E16 (Primary)</style></keyword><keyword><style  face="normal" font="default" size="100%">20M05</style></keyword><keyword><style  face="normal" font="default" size="100%">20M10 (Secondary)</style></keyword><keyword><style  face="normal" font="default" size="100%">Combinatorics (math.CO)</style></keyword><keyword><style  face="normal" font="default" size="100%">FOS: Mathematics</style></keyword><keyword><style  face="normal" font="default" size="100%">Group Theory (math.GR)</style></keyword><keyword><style  face="normal" font="default" size="100%">Rings and Algebras (math.RA)</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">Submitted</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">https://arxiv.org/abs/2301.00271</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">arXiv</style></publisher><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;n/a&lt;/p&gt;
</style></abstract><notes><style face="normal" font="default" size="100%">&lt;p&gt;n/a&lt;/p&gt;
</style></notes></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Alan J. Cain, António Malheiro, Duarte Ribeiro</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Identities and bases in the sylvester and Baxter monoids</style></title><secondary-title><style face="normal" font="default" size="100%">Journal of Algebraic Combinatorics</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">In Press</style></year></dates></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Can, M.B., Casimiro, A. &amp; Malheiro, A.</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Idempotent Varieties of Incidence Monoids and Bipartite Posets</style></title><secondary-title><style face="normal" font="default" size="100%">Algebra and Representation Theory </style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2022</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">https://rdcu.be/cUUET</style></url></web-urls></urls><abstract><style face="normal" font="default" size="100%">&lt;p&gt;The algebraic variety defined by the idempotents of an incidence monoid is investigated. Its irreducible components are determined. The intersection with an antichain submonoid is shown to be the union of these irreducible components. The antichain monoids of bipartite posets are shown to be orthodox semigroups. The Green’s relations are explicitly determined, and applications to conjugacy problems are described. In particular, it is shown that two elements in the antichain monoid are primarily conjugate in the monoid if and only if they belong to the same -class and their multiplication by an idempotent of the same -class gives conjugate elements in the group.&lt;/p&gt;
</style></abstract></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">A. J. Cain, M. Johnson, M. Kambites, A. Malheiro</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Representations and identities of plactic-like monoids</style></title><secondary-title><style face="normal" font="default" size="100%">Journal of Algebra</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2022</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">https://doi.org/10.1016/j.jalgebra.2022.04.033</style></url></web-urls></urls><volume><style face="normal" font="default" size="100%">606</style></volume><pages><style face="normal" font="default" size="100%">819--850</style></pages><abstract><style face="normal" font="default" size="100%">&lt;p&gt;We exhibit faithful representations of the hypoplactic, stalactic, taiga, sylvester, Baxter and right patience sorting monoids of each finite rank as monoids of upper triangular matrices over any semiring from a large class including the tropical semiring and fields of characteristic 0. By analysing the image of these representations, we show that the variety generated by a single hypoplactic (respectively, stalactic or taiga) monoid of rank at least 2 coincides with the variety generated by the natural numbers together with a fixed finite monoid  (respectively, F) and forms a proper subvariety of the variety generated by the plactic monoid of rank 2.&lt;/p&gt;
</style></abstract></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Cain, Alan J.</style></author><author><style face="normal" font="default" size="100%">Malheiro, António</style></author><author><style face="normal" font="default" size="100%">Duarte Ribeiro</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Identities and bases in the hypoplactic monoid</style></title><secondary-title><style face="normal" font="default" size="100%">Communications in Algebra</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2022</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">https://doi.org/10.1080/00927872.2021.1955901</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">1</style></number><publisher><style face="normal" font="default" size="100%">Taylor &amp; Francis</style></publisher><volume><style face="normal" font="default" size="100%">50</style></volume><pages><style face="normal" font="default" size="100%">146-162</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">n/a</style></abstract><notes><style face="normal" font="default" size="100%">n/a</style></notes></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Cain, A.J.</style></author><author><style face="normal" font="default" size="100%">Malheiro, A.</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Combinatorics of cyclic shifts in plactic, hypoplactic,  sylvester,   Baxter, and related monoids.</style></title><secondary-title><style face="normal" font="default" size="100%">Journal of Algebra</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2019</style></year></dates><volume><style face="normal" font="default" size="100%">535</style></volume><pages><style face="normal" font="default" size="100%">159--224</style></pages><abstract><style face="normal" font="default" size="100%">&lt;p&gt;The cyclic shift graph of a monoid is the graph whose vertices are elements of the monoid and whose edges link elements that differ by a cyclic shift. This paper examines the cyclic shift graphs of `plactic-like' monoids, whose elements can be viewed as combinatorial objects of some type: aside from the plactic monoid itself (the monoid of Young tableaux), examples include the hypoplactic monoid (quasi-ribbon tableaux), the sylvester monoid (binary search trees), the stalactic monoid (stalactic tableaux), the taiga monoid (binary search trees with multiplicities), and the Baxter monoid (pairs of twin binary search trees). It was already known that for many of these monoids, connected components of the cyclic shift graph consist of elements that have the same&lt;br /&gt;
evaluation (that is, contain the same number of each generating symbol). This paper focusses on the maximum diameter of a connected component of the cyclic shift graph of these monoids in the rank-$n$ case. For the hypoplactic monoid, this is $n-1$; for the sylvester and taiga monoids, at least $n-1$ and at most $n$; for the stalactic monoid, $3$ (except for ranks $1$ and $2$, when it is respectively $0$ and $1$); for the plactic monoid, at least $n-1$ and at most $2n-3$. The current state of knowledge, including new and previously-known results, is summarized in a table.&lt;/p&gt;
</style></abstract></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Cain, Alan J.</style></author><author><style face="normal" font="default" size="100%">Malheiro, António</style></author><author><style face="normal" font="default" size="100%">Fábio M Silva</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Combinatorics of patience sorting monoids</style></title><secondary-title><style face="normal" font="default" size="100%">Discrete Mathematics</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2019</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">https://doi.org/10.1016/j.disc.2019.05.022</style></url></web-urls></urls><volume><style face="normal" font="default" size="100%">342</style></volume><pages><style face="normal" font="default" size="100%">2590--2611</style></pages><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This paper makes a combinatorial study of the two monoids and the two types of tableaux that arise from the two possible generalizations of the Patience Sorting algorithm from permutations (or standard words) to words.  For both types of tableaux, we present Robinson--Schensted--Knuth-type correspondences (that is, bijective correspondences between word arrays and certain pairs of semistandard tableaux of the same shape), generalizing two known correspondences: a bijective correspondence between standard words and certain pairs of standard tableaux, and an injective correspondence between words and pairs of tableaux.&lt;/p&gt;
&lt;p&gt;  We also exhibit formulas to count both the number of each type of tableaux with given evaluations (that is, containing a given number of each symbol). Observing that for any natural number $n$, the $n$-th Bell number is given by the number of standard tableaux containing $n$ symbols, we restrict the previous formulas to standard words and extract a formula for the Bell numbers. Finally, we present a `hook length formula' that gives the number of standard tableaux of a given shape and deduce some consequences.&lt;/p&gt;
</style></abstract><issue><style face="normal" font="default" size="100%">9</style></issue></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Cain, A.J.</style></author><author><style face="normal" font="default" size="100%">R.D. {Gray}</style></author><author><style face="normal" font="default" size="100%">Malheiro, A.</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Crystal monoids &amp; crystal bases: Rewriting systems and biautomatic structures for plactic monoids of types An, Bn, Cn, Dn, and G2</style></title><secondary-title><style face="normal" font="default" size="100%">Journal of Combinatorial Theory, Series A</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2019</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">https://doi.org/10.1016/j.jcta.2018.11.010</style></url></web-urls></urls><volume><style face="normal" font="default" size="100%">162</style></volume><pages><style face="normal" font="default" size="100%">406-466</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This paper constructs presentations via finite complete rewriting systems for plactic monoids of types $A_n$, $B_n$, $C_n$, $D_n$, and $G_2$, using a unified proof strategy that depends on Kashiwara's crystal bases and analogies of Young tableaux, and on Lecouvey's presentations for these monoids. As corollaries, we deduce that plactic monoids of these types have finite derivation type and satisfy the homological finiteness properties left and right $\mathrm{FP}_\infty$. These rewriting systems are then applied to show that plactic monoids of these types are biautomatic.&lt;/p&gt;
</style></abstract><notes><style face="normal" font="default" size="100%">&lt;p&gt;Submitted&lt;/p&gt;
</style></notes></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Malheiro, António</style></author><author><style face="normal" font="default" size="100%">José Francisco Reis</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Identification of proofs via syzygies</style></title><secondary-title><style face="normal" font="default" size="100%">Philosophical Transactions of the Royal Society A</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2019</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1098/rsta.2018.0275</style></url></web-urls></urls><volume><style face="normal" font="default" size="100%">377</style></volume><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In 1900, Hilbert gave a lecture at the International Congress of Mathematicians in Paris, for which he prepared 23 problems that mathematicians should solve during the twentieth century. It was found that there was a note on a 24th Problem focusing on the problem of simplicity of proofs. One of the lines of research that was generated from this problem was the identification of proofs. In this article, we present a possible method for exploring the identification of proofs based on the membership problem original from the theory of polynomial rings. To show this, we start by giving a complete worked-out example of a membership problem, that is, the problem of checking if a given polynomial belongs to an ideal generated by finitely many polynomials. This problem can be solved by considering Gröbner bases and the corresponding reductions. Each reduction is a simplification of the polynomial and it corresponds to a rewriting step. In proving that a polynomial is a member of an ideal, a rewriting process is used, and many different such processes can be considered. To better illustrate this, we consider a graph where each rewriting step corresponds to an edge, and thus a path corresponds to a rewriting process. In this paper, we consider the identification of paths, within the context of the membership problem, to propose a criterion of identification of proofs.&lt;br /&gt;
This article is part of the theme issue ‘The notion of ‘simple proof’ - Hilbert’s 24th problem’.&lt;/p&gt;
</style></abstract><issue><style face="normal" font="default" size="100%">2140</style></issue></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Cain, A.J.</style></author><author><style face="normal" font="default" size="100%">Malheiro, A.</style></author><author><style face="normal" font="default" size="100%">Silva, F.M.</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">The monoids of the patience sorting algorithm</style></title><secondary-title><style face="normal" font="default" size="100%">International Journal of Algebra and Computation</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2019</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">https://doi.org/10.1142/S0218196718500649</style></url></web-urls></urls><volume><style face="normal" font="default" size="100%">29</style></volume><pages><style face="normal" font="default" size="100%">85--125</style></pages><abstract><style face="normal" font="default" size="100%">&lt;p&gt;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.&lt;br /&gt;
Presentations for these monoids are given.&lt;/p&gt;
&lt;p&gt;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 and thus do not satisfy non-trivial identities. The&lt;br /&gt;
complexity of the insertion algorithms is discussed.&lt;/p&gt;
&lt;p&gt;rPS monoids of finite rank are shown to be automatic and to have recursive complete presentations. When the rank is $1$ or $2$, they are also biautomatic. lPS monoids of finite rank are shown to have finite complete presentations and to be biautomatic.&lt;/p&gt;
</style></abstract><issue><style face="normal" font="default" size="100%">01</style></issue></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>27</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Cain, A.J.</style></author><author><style face="normal" font="default" size="100%">Malheiro, António</style></author><author><style face="normal" font="default" size="100%">Fábio M Silva</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Conjugacy in Patience Sorting monoids</style></title></titles><dates><year><style  face="normal" font="default" size="100%">2018</style></year></dates><abstract><style face="normal" font="default" size="100%">&lt;p&gt;The cyclic shift graph of a monoid is the graph whose vertices are the elements of the monoid and whose edges connect elements that are cyclic shift related. The Patience Sorting algorithm admits two generalizations to words, from which two kinds of monoids arise, the $\belr$ monoid and the $\bell$ (also known as Bell) monoid. Like other monoids arising from combinatorial objects such as the plactic and the sylvester, the connected components of the cyclic shift graph of the $\belr$ monoid consists of elements that have the same number of each of its composing symbols. In this paper, with the aid of the computational tool SageMath, we study the diameter of the connected components from the cyclic shift graph of the $\belr$ monoid.&lt;/p&gt;
&lt;p&gt;Within the theory of monoids, the cyclic shift relation, among other relations, generalizes the relation of conjugacy for groups. We examine several of these relations for both the $\belr$ and the $\bell$ monoids. &lt;/p&gt;
</style></abstract></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Cain, Alan J.</style></author><author><style face="normal" font="default" size="100%">Malheiro, António</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Crystals and trees: Quasi-Kashiwara operators, monoids of binary trees, and Robinson–Schensted-type correspondences</style></title><secondary-title><style face="normal" font="default" size="100%">Journal of Algebra</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">Baxter monoid</style></keyword><keyword><style  face="normal" font="default" size="100%">Binary search tree</style></keyword><keyword><style  face="normal" font="default" size="100%">Crystal graph</style></keyword><keyword><style  face="normal" font="default" size="100%">Kashiwara operator</style></keyword><keyword><style  face="normal" font="default" size="100%">Robinson–Schensted–Knuth correspondence</style></keyword><keyword><style  face="normal" font="default" size="100%">Sylvester monoid</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2018</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.sciencedirect.com/science/article/pii/S0021869318300942</style></url></web-urls></urls><volume><style face="normal" font="default" size="100%">502</style></volume><pages><style face="normal" font="default" size="100%">347 - 381</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Kashiwara's crystal graphs have a natural monoid structure that arises by identifying words labelling vertices that appear in the same position of isomorphic components. The celebrated plactic monoid (the monoid of Young tableaux), arises in this way from the crystal graph for the q-analogue of the general linear Lie algebra gln, and the so-called Kashiwara operators interact beautifully with the combinatorics of Young tableaux and with the Robinson–Schensted–Knuth correspondence. The authors previously constructed an analogous ‘quasi-crystal’ structure for the related hypoplactic monoid (the monoid of quasi-ribbon tableaux), which has similarly neat combinatorial properties. This paper constructs an analogous ‘crystal-type’ structure for the sylvester and Baxter monoids (the monoids of binary search trees and pairs of twin binary search trees, respectively). Both monoids are shown to arise from this structure just as the plactic monoid does from the usual crystal graph. The interaction of the structure with the sylvester and Baxter versions of the Robinson–Schensted–Knuth correspondence is studied. The structure is then applied to prove results on the number of factorizations of elements of these monoids, and to prove that both monoids satisfy non-trivial identities.&lt;/p&gt;
</style></abstract><notes><style face="normal" font="default" size="100%">&lt;p&gt;n/a&lt;/p&gt;
</style></notes></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">J. Araújo</style></author><author><style face="normal" font="default" size="100%">Kinyon, M.</style></author><author><style face="normal" font="default" size="100%">Konieczny, J.</style></author><author><style face="normal" font="default" size="100%">Malheiro, A.</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Decidability and Independence of Conjugacy Problems in Finitely Presented Monoids</style></title><secondary-title><style face="normal" font="default" size="100%">Theoretical Computer Science</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2018</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">https://doi.org/10.1016/j.tcs.2018.04.002</style></url></web-urls></urls><volume><style face="normal" font="default" size="100%">731</style></volume><pages><style face="normal" font="default" size="100%">88-98</style></pages><abstract><style face="normal" font="default" size="100%">&lt;p&gt;There have been several attempts to extend the notion of conjugacy from groups to monoids.&lt;br /&gt;
The aim of this paper is study the decidability and independence of conjugacy problems&lt;br /&gt;
for three of these notions (which we will denote by $\sim_p$, $\sim_o$, and $\sim_c$) in&lt;br /&gt;
certain classes of finitely presented monoids. We will show that in the class of polycyclic monoids,&lt;br /&gt;
$p$-conjugacy is ``almost'' transitive, $\sim_c$ is strictly included in $\sim_p$, and&lt;br /&gt;
the $p$- and $c$-conjugacy problems are decidable with linear compexity.&lt;br /&gt;
For other classes of monoids, the situation is more complicated.&lt;br /&gt;
We show that there exists a monoid $M$ defined by a finite complete&lt;br /&gt;
presentation such that the $c$-conjugacy problem for $M$ is undecidable, and&lt;br /&gt;
that for finitely presented monoids, the $c$-conjugacy problem and the word&lt;br /&gt;
problem are independent, as are the  $c$-conjugacy and $p$-conjugacy problems.&lt;/p&gt;
</style></abstract></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Cain, A.J.</style></author><author><style face="normal" font="default" size="100%">Malheiro, A.</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Identities in plactic, hypoplactic, sylvester, Baxter, and related monoids</style></title><secondary-title><style face="normal" font="default" size="100%">The Electronic Journal of Combinatorics</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2018</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://www.combinatorics.org/ojs/index.php/eljc/article/view/v25i3p30</style></url></web-urls></urls><volume><style face="normal" font="default" size="100%">25</style></volume><pages><style face="normal" font="default" size="100%">P3.30 (19 pages)</style></pages><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This paper considers whether non-trivial identities are satisfied by certain ‘plactic-like’ monoids that, like the plactic monoid, are closely  connected  with  combinatorics.   New  results  show  that  the hypoplactic,  sylvester,  Baxter,  stalactic,  and  taiga monoids  satisfy  identities.  The existing state of knowledge is discussed for the plactic and Bell monoids.&lt;/p&gt;
</style></abstract><issue><style face="normal" font="default" size="100%">3</style></issue></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>5</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Cain, Alan J.</style></author><author><style face="normal" font="default" size="100%">Malheiro, António</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Brlek, Srečko</style></author><author><style face="normal" font="default" size="100%">Dolce, Francesco</style></author><author><style face="normal" font="default" size="100%">Reutenauer, Christophe</style></author><author><style face="normal" font="default" size="100%">Vandomme, Élise</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Combinatorics of Cyclic Shifts in Plactic, Hypoplactic, Sylvester, and Related Monoids</style></title><secondary-title><style face="normal" font="default" size="100%">Combinatorics on Words: 11th International Conference, WORDS 2017, Montréal, QC, Canada, September 11-15, 2017, Proceedings</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2017</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">https://doi.org/10.1007/978-3-319-66396-8_18</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Springer International Publishing</style></publisher><pub-location><style face="normal" font="default" size="100%">Cham</style></pub-location><pages><style face="normal" font="default" size="100%">190–202</style></pages><isbn><style face="normal" font="default" size="100%">978-3-319-66396-8</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;The cyclic shift graph of a monoid is the graph whose vertices are elements of the monoid and whose edges link elements that differ by a cyclic shift. For certain monoids connected with combinatorics, such as the plactic monoid (the monoid of Young tableaux) and the sylvester monoid (the monoid of binary search trees), connected components consist of elements that have the same evaluation (that is, contain the same number of each generating symbol). This paper discusses new results on the diameters of connected components of the cyclic shift graphs of the finite-rank analogues of these monoids, showing that the maximum diameter of a connected component is dependent only on the rank. The proof techniques are explained in the case of the sylvester monoid.&lt;/p&gt;
</style></abstract><notes><style face="normal" font="default" size="100%">&lt;p&gt;n/a&lt;/p&gt;
</style></notes></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Cain, A.J.</style></author><author><style face="normal" font="default" size="100%">Malheiro, A.</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Crystallizing the hypoplactic monoid: from quasi-Kashiwara operators to the Robinson--Schensted-type correspondence for quasi-ribbon tableaux</style></title><secondary-title><style face="normal" font="default" size="100%">Journal of Algebraic Combinatorics</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2017</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/s10801-016-0714-6</style></url></web-urls></urls><volume><style face="normal" font="default" size="100%">45</style></volume><pages><style face="normal" font="default" size="100%">475-524</style></pages><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Crystal graphs, in the sense of Kashiwara, carry a natural monoid structure given by identifying words labelling vertices that appear in the same position of isomorphic components of the crystal. In the particular case of the crystal graph for the q-analogue of the special linear Lie algebra sln, this monoid is the celebrated plactic monoid, whose elements can be identified with Young tableaux. The crystal graph and the so-called Kashiwara operators interact beautifully with the combinatorics of Young tableaux and with the Robinson--Schensted correspondence and so provide powerful combinatorial tools to work with them. This paper constructs an analogous `quasi-crystal' structure for the hypoplactic monoid, whose elements can be identified with quasi-ribbon tableaux and whose connection with the theory of quasi-symmetric functions echoes the connection of the plactic monoid with the theory of symmetric functions. This quasi-crystal structure and the associated quasi-Kashiwara operators are shown to interact just as neatly with the combinatorics of quasi-ribbon tableaux and with the hypoplactic version of the Robinson--Schensted correspondence. A study is then made of the interaction of the crystal graph of the plactic monoid and the quasi-crystal graph for the hypoplactic monoid. Finally, the quasi-crystal structure is applied to prove some new results about the hypoplactic monoid. &lt;/p&gt;
</style></abstract><issue><style face="normal" font="default" size="100%">2</style></issue></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Araújo, João</style></author><author><style face="normal" font="default" size="100%">Kinyon, Michael</style></author><author><style face="normal" font="default" size="100%">Konieczny, Janusz</style></author><author><style face="normal" font="default" size="100%">Malheiro, António</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Four notions of conjugacy for abstract semigroups</style></title><secondary-title><style face="normal" font="default" size="100%">Proceedings of the Royal Society of Edinburgh: Section A Mathematics</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2017</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">https://doi.org/10.1017/S0308210517000099</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">6</style></number><publisher><style face="normal" font="default" size="100%">Royal Society of Edinburgh Scotland Foundation</style></publisher><volume><style face="normal" font="default" size="100%">147</style></volume><pages><style face="normal" font="default" size="100%">1169–1214</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;n/a&lt;/p&gt;
</style></abstract><notes><style face="normal" font="default" size="100%">&lt;p&gt;n/a&lt;/p&gt;
</style></notes></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>36</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Cain, A.J.</style></author><author><style face="normal" font="default" size="100%">Klein, G.</style></author><author><style face="normal" font="default" size="100%">Kubat, Ł.</style></author><author><style face="normal" font="default" size="100%">Malheiro, A.</style></author><author><style face="normal" font="default" size="100%">Okniński, J.</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">A note on identities in plactic monoids and monoids of upper-triangular tropical matrices</style></title><secondary-title><style face="normal" font="default" size="100%">ArXiv e-prints</style></secondary-title></titles><keywords><keyword><style  face="normal" font="default" size="100%">05E99 (Primary)</style></keyword><keyword><style  face="normal" font="default" size="100%">14T05</style></keyword><keyword><style  face="normal" font="default" size="100%">16Y60 (Secondary)</style></keyword><keyword><style  face="normal" font="default" size="100%">20M30</style></keyword><keyword><style  face="normal" font="default" size="100%">Mathematics - Combinatorics</style></keyword><keyword><style  face="normal" font="default" size="100%">Mathematics - Group Theory</style></keyword></keywords><dates><year><style  face="normal" font="default" size="100%">2017</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">https://arxiv.org/abs/1705.04596</style></url></web-urls></urls><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt; This paper uses the combinatorics of Young tableaux to prove the plactic monoid of infinite rank does not satisfy a non-trivial identity, by showing that the plactic monoid of rank n cannot satisfy a non-trivial identity of length less than or equal to n. A new identity is then proven to hold for the monoid of n×n upper-triangular tropical matrices. Finally, a straightforward embedding is exhibited of the plactic monoid of rank 3 into the direct product of two copies of the monoid of 3×3 upper-triangular tropical matrices, giving a new proof that the plactic monoid of rank 3 satisfies a non-trivial identity. &lt;/p&gt;
</style></abstract><notes><style face="normal" font="default" size="100%">&lt;p&gt;n/a&lt;/p&gt;
</style></notes></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Cain, A.J.</style></author><author><style face="normal" font="default" size="100%">R.D. {Gray}</style></author><author><style face="normal" font="default" size="100%">Malheiro, A.</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">On finite complete rewriting systems, finite derivation type, and automaticity for homogeneous monoids</style></title><secondary-title><style face="normal" font="default" size="100%">Information and Computation</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2017</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">https://doi.org/10.1016/j.ic.2017.05.003</style></url></web-urls></urls><volume><style face="normal" font="default" size="100%">255</style></volume><pages><style face="normal" font="default" size="100%">68-93</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;The class of finitely presented monoids defined by homogeneous (length-preserving) relations&lt;br /&gt;
is considered. The properties of admitting a finite complete rewriting system, having finite derivation type, being automatic, and being biautomatic, are investigated for monoids in this class. The first main result shows that for any possible combination of these properties and their negations there is a homoegenous monoid with exactly this combination of properties. We then extend this result to show that the same statement holds even if one restricts attention to the class of $n$-ary multihomogeneous  monoids (meaning every side of every relation has fixed length $n$, and all relations are also content preserving).&lt;/p&gt;
</style></abstract><notes><style face="normal" font="default" size="100%">&lt;p&gt;Submitted&lt;/p&gt;
</style></notes></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Cain, A.J.</style></author><author><style face="normal" font="default" size="100%">Malheiro, A.</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Deciding conjugacy in sylvester monoids and other homogeneous monoids.</style></title><secondary-title><style face="normal" font="default" size="100%">Int. J. Algebra Comput.</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2015</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1142/S0218196715500241</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">5</style></number><publisher><style face="normal" font="default" size="100%">World Scientific, Singapore</style></publisher><volume><style face="normal" font="default" size="100%">25</style></volume><pages><style face="normal" font="default" size="100%">899–915</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;We give a combinatorial characterization of conjugacy in the sylvester monoid, showing that conjugacy is decidable for this monoid. We then prove that conjugacy is undecidable in general for homogeneous monoids and even for multihomogeneous monoids.&lt;/p&gt;
</style></abstract><notes><style face="normal" font="default" size="100%">&lt;p&gt;n/a&lt;/p&gt;
</style></notes></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Cain, A.J.</style></author><author><style face="normal" font="default" size="100%">R.D. {Gray}</style></author><author><style face="normal" font="default" size="100%">Malheiro, A.</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Finite Gröbner-Shirshov bases for plactic algebras and biautomatic structures for plactic monoids.</style></title><secondary-title><style face="normal" font="default" size="100%">J. Algebra</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2015</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1016/j.jalgebra.2014.09.037</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Elsevier (Academic Press), San Diego, CA</style></publisher><volume><style face="normal" font="default" size="100%">423</style></volume><pages><style face="normal" font="default" size="100%">37–53</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This paper shows that every Plactic algebra of finite rank admits a finite Gröbner--Shirshov basis. The result is proved by using the combinatorial properties of Young tableaux to construct a finite complete rewriting system for the corresponding Plactic monoid, which also yields the corollaries that Plactic monoids of finite rank have finite derivation type and satisfy the homological finiteness properties left and right $\mathrm{FP}_\infty$. Also, answering a question of Zelmanov, we apply this rewriting system and other techniques to show that Plactic monoids of finite rank are biautomatic.&lt;/p&gt;
</style></abstract><notes><style face="normal" font="default" size="100%">&lt;p&gt;n/a&lt;/p&gt;
</style></notes></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Cain, A.J.</style></author><author><style face="normal" font="default" size="100%">R.D. {Gray}</style></author><author><style face="normal" font="default" size="100%">Malheiro, A.</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Rewriting systems and biautomatic structures for Chinese, hypoplactic, and sylvester monoids.</style></title><secondary-title><style face="normal" font="default" size="100%">Int. J. Algebra Comput.</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2015</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1142/S0218196715400044</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">1-2</style></number><publisher><style face="normal" font="default" size="100%">World Scientific, Singapore</style></publisher><volume><style face="normal" font="default" size="100%">25</style></volume><pages><style face="normal" font="default" size="100%">51–80</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This paper studies complete rewriting systems and biautomaticity for three interesting classes of finite-rank homogeneous monoids: Chinese monoids, hypoplactic monoids, and sylvester monoids. For Chinese monoids, we first give new presentations via finite complete rewriting systems, using more lucid constructions and proofs than those given independently by Chen &amp;amp; Qui and Güzel Karpuz; we then construct biautomatic structures. For hypoplactic monoids, we construct finite complete rewriting systems and biautomatic structures. For sylvester monoids, which are not finitely presented, we prove that the standard presentation is an infinite complete rewriting system, and construct biautomatic structures. Consequently, the monoid algebras corresponding to monoids of these classes are automaton algebras in the sense of Ufnarovskij.&lt;/p&gt;
</style></abstract><notes><style face="normal" font="default" size="100%">&lt;p&gt;n/a&lt;/p&gt;
</style></notes></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">J. Araújo</style></author><author><style face="normal" font="default" size="100%">Konieczny, J.</style></author><author><style face="normal" font="default" size="100%">Malheiro, A.</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Conjugation in semigroups.</style></title><secondary-title><style face="normal" font="default" size="100%">J. Algebra</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2014</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1016/j.jalgebra.2013.12.025</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Elsevier (Academic Press), San Diego, CA</style></publisher><volume><style face="normal" font="default" size="100%">403</style></volume><pages><style face="normal" font="default" size="100%">93–134</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;The action of any group on itself by conjugation and the corresponding conjugacy relation play an important role in group theory. There have been several attempts to extend the notion of conjugacy to semigroups. In this paper, we present a new definition of conjugacy that can be applied to an arbitrary semigroup and it does not reduce to the universal relation in semigroups with a zero. We compare the new notion of conjugacy with existing definitions, characterize the conjugacy in various semigroups of transformations on a set, and count the number of conjugacy classes in these semigroups when the set is infinite. &lt;/p&gt;
</style></abstract><notes><style face="normal" font="default" size="100%">&lt;p&gt;n/a&lt;/p&gt;
</style></notes></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">R.D. {Gray}</style></author><author><style face="normal" font="default" size="100%">Malheiro, A.</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Homotopy bases and finite derivation type for subgroups of monoids.</style></title><secondary-title><style face="normal" font="default" size="100%">J. Algebra</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2014</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1016/j.jalgebra.2014.03.035</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Elsevier (Academic Press), San Diego, CA</style></publisher><volume><style face="normal" font="default" size="100%">410</style></volume><pages><style face="normal" font="default" size="100%">53–84</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;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 of its maximal subgroups have FDT. We use this to show that a finitely presented regular monoid with finitely many left and right ideals satisfies the homological finiteness condition FP3 if all of its maximal subgroups satisfy the condition FP_3.&lt;/p&gt;
</style></abstract><notes><style face="normal" font="default" size="100%">&lt;p&gt;n/a&lt;/p&gt;
</style></notes></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">J. Araújo</style></author><author><style face="normal" font="default" size="100%">Kinyon, M.</style></author><author><style face="normal" font="default" size="100%">Malheiro, A.</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">A characterization of adequate semigroups by forbidden subsemigroups.</style></title><secondary-title><style face="normal" font="default" size="100%">Proc. R. Soc. Edinb., Sect. A, Math.</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2013</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1017/S030821051100182X</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">6</style></number><publisher><style face="normal" font="default" size="100%">Cambridge University Press, Cambridge; RSE Scotland Foundation, Edinburgh</style></publisher><volume><style face="normal" font="default" size="100%">143</style></volume><pages><style face="normal" font="default" size="100%">1115–1122</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;A semigroup is amiable if there is exactly one idempotent in each ℛ*-class and in each ℒ*-class. A semigroup is adequate if it is amiable and if its idempotents commute. We characterize adequate semigroups by showing that they are precisely those amiable semigroups that do not contain isomorphic copies of two particular non-adequate semigroups as subsemigroups.&lt;/p&gt;
</style></abstract><notes><style face="normal" font="default" size="100%">&lt;p&gt;n/a&lt;/p&gt;
</style></notes></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">R.D. {Gray}</style></author><author><style face="normal" font="default" size="100%">Malheiro, A.</style></author><author><style face="normal" font="default" size="100%">S.J. {Pride}</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Homotopy bases and finite derivation type for Schützenberger groups of monoids.</style></title><secondary-title><style face="normal" font="default" size="100%">J. Symb. Comput.</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2013</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1016/j.jsc.2012.05.006</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Elsevier (Academic Press), London</style></publisher><volume><style face="normal" font="default" size="100%">50</style></volume><pages><style face="normal" font="default" size="100%">50–78</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;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 and of the homotopy base is preserved. &lt;/p&gt;
</style></abstract><notes><style face="normal" font="default" size="100%">&lt;p&gt;n/a&lt;/p&gt;
</style></notes></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Malheiro, A.</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Finite derivation type for semilattices of semigroups.</style></title><secondary-title><style face="normal" font="default" size="100%">Semigroup Forum</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2012</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/s00233-012-9390-6</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">3</style></number><publisher><style face="normal" font="default" size="100%">Springer US, New York, NY</style></publisher><volume><style face="normal" font="default" size="100%">84</style></volume><pages><style face="normal" font="default" size="100%">515–526</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this paper we investigate how the combinatorial property finite derivation type (FDT) is preserved in a semilattice of semigroups. We prove that if S=S[Y,S_α] is a semilattice of semigroups such that Y is finite and each S_α (α∈Y) has FDT, then S has FDT. As a consequence we can show that a strong semilattice of semigroups S[Y,S_α,λ_{α,β}] has FDT if and only if Y is finite and every semigroup S α (α∈Y) has FDT.&lt;/p&gt;
</style></abstract><notes><style face="normal" font="default" size="100%">&lt;p&gt;n/a&lt;/p&gt;
</style></notes></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">R.D. {Gray}</style></author><author><style face="normal" font="default" size="100%">Malheiro, A.</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Finite complete rewriting systems for regular semigroups.</style></title><secondary-title><style face="normal" font="default" size="100%">Theor. Comput. Sci.</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1016/j.tcs.2010.10.020</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">8-10</style></number><publisher><style face="normal" font="default" size="100%">Elsevier, Amsterdam</style></publisher><volume><style face="normal" font="default" size="100%">412</style></volume><pages><style face="normal" font="default" size="100%">654–661</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;It is proved that, given a (von Neumann) regular semigroup with finitely many left and right ideals, if every maximal subgroup is presentable by a finite complete rewriting system, then so is the semigroup. To achieve this, the following two results are proved: the property of being defined by a finite complete rewriting system is preserved when taking an ideal extension by a semigroup defined by a finite complete rewriting system; a completely 0-simple semigroup with finitely many left and right ideals admits a presentation by a finite complete rewriting system provided all of its maximal subgroups do.&lt;/p&gt;
</style></abstract><notes><style face="normal" font="default" size="100%">&lt;p&gt;n/a&lt;/p&gt;
</style></notes></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">J. Araújo</style></author><author><style face="normal" font="default" size="100%">Malheiro, A.</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">On finite complete presentations and exact decompositions of semigroups.</style></title><secondary-title><style face="normal" font="default" size="100%">Commun. Algebra</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1080/00927872.2010.514314</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">10</style></number><publisher><style face="normal" font="default" size="100%">Taylor &amp; Francis, Philadelphia, PA</style></publisher><volume><style face="normal" font="default" size="100%">39</style></volume><pages><style face="normal" font="default" size="100%">3866–3878</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;We prove that given a finite (zero) exact right decomposition (M, T) of a semigroup S, if M is defined by a finite complete presentation, then S is also defined by a finite complete presentation. Exact right decompositions are natural generalizations to semigroups of coset decompositions in groups. As a consequence, we deduce that any Zappa–Szép extension of a monoid defined by a finite complete presentation, by a finite monoid, is also defined by such a presentation.&lt;/p&gt;
&lt;p&gt;It is also proved that a semigroup M^0[A; I, J; P], where A and P satisfy some very general conditions, is also defined by a finite complete presentation.&lt;/p&gt;
</style></abstract><notes><style face="normal" font="default" size="100%">&lt;p&gt;n/a&lt;/p&gt;
</style></notes></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">R.D. {Gray}</style></author><author><style face="normal" font="default" size="100%">Malheiro, A.</style></author><author><style face="normal" font="default" size="100%">S.J. {Pride}</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">On properties not inherited by monoids from their Schützenberger groups.</style></title><secondary-title><style face="normal" font="default" size="100%">Inf. Comput.</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1016/j.ic.2011.03.004</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">7</style></number><publisher><style face="normal" font="default" size="100%">Elsevier (Academic Press), San Diego, CA</style></publisher><volume><style face="normal" font="default" size="100%">209</style></volume><pages><style face="normal" font="default" size="100%">1120–1134</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;We give an example of a monoid with finitely many left and right ideals, all of whose Schützenberger 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 graphs, where N has finite derivation type (respectively, admits a presentation by a finite complete rewriting system) but M does not. This contrasts with the case of finitely generated groups for which finite derivation type is known to be a quasi-isometry invariant. The same example is also used to show that neither of these two properties is preserved under finite Green index extensions.&lt;/p&gt;
</style></abstract><notes><style face="normal" font="default" size="100%">&lt;p&gt;n/a&lt;/p&gt;
</style></notes></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Malheiro, A.</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Finite derivation type for large ideals.</style></title><secondary-title><style face="normal" font="default" size="100%">Semigroup Forum</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2009</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1007/s00233-008-9109-x</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">3</style></number><publisher><style face="normal" font="default" size="100%">Springer US, New York, NY</style></publisher><volume><style face="normal" font="default" size="100%">78</style></volume><pages><style face="normal" font="default" size="100%">450–485</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;n this paper we give a partial answer to the following question: does a large subsemigroup of a semigroup S with the finite combinatorial property finite derivation type (FDT) also have the same property? A positive answer is given for large ideals. As a consequence of this statement we prove that, given a finitely presented Rees matrix semigroup M[S;I,J;P], the semigroup S has FDT if and only if so does M[S;I,J;P].&lt;/p&gt;
</style></abstract><notes><style face="normal" font="default" size="100%">&lt;p&gt;n/a&lt;/p&gt;
</style></notes></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Malheiro, A.</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">On Finite Semigroup Cross-Sections and Complete Rewriting Systems</style></title><secondary-title><style face="normal" font="default" size="100%">International Conference on Theoretical and Mathematical Foundations of Computer Science, TMFCS-08, Orlando, Florida, USA, July 7-10, 2008</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2008</style></year></dates><pages><style face="normal" font="default" size="100%">59–63</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;In this paper we obtain a [finite] complete rewriting system defining a semigroup/monoid S, from a given finite&lt;br /&gt;
right cross-section of a subsemigroup/submonoid defined by a [finite] complete presentation. In the semigroup case the subsemigroup must have a right identity element which must also be part of the cross-section. In the monoid case the submonoid and the cross-section must include the identity of the semigroup. The result on semigroups allow us to show that if G is a group defined by a [finite] complete rewriting system then the completely simple semigroup M[G; I, J; P] is also defined by a [finite] complete rewriting system.&lt;/p&gt;
</style></abstract><notes><style face="normal" font="default" size="100%">&lt;p&gt;n/a&lt;/p&gt;
</style></notes></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>10</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Malheiro, A.</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">On trivializers and subsemigroups.</style></title><secondary-title><style face="normal" font="default" size="100%">Semigroups and formal languages. Proceedings of the international conference in honour of the 65th birthday of Donald B. McAlister</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2007</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1142/9789812708700_0013</style></url></web-urls></urls><publisher><style face="normal" font="default" size="100%">Hackensack, NJ: World Scientific</style></publisher><pub-location><style face="normal" font="default" size="100%">Lisboa, Portugal, July 12–15, 2005.</style></pub-location><pages><style face="normal" font="default" size="100%">188–204</style></pages><isbn><style face="normal" font="default" size="100%">978-981-270-738-3/hbk</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;The aim of this paper is to develop the calculus of trivializers for subsemigroups. Given a finite presentation defining a semigroup S and a trivializer of the Squier complex of , we obtain an infinite trivializer of the Squier complex of a finite presentation defining a subsemigroup of S. Also, we give a method to find finite trivializers for special subsemigroups and hence to show that those subsemigroups have finite derivation type (FDT). An application of this method is given: we prove that if is a band of monoids having FDT, then so does Sα, for any α ∈Y.&lt;/p&gt;
</style></abstract><notes><style face="normal" font="default" size="100%">&lt;p&gt;n/a&lt;/p&gt;
</style></notes></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Malheiro, A.</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Finite derivation type for Rees matrix semigroups.</style></title><secondary-title><style face="normal" font="default" size="100%">Theor. Comput. Sci.</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2006</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1016/j.tcs.2005.12.011</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">3</style></number><publisher><style face="normal" font="default" size="100%">Elsevier, Amsterdam</style></publisher><volume><style face="normal" font="default" size="100%">355</style></volume><pages><style face="normal" font="default" size="100%">274–290</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;This paper introduces the topological finiteness condition finite derivation type (FDT) on the class of semigroups. This notion is naturally extended from the monoid case. With this new concept we are able to prove that if a Rees matrix semigroup M[S;I,J;P] has FDT then the semigroup S also has FDT. Given a monoid S and a finitely presented Rees matrix semigroup M[S;I,J;P] we prove that if the ideal of S generated by the entries of P has FDT, then so does M[S;I,J;P]. In particular, we show that, for a finitely presented completely simple semigroup M, the Rees matrix semigroup M=M[S;I,J;P] has FDT if and only if the group S has FDT.&lt;/p&gt;
</style></abstract><notes><style face="normal" font="default" size="100%">&lt;p&gt;n/a&lt;/p&gt;
</style></notes></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>32</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Malheiro, A.</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Gomes, G. M. S.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Finiteness conditions of semigroup presentations.</style></title><secondary-title><style face="normal" font="default" size="100%">University of Lisbon</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2006</style></year></dates><publisher><style face="normal" font="default" size="100%">University of Lisbon</style></publisher><pub-location><style face="normal" font="default" size="100%">Lisbon</style></pub-location><work-type><style face="normal" font="default" size="100%">PhD Thesis</style></work-type></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>17</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Malheiro, A.</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Complete rewriting systems for codified submonoids.</style></title><secondary-title><style face="normal" font="default" size="100%">Int. J. Algebra Comput.</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2005</style></year></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://dx.doi.org/10.1142/S0218196705002220</style></url></web-urls></urls><number><style face="normal" font="default" size="100%">2</style></number><publisher><style face="normal" font="default" size="100%">World Scientific, Singapore</style></publisher><volume><style face="normal" font="default" size="100%">15</style></volume><pages><style face="normal" font="default" size="100%">207–216</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;Given a complete rewriting system R on X and a subset X0 of X+ satisfying certain conditions, we present a complete rewriting system for the submonoid of M(X;R) generated by X0. The obtained result will be applied to the group of units of a monoid satisfying H1 = D1. On the other hand we prove that all maximal subgroups of a monoid defined by a special rewriting system are isomorphic.&lt;/p&gt;
</style></abstract><notes><style face="normal" font="default" size="100%">&lt;p&gt;n/a&lt;/p&gt;
</style></notes></record><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>32</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Malheiro, A.</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Gomes, G. M. S.</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Presentations and complete rewriting systems for semigroups. (in Portuguese)</style></title><secondary-title><style face="normal" font="default" size="100%">Faculty of Sciences of the University of Lisbon</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2001</style></year></dates><publisher><style face="normal" font="default" size="100%">University of Lisbon</style></publisher><pub-location><style face="normal" font="default" size="100%">Lisbon</style></pub-location><work-type><style face="normal" font="default" size="100%">Master Thesis</style></work-type></record></records></xml>