{"entities":{"Q1311114":{"pageid":1321864,"ns":120,"title":"Item:Q1311114","lastrevid":70114224,"modified":"2026-04-13T12:32:05Z","type":"item","id":"Q1311114","labels":{"en":{"language":"en","value":"A Lie algebra with a single defining relation need not be residually finite"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 484276"}},"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":"Q1311114$A70E6FD0-DF78-45B1-B7B2-6E1A996729A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0d13264778cbd3d2269a83e868a1374588dc642","datavalue":{"value":{"text":"A Lie algebra with a single defining relation need not be residually finite","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1311114$5C36BB57-4A1A-4F25-8E96-F9EF5E7EC78E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ed9d4c5673e318c55cd64b28d28331ca09d133a","datavalue":{"value":"0791.17004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311114$1282A253-319B-48B5-8628-EA235EE071A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6de8dad2c964aacc5a1bd4c79bd599cde08ce5b9","datavalue":{"value":"10.1007/BF01250541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311114$D7A20B84-B053-4BBB-A186-C17F8B353B7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f27b200187b34f2c405e17ce4b86cd835e3f3df","datavalue":{"value":{"entity-type":"item","numeric-id":1051077,"id":"Q1051077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311114$FB7AA286-7745-44E8-9EA0-92A55A1D0077","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311114$F5C953CE-8D72-4E84-AE0D-D84C1E93CD92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"027b89baff93515bcff52fbfef2ae31a0ae261dd","datavalue":{"value":{"time":"+1994-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1311114$69C3DF96-F8BE-4EE0-9075-30546C8DE207","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e82ba930c7de5d03908d5e8a7c772cc83860515e","datavalue":{"value":"Assume \\(L\\) is a Lie algebra over a field \\(K\\). The main theorem in the note under review states that if char \\(K=0\\) and \\(L\\) is residually finite (i.e. the intersection of all ideals of finite codimensions in \\(L\\) equals 0) then there do not exist nonzero elements \\(a,b,x\\) in \\(L\\) such that \\(ax=a\\) and \\(bx=b\\). As consequences of this theorem the following descriptions of a Lie algebra \\(L\\) in two generators \\(x,y\\) such that \\((xy)x=xy+x\\) are obtained.   (1) \\(L\\) is residually finite if and only if char \\(K \\neq 0\\).   (2) If \\(L\\) belongs to the variety of all 3-solvable Lie algebras then \\(L\\) is residually finite if and only if char \\(K \\neq 0\\).   These facts yield that one cannot use residual finiteness in the case char \\(K \\neq 0\\) in order to investigate the word problem in Lie algebras with one defining identity. (For the case char \\(K=0\\) residual finiteness plays an essential role, see, e.g. [\\textit{A. I. Shirshov}, Sib. Math. Zh. 3, No. 2, 292-296 (1962; Zbl 0104.260) and \\textit{V. Talapov}, Sib. Mat. Zh. 22, No. 4, 176-181 (1981; Zbl 0477.17005)]).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311114$936844D8-F31A-4337-AAD2-2CECE395C567","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"67f2bd81fb9cb34652cde842deff4ca5a4d685f9","datavalue":{"value":{"entity-type":"item","numeric-id":185625,"id":"Q185625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311114$53124DB6-5E68-4165-8220-E3533E3B3FD1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9d37d0ec6faeadeba5243ed8e8430225071da4b8","datavalue":{"value":"17B01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311114$82D2D2F8-D584-405F-9303-D80EFB9930C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2c1bc14cfdc7229fee5c71b5c4e5c4888c771b2","datavalue":{"value":"08A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311114$3896F1A1-5CE2-4BB8-AF28-DF955EE5C266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02b7f81904478f2ff25bed8a8c2f4d9c04176fef","datavalue":{"value":"17B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311114$8A3D843C-675E-4E54-842D-A9C5BEB23C0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f4842f949f38859081192acf2972b82b77b6356","datavalue":{"value":"484276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311114$C2232B5C-82BB-4566-AE97-02703B02E622","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c89d87bfef87f699e47c65734cf580fb26c89c9b","datavalue":{"value":"variety of Lie algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311114$5BEE3908-32D9-465F-BD77-1E90473F559C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8fc1fd838d4bfa84d279ff5985257f26695a2f0","datavalue":{"value":"3-solvable Lie algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311114$10E6DC0C-818F-4AE5-8E13-5B336D7B1419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a510a71529f05c06717f156caa51865fae556d0","datavalue":{"value":"residual finiteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311114$70321514-31A9-4F27-83EA-0D8039C0DF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1311114$EA3AD83C-2652-4FCF-A15A-E2A3325636A7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cd3b1aa33ed6e43f4017f7652718bf429f1d9d47","datavalue":{"value":"Q115393781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1311114$9E142622-B023-4532-9BA6-91CE9BF6F530","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":"Q1311114$1AB99E7F-6522-404A-8CC4-DEF7029F6A3D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a6787481fcf56247063c4a3bddfd7f43a7f748c","datavalue":{"value":{"entity-type":"item","numeric-id":3289053,"id":"Q3289053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311114$2430ADE1-828F-4E1E-A051-5BF93DF1CD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71b7c3bd6465db48a846fdf79f2be17a66611424","datavalue":{"value":{"entity-type":"item","numeric-id":1160739,"id":"Q1160739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311114$9A59F3CC-5B2F-44FB-BAEA-2CF6B205396C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b742148900482b1b92a3d19352e4baabc645466e","datavalue":{"value":{"entity-type":"item","numeric-id":5522249,"id":"Q5522249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311114$0178BAEE-7F98-4CC2-AD26-361AE8E982F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1189c8fdbd03a5a2ab0200520fecdbfb0fd1f74","datavalue":{"value":{"entity-type":"item","numeric-id":3688524,"id":"Q3688524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1311114$72848762-3DB0-40AC-82C4-4994A249636A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f9379061004098eb05d269365fc77032a81da2a","datavalue":{"value":{"entity-type":"item","numeric-id":1093715,"id":"Q1093715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0d629707cfadc45a6a2fa031760ea550196cca9","datavalue":{"value":{"amount":"+0.8165355324745178","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":"Q1311114$B03BE1CF-F048-4CD5-8421-C3A5FD3C8E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e701b06db6a9268677d8e6620b620c277c9b0645","datavalue":{"value":{"entity-type":"item","numeric-id":3804873,"id":"Q3804873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b497932b4bb9b5bcef97c05589ead1ebdf8c155","datavalue":{"value":{"amount":"+0.7936144471168518","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":"Q1311114$487FF0D2-A3F1-4E84-8B84-0047DC385A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f14c2867995c78ecf9d8b6753a9529af8080d337","datavalue":{"value":{"entity-type":"item","numeric-id":1383665,"id":"Q1383665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21b96bf44f28984b9eed3af7fe44c98c3b94b47e","datavalue":{"value":{"amount":"+0.7770651578903198","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":"Q1311114$9BD35584-99C3-49F5-BAEC-83C0DC8EA8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a53377584a702e583a61d9363f3b2faf87b53b0f","datavalue":{"value":{"entity-type":"item","numeric-id":1333644,"id":"Q1333644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ceb95b940347a4937173e100e855b9d7061e0e9","datavalue":{"value":{"amount":"+0.7583245635032654","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":"Q1311114$3C5AF206-26DC-4A1F-B455-8AB855ACEE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a58649e35b5e51df2244a241694e79c33213a6d","datavalue":{"value":{"entity-type":"item","numeric-id":3060829,"id":"Q3060829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4c968b980faab36f475ec9b033eed079be76ec8","datavalue":{"value":{"amount":"+0.756936252117157","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":"Q1311114$A8372AFB-C2C2-4EE9-AB87-81305F7B5699","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Lie algebra with a single defining relation need not be residually finite","badges":[]}}}}}