{"entities":{"Q1065939":{"pageid":1076691,"ns":120,"title":"Item:Q1065939","lastrevid":66070881,"modified":"2026-04-12T07:20:18Z","type":"item","id":"Q1065939","labels":{"en":{"language":"en","value":"Unsolvability of problems of equality and divisibility in certain varieties of semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3922980"}},"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":"Q1065939$F946C7B5-A956-4ACA-BCF6-D5759CF6F1C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f343166e41de2d4ab0d522580d17d428569357eb","datavalue":{"value":{"text":"Unsolvability of problems of equality and divisibility in certain varieties of semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1065939$E067B1D2-075F-4D64-89C3-226404899D47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c03deea9d6892263fa75780b08ba15938924e4c3","datavalue":{"value":"0577.20050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065939$677BB4A7-D9D9-4394-AE50-DA021E7B20EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"48046594af0459269deefcc9ca72bd4f005ca296","datavalue":{"value":"10.1007/BF02071790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065939$20239760-250F-4C47-8327-2A4166D5F5F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d59cef6cc2f2f9d95f9f85445a1693f193afbc05","datavalue":{"value":{"entity-type":"item","numeric-id":1065938,"id":"Q1065938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065939$75DB69C2-5689-4382-A4FF-3ED9AD962D60","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065939$3900ED1E-6D51-4DC6-9CE6-3F406F88EFD3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1065939$41EB871F-30A1-493D-B58E-A53142C715D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be9aef78c454392b254e8c174250febc2e30105e","datavalue":{"value":"https://eudml.org/doc/187281","type":"string"},"datatype":"url"},"type":"statement","id":"Q1065939$E3E87CF6-A5AD-4575-8DF2-C880D75FD458","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dac4d8e87f0ac29fda0a84d09fef48651088fb3c","datavalue":{"value":"The first example of a nontrivial variety of semigroups in which the word problem is unsolvable (that is, unsolvable for at least one finitely presented member of the variety) was given by \\textit{V. L. Murskij} [Mat. Zametki 3, 663-370 (1968; Zbl 0181.014)]. A word A is called ''blocking'' if for any finite alphabet the set of words in this alphabet which do not contain values of the word A is finite. A description of blocking words was given by \\textit{D. R. Bean}, \\textit{A. Ehrenfeucht} and \\textit{G. F. McNulty} [Pac. J. Math. 85, 261-294 (1979; Zbl 0428.05001)]. The author proves that any variety defined by identities \\(A_ i=B_ i\\), \\(i=1,2,..\\). in finitely many variables, such that for each i the words \\(A_ i\\) and \\(B_ i\\) are nonblocking, has unsolvable word problem (and unsolvable divisibility problem). The proof ingeniously associates with any given semigroup S a semigroup \\(S^*\\), in such a variety, whose word or divisibility problem is solvable if and only if that of S is solvable. For varieties defined by identities \\(A_ i=0\\), \\(i=1,2,..\\). in finitely many variables, the converse is also true, that is, if at least one \\(A_ i\\) is blocking then the word and divisibility problems are solvable. This is not true in general.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065939$E35F5E6F-3AA9-4229-92C4-341CC1D0E21F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065939$249E2C58-609B-4584-9E70-1DBF1974FDEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065939$B4817FF2-F07C-41F8-8213-2BD9BE356652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2c1bc14cfdc7229fee5c71b5c4e5c4888c771b2","datavalue":{"value":"08A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065939$0386DC69-44A9-4F2A-893F-0066060C3AE4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f203ba35dab9f5c7b4be9cd5802acbfc40d88e3","datavalue":{"value":"3922980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065939$69064689-9CE0-4386-A732-EAA21EA81B32","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0f12d439590d1f42afffcf91fb841d5dc428fe5","datavalue":{"value":"variety of semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065939$9771D57C-6C90-4AB6-AE2A-D298DB276F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4715b5941222132ed39f1b1a973e292d1e05c13d","datavalue":{"value":"blocking words","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065939$48BFCC4D-4679-43B3-B931-D91E8393C0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba8b9c089613058547fa6c5e33cbceb1e2baa56e","datavalue":{"value":"unsolvable word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065939$FC747D77-0A36-4469-9F65-64E5EB459298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bc3f6be6ced3196935cd2139c127b2e6fa32f3c","datavalue":{"value":"unsolvable divisibility problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1065939$CA7936AD-59C8-4BB6-98A1-32481E09264D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f4385d4dae42e0a5bfb796b12df4f3fcdddf89d5","datavalue":{"value":{"entity-type":"item","numeric-id":418915,"id":"Q418915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065939$82187B0F-482C-4CCE-81B7-CF67DFEE608E","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":"Q1065939$C030F413-C005-4F2E-94E0-015A40E714F6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"185825760283cf010382be8775bf8b9cab8d49b2","datavalue":{"value":{"entity-type":"item","numeric-id":3226792,"id":"Q3226792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065939$3B6CEC22-BAEB-4ABD-93C5-E2E14DC37ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c7183512e2829a55f36b5e7ad58903f071c8748","datavalue":{"value":{"entity-type":"item","numeric-id":1137038,"id":"Q1137038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065939$925522F2-0EA6-4ADC-9F7E-C7495FD171E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c97424716b7f735fb38ea7c4190edf8827f44c","datavalue":{"value":{"entity-type":"item","numeric-id":2545567,"id":"Q2545567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065939$78933E5D-02C9-432F-9BFA-24185AE34D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84339eb1b9200fd0bfaec4876ec88a12251ced16","datavalue":{"value":{"entity-type":"item","numeric-id":4919632,"id":"Q4919632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1065939$EDB14534-3B32-4E34-B314-6099179833CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f5b7ddd5597e7085179bb2f0afa14574c8e276c","datavalue":{"value":"W2320251205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1065939$0574ACC3-507D-452D-9668-7CCB338CA52F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a70ec3a7eac14e83f49a2dc055a586926473a2be","datavalue":{"value":{"entity-type":"item","numeric-id":4794027,"id":"Q4794027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc7aae9df60a393261e98c95cb2390a8c0f55063","datavalue":{"value":{"amount":"+0.8474411964416504","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":"Q1065939$FFB32179-9021-481F-8A8F-0B6931EBE302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5ba1b06df591d9eb9a79a6b72074efc865a87fe","datavalue":{"value":{"entity-type":"item","numeric-id":4723961,"id":"Q4723961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"684c9501a9ddfe163033689099dce801c6ee2bac","datavalue":{"value":{"amount":"+0.844519853591919","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":"Q1065939$BEC34225-C413-4A8F-AE27-3347032ED78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"749cffc02205a2bb27bb064450ae9ddd5afe2fd8","datavalue":{"value":{"entity-type":"item","numeric-id":3801788,"id":"Q3801788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d373ed42af47741b6a136794903aed7a470057b","datavalue":{"value":{"amount":"+0.8419591784477234","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":"Q1065939$5C6550B8-A1C3-4F20-B6CF-8F3F3EA68DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ed9672268fc9c68b691b84a2f210f20fb65e20a","datavalue":{"value":{"entity-type":"item","numeric-id":5570932,"id":"Q5570932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94607b75b6fc053990cd7c86a592854350b11549","datavalue":{"value":{"amount":"+0.8271738886833191","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":"Q1065939$9CE28205-D64F-4CA7-B80D-838D18A63125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"053d39bcbe30c1b36a257e8e29259db0e3b88f44","datavalue":{"value":{"entity-type":"item","numeric-id":1107640,"id":"Q1107640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"999319a8aae672a010fb92f979c2956f427652cf","datavalue":{"value":{"amount":"+0.8267027139663696","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":"Q1065939$A06C164A-0D7C-4594-A864-CBADF2D46CB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unsolvability of problems of equality and divisibility in certain varieties of semigroups","badges":[]}}}}}