{"entities":{"Q1107640":{"pageid":1118389,"ns":120,"title":"Item:Q1107640","lastrevid":49198588,"modified":"2026-01-06T18:18:11Z","type":"item","id":"Q1107640","labels":{"en":{"language":"en","value":"The word problem in varieties of semigroups, rings, and Lie algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4065304"}},"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":"Q1107640$03343BCE-FC77-4CD2-90F5-AE4E0607B9E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"154cb472c41582ded8b077b6629d31c773b1150a","datavalue":{"value":{"text":"The word problem in varieties of semigroups, rings, and Lie algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1107640$BF742393-2F6B-457E-8D72-AEA9D785B036","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6292cb1a2cc6011a59ea90d7217cd9ca6e222c66","datavalue":{"value":"0653.20060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107640$F5FFB1EB-111B-42B0-B1FD-4C18420112CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1a4f312c8cc9cd5a3185a233f0f348c64e3d9483","datavalue":{"value":"10.1007/BF00970009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107640$AD4FB1D1-4F84-4B6E-8A7D-1B189612CA8D","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":"Q1107640$F74AA8FC-976F-489B-A1A9-FD88910EC7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3995e64f62d5a462297284e0f2580833598205a","datavalue":{"value":{"entity-type":"item","numeric-id":595784,"id":"Q595784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107640$9C6BF467-8E46-4F9B-9511-F0E82EC7C815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"862afb06b461dcc1ff46d6df9b011842f09f8803","datavalue":{"value":{"entity-type":"item","numeric-id":1016797,"id":"Q1016797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107640$6D0F8FC8-855C-4D63-8162-E49D670C3E12","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107640$B62D43EF-8D1E-4838-B813-602E090892FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1107640$3F566A18-BB1B-4B56-9101-D09185A90858","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"04e3fc86470ef71fc4ff193bc83ee860f1802440","datavalue":{"value":"We construct two examples of finitely presented semigroups with an undecidable word problem satisfying nontrivial identities (the semigroups \\(S_ 1\\) and \\(S_ 2\\) in Sec. 1), prove that the variety generated by \\(S_ 2\\) is a minimal variety with an undecidable word problem and give a basis of identities of this variety (Sec. 3), prove that each finitely based variety of semigroups with a commuting identity has a decidable word problem (Sec. 2), construct new examples of finitely presented associative and Lie algebras with an undecidable word problem satisfying nontrivial identities. The associative algebra mentioned above, like the algebra of \\textit{G. P. Kukin} [Sib. Mat. Zh. 24, No.2, 85-96 (1983; Zbl 0519.17009)], is an extension of a nilpotent algebra by means of a commutative algebra and, therefore, lies (in the case of a field of characteristic 0) in the variety generated by the algebra of upper triangular matrices of finite order; it also satisfies some standard identity which provides another solution of Problem 2.26 in the Dnestr. Notebook (1982; Zbl 0493.16001). In addition it is proved here that the join of two varieties with a decidable word problem may have an undecidable word problem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107640$163E164D-C78E-428B-8184-040E75D5CA18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107640$B39BF394-910D-4DD3-977B-D54483602AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107640$6B42864F-2DB7-4557-916D-C259216316E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2c1bc14cfdc7229fee5c71b5c4e5c4888c771b2","datavalue":{"value":"08A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107640$F474B28D-9F2C-4DEE-99EB-2DF8ED4E9E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107640$060991EC-B300-4772-8A76-25E4565240B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49af82f4ade3a98e23da5d649cb52c1c6f164fdd","datavalue":{"value":"20E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107640$5B967C4A-E80D-4E14-A65F-4E54C82D32CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9baae8d85a8d1b76b329210525ed9c038f8943be","datavalue":{"value":"17B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107640$34DF1691-F98D-41BB-BB5B-ACC9E0FAE5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107640$91F8AE43-185F-492F-BEEC-E2ABBAF692F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e59e14a36c6115210bce53d0bdee88a8e9f1b628","datavalue":{"value":"16Rxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107640$AFBDB3B9-3FFE-4D06-A02E-09183EDD9E9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a96fb3bf9cc6056961861b4d045c85de5689d9ba","datavalue":{"value":"4065304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107640$BA12190D-8A5D-4564-8465-0A84AB5F71D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c259e919dcf60113aaba27be5e244aed52c4ea98","datavalue":{"value":"finitely presented semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107640$1DB44FA6-30B6-4C26-AF4E-5084059F0F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe6af24c1a2f13d0bd65589bf579b8a7c3549dbd","datavalue":{"value":"undecidable word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107640$D6F845D0-D4E6-46B2-A1F8-72B11C887BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14d6a7c45b6fa152c1fa360245eff4f514052fa9","datavalue":{"value":"identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107640$04242B0F-9B36-4E19-81D0-7885C1E4F779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66be3f3780bf3ec23292110b5cf48d33cca994b8","datavalue":{"value":"minimal variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107640$F51DB62F-6333-4C65-AD9F-84AE2C27E515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c18131d1bad5b161cf10961013bcc0cef5ac9677","datavalue":{"value":"basis of identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107640$80959FA9-3967-4719-A0FD-62B5F5B40879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0f12d439590d1f42afffcf91fb841d5dc428fe5","datavalue":{"value":"variety of semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107640$7B496265-D365-4D8B-927F-80C672078B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b9db4cda373765d289cb37273af09236ffe222a","datavalue":{"value":"standard identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1107640$9553B595-FA7B-4138-8F78-712317FF9377","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":"Q1107640$906E672D-0684-4362-A17F-DBC7A82F59C8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"155e720be9d096a6a506446d7570fc55a0d94bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3944763,"id":"Q3944763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107640$8A44BD4A-1EE3-4CD5-A4EF-2BFDBCEBC415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ab60de02740591c97b8bdf852f853d690edd5f","datavalue":{"value":{"entity-type":"item","numeric-id":1054819,"id":"Q1054819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107640$34231F76-5807-4859-B01B-6F53F8B11B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838e93d923d4242f5a642afb4710a839870074c7","datavalue":{"value":{"entity-type":"item","numeric-id":2536632,"id":"Q2536632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107640$CC1F90A1-0D14-4102-8324-E082698C2ABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"489ba251a56b3bb1de6ac44b5ed24b69d323a517","datavalue":{"value":{"entity-type":"item","numeric-id":5652898,"id":"Q5652898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107640$0E4BB5C0-643B-4779-820E-D7AAA81F0C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb17eea22e006ae4250ac20153932dd0b2fa9afe","datavalue":{"value":{"entity-type":"item","numeric-id":786929,"id":"Q786929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107640$EB6D5554-F149-460A-9ED2-FEF01FF87ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea45dec13896b056b844b564cf651b6176c78a75","datavalue":{"value":{"entity-type":"item","numeric-id":1240777,"id":"Q1240777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1107640$4A2E7E45-2F87-4A12-A040-DA292CB8D50F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a9028da7b62d739dacc7045870f82a8161d9f6a","datavalue":{"value":"https://doi.org/10.1007/bf00970009","type":"string"},"datatype":"url"},"type":"statement","id":"Q1107640$C43D498C-773C-4EF0-BDD8-761654303511","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1dd84c1987d08aa7a9876278fa16dfefc3a84e1f","datavalue":{"value":"W2057457167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1107640$548DD156-B0CA-4396-832C-A9BDDA903B56","rank":"normal"}],"P1643":[{"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":"5aaa7d5805c0897b2c27b44f08f83b6a41fb919e","datavalue":{"value":{"amount":"+0.9216289520263672","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":"Q1107640$8463F8D3-9A1A-4CC8-AEC7-AE4E58532540","rank":"normal"},{"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":"5de8239fbd8cb8c5142c6ed87ac692c521cc7fab","datavalue":{"value":{"amount":"+0.8837218284606934","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":"Q1107640$E5C3DA7D-53D0-48DF-9E72-90635DD8B202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0997f020420f84743bed511f4b302514b044b83d","datavalue":{"value":{"entity-type":"item","numeric-id":4012135,"id":"Q4012135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1e0b8244c99f180581c02c5fbe0e282a2f03a94","datavalue":{"value":{"amount":"+0.8824020624160767","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":"Q1107640$CAD435D6-9DED-440F-88B8-645522B17D0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"590afcd529a9060b7147dc54af56962e57a3560d","datavalue":{"value":{"entity-type":"item","numeric-id":3831180,"id":"Q3831180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"737c6a086d751dfbfd701f21ebba565c77ce20cc","datavalue":{"value":{"amount":"+0.8766160011291504","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":"Q1107640$9860C6D8-A36C-4864-9523-6EA7B689DA18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81a05c0f0013bc3331823312f1afc2f993bb048e","datavalue":{"value":{"entity-type":"item","numeric-id":4492883,"id":"Q4492883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c4046d0e25284df30d9ca18d721b625af0879e0","datavalue":{"value":{"amount":"+0.8577671051025391","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":"Q1107640$92C621D2-AEB2-4F3F-86C7-66758CE5A694","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1107640","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1107640"}}}}}