{"data":{"id":"10.48550/arxiv.1205.4885","type":"dois","attributes":{"doi":"10.48550/arxiv.1205.4885","prefix":"10.48550","suffix":"arxiv.1205.4885","identifiers":[{"identifier":"1205.4885","identifierType":"arXiv"}],"alternateIdentifiers":[{"alternateIdentifierType":"arXiv","alternateIdentifier":"1205.4885"}],"creators":[{"name":"Cain, Alan J.","nameType":"Personal","givenName":"Alan J.","familyName":"Cain","affiliation":[],"nameIdentifiers":[]},{"name":"Gray, Robert D.","nameType":"Personal","givenName":"Robert D.","familyName":"Gray","affiliation":[],"nameIdentifiers":[]},{"name":"Malheiro, António","nameType":"Personal","givenName":"António","familyName":"Malheiro","affiliation":[],"nameIdentifiers":[]}],"titles":[{"title":"Finite Gröbner--Shirshov bases for Plactic algebras and biautomatic structures for Plactic monoids"}],"publisher":"arXiv","container":{},"publicationYear":2012,"subjects":[{"lang":"en","subject":"Rings and Algebras (math.RA)","subjectScheme":"arXiv"},{"lang":"en","subject":"Group Theory (math.GR)","subjectScheme":"arXiv"},{"subject":"FOS: Mathematics","subjectScheme":"Fields of Science and Technology (FOS)"},{"subject":"FOS: Mathematics","schemeUri":"http://www.oecd.org/science/inno/38235147.pdf","subjectScheme":"Fields of Science and Technology (FOS)"},{"lang":"en","subject":"16S36 (Primary) 68Q42, 20M25, 20M35 (Secondary)","subjectScheme":"MSC"}],"contributors":[],"dates":[{"date":"2012-05-22T11:34:51Z","dateType":"Submitted","dateInformation":"v1"},{"date":"2012-05-23T00:03:15Z","dateType":"Updated","dateInformation":"v1"},{"date":"2013-01-11T14:49:45Z","dateType":"Submitted","dateInformation":"v2"},{"date":"2013-01-14T01:02:13Z","dateType":"Updated","dateInformation":"v2"},{"date":"2014-10-22T12:31:37Z","dateType":"Submitted","dateInformation":"v3"},{"date":"2015-10-21T00:14:26Z","dateType":"Updated","dateInformation":"v3"},{"date":"2012-05","dateType":"Available","dateInformation":"v1"},{"date":"2012","dateType":"Issued"}],"language":null,"types":{"ris":"RPRT","bibtex":"article","citeproc":"article-journal","schemaOrg":"ScholarlyArticle","resourceType":"Article","resourceTypeGeneral":"Text"},"relatedIdentifiers":[{"relationType":"IsVersionOf","relatedIdentifier":"10.1016/j.jalgebra.2014.09.037","relatedIdentifierType":"DOI"}],"relatedItems":[],"sizes":[],"formats":[],"version":"3","rightsList":[{"rights":"arXiv.org perpetual, non-exclusive license","rightsUri":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/"}],"descriptions":[{"description":"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 $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.","descriptionType":"Abstract"},{"description":"16 pages; 3 figures. Minor revision: typos fixed; figures redrawn; references updated","descriptionType":"Other"}],"geoLocations":[],"fundingReferences":[],"xml":"PD94bWwgdmVyc2lvbj0iMS4wIiBlbmNvZGluZz0idXRmLTgiPz4KPHJlc291cmNlIHhtbG5zPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCIgeG1sbnM6eHNpPSJodHRwOi8vd3d3LnczLm9yZy8yMDAxL1hNTFNjaGVtYS1pbnN0YW5jZSIgeHNpOnNjaGVtYUxvY2F0aW9uPSJodHRwOi8vZGF0YWNpdGUub3JnL3NjaGVtYS9rZXJuZWwtNCBodHRwOi8vc2NoZW1hLmRhdGFjaXRlLm9yZy9tZXRhL2tlcm5lbC00LjMvbWV0YWRhdGEueHNkIj4KICA8aWRlbnRpZmllciBpZGVudGlmaWVyVHlwZT0iRE9JIj4xMC40ODU1MC9BUlhJVi4xMjA1LjQ4ODU8L2lkZW50aWZpZXI+CiAgPGFsdGVybmF0ZUlkZW50aWZpZXJzPgogICAgPGFsdGVybmF0ZUlkZW50aWZpZXIgYWx0ZXJuYXRlSWRlbnRpZmllclR5cGU9ImFyWGl2Ij4xMjA1LjQ4ODU8L2FsdGVybmF0ZUlkZW50aWZpZXI+CiAgPC9hbHRlcm5hdGVJZGVudGlmaWVycz4KICA8Y3JlYXRvcnM+CiAgICA8Y3JlYXRvcj4KICAgICAgPGNyZWF0b3JOYW1lIG5hbWVUeXBlPSJQZXJzb25hbCI+Q2FpbiwgQWxhbiBKLjwvY3JlYXRvck5hbWU+CiAgICAgIDxnaXZlbk5hbWU+QWxhbiBKLjwvZ2l2ZW5OYW1lPgogICAgICA8ZmFtaWx5TmFtZT5DYWluPC9mYW1pbHlOYW1lPgogICAgPC9jcmVhdG9yPgogICAgPGNyZWF0b3I+CiAgICAgIDxjcmVhdG9yTmFtZSBuYW1lVHlwZT0iUGVyc29uYWwiPkdyYXksIFJvYmVydCBELjwvY3JlYXRvck5hbWU+CiAgICAgIDxnaXZlbk5hbWU+Um9iZXJ0IEQuPC9naXZlbk5hbWU+CiAgICAgIDxmYW1pbHlOYW1lPkdyYXk8L2ZhbWlseU5hbWU+CiAgICA8L2NyZWF0b3I+CiAgICA8Y3JlYXRvcj4KICAgICAgPGNyZWF0b3JOYW1lIG5hbWVUeXBlPSJQZXJzb25hbCI+TWFsaGVpcm8sIEFudMOzbmlvPC9jcmVhdG9yTmFtZT4KICAgICAgPGdpdmVuTmFtZT5BbnTDs25pbzwvZ2l2ZW5OYW1lPgogICAgICA8ZmFtaWx5TmFtZT5NYWxoZWlybzwvZmFtaWx5TmFtZT4KICAgIDwvY3JlYXRvcj4KICA8L2NyZWF0b3JzPgogIDx0aXRsZXM+CiAgICA8dGl0bGU+RmluaXRlIEdyw7ZibmVyLS1TaGlyc2hvdiBiYXNlcyBmb3IgUGxhY3RpYyBhbGdlYnJhcyBhbmQgYmlhdXRvbWF0aWMgc3RydWN0dXJlcyBmb3IgUGxhY3RpYyBtb25vaWRzPC90aXRsZT4KICA8L3RpdGxlcz4KICA8cHVibGlzaGVyPmFyWGl2PC9wdWJsaXNoZXI+CiAgPHB1YmxpY2F0aW9uWWVhcj4yMDEyPC9wdWJsaWNhdGlvblllYXI+CiAgPHN1YmplY3RzPgogICAgPHN1YmplY3QgeG1sOmxhbmc9ImVuIiBzdWJqZWN0U2NoZW1lPSJhclhpdiI+UmluZ3MgYW5kIEFsZ2VicmFzIChtYXRoLlJBKTwvc3ViamVjdD4KICAgIDxzdWJqZWN0IHhtbDpsYW5nPSJlbiIgc3ViamVjdFNjaGVtZT0iYXJYaXYiPkdyb3VwIFRoZW9yeSAobWF0aC5HUik8L3N1YmplY3Q+CiAgICA8c3ViamVjdCBzdWJqZWN0U2NoZW1lPSJGaWVsZHMgb2YgU2NpZW5jZSBhbmQgVGVjaG5vbG9neSAoRk9TKSI+Rk9TOiBNYXRoZW1hdGljczwvc3ViamVjdD4KICAgIDxzdWJqZWN0IHhtbDpsYW5nPSJlbiIgc3ViamVjdFNjaGVtZT0iTVNDIj4xNlMzNiAoUHJpbWFyeSkgNjhRNDIsIDIwTTI1LCAyME0zNSAoU2Vjb25kYXJ5KTwvc3ViamVjdD4KICA8L3N1YmplY3RzPgogIDxkYXRlcz4KICAgIDxkYXRlIGRhdGVUeXBlPSJTdWJtaXR0ZWQiIGRhdGVJbmZvcm1hdGlvbj0idjEiPjIwMTItMDUtMjJUMTE6MzQ6NTFaPC9kYXRlPgogICAgPGRhdGUgZGF0ZVR5cGU9IlVwZGF0ZWQiIGRhdGVJbmZvcm1hdGlvbj0idjEiPjIwMTItMDUtMjNUMDA6MDM6MTVaPC9kYXRlPgogICAgPGRhdGUgZGF0ZVR5cGU9IlN1Ym1pdHRlZCIgZGF0ZUluZm9ybWF0aW9uPSJ2MiI+MjAxMy0wMS0xMVQxNDo0OTo0NVo8L2RhdGU+CiAgICA8ZGF0ZSBkYXRlVHlwZT0iVXBkYXRlZCIgZGF0ZUluZm9ybWF0aW9uPSJ2MiI+MjAxMy0wMS0xNFQwMTowMjoxM1o8L2RhdGU+CiAgICA8ZGF0ZSBkYXRlVHlwZT0iU3VibWl0dGVkIiBkYXRlSW5mb3JtYXRpb249InYzIj4yMDE0LTEwLTIyVDEyOjMxOjM3WjwvZGF0ZT4KICAgIDxkYXRlIGRhdGVUeXBlPSJVcGRhdGVkIiBkYXRlSW5mb3JtYXRpb249InYzIj4yMDE1LTEwLTIxVDAwOjE0OjI2WjwvZGF0ZT4KICAgIDxkYXRlIGRhdGVUeXBlPSJBdmFpbGFibGUiIGRhdGVJbmZvcm1hdGlvbj0idjEiPjIwMTItMDU8L2RhdGU+CiAgPC9kYXRlcz4KICA8cmVzb3VyY2VUeXBlIHJlc291cmNlVHlwZUdlbmVyYWw9IlRleHQiPkFydGljbGU8L3Jlc291cmNlVHlwZT4KICA8cmVsYXRlZElkZW50aWZpZXJzPgogICAgPHJlbGF0ZWRJZGVudGlmaWVyIHJlbGF0ZWRJZGVudGlmaWVyVHlwZT0iRE9JIiByZWxhdGlvblR5cGU9IklzVmVyc2lvbk9mIj4xMC4xMDE2L2ouamFsZ2VicmEuMjAxNC4wOS4wMzc8L3JlbGF0ZWRJZGVudGlmaWVyPgogIDwvcmVsYXRlZElkZW50aWZpZXJzPgogIDx2ZXJzaW9uPjM8L3ZlcnNpb24+CiAgPHJpZ2h0c0xpc3Q+CiAgICA8cmlnaHRzIHJpZ2h0c1VSST0iaHR0cDovL2FyeGl2Lm9yZy9saWNlbnNlcy9ub25leGNsdXNpdmUtZGlzdHJpYi8xLjAvIj5hclhpdi5vcmcgcGVycGV0dWFsLCBub24tZXhjbHVzaXZlIGxpY2Vuc2U8L3JpZ2h0cz4KICA8L3JpZ2h0c0xpc3Q+CiAgPGRlc2NyaXB0aW9ucz4KICAgIDxkZXNjcmlwdGlvbiBkZXNjcmlwdGlvblR5cGU9IkFic3RyYWN0Ij5UaGlzIHBhcGVyIHNob3dzIHRoYXQgZXZlcnkgUGxhY3RpYyBhbGdlYnJhIG9mIGZpbml0ZSByYW5rIGFkbWl0cyBhIGZpbml0ZSBHcsO2Ym5lci0tU2hpcnNob3YgYmFzaXMuIFRoZSByZXN1bHQgaXMgcHJvdmVkIGJ5IHVzaW5nIHRoZSBjb21iaW5hdG9yaWFsIHByb3BlcnRpZXMgb2YgWW91bmcgdGFibGVhdXggdG8gY29uc3RydWN0IGEgZmluaXRlIGNvbXBsZXRlIHJld3JpdGluZyBzeXN0ZW0gZm9yIHRoZSBjb3JyZXNwb25kaW5nIFBsYWN0aWMgbW9ub2lkLCB3aGljaCBhbHNvIHlpZWxkcyB0aGUgY29yb2xsYXJpZXMgdGhhdCBQbGFjdGljIG1vbm9pZHMgb2YgZmluaXRlIHJhbmsgaGF2ZSBmaW5pdGUgZGVyaXZhdGlvbiB0eXBlIGFuZCBzYXRpc2Z5IHRoZSBob21vbG9naWNhbCBmaW5pdGVuZXNzIHByb3BlcnRpZXMgbGVmdCBhbmQgcmlnaHQgJEZQX1xpbmZ0eSQuIEFsc28sIGFuc3dlcmluZyBhIHF1ZXN0aW9uIG9mIFplbG1hbm92LCB3ZSBhcHBseSB0aGlzIHJld3JpdGluZyBzeXN0ZW0gYW5kIG90aGVyIHRlY2huaXF1ZXMgdG8gc2hvdyB0aGF0IFBsYWN0aWMgbW9ub2lkcyBvZiBmaW5pdGUgcmFuayBhcmUgYmlhdXRvbWF0aWMuPC9kZXNjcmlwdGlvbj4KICAgIDxkZXNjcmlwdGlvbiBkZXNjcmlwdGlvblR5cGU9Ik90aGVyIj4xNiBwYWdlczsgMyBmaWd1cmVzLiBNaW5vciByZXZpc2lvbjogdHlwb3MgZml4ZWQ7IGZpZ3VyZXMgcmVkcmF3bjsgcmVmZXJlbmNlcyB1cGRhdGVkPC9kZXNjcmlwdGlvbj4KICA8L2Rlc2NyaXB0aW9ucz4KPC9yZXNvdXJjZT4=","url":"https://arxiv.org/abs/1205.4885","contentUrl":null,"metadataVersion":0,"schemaVersion":"http://datacite.org/schema/kernel-4","source":"mds","isActive":true,"state":"findable","reason":null,"viewCount":0,"viewsOverTime":[],"downloadCount":0,"downloadsOverTime":[],"referenceCount":0,"citationCount":0,"citationsOverTime":[],"partCount":0,"partOfCount":0,"versionCount":0,"versionOfCount":0,"created":"2022-03-13T02:55:44.000Z","registered":"2022-03-13T02:55:45.000Z","published":"2012","updated":"2022-03-13T02:55:45.000Z"},"relationships":{"client":{"data":{"id":"arxiv.content","type":"clients"}},"provider":{"data":{"id":"arxiv","type":"providers"}},"media":{"data":{"id":"10.48550/arxiv.1205.4885","type":"media"}},"references":{"data":[]},"citations":{"data":[]},"parts":{"data":[]},"partOf":{"data":[]},"versions":{"data":[]},"versionOf":{"data":[]}}}}