{"entities":{"Q1318103":{"pageid":1328853,"ns":120,"title":"Item:Q1318103","lastrevid":47239651,"modified":"2026-01-01T02:37:44Z","type":"item","id":"Q1318103","labels":{"en":{"language":"en","value":"Universal enveloping algebras of Leibniz algebras and (co)homology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 537291"}},"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":"Q1318103$0E89168B-BF0D-4A7F-909C-ABB218C4CE52","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f06cfc0a0970f9ebe5dba86ad9fbfc888477c3c2","datavalue":{"value":{"text":"Universal enveloping algebras of Leibniz algebras and (co)homology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1318103$5A392EA5-DF2A-4343-A2F8-9EA730A30478","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d546644d7818891acfe3df5b94545356c6bfc29","datavalue":{"value":"0821.17022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318103$3DB0B072-C4AE-4CA6-BB82-E94BB9DB26FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8c04b7f7628768835ac8ae5508d3096a0015a842","datavalue":{"value":"10.1007/BF01445099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318103$2FE29B2A-EC8A-463D-A1A0-29CC69C63F7B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85e6d1702d02f38fa0eac9196d6a1e3da8f8a295","datavalue":{"value":{"entity-type":"item","numeric-id":581529,"id":"Q581529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318103$EBDCF844-613D-41FD-8191-E9A6F09C2E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1079fd76949fad4643ef96ebbcda12306405631","datavalue":{"value":{"entity-type":"item","numeric-id":1318036,"id":"Q1318036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318103$0D4D5B65-0948-4B68-9B45-0A13205C3C58","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318103$B6C49ACC-7308-45EC-8E4B-56511AD9CF74","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1bb05cfab2ff143abac941712f0af70d5b1e91aa","datavalue":{"value":{"time":"+1995-10-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1318103$9DF8E03E-829F-431F-8808-D7D05242F102","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f68e1ff3c436534bf6c720862d96868c8b1e489","datavalue":{"value":"https://eudml.org/doc/165079","type":"string"},"datatype":"url"},"type":"statement","id":"Q1318103$8D8E9443-6EEB-45A1-915C-B97D6251B768","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b9d88362ec3808df0f59ad2e47f5bcdf24301e81","datavalue":{"value":"The Leibniz algebra is defined as a module \\(\\mathfrak g\\) over a commutative ring \\(k\\) endowed with a bracket \\([-,-]\\) satisfying the identity \\([x,[y,z]] = [[x,y],z] - [[x,z],y]\\). We get it when striking out in the definition of the Lie algebra the condition \\([x,x] = 0\\), keeping at the same time a suitable form of the Jacobi identity. (The above form of the Jacobi identity requires that \\(L\\) is a right module over itself.)   In the first section the authors present several examples of Leibniz algebras, describe explicitly the free Leibniz algebra, define representation and corepresentation of a Leibniz algebra, and introduce cohomology \\(HL^*\\) (resp. homology \\(HL_ *\\)) of a Leibniz algebra with coefficients in a representation (resp. corepresentation). The cohomology is used here for the description of abelian extensions of Leibniz algebras.   In the second section the enveloping algebra \\(UL({\\mathfrak g})\\) of a Leibniz algebra \\(\\mathfrak g\\) is defined (with the equivalence of the category of \\(\\mathfrak g\\)-modules and the category of \\(UL({\\mathfrak g})\\)-modules), and a theorem of the Poincar\u00e9-Birkhoff-Witt type is proved.   The third section brings the main results. Here cohomology (resp. homology) of \\(\\mathfrak g\\) with coefficients in a representation \\(M\\) (resp. corepresentation \\(A\\)) is expressed in terms of derived functors. Namely, it is proved here that  \\[ HL^*({\\mathfrak g},M) \\cong \\text{Ext}^*_{UL({\\mathfrak g})} (U({\\mathfrak g}_{\\text{Lie}}), M)\\quad \\text{ and }\\quad HL_ *({\\mathfrak g}, A) \\cong \\text{Tor}^{UL({\\mathfrak g})}_ * (U({\\mathfrak g}_{\\text{Lie}}), A). \\]  (Here \\({\\mathfrak g}_{\\text{Lie}}\\) denotes the Lie algebra arising when factoring \\(\\mathfrak g\\) by the submodule generated by the elements of the form \\([x,x]\\).)   In the last fourth section we find the formula \\(HL_ 2 (sl_ n (A),k) \\cong HH_ 1(A)\\) expressing the cohomology of the Lie algebra \\(sl_ n (A)\\) considered here as a Leibniz algebra (\\(A\\) is here an associative and unital algebra over \\(k\\)) in terms of the Hochschild homology with coefficients in \\(A\\). This generalizes results by \\textit{S. Bloch} [Lect. Notes Math. 854, 1-23 (1981; Zbl 0469.14009)] and \\textit{C. Kassel} and \\textit{J. L. Loday} [Ann. Inst. Fourier 32, No. 4, 119-142 (1982; Zbl 0508.17003)].   Application to central extensions of Leibniz algebras is given here, and it is also proved that the Virasoro algebra is the universal central extension of the Lie algebra \\(\\text{Der} (\\mathbb{C} [z,z^{-1}])\\) not only in the category of Lie algebras but also in the category of Leibniz algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318103$7A80D3C7-C1FE-4B99-81AB-F9D189475F98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6c6bf4b949280ef7d54773ff374559f669592bcf","datavalue":{"value":"17B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318103$6ED470F0-5B81-442D-B3AC-449DCEE77F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ba521b58bfbedda1bfb786f9a40dafbfa7fed44","datavalue":{"value":"17B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318103$C65FD470-EC2A-4E9E-A168-9907A40FE473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b7c8b951f7e1c6a77c10fd69e1169590d82439c3","datavalue":{"value":"17A32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318103$C202A47B-8DD9-42A4-B1CE-10DBF377AE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"60572561c94bb0a5de4329d3c7bf8a47080901dd","datavalue":{"value":"18G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318103$D4E09C6F-8C0D-496C-9396-10E527C49360","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60e849a3303d5cf419cfe4ccd7e43def3fb8307f","datavalue":{"value":"537291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318103$12973ECE-E45B-472E-A98C-45559A9639BA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c4334963f7a1b48269afa36b6c74a5373319b18","datavalue":{"value":"Tor-functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318103$1DF93774-651D-48FF-8275-74F4AD445E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b43061566df51a9989467e14c0f281b084f0311","datavalue":{"value":"Ext-functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318103$55621AEE-47EB-44E1-92E9-68C3C8B5B02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e4726b6d0d3a6d66808e7c6ead6129644fc80e1","datavalue":{"value":"Leibniz algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318103$817F62BF-8208-42F3-94F8-F13777A69D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"729ce7d30b006e0a0feac3738fe17ebb7f491306","datavalue":{"value":"representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318103$ACB823A7-0A1C-4DBA-B647-D572A37FD62A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfb18f23db576b3afa0fa495273229433221cc6d","datavalue":{"value":"corepresentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318103$C80CC373-1777-4AC3-8B40-EA1B291086EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe23ede4b83906a9881e181c5d385ed4f2966eca","datavalue":{"value":"enveloping algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318103$0166012A-890D-42B6-ADCC-FE5E146AEB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce432fd4b43866dcaf8d59af2247f1db44fc3542","datavalue":{"value":"cohomology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318103$E5B9DD9B-B315-41AD-9C7A-83AB4D663D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d317d712471535cc86cf9605447e5d2912d60de1","datavalue":{"value":"homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318103$84D2C4E0-0419-4BE5-B0FD-198AADF79B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8011d55f8c0409ca304ebb090bc20772b3fa56b4","datavalue":{"value":"central extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318103$42D58B13-5650-4FCC-9E13-9E4611519C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d50888ae2abc837fa4cd2d3abcd2c8cbcd35287c","datavalue":{"value":"Virasoro algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318103$4DD7244C-A497-40A0-81B4-AA9DC49DC533","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b62418a1793a0d53c69751cb701b30903a105abc","datavalue":{"value":"Q29395018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318103$55A9C4FC-7278-4C0C-A838-1E1224E20175","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a4e888fc92d464e7386db63ff78a249c2b087628","datavalue":{"value":{"entity-type":"item","numeric-id":356530,"id":"Q356530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318103$3130DC96-516F-4562-80F9-EA5CB9CA9237","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":"Q1318103$139867FD-5519-4F1C-A194-D7DEE455AF98","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c216aa04883f3c27ac38d32ad4bf54c6a35c9cb","datavalue":{"value":{"entity-type":"item","numeric-id":3240881,"id":"Q3240881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318103$DA283A09-49C5-4047-835B-9295990C2742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab86a8c84c5879698e1310e11375196d796b4c3","datavalue":{"value":{"entity-type":"item","numeric-id":5648522,"id":"Q5648522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318103$B0E85BB0-9374-43D6-9541-42FB56C4152C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47eef7785fb722b5bf668874b2479a74ae4b0882","datavalue":{"value":{"entity-type":"item","numeric-id":1164122,"id":"Q1164122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318103$2161CDAE-E0C1-45AD-BF40-137B84B6031C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6fc6d0eef02220767f3493dcc12733f261af34d","datavalue":{"value":{"entity-type":"item","numeric-id":5288307,"id":"Q5288307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318103$B43D5CFF-2359-42F8-A00C-771DEBA55369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a27720958d6322abd8a2d1c967ede69de81266ee","datavalue":{"value":{"entity-type":"item","numeric-id":1058582,"id":"Q1058582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318103$5D078D11-623F-4E60-8FB0-5F6FBAC37D1E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2453269e3361bbc43b80bb289de0bc0836bc41ff","datavalue":{"value":{"entity-type":"item","numeric-id":4289255,"id":"Q4289255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b14a6eccd3504c1c183fcf035225a5d9d5d040a3","datavalue":{"value":{"amount":"+0.8567567467689514","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":"Q1318103$32C351EF-DC15-4F0D-87DF-F379717942FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc66f5da2af550682a249f9dd8443b43fe74571e","datavalue":{"value":{"entity-type":"item","numeric-id":2216547,"id":"Q2216547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ae9d594106e13c9502e6d8e1c8faa99fb389e56","datavalue":{"value":{"amount":"+0.8560675382614136","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":"Q1318103$6265F73E-B45C-40CA-B4BF-A3376AFEF79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7dc60b6c9adb702537863cbed706e32045a9c08","datavalue":{"value":{"entity-type":"item","numeric-id":3448311,"id":"Q3448311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"397d7d073437f0ac343bea63a4f065c4c9e17492","datavalue":{"value":{"amount":"+0.8487728238105774","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":"Q1318103$7C1846E0-CE0D-459C-8F38-18D691B002CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cf412cf6c9da8d00360c19f0d10e7745183a930","datavalue":{"value":{"entity-type":"item","numeric-id":546324,"id":"Q546324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a2e58a9463c2c4be22388de4fea3579036913d1","datavalue":{"value":{"amount":"+0.8465415835380554","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":"Q1318103$5B58093C-B628-4C4B-9C91-2021B0C9E6BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5bfd4d4a1c19cb44b03f3d6386708bd5123340b","datavalue":{"value":{"entity-type":"item","numeric-id":5431648,"id":"Q5431648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e97e7c2a96ae7dd27fb4b1bcfd7f34e212e7f9b9","datavalue":{"value":{"amount":"+0.846484899520874","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":"Q1318103$DE1C1049-124D-4114-B0BA-4A5EF5C66889","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1318103","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1318103"}}}}}