{"entities":{"Q1930158":{"pageid":1940900,"ns":120,"title":"Item:Q1930158","lastrevid":69324174,"modified":"2026-04-13T06:14:36Z","type":"item","id":"Q1930158","labels":{"en":{"language":"en","value":"Homotopy bases and finite derivation type for Sch\u00fctzenberger groups of monoids."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6124219"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1930158$5C323754-2F0B-4BF6-9136-7A376A9F98E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa3123b909549d697202344b51dd585f8132c8b1","datavalue":{"value":{"text":"Homotopy bases and finite derivation type for Sch\u00fctzenberger groups of monoids.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1930158$674EB6D2-4441-49AA-BA08-2782AC6E59AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e40e7656f3065d160218ad44df563a58ecd894f9","datavalue":{"value":"1266.20065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1930158$7BE51264-C002-4DBF-8C30-8D4C94337F77","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1930158$8B4A64BF-E8F8-4797-819D-24743E944295","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f73384387181e740d0320d4931fc1cd66aeb99c","datavalue":{"value":{"time":"+2013-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1930158$E50F97A6-6503-4979-A617-82E1585FB9CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"221726d2cbdd792eba9bc65d044d36c0753d81cd","datavalue":{"value":"https://arxiv.org/abs/1112.1634","type":"string"},"datatype":"url"},"type":"statement","id":"Q1930158$CB540B37-8BD6-42B6-A95B-08F891060B9A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e9bfc6338d61e4c42e2e77b0745db2650d8e5f6f","datavalue":{"value":"Let us consider Green's relations \\(\\mathcal L\\), \\(\\mathcal R\\) and \\(\\mathcal H=\\mathcal L\\cap\\mathcal R\\) on a semigroup \\(S\\). Also, for a given arbitrary \\(\\mathcal H\\)-class \\(H\\) of \\(S\\), let \\(\\text{Stab}(H)=\\{s\\in S:Hs=H\\}\\) denote the (right) stabilizer of \\(H\\) in \\(S\\). Therefore we can define an equivalence \\(\\sigma=\\sigma(H)\\) on the stabilizer by \\((x,y)\\in\\sigma\\) if and only if \\(hx=hy\\) for all \\(h\\in H\\). It is known that \\(\\sigma\\) is a congruence and \\(\\mathcal G(H)=\\text{Stab}(H)/\\sigma\\) is a group, namely the (right) Sch\u00fctzenberger group of \\(H\\).   The authors in this paper give the following as the main result.   Let \\(S\\) be a monoid, \\(H\\) be an \\(\\mathcal H\\)-class of \\(S\\) with Sch\u00fctzenberger group \\(\\mathcal G\\), and let \\(R\\) be the \\(\\mathcal R\\)-class that contains \\(H\\). Then the following hold: (i) If \\(S\\) is finitely presented, then \\(\\mathcal G\\) is finitely presented. (ii) If \\(S\\) has finite derivation type (FDT), then \\(\\mathcal G\\) has FDT.   In order to prove the above theorem, the authors separate their paper into five sections included Introduction. In Section 2, the authors present some basic definitions about Sch\u00fctzenberger group and state their main result. In Section 3, the authors give some basic definitions about rewriting systems, homotopy bases, and finite derivation type and recall some fundamental ideas from the structure theory of semigroups. In Section 4, the authors define a presentation for an arbitrary Sch\u00fctzenberger group and they prove the condition (i) of the above theorem. In Section 5, the authors define a homotopy base for an arbitrary Sch\u00fctzenberger group, and they prove the condition (ii) of the above theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1930158$012B53C9-01C3-412D-B800-71D3C593CD26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1930158$1B4EAEC3-46EB-4086-AB37-F5CFF656A988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e6822c7285171de2378f029d5e65f225fd3f99c","datavalue":{"value":"20M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1930158$B42DA2AD-669B-4912-BB94-DB9402823B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1930158$880E0933-40BD-4A2F-A1A1-A77DC7B53C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1930158$E4877B8B-A2FA-4598-90AE-5009CD8373D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f511e212d98db2a7aa3c3ea9b728ec202a445a83","datavalue":{"value":"6124219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1930158$E66005B6-AA33-42CA-AEAA-F2ED44923667","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83f7bf04952cd93cab380c754953caf1ec449b6f","datavalue":{"value":"complete rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1930158$B5FF6654-3F32-4F65-9DD4-3C8CF4FC80DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cb45a7fad3616cfdc6377269f8a1b970b78470f","datavalue":{"value":"finitely presented groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1930158$E9E1E8EC-B697-40AC-8805-EA5F6ED5B512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b1af22a19f05aa0eeafde6b7f88443243e251a9","datavalue":{"value":"finitely presented monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1930158$97E9C1EE-AF65-4456-BF40-6EA029939C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4833b24ef46f1c666f305d2c425fd4d1b24a64cb","datavalue":{"value":"Sch\u00fctzenberger groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1930158$B8FACBF0-68FB-4DBE-9722-5BE973D00FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25fe9e00d3b9bde8350c039751fb9221c196a10f","datavalue":{"value":"finite derivation type","type":"string"},"datatype":"string"},"type":"statement","id":"Q1930158$EA18145E-3AED-45AA-8D53-FF23153FF37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61ff2980e4d22a195ce013ccb974e41f01582edb","datavalue":{"value":"homotopy bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1930158$512BD879-A381-42C4-9C18-CAE9B3492A36","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc522c93b04c7a414d9d45aa12e6af09c01f9ab8","datavalue":{"value":{"entity-type":"item","numeric-id":342845,"id":"Q342845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1930158$CE1B89C1-0A7A-4627-8487-86318249DF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"304df54a9d1cf417d4a9c244bd89cc94e1d3895b","datavalue":{"value":{"entity-type":"item","numeric-id":479730,"id":"Q479730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1930158$3DDFA805-1940-4EA9-B128-622A5DD45C28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43b27d9ab2baf59f8298de782da25cc1334ae44a","datavalue":{"value":{"entity-type":"item","numeric-id":531925,"id":"Q531925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1930158$BC48392E-EAA4-42DF-97BE-F1FC1E21EBD5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"eb33cd7242b60e6a61fc0c6a830f752399a211fb","datavalue":{"value":{"entity-type":"item","numeric-id":394649,"id":"Q394649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1930158$1F1600A1-874F-465E-A990-5658022804B9","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1930158$03C6D3E9-2A4F-4044-9863-481EC59B7C84","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"faff1a304c928e00adf4ba727d67cc08936d3ce4","datavalue":{"value":"W2117238083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1930158$7C411289-FC88-46F7-9305-6192D8B4DE1E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"56a247d53a5b9a541c8bdafeb7ec62d74bffad88","datavalue":{"value":"10.1016/J.JSC.2012.05.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1930158$91F6AECC-9F03-437B-84C3-90C589C2CCAB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b100a6756695cc9a97b4d288652a2057dde528a","datavalue":{"value":{"entity-type":"item","numeric-id":403106,"id":"Q403106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aacdb207242b06deeec8c27a6032d294285521f0","datavalue":{"value":{"amount":"+0.9658764","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1930158$888640EC-0D54-4547-8932-170258EFCE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c5b66e6be37974e3ac5c64e101560d4b5735064","datavalue":{"value":{"entity-type":"item","numeric-id":1579154,"id":"Q1579154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3df298cf36f13a538a920ee53b2dd1f815a18355","datavalue":{"value":{"amount":"+0.8931903","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1930158$32BA01FC-34CD-4A89-A65B-022D019816FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5ab576710633c4e104989156dcfc335f97eda49","datavalue":{"value":{"entity-type":"item","numeric-id":2038101,"id":"Q2038101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f9145e66ce943fcd522120472bb9b35e8232d76","datavalue":{"value":{"amount":"+0.88120645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1930158$8EF97BB6-4948-4A0A-BE06-7B464234F3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"110336a91857e555851492e63636b21e8737521f","datavalue":{"value":{"entity-type":"item","numeric-id":4217748,"id":"Q4217748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5090757b6ebbc08895a9d0149d4690cbe3237c90","datavalue":{"value":{"amount":"+0.8781115","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1930158$14445C9E-69C1-4F3A-BCA1-FEFF50EFD377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4cf22e1c4c87c7b72e4ddc1e05f922e02ed2fb7","datavalue":{"value":{"entity-type":"item","numeric-id":3422798,"id":"Q3422798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0927cb23128dcf3be44ffe2f619fe27425d6ed86","datavalue":{"value":{"amount":"+0.87681","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1930158$9887C0F0-D189-410F-8955-EDB9A5F786D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49c747f03c90cc2af3b57b34cf71e2a09791d8ba","datavalue":{"value":{"entity-type":"item","numeric-id":5739996,"id":"Q5739996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a362ce6da6c37e3343889c70d3ce64ae8898196","datavalue":{"value":{"amount":"+0.87678754","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1930158$9ECA1696-6580-45B9-925F-AD8CCF136F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf252c377abcee72cddea8ad79a93563d2aba603","datavalue":{"value":{"entity-type":"item","numeric-id":4786287,"id":"Q4786287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79b3ccb797b2a1810af4476977e7f903f904d060","datavalue":{"value":{"amount":"+0.87495404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1930158$69D8E03B-B6AF-499F-BF7B-1010226471BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b82d4e45d925661f63ea2054358d5feaee91166","datavalue":{"value":{"entity-type":"item","numeric-id":1756696,"id":"Q1756696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26cd638b6a3827a3666f39a127062458ce92728f","datavalue":{"value":{"amount":"+0.87124366","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1930158$B555B3DD-F81D-4F03-BA24-5B7BB7E86063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08cb0985fd30379f243ba0d6f91d59b71f2c4f68","datavalue":{"value":{"entity-type":"item","numeric-id":4242595,"id":"Q4242595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0168364525fc9d751d553174e00350c48b1113c0","datavalue":{"value":{"amount":"+0.8702821","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1930158$1587BFA7-5237-4EB8-AD8A-582286C34029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae1208f5d00866571246f630cf1e591ce8a12f08","datavalue":{"value":{"entity-type":"item","numeric-id":4495379,"id":"Q4495379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74150bda236f3af4cedf4252a8fbf37216a84c85","datavalue":{"value":{"amount":"+0.8697509","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1930158$E16541DD-1010-46F2-9435-39B0E806C9A6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Homotopy bases and finite derivation type for Sch\u00fctzenberger groups of monoids.","badges":[]}}}}}