{"entities":{"Q2461620":{"pageid":2472363,"ns":120,"title":"Item:Q2461620","lastrevid":73413153,"modified":"2026-04-14T15:51:43Z","type":"item","id":"Q2461620","labels":{"en":{"language":"en","value":"Finite derivation type for semigroups and congruences."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5215518"}},"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":"Q2461620$6717B9A7-27B5-4A64-82A7-18812D3633EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec10d856c4e5391a791bd3e4f5b8849e07e2644e","datavalue":{"value":{"text":"Finite derivation type for semigroups and congruences.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2461620$75F3452F-17DC-46F4-820B-0ED25B6CF7E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c6ff9e7bec7565e86d4fb25167cd73f16717d2b","datavalue":{"value":"1137.20048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461620$5DEF665B-7636-4205-92F7-9BCC4B8401DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"496d412d993bd4bfe5523a6592d2293638fdd0cd","datavalue":{"value":{"entity-type":"item","numeric-id":1127329,"id":"Q1127329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461620$B63EABF3-0F79-4EFF-9BC4-CEB0E421D035","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2461620$3E507854-9134-444D-810E-C871BA1FBD03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f07a6e02313146619eb76647232125f099011046","datavalue":{"value":{"time":"+2007-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2461620$A3BD3423-C12B-48EC-94B9-292B609B0EDE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f11c48b0990ee10c1e350f0c40f2b135f806c007","datavalue":{"value":"A semigroup presentation is a pair \\((X,\\mathbf r)\\) with \\(\\mathbf r\\subseteq X^+\\times X^+\\). A semigroup presentation \\(S\\) is defined by the presentation \\((X,\\mathbf r)\\) if it is isomorphic to the quotient of the free semigroup \\(X^+\\) by the smallest congruence generated by \\(\\mathbf r\\). We have a graph \\(\\Gamma=\\Gamma(X,\\mathbf r)\\) associated with \\((X,\\mathbf r)\\), where the vertices are the elements of \\(X^+\\), and the edges are the 4-tuples \\(e=(U,R,\\varepsilon,V)\\), where \\(U,V\\in X^*\\), \\(R=(R_{+1},R_{-1})\\in\\mathbf r)\\), \\(\\varepsilon=\\pm 1\\). The initial, terminal and inversion functions for an edge \\(e\\) as above are given by \\(i(e)=UR_\\varepsilon V\\), \\(\\tau(e)=UR_{-\\varepsilon}V\\) and \\(e^{-1}=(U,R,-\\varepsilon,V)\\). There is a two-sided action of \\(X^*\\) on \\(\\Gamma\\) as follows. If \\(W,W'\\in X^*\\), then for any vertex \\(V\\) of \\(\\Gamma\\), \\(W\\cdot V\\cdot W'=WVW'\\) (product in \\(X^*\\)), and for any edge \\(e=(U,R,\\varepsilon,V)\\) of \\(\\Gamma\\), \\(W\\cdot e\\cdot W'=(WU,R,\\varepsilon,VW')\\). This action can be extended to the paths in \\(\\Gamma\\). Let \\(P(\\Gamma)\\) denote the set of all paths in \\(\\Gamma\\), and let \\(P^{(2)}(\\Gamma)=\\{(p,q)\\mid p,q\\in P(\\Gamma)\\), \\(i(p)=i(q)\\), \\(\\tau(p)=\\tau(q)\\}\\).   An equivalence relation \\(\\cong\\) on \\(P^{(2)}\\) is called a homotopy relation if it satisfies the following conditions: (a) if \\(e_1,e_2\\) are edges of \\(\\Gamma\\), then \\((e_1\\cdot i(e_2))(\\tau(e_1)\\cdot e_2)\\cong (i(e_1)\\cdot e_2)(e_1\\cdot\\tau(e_2))\\); (b) if \\(p\\cong q\\) and \\(p,q\\in P(\\Gamma)\\), then \\(U\\cdot p\\cdot V\\cong U\\cdot q\\cdot V\\) for all \\(U,V\\in X^+\\); (c) if \\(p,q_1,q_2,r\\in P(\\Gamma)\\), satisfy \\(\\tau(p)=i(q_1)=i(q_2)\\), \\(\\tau(q_1)=\\tau(q_2)=i(r)\\), and \\(q_1\\cong q_2\\), then \\(pq_2r\\cong pq_2r\\); (d) if \\(p\\in P(\\Gamma)\\), then \\(pp^{-1}\\cong 1_{i(p)}\\).   Let \\((X,\\mathbf r)\\) be a finite semigroup presentation and \\(P(\\Gamma)\\) be the associated graph. We say that \\((X,\\mathbf r)\\) has finite derivation type (FDT) if there is a finite subset \\(C\\subseteq P^{(2)}(\\Gamma)\\) which generates \\(P^{(2)}(\\Gamma)\\) as a homotopy relation. Let \\(S\\) be a semigroup and let \\(\\rho\\) be a congruence on \\(S\\). If \\(\\rho\\) has FDT as a subsemigroup of the direct product \\(S\\times S\\), then \\(S\\) has FDT.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2461620$FA4EB964-D42A-4A01-9DEB-2DFB43212200","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461620$A968FDDE-FB2D-4F25-A7A5-C0EB5532E3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461620$641303AD-5B6E-426E-AB4C-61093E63D0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461620$3B6DB5FE-DF92-42A4-B45B-FB3D6A6145C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"572a9afd5c5c5cc2429dbf39389813aadafdfe01","datavalue":{"value":"5215518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461620$A67D47A5-A54B-44D2-AF6A-D2288C8624C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7307555e58d75af64bcea3c9269493ab94d809e2","datavalue":{"value":"semigroup presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2461620$786DE10E-CB5A-4397-808D-DF6C234A242B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c259e919dcf60113aaba27be5e244aed52c4ea98","datavalue":{"value":"finitely presented semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2461620$6815B5BD-3159-42A7-9556-58C49DF82032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b14cd685c98a4ba07bb03380be5fdb0df906771e","datavalue":{"value":"congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2461620$A38101B9-E4EC-47E2-8577-7C54AF8AE0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d95b71498d13e527bf94bcd6aafb02248a7910b3","datavalue":{"value":"finite derivation type of presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2461620$5668B5EB-77BF-4500-89CD-03EC80611B3F","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":"Q2461620$3FA829D2-E58A-4FCF-A724-82AB3985108D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d22550f9900fb6a1c05be30139ce167546c8e54","datavalue":{"value":"https://doi.org/10.1007/s00233-007-0703-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2461620$8E675BCE-8519-4D27-8FA2-0B2B7CC3663D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33c50decb713ef29d8b018dd6bfb9dcddc3ce5f9","datavalue":{"value":"W2017217961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461620$8B5437CF-AD72-4B5E-A785-9D2B45A07E4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d129b9bd3d2772bbdd2890b610e2196d0105eef8","datavalue":{"value":"10.1007/S00233-007-0703-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2461620$82A3F4DB-F4E7-40F5-811F-14B4369796EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff2fb572208155d43200e30e5b08789f02daea8d","datavalue":{"value":{"entity-type":"item","numeric-id":444671,"id":"Q444671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f43b0f36d4e709dfa1b70fa1406d3b0fdd3442f","datavalue":{"value":{"amount":"+0.9687365","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":"Q2461620$55E0F5EE-B0C9-44B1-AB1B-CBBA4C252E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eacec867e41308046e9974fdca7953c9aa184818","datavalue":{"value":{"entity-type":"item","numeric-id":1127330,"id":"Q1127330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"785f346b8dd271d8b51442dc02aeddff617eae88","datavalue":{"value":{"amount":"+0.9138133","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":"Q2461620$36A5B61C-A6CE-4A68-85F1-5B6F069BD8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"555d40d3885bb3581e29c4a23e5d60a99c1d333b","datavalue":{"value":{"entity-type":"item","numeric-id":2368998,"id":"Q2368998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0354687900265e51bc3f551d2d477cfdd786bf61","datavalue":{"value":{"amount":"+0.90334105","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":"Q2461620$129768EB-DFD3-4EC6-9428-8A3DD544DD3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"404cfdbc11b2ec70ac1c725e9d22f2cab339bcef","datavalue":{"value":{"entity-type":"item","numeric-id":2861067,"id":"Q2861067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b395c1cfd1bd1f95a625e95dd57c58043d65316","datavalue":{"value":{"amount":"+0.89506745","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":"Q2461620$71D1A963-F225-4B44-A94A-3F0678D74F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbdba3cf2e08d756dc793f49887d734f636c33cf","datavalue":{"value":{"entity-type":"item","numeric-id":3071929,"id":"Q3071929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96dfb24076c4adb54e5f8188df9a928b66558e63","datavalue":{"value":{"amount":"+0.894894","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":"Q2461620$DC6ABBF7-739F-45BF-9913-246CFE39E0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c0501b59ccb6feb6613e2ae9cfa42b1dac020e5","datavalue":{"value":{"entity-type":"item","numeric-id":1272134,"id":"Q1272134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8dc3897974d862ec857427fbe9cd6a34c3b1ac7","datavalue":{"value":{"amount":"+0.8916731","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":"Q2461620$08B216BB-B2EE-4950-A1FA-20B7198C43CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f2fd1e1e95b5dbef1c1b52c45f17d60e74dd463","datavalue":{"value":{"entity-type":"item","numeric-id":3043618,"id":"Q3043618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4717d6e78d7c44d82aef3bd317b47d47c72cb7ec","datavalue":{"value":{"amount":"+0.8914191","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":"Q2461620$7A04FABD-7E1D-4A99-BCE4-6F84B8C4C442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dcebe31a59181fb487aac240870d72f518cf3bb","datavalue":{"value":{"entity-type":"item","numeric-id":2391156,"id":"Q2391156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f49e59ba95964a5925fdcddaab649ca9cbfb8c0a","datavalue":{"value":{"amount":"+0.8891178","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":"Q2461620$5418F43E-755E-4BC6-8068-CC662E633FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9989a7fc1eea1f3a10df447be0d01026b6506d0","datavalue":{"value":{"entity-type":"item","numeric-id":583378,"id":"Q583378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b22c7ab8602f5f08cbd67fa388dc96d76c697d27","datavalue":{"value":{"amount":"+0.8853072","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":"Q2461620$89918BEC-99A7-4098-A5A3-034650A0E194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af6d7972b5c3d6fb9dd3df704a113eb8a2af9ec1","datavalue":{"value":{"entity-type":"item","numeric-id":5118896,"id":"Q5118896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a90837ccaea9423072d8730cf59bebee568e5f44","datavalue":{"value":{"amount":"+0.88491225","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":"Q2461620$257E4F5C-5A1D-473F-B627-01EB9E2C4AE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite derivation type for semigroups and congruences.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_derivation_type_for_semigroups_and_congruences."}}}}}