{"entities":{"Q1917389":{"pageid":1928131,"ns":120,"title":"Item:Q1917389","lastrevid":82323587,"modified":"2026-05-06T20:37:51Z","type":"item","id":"Q1917389","labels":{"en":{"language":"en","value":"Finitely presented groups and completely regular semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 897488"}},"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":"Q1917389$B4B0DB88-D9DF-4F23-82AE-5D34077A859F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d1b0e7240ffd4ee87e48c1ccf256560927e6879","datavalue":{"value":{"text":"Finitely presented groups and completely regular semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1917389$B2212E04-306D-46B3-8B5F-2E7FBB3A12F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ccb550f307b6579de1c5d0e61eedba558dc8319c","datavalue":{"value":"0879.20028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917389$F5AD2FD9-1E06-4801-B611-439F533D4DD5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7679d26556512082e004a60b10b958122d6b4ea","datavalue":{"value":"10.1016/0022-4049(95)00075-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917389$8597DBED-3F0D-40D9-A964-E62F2DEE040C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55de3565b5f2084988840335a7675e1b3983d3b4","datavalue":{"value":{"entity-type":"item","numeric-id":1194440,"id":"Q1194440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917389$0BA927EB-AF62-441A-BDF5-A5CD60E9731E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dab25a31cccf0848ca3d6932e6a326fca88d1410","datavalue":{"value":{"entity-type":"item","numeric-id":744857,"id":"Q744857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917389$6F80A388-B0F8-4384-9576-055A14BCDE67","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917389$6DBE5417-7BBC-41CA-AE51-637B620C506B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e1e5dd463aa4d0314ca2a1cf8e190d7a60ad0624","datavalue":{"value":{"time":"+1997-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1917389$3376E57D-81EA-405F-9C9A-DE6CEBC2F91A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ea6fc6bcfa79c2d774166cd10f1d6e41de3d3479","datavalue":{"value":"A completely regular semigroup is a semigroup which is a union of groups. Every such semigroup has a maximal group homomorphic image.   This paper has as its goal the proof of the following theorem. Every finitely presented group is the greatest group homomorphic image of a finitely presented completely regular semigroup which has a solvable word problem and whose maximal subgroups are free groups or one-relator groups.   In order to reach this theorem the authors consider the variety \\(\\mathbf{CR}\\) of completely regular semigroups as a subvariety of \\({\\mathbf U}\\), the variety of unary semigroups (semigroups with an inversion operation \\(x\\mapsto x^{-1}\\)). For a set \\(X\\), if \\(U(X)\\) is the free unary semigroup on \\(X\\), there is a least fully invariant congruence \\(\\rho_{\\mathbf{CR}}\\) such that \\(F\\mathbf{CR}(X)=U(X)/\\rho_{\\mathbf{CR}}\\in\\mathbf{CR}\\) is the free completely regular semigroup on \\(X\\). Then, if \\(\\kappa\\) is a relation on \\(U(X)\\) one can find a corresponding congruence \\(\\kappa_{\\mathbf{CR}}^*\\) on \\(F\\mathbf{CR}(X)\\). The bulk of the paper is devoted to careful computations involving \\(\\rho_{\\mathbf{CR}}\\) and \\(\\kappa_{\\mathbf{CR}}^*\\) and their interactions. They consider a completely regular semigroup presentation \\(\\langle X\\mid\\kappa_{\\mathbf{CR}}\\rangle\\) where \\(\\kappa\\) is a finite relation on \\(U(X)\\) of the form \\(\\{(u_i,u_i(u_i)^{-1})\\mid i=1,\\dots,n\\}\\). On the way to the main theorem they establish the solvability of the word problem for completely regular semigroups with such presentations. Theorem. The word problem for \\(F\\mathbf{CR}(X)/\\kappa_{\\mathbf{CR}}^*\\) is solvable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917389$07DAC7D0-0E09-4FBF-A62D-8C06E6D7CFAA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7a747404b59b859f32425194571ad2a4a9cc4221","datavalue":{"value":{"entity-type":"item","numeric-id":1839320,"id":"Q1839320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917389$65FCF234-E82B-4173-AB68-7E3D8D6AB9BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917389$956A70AD-464D-4FD7-9854-DA1BC57A9D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beff01b370fcff9d315b5f5618c62634d9218c19","datavalue":{"value":"20M17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917389$E72C906D-5521-4616-8A58-9216F6F73D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917389$96286A1D-07A3-42BB-AE1D-0F0A88F8F7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917389$FA00A224-A1BD-479A-AFC5-7D7C81311F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"161452d058224a660e3b8a96064cc184f10828db","datavalue":{"value":"20M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917389$81DE6E3B-24A9-4346-A587-48FEC603257E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c249ee5c2e08446d03be76c22b65575b1a923f0","datavalue":{"value":"897488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917389$BFAE894A-8CD4-4C12-9456-6D42E5B16F2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9787b5389e3f3b8d75144b281f00276bed057581","datavalue":{"value":"varieties of completely regular semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917389$209A7A0F-26F3-4224-9E80-9F0F0A8166EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cb45a7fad3616cfdc6377269f8a1b970b78470f","datavalue":{"value":"finitely presented groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917389$8B93FE73-0F57-4C44-9511-259C01FDBA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc17530683f05aacef7e862f12bdb2dce0ac1ceb","datavalue":{"value":"generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917389$15343967-9791-4872-BCAE-130CF84F3EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94972d89ba4503b868daad8e0a5b1c846954d436","datavalue":{"value":"relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917389$737832F9-4CAE-4230-83D3-5F7F3EF99050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917389$A48F9F4D-6978-41FF-82E1-8185C746FB24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f9a29f36e95ba70c5ee3242d6bb3a868be4ec24","datavalue":{"value":"finitely presented completely regular semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917389$088A80AA-1259-45EC-8F09-5E5C84955AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"036c2b66c9701daad77b003d5e875cac4239af63","datavalue":{"value":"maximal subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917389$E0A8560E-C468-440C-9045-C212DBD74F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a90be51a1b0e0d6a88c9f2d2044918a077130783","datavalue":{"value":"fully invariant congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1917389$2B797663-4F88-4DF0-B9EC-891A7B5FE704","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":"Q1917389$8475707C-E5AA-4F27-B878-6F0900A0C2FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8553bca1d17412df55c75ccf92802221fa3c2be8","datavalue":{"value":"https://doi.org/10.1016/0022-4049(95)00075-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1917389$53A558D2-E6E5-4F8A-9F55-7715C7EE713E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a128e3dabf348e522a294b79b3f9fd53edc09cf9","datavalue":{"value":"W2024688945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1917389$B32D54E0-FBB7-4804-A1C3-88C44C10651B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dfa0d463c79f4c5487539ad2ad379f607f4c8e8","datavalue":{"value":{"entity-type":"item","numeric-id":1194441,"id":"Q1194441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917389$8BF89F03-DF00-48A7-BBEB-1F01FDFF4D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62d2cbd2627577119ae8bfbd5707af6cf933a85b","datavalue":{"value":{"entity-type":"item","numeric-id":5906224,"id":"Q5906224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917389$AEEE9F24-2939-4077-BF42-07FAB9319F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5afbf744a209bae591f2001b963f84ed85dc6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3848243,"id":"Q3848243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917389$BA67428C-EB8E-4968-B678-9310679E38B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37620cacdea60bd66885d71734f855f7a6647c64","datavalue":{"value":{"entity-type":"item","numeric-id":643502,"id":"Q643502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917389$B30DC03D-404D-49D6-A828-A0CCF5676545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a771da5a4143614d66e61e5eb1c065796a9fe46","datavalue":{"value":{"entity-type":"item","numeric-id":4126563,"id":"Q4126563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917389$30645FFB-A73F-426E-B76E-838C51010DBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42de0b638ba926d01560f66b384086072b503229","datavalue":{"value":{"entity-type":"item","numeric-id":1085283,"id":"Q1085283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917389$EF18F56B-2A66-45A4-980D-31154F640EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d3cbffed8a301b84b1253490d8c6b17bf2e322","datavalue":{"value":{"entity-type":"item","numeric-id":4145882,"id":"Q4145882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917389$F2047103-874F-49D2-A8CB-8D711C3D8675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"591acc9a9079565e6cb573cd174a8a8f2edd393f","datavalue":{"value":{"entity-type":"item","numeric-id":1122663,"id":"Q1122663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917389$81791E3A-3310-4AC9-8B37-07DB389D8C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09ae246a6e53e55446eb5e90b6e4a5ef0764472a","datavalue":{"value":{"entity-type":"item","numeric-id":4038472,"id":"Q4038472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917389$A1832797-60AB-4EA3-A18A-4B8D732CA762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e2e271d8729afdaee1c2c1bc8f5c5c775756ecf","datavalue":{"value":{"entity-type":"item","numeric-id":3487647,"id":"Q3487647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917389$654AFC6B-5057-4446-A1FA-74AD7DF6C260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9996960a4dfc20c9a228fd27f794e06c08d5c1c9","datavalue":{"value":{"entity-type":"item","numeric-id":4083905,"id":"Q4083905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917389$78567DE4-2F04-4981-B4AB-3D2DC480931E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae576c5b8e77be940b350c32d66304424bca182","datavalue":{"value":{"entity-type":"item","numeric-id":5429979,"id":"Q5429979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917389$45275B5D-F3D3-4CDF-BD10-0070C4AB1315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5b261bbcf45a7c842c1091942852d0a97238066","datavalue":{"value":{"entity-type":"item","numeric-id":3689372,"id":"Q3689372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917389$902EC184-7669-40FE-8520-B4EF687D6EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b20ee208e24a376d08efdaeac628527e846e6b42","datavalue":{"value":{"entity-type":"item","numeric-id":4008583,"id":"Q4008583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917389$2C8D8B54-1527-4F23-A17B-F7C4F9FCE2CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c040415d351156844afd3404e4c23cb0d719d904","datavalue":{"value":{"entity-type":"item","numeric-id":582399,"id":"Q582399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917389$8E532C85-3CC6-45D5-8842-5A4DCFF92925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3fe627aea87388f021ceb70e109a7bd51074c6a","datavalue":{"value":{"entity-type":"item","numeric-id":3325919,"id":"Q3325919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1917389$B3BFB4DC-FBF1-4316-B3A4-3F0D2BC1E4E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea3c8ed2e947e1c96433bd4a3268bc9d1f2f2b5","datavalue":{"value":{"entity-type":"item","numeric-id":1194441,"id":"Q1194441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc140c45da65c49e3f7aadc3db497d15750d988f","datavalue":{"value":{"amount":"+0.8911256790161133","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1917389$84DE7DDC-48D1-4F84-84C6-7C5DB893FB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47aa3aae4563b6d6bb5c46389edeb3d306728ca4","datavalue":{"value":{"entity-type":"item","numeric-id":643502,"id":"Q643502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"916e9b7c2c43f357e417984d9fc400f0d3744d8e","datavalue":{"value":{"amount":"+0.8859791159629822","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1917389$281C05D9-1423-4715-90BB-59F5FA35BAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2513deec871cf731215dd1d42460a484ed063ee0","datavalue":{"value":{"entity-type":"item","numeric-id":581547,"id":"Q581547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"656110bcfa24c92592e10c4af7be8238c4ddb4a6","datavalue":{"value":{"amount":"+0.8722978830337524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1917389$B6BC4E8F-4E61-40B0-977E-4C5638519949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e9817919bc0f828cbeb09b0c1644b1ce9d9ee65","datavalue":{"value":{"entity-type":"item","numeric-id":1085283,"id":"Q1085283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d8285cd78b34a6125e55dda543763042e6badee","datavalue":{"value":{"amount":"+0.8606923818588257","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1917389$240868C0-E1EF-4700-A2EF-B1A8053E5998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae50a528b4620a71e0815d02b49a9c3fc7d095dd","datavalue":{"value":{"entity-type":"item","numeric-id":3325919,"id":"Q3325919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52d793ebcbe8d949f43133fe6b9fc8931615e980","datavalue":{"value":{"amount":"+0.8604132533073425","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1917389$1C9AD467-0B19-4900-BF8D-416501C67CF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finitely presented groups and completely regular semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finitely_presented_groups_and_completely_regular_semigroups"}}}}}