{"entities":{"Q1042871":{"pageid":1044719,"ns":120,"title":"Item:Q1042871","lastrevid":66613878,"modified":"2026-04-12T11:18:44Z","type":"item","id":"Q1042871","labels":{"en":{"language":"en","value":"Anti-commutative Gr\u00f6bner-Shirshov basis of a free Lie algebra."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5643393"}},"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":"Q1042871$8145D205-B10D-4B2F-8E0B-9AF85A8246FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20f7cd98c4a26c4935c3d6151196b529115388ad","datavalue":{"value":{"text":"Anti-commutative Gr\u00f6bner-Shirshov basis of a free Lie algebra.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1042871$9FEC5DA5-A12F-40EF-929E-B709A4F3BCD2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b0c3e3ccc47eaf3586077caba4ea3a760521a77","datavalue":{"value":"1190.16034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042871$3B3F3F4A-1EEC-4FA9-B5F0-FDEA3F7773EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c73dfb6eeb3815dbef9571e905f4eef1a9d4c04e","datavalue":{"value":{"entity-type":"item","numeric-id":172571,"id":"Q172571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042871$05B75BE5-8F51-40BE-9391-7EDEE17E2E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce2aa585463fdad1713c4c5d21add22e4ef2fa5b","datavalue":{"value":{"entity-type":"item","numeric-id":373876,"id":"Q373876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042871$2DE83E4E-7A02-47EA-9501-F178E913B2F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e518eabfe49fae334aa490f5abf2bb613b59262","datavalue":{"value":{"entity-type":"item","numeric-id":987702,"id":"Q987702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042871$B6B26262-ED44-44D2-8076-A953EEC8B09E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"458fca2b56f2582953e7095ef1b99c53dd52a001","datavalue":{"value":{"entity-type":"item","numeric-id":547811,"id":"Q547811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042871$9DF76D55-3CD1-40CE-A9B3-8E9A5C920A49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd9fc0199ecf320922cde3a32c661a80f4bb3d0","datavalue":{"value":{"time":"+2009-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1042871$E981B724-6ABF-4F82-AA3E-D3A64271BB35","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6616df2e8079f4719a160a358eef5dbd51fd0d8b","datavalue":{"value":"https://arxiv.org/abs/0804.0914","type":"string"},"datatype":"url"},"type":"statement","id":"Q1042871$F55EEAEE-314B-4193-BF2F-854E3282C9AB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"72e354cb90544551d2dffa3e8ce544157e8b7a8f","datavalue":{"value":"The paper under review starts with an interesting survey on the history of the discovery of the Hall basis of the free Lie algebra. The main results use techniques of Shirshov developed by him in the 1950-60's, with some improvements and translation in modern terminology. The main tools are the Composition-Diamond Lemma for free anti-commutative (non-associative) algebras and the composition of inclusion.   The authors use a direct approach to construct the free anti-commutative algebra. As an application they find the Gr\u00f6bner-Shirshov basis of the ideal of the free anti-commutative algebra generated by the evaluations of the Jacobi identity. The authors show that the set of normal words consists of the Hall words. In this way they provide a new proof that the Hall words form a basis of a free Lie algebra.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1042871$2053577F-9AE8-49C5-81AF-C57220D7D099","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"08212ce4707e37d420e92ca5e5c9b907cc6ec418","datavalue":{"value":{"entity-type":"item","numeric-id":375678,"id":"Q375678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042871$474B2B63-00CA-44A6-93EA-3D92B5027ECF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdc86b12961d2cdd08e1c70489b829d401a5a704","datavalue":{"value":"16S15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042871$C19FD85E-0508-4AA9-97C1-13D930375A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042871$52A74839-93CE-4C53-B39E-058B4AA22B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f254a07a459db04e7ab2cb6c12a95178f0b72f25","datavalue":{"value":"17A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042871$E0C163B0-1627-46C7-BD75-B65A7DA8E6E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9d37d0ec6faeadeba5243ed8e8430225071da4b8","datavalue":{"value":"17B01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042871$1457FBAF-8919-4137-9845-401A38DB6198","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f20f286720cba70f7e163a8537b0ddcb1d0ee7ff","datavalue":{"value":"5643393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042871$E1DDF320-0B0F-4769-AD9C-B758B73B0363","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fa2e5e0ea63b2f66c32fb3e3967cd7ae54e2e4e","datavalue":{"value":"free Lie algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1042871$61210405-070E-4FD4-B27C-6B508D9269BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4918722c908440e52e37471249ebf4b9527f3c45","datavalue":{"value":"anti-commutative algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1042871$FE1C7FDF-F062-4691-BD97-15EDEB8B5170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4514f0f38f10a7c0cd8ceb8a1ee430d440e1134d","datavalue":{"value":"Hall words","type":"string"},"datatype":"string"},"type":"statement","id":"Q1042871$367ABB46-5B2B-4A67-8D3B-62CB58D1F6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"661c4dff24c64863a7f35b892c3b1f6aa152dcc2","datavalue":{"value":"Gr\u00f6bner-Shirshov bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1042871$3AEA61F5-5ED7-455C-A135-47E9B8B7D01E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c3a0e3178618e82981600e9cc1c9c67a8cf1fb83","datavalue":{"value":"Q115378341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042871$04E40736-69F6-458C-821E-75E3E4CF5E09","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":"Q1042871$A9B1F26B-0EE8-459A-8004-23279C6002F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8bbe847998db33dcf68de2b1d5fedfbc8264de50","datavalue":{"value":"W1987868811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042871$FE0F0674-0D04-4A20-BAA8-B1D6FA9AD08D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d81041262e9bc097df086d67f5420c89b7bed0d6","datavalue":{"value":{"entity-type":"item","numeric-id":5798847,"id":"Q5798847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042871$0F55725C-B882-4190-A178-B9688E8EB418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d1fa670cc273a2a4f9556df1d5d642cc9a15727","datavalue":{"value":{"entity-type":"item","numeric-id":4754848,"id":"Q4754848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042871$7D75C00C-5AC7-40D1-A76A-C60F37BF1431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be068b11b175022240591054aa629b209299713e","datavalue":{"value":{"entity-type":"item","numeric-id":5765986,"id":"Q5765986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042871$7066D3E6-60C5-493D-B9E5-A0B0E6681FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8bb7ab3ed20975ecefb18a38f42e68dc68d4363","datavalue":{"value":{"entity-type":"item","numeric-id":3247176,"id":"Q3247176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042871$BE7C618B-446E-4B4D-9159-231647E0D1F5","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":"Q1042871$2BF08FA4-EBFC-43D2-A627-384CD8E4E834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca9bfd9278fe94406b0eb6d8a19d3c3d83dd58f","datavalue":{"value":{"entity-type":"item","numeric-id":3134850,"id":"Q3134850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042871$E8568240-B320-470D-B718-F13092167FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7270e81e9d40062b04e29b8020c1a02f9c10feba","datavalue":{"value":{"entity-type":"item","numeric-id":5920757,"id":"Q5920757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042871$9E3CE705-3A24-4602-92D8-DEBEAA6BE271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371502277bee1c9b37bce801baeda446441f56b0","datavalue":{"value":{"entity-type":"item","numeric-id":5545593,"id":"Q5545593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042871$DCB3265C-DF09-4C5A-855C-2CEE27A3D1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee41809eb94987470b36d7a72e5153b506cb469","datavalue":{"value":{"entity-type":"item","numeric-id":855732,"id":"Q855732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042871$865C996C-A0F4-4003-8089-C5FD76B7D93C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"627e3f618e4831f377af2fa074bb38364d5d4c35","datavalue":{"value":{"entity-type":"item","numeric-id":5519136,"id":"Q5519136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042871$EC0DB297-C04B-4CE1-B2EE-DC6534224015","rank":"normal"},{"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":"Q1042871$7DF63B13-2EE3-4840-A18C-B360E8FAFA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d87900de754ad2a3f7d55a3f915d6adeffa7325","datavalue":{"value":{"entity-type":"item","numeric-id":2544438,"id":"Q2544438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042871$EEB20EC5-8047-4A97-9B93-E7A7B7C5D56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59aa42ac56aa45dec0439c53d55143b19a866924","datavalue":{"value":{"entity-type":"item","numeric-id":2626871,"id":"Q2626871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042871$0AF4062C-FA7F-4F50-8230-0BDA0CEB1E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c324feea4d7b83834d421770e6f7684dd27fe68","datavalue":{"value":{"entity-type":"item","numeric-id":5797093,"id":"Q5797093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042871$B1A82A3B-89A2-405C-AE4B-BAADEE685229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f034d59391fc82b7f3089d2a4425d00cc2bda1","datavalue":{"value":{"entity-type":"item","numeric-id":5825747,"id":"Q5825747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1042871$61E2E4E5-3C6E-431B-830A-812D6B42CC0D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eac7f61ccd1b9a592fe804072d0b3243ba476d28","datavalue":{"value":"10.1007/S11425-008-0168-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1042871$608573BE-FC72-4925-B7BC-D14DEF928713","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09dc92314b4c1923ba91bdec3a509b028bc85f98","datavalue":{"value":{"entity-type":"item","numeric-id":373877,"id":"Q373877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a63b4323357d8596d2fdffadf7ebbd5cd7176bdf","datavalue":{"value":{"amount":"+0.8862534761428833","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":"Q1042871$49A7C884-FF74-4B2B-8725-3E95286509FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8b546b19b1849a677f30f749c9a30256fae2ea9","datavalue":{"value":{"entity-type":"item","numeric-id":2850823,"id":"Q2850823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fd4127ef0f637c633b5fa51c00f4d263186187c","datavalue":{"value":{"amount":"+0.8324018716812134","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":"Q1042871$AE66F8B2-313C-49E5-93C5-8006F97627F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"258cb529f6f71c1c1ff1f6a4b116419a18aed05f","datavalue":{"value":{"entity-type":"item","numeric-id":5403752,"id":"Q5403752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"667ba7a63679bc8aa9fe037c0f4eea199b8b334c","datavalue":{"value":{"amount":"+0.8313257098197937","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":"Q1042871$894C14A4-9C7F-49DB-BACE-E53118A4F2DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee9cb15ae1d2cfa3f92a1f1b6b26ecf9c7f7af1d","datavalue":{"value":{"entity-type":"item","numeric-id":935493,"id":"Q935493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d5aaea686a848db8b38316b93ed7715b90ce31c","datavalue":{"value":{"amount":"+0.8248214721679688","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":"Q1042871$AB115B79-56D6-4310-B2E7-FCF5380D233A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b1cb29bbab2be9a40e881f53d48a9d9b0c6cbc3","datavalue":{"value":{"entity-type":"item","numeric-id":855732,"id":"Q855732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"277542a19b4f0f55783ec3e76629511773ff07e5","datavalue":{"value":{"amount":"+0.8176953196525574","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":"Q1042871$D900E82F-F385-4EDF-A8B5-CB61806B8075","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Anti-commutative Gr\u00f6bner-Shirshov basis of a free Lie algebra.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Anti-commutative_Gr%C3%B6bner-Shirshov_basis_of_a_free_Lie_algebra."}}}}}