{"entities":{"Q752818":{"pageid":754667,"ns":120,"title":"Item:Q752818","lastrevid":64112946,"modified":"2026-04-11T17:43:47Z","type":"item","id":"Q752818","labels":{"en":{"language":"en","value":"A nilpotent quotient algorithm for graded Lie rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4179592"}},"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":"Q752818$1DB6DDD7-4E41-4F2E-B028-DDCB89B1A990","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1821609b1ce0dc286ca589e24568e47d943778e5","datavalue":{"value":{"text":"A nilpotent quotient algorithm for graded Lie rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q752818$EC77D2BF-228B-4006-8C4F-87CC78BC42C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc2bbb24fd58f679a05b53c2e049c895df356bbd","datavalue":{"value":"0716.17001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752818$53D7D291-3707-447E-A5EB-1ED667FDDC57","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"807b222793ca5c2a92ee4f0d94b287fae2ad72fe","datavalue":{"value":"10.1016/S0747-7171(08)80080-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752818$B9FFD6FF-6B38-479D-89F2-90A14E6D8A9D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf94dcc4990ebd8fdadb121f50602061215ca424","datavalue":{"value":{"entity-type":"item","numeric-id":606654,"id":"Q606654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752818$96D564C7-3BB5-40E9-9D3E-B82F730484F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"855746f3ea904e68990be307f76c4e7c2fdea49f","datavalue":{"value":{"entity-type":"item","numeric-id":468714,"id":"Q468714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752818$AAE370ED-9BA9-46B0-BB5E-0693058DB420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"620569786fadff7be8d7772eba7f15bf5002145e","datavalue":{"value":{"entity-type":"item","numeric-id":435964,"id":"Q435964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752818$B7D95DEA-294A-48AA-AFCF-C18BE4FC7CFF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752818$C982634C-490C-4410-A088-D53FB53D191A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q752818$0FD4D2E9-55D5-4C91-8B80-DC125E263ACD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1cacc5cafa38a9e2e96de13d8f0936168c6f8d93","datavalue":{"value":"This paper dedicated to Prof. G. E. Wall on his 65th birthday, deals with the description of the identities, which hold in the Lie algebra (over GF(p)) L(n,p) of the free n-generated group B(n,p) of prime exponent p. By the Magnus-Sanov theorem the algebra L(n,p) satisfies the (p-1)-Engel identity, and it was G. E. Wall, who discovered a new (Wall's) identity of degree 2p-1, which is known to be not a consequence of the (p-1)-Engel one for \\(p=5\\), 7, 11. While for \\(p=5\\) G. E. Wall did that by hand, for \\(p=7\\), 11 the aid of a computer was used by J. J. Cannon. Though now all multilinear identities of L(n,p) are known due to M. R. Vaughan-Lee, nothing else in known about which of them are really new (it is only known, due to G. E. Wall, that this may happen only at degrees \\(k(p- 1)+1)\\). This is one of the reasons, why computers are the essential tool in this area.    The present paper describes the nilpotent quotient algorithm for graded Lie algebras of characteristic \\(p>0\\). The corresponding program is a modification of the analogous program for nilpotent groups, developed in Canberra. The improvements include also the knowledge of the multilinear identities of L(n,p) mentioned above. Among the concrete results of this paper are:    (a) The class of the free k-generator 4-Engel-Lie-algebra of characteristic 5 is at most 6k (and hence the class of \\(B(k,5)/\\cap \\gamma_ i(B(k,5))\\) is at most 6k). This improves Higman's bound 25k.    (b) The nilpotency class of B(3,5)/\\(\\cap_{i}\\gamma_ i(B(3,5))\\) is at most 17 and its order is at most \\(5^{2282}.\\)    (c) The maximal of class 18 quotient of B(2,7) has order \\(7^{6366}\\) and its Lie algebra satisfies only consequences of the multilinear identities of Vaughan-Lee - Wall.","type":"string"},"datatype":"string"},"type":"statement","id":"Q752818$EB2AC04A-1E72-4B99-8413-63A6BE039045","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6925ce6e2a42d645b2c919a3cc743c54a2693b5e","datavalue":{"value":"17-08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752818$486AB188-D637-44BD-9B5A-515A6341CAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9d37d0ec6faeadeba5243ed8e8430225071da4b8","datavalue":{"value":"17B01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752818$4250215E-1B33-4892-A5D2-C0AD17E6C094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02b7f81904478f2ff25bed8a8c2f4d9c04176fef","datavalue":{"value":"17B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752818$12D40705-D55F-4AEA-B7B2-35A3EE6ADB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ff6be13673cd4fb4356941dd7dd212b9ec599e1e","datavalue":{"value":"17B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752818$7616538E-FBF1-4558-A757-212E46944AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"38edcb0292ca371407c43c7b95485d4a53fb371f","datavalue":{"value":"20F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752818$01EC6EF2-DD5C-4B5A-AEE9-55D07AC19D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752818$CD2D6EBE-2188-4807-A04E-E51F12A1D7C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a5e4b57a670ee788c7f89ba8dae300fb6f63bffc","datavalue":{"value":"20F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752818$46023774-17C2-41FD-AF86-2F4A3B64D5B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"754916c5d7bf69ea27e5d777547bad1eaf637065","datavalue":{"value":"4179592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q752818$2B0E1D06-EC3A-4633-B017-4186C0A6F33D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"640dbcce126ec8e3f89312e8b1b6bd5ead371408","datavalue":{"value":"Lie ring of groups of prime exponent","type":"string"},"datatype":"string"},"type":"statement","id":"Q752818$A3F6E7E6-A0CF-47F2-BDCE-0268DC869A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bca9d3c656fdd2fdeaae67b930932b12181e8bee","datavalue":{"value":"nilpotent quotient algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q752818$BB503843-8DDB-45C7-9471-9CDC339757A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa15490194a2d8464ea1387e136090e57e2c9057","datavalue":{"value":"graded Lie algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q752818$E4BFCD6B-5257-44E2-AF2E-C8CC79ED4615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54485b6dfcf4a8c6c83f857409a8777e412904f4","datavalue":{"value":"Engel-Lie-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q752818$638F65D7-E808-4539-90CA-54B38E1DDBD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"033dccafe427f2e65ccf38b6b807591b2f9515c6","datavalue":{"value":"nilpotency class","type":"string"},"datatype":"string"},"type":"statement","id":"Q752818$3919C896-EE56-4D4F-AE1C-EE35CE64E782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abf2445b745d8311ae9e0c2e40647bfc2587ce49","datavalue":{"value":"multilinear identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q752818$BB5ED0EC-1D2E-4ECD-BF54-8139D71B2687","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":"Q752818$B8B46A89-F991-4FAE-A6D6-AEE5249F4EED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"98260cf69be1b523909fa7a03c37d3647201d5ca","datavalue":{"value":{"entity-type":"item","numeric-id":3869534,"id":"Q3869534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752818$E5BAF764-1CD1-4CE8-84AD-820F1A6D34E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52a1dfe8afd60f082dc9854cb08de381994c0d5c","datavalue":{"value":{"entity-type":"item","numeric-id":4402128,"id":"Q4402128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752818$7D800A3E-CBFF-4DCA-8D71-2AB63D0D8E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500e1565af2f6758aacd046e05fbe7aec6044105","datavalue":{"value":{"entity-type":"item","numeric-id":3240867,"id":"Q3240867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752818$82096348-BE01-433F-856E-54C8B8D64AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967f304a9af8074ff760ac16b55f5a42a58bba85","datavalue":{"value":{"entity-type":"item","numeric-id":3669636,"id":"Q3669636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752818$5B51514B-4CA8-49AA-904D-7B9D82589AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb295df12ad362b305ae9e475e488a3f884110a2","datavalue":{"value":{"entity-type":"item","numeric-id":5540504,"id":"Q5540504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752818$A6849118-3849-4179-ABD3-BE943CFF33D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"112dfbaff0b4b1379928910725d8154e33405ee8","datavalue":{"value":{"entity-type":"item","numeric-id":5340962,"id":"Q5340962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752818$0A042BE0-91E7-4706-AD0A-9063ECC41B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f3c8c641f752c57dfdedf22d825bc3c458a7a1","datavalue":{"value":{"entity-type":"item","numeric-id":5809231,"id":"Q5809231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752818$0747181F-530A-431A-9FA5-A3D54BAC9F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5c8c4bf98761c9464a1bae95532eb0510510bba","datavalue":{"value":{"entity-type":"item","numeric-id":3679379,"id":"Q3679379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752818$E7B3EE96-6AED-4760-BC0E-56F2418090E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e46216af5fb07b81fd6e2e6250a42262241b13a8","datavalue":{"value":{"entity-type":"item","numeric-id":3333234,"id":"Q3333234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752818$D6286794-147C-480B-BFA1-77203CC5A76C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b6b4f8313574195b99407bf87e842bc594f155","datavalue":{"value":{"entity-type":"item","numeric-id":4774207,"id":"Q4774207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752818$2BB40269-3441-43B4-93EC-64F0E7481941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1dcb47fc172db04871a535a524526e67b6184d","datavalue":{"value":{"entity-type":"item","numeric-id":4172226,"id":"Q4172226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752818$4C611A99-92E5-4C90-BFCA-A893E29921B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"150756dbe68da0da54dfd249063593bb3e8750b3","datavalue":{"value":{"entity-type":"item","numeric-id":1082436,"id":"Q1082436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q752818$FB47A140-FD93-477E-B23B-6A83B9E2BD14","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7f0e8b33b60d0bfc74122da93ce2612103dcec3","datavalue":{"value":{"entity-type":"item","numeric-id":3349090,"id":"Q3349090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2047d91e4d46a26aad9cd5be5f134d37448aaa6a","datavalue":{"value":{"amount":"+0.8590044975280762","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":"Q752818$122DD528-6F45-4F87-A7A0-5882B2B826C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6926a639d96cb7503d5ef0cffa671ea6bd8c75af","datavalue":{"value":{"entity-type":"item","numeric-id":3836508,"id":"Q3836508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92cfaeffb3a528869edafabca561233aab403691","datavalue":{"value":{"amount":"+0.8122615218162537","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":"Q752818$CA1D75CB-EF82-4B69-BE7A-8B98EE794D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d639f50f621de62fb7ff551b76463a8c89df2ab9","datavalue":{"value":{"entity-type":"item","numeric-id":4321211,"id":"Q4321211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1c0d2fe147b1e7574538180ac1e797d4dc93c2c","datavalue":{"value":{"amount":"+0.805012583732605","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":"Q752818$46BF572E-B6A9-4753-BD2D-450F8A9BB5BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d9b42aea41e452a751d9a0fb3939bca0b2ddcf","datavalue":{"value":{"entity-type":"item","numeric-id":4705903,"id":"Q4705903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1c0d2fe147b1e7574538180ac1e797d4dc93c2c","datavalue":{"value":{"amount":"+0.805012583732605","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":"Q752818$8274BC4E-820A-43AF-A530-13BCC40534D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77ad6738484d8d7bdd78ece98ac2fe9dd57c25fd","datavalue":{"value":{"entity-type":"item","numeric-id":3743468,"id":"Q3743468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdb1940cbf22b9ea62fdc68dba6e71a4642e26af","datavalue":{"value":{"amount":"+0.7982620596885681","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":"Q752818$88B5D878-BB1A-4A39-8F9C-632C0F94DBBB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A nilpotent quotient algorithm for graded Lie rings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_nilpotent_quotient_algorithm_for_graded_Lie_rings"}}}}}