{"entities":{"Q1118677":{"pageid":1129426,"ns":120,"title":"Item:Q1118677","lastrevid":66769479,"modified":"2026-04-12T12:44:30Z","type":"item","id":"Q1118677","labels":{"en":{"language":"en","value":"Algorithmically insoluble problems about finitely presented solvable groups, Lie and associative algebras. III"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4095718"}},"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":"Q1118677$FBAED5FD-2B4C-4848-80A8-3B5533CFB886","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4591f165f0cbcc2321bd19d91ff0f1cdbd712df4","datavalue":{"value":{"text":"Algorithmically insoluble problems about finitely presented solvable groups, Lie and associative algebras. III","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1118677$C1063620-F167-409D-AED9-01C14F4C3572","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ee4a95d54876fa8fb26503eb12b6742d1d9218c","datavalue":{"value":"0669.17019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118677$0F09FD6F-3911-41B7-A411-4A25DA1D4740","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e912b278d707b99671654d579207ff9dfc49c323","datavalue":{"value":"10.1016/0022-4049(88)90022-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118677$8C83FEB8-0231-4695-927B-A1A92E3D6FCA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc35669eb1adb45ee22100557a37b96fc4fe6bb8","datavalue":{"value":{"entity-type":"item","numeric-id":473133,"id":"Q473133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118677$E0ACC4FD-EFFB-47A2-94FD-95FC6DDE5B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12c58198c3d0b22a092b2689c9e597b941861988","datavalue":{"value":{"entity-type":"item","numeric-id":599170,"id":"Q599170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118677$1C81317F-454E-4F2F-8D3E-8EDF9F25EDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"238d828199312a448029477c8576c0a75197d7d2","datavalue":{"value":{"entity-type":"item","numeric-id":514624,"id":"Q514624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118677$14BD246D-FB69-4728-AE58-DF3DCA44CD35","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":"Q1118677$E91047A5-5528-4D21-BBD5-96CA48D28727","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1118677$D191E1B8-6CC3-400E-922A-2E4C49EF1D31","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ec58a120261dfd4736cfb8e7808abc5f13e97363","datavalue":{"value":"[For part II, cf. J. Algebra 97, 278-285 (1985; Zbl 0579.20031).]    The authors give the construction of a finitely presented Lie algebra over a field of characteristic different from 2 which is 3-step soluble, with insoluble word problem. The authors notice that they were strongly influenced by the analogous result for groups due to O. G. Kharlampovich. They also indicate some flaws in the original example of \\textit{G. P. Kukin} [Sib. Mat. J. 24, 221-231 (1983); translation from Sib. Math. Zh. 24, No.2, 85-96 (1983; Zbl 0519.17009)]. Using their basic construction the authors prove the undecidability of some other algorithmic problems in the class of finitely presented 3-step soluble Lie algebras, e.g. the isomorphism problem, etc. As in the group theory case, the authors make use of so-called Minsky routines, the graph-theoretic equivalent of a device traditionally called a programmed Minsky 2-type machine.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118677$21FCD819-A613-4B19-BA76-3B217CA02D43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"72adfcbd80b22960ac05657f71a769e18b11c753","datavalue":{"value":"17B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118677$0CC1AC37-3489-428D-A1AA-B12D7582D116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02b7f81904478f2ff25bed8a8c2f4d9c04176fef","datavalue":{"value":"17B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118677$F2FBFBB9-55D9-458E-884D-22C69EDD3988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118677$F3710C28-EFAC-49D1-9935-0029E36C01AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d49cb9fcfe84d276a9eec9f200c65c30c48f7044","datavalue":{"value":"4095718","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118677$6AABAFDD-512C-473E-B489-AC678E8FA929","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41e0abda3fdc170ac85aba0093a048dea384ddca","datavalue":{"value":"solvable Lie algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118677$A981EE9A-8358-4865-9BDF-070C0A969F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e26dc3a158712c0a1e3690e20b53a0bc633f7153","datavalue":{"value":"derived length","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118677$663D01DF-34F6-4740-8F0C-1C9C97294B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ff4a01339e128889e0e23c13a30efd23cfa132f","datavalue":{"value":"finitely presented Lie algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118677$6F30E7CA-F799-4DCF-99FA-DA4FDD116E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e95677ae2157c90b9c2e7d8bef65f3f8845954e","datavalue":{"value":"3- step soluble","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118677$C4433962-84A2-4279-8997-62D994657EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79c284bca20681f999fc1e29a71c38142a5d319b","datavalue":{"value":"insoluble word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118677$637CD160-5049-4538-9E5B-958D1DD323CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118677$00DF2BA8-77D0-4631-9BA2-57AB9E636D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c5f4b362ac670040d01985b5bb04f8548e4403b","datavalue":{"value":"algorithmic problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118677$2F8A535A-7752-4BD0-955F-567FF7E652E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b181606adcba6432b0019d481c67f516d9807857","datavalue":{"value":"isomorphism problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118677$EEAEF696-60B5-469E-AD4E-249CD52237D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36308cc08f534a9cfc76e50cdb2965a3cb0f7a2b","datavalue":{"value":"Minsky routines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1118677$74515561-CB6D-415C-BB91-1DE9C30CDD81","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2a4a124c809abf5aa9e302822996b25f16d192f7","datavalue":{"value":"Q115364444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118677$C0C2D091-1C9C-49CC-98B3-55C4E4E060E1","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":"Q1118677$C35F3CDA-2D42-4560-A9D4-E8188A73F265","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"79a665e78ba381e3cfa29681d4a4971b3c31afd6","datavalue":{"value":"https://doi.org/10.1016/0022-4049(88)90022-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1118677$E4719A06-5945-4580-8A1C-BE282AAA6C0F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1c0d7851ef76f7f143c73f9c3f6c5a7181231abe","datavalue":{"value":"W4213030424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1118677$D9349D4C-50C6-4944-AF33-4ED14400063C","rank":"normal"}],"P223":[{"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":"Q1118677$EC439873-4B0F-4618-8327-87BA9F7540EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e043617528906fc30761111b82c967ed23c36e7","datavalue":{"value":{"entity-type":"item","numeric-id":1065930,"id":"Q1065930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118677$EA170A1F-6A40-4BD6-A973-CE33F9F72710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f1d37aa9f5859a63c9cbf5d6d550accb00225fe","datavalue":{"value":{"entity-type":"item","numeric-id":1067006,"id":"Q1067006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118677$51EEBF71-0294-4864-963C-5A21E905908D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3abf6cc0c3833a65cd151988fd2aed2ebfc75569","datavalue":{"value":{"entity-type":"item","numeric-id":3957135,"id":"Q3957135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118677$0D4AC4BB-58F6-4473-B191-ABA20C8DC3C5","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":"Q1118677$93284FF1-6C9A-465D-A934-A393FB3471B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68ee5e3ccb9df347fdb38d61109351ad2ffac26d","datavalue":{"value":{"entity-type":"item","numeric-id":5596230,"id":"Q5596230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118677$75FB922A-E659-4EAB-8EDD-84BD2D9DEB05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118677$F4732497-4D04-4D3B-A356-9E99791EB0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e246d11658e7414b7c464405d0f6a88398dc9d5","datavalue":{"value":{"entity-type":"item","numeric-id":1076783,"id":"Q1076783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1118677$3F0DE46E-B902-4CF2-9573-9EE5D49EFEB1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1980a446ab874701721784245cd8d678c16163b3","datavalue":{"value":{"entity-type":"item","numeric-id":1067006,"id":"Q1067006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1f18cd7850179624643190a7e6df5e1d2dc649d","datavalue":{"value":{"amount":"+0.8966676592826843","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":"Q1118677$A8AB3CAE-81EF-4FDB-84E6-5AD185F44413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00c36c39750fe90a6488dd0a0bfe61201b65730a","datavalue":{"value":{"entity-type":"item","numeric-id":3342745,"id":"Q3342745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13dbf077fa00e1f0c18517c6f5cfb8d24cc46f2f","datavalue":{"value":{"amount":"+0.8951605558395386","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":"Q1118677$E09BAFE1-7C20-4E24-90D6-F47A22784993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d21d870b14978fadeda6ad960c453c2c1f6c91d0","datavalue":{"value":{"entity-type":"item","numeric-id":1065930,"id":"Q1065930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a8b67c96d89049f21429efd30330a7c6cfeda30","datavalue":{"value":{"amount":"+0.889949381351471","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":"Q1118677$DB6EEB13-73CC-4C1E-BF9D-637CEDF71B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2095185a43672231a03178dbd7b62b2ab14c9d1","datavalue":{"value":{"entity-type":"item","numeric-id":1145202,"id":"Q1145202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2266300fbc2da1c6f71059dbe1933333e2d999e5","datavalue":{"value":{"amount":"+0.8660101890563965","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":"Q1118677$DDE968E5-129B-4C05-B05D-F4E527780D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"549d0c38deb23374c50b697a974a09d6b71286bc","datavalue":{"value":{"entity-type":"item","numeric-id":3033961,"id":"Q3033961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f80f39924aa99bbb2d25bc3a14bd5c61976da5a8","datavalue":{"value":{"amount":"+0.8621670603752136","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":"Q1118677$D52E117C-C63D-4D33-8122-EDD8B227DC67","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithmically insoluble problems about finitely presented solvable groups, Lie and associative algebras. III","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algorithmically_insoluble_problems_about_finitely_presented_solvable_groups,_Lie_and_associative_algebras._III"}}}}}