{"entities":{"Q4474893":{"pageid":6504492,"ns":120,"title":"Item:Q4474893","lastrevid":109348973,"modified":"2026-11-12T05:33:11Z","type":"item","id":"Q4474893","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2079095"}},"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":"Q4474893$B2EC3FDA-A895-49E1-8AAE-518AAF969758","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5c722a7066a24301f88170986753d599ca78273","datavalue":{"value":"1090.17001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4474893$4AF1B68C-7F00-496B-8E5E-DAB62D0B8BF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7e491db46cad4d67e867f94df289b4c943464bf","datavalue":{"value":{"entity-type":"item","numeric-id":1063098,"id":"Q1063098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4474893$5D88C8AA-06EB-4396-8BE0-6593DAD709A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfcb25c4f579c1a68ad4975cbaaab76a4f20b92e","datavalue":{"value":{"entity-type":"item","numeric-id":375678,"id":"Q375678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4474893$8ADE3465-3CD5-4ACB-8D3C-C8E619745106","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eeede373df1a0b010ab2ab3b6b8df65d4429880f","datavalue":{"value":{"time":"+2004-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4474893$40743516-F981-4343-A00E-FC83234CA71B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b7c8b951f7e1c6a77c10fd69e1169590d82439c3","datavalue":{"value":"17A32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4474893$107B9566-1505-49E9-B345-8BF36C9E1A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9c30bc25742c91e863e72e793103d6e0955029fb","datavalue":{"value":"16R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4474893$55AB5A88-780A-4E45-AFE2-8D2EEE1ADEA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02f434ae08324154a7ec93f17d24dfdae4eded70","datavalue":{"value":"14M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4474893$99E82CB1-2F44-463F-98D5-498C9D6DFC52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"495aa118a07adf19a0db91c35911a222072d13cf","datavalue":{"value":"2079095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4474893$07E110DF-C5FB-4FF5-B931-74A7821EB52D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"393b3bd826a060e0fe9b747526d48cc8995afd1d","datavalue":{"value":"Leibniz algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4474893$EB62C0E6-4840-4D4D-A396-001C11653C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8c8c8c4fdc9f91696962efc35a08827e231ad2b","datavalue":{"value":"wreath products","type":"string"},"datatype":"string"},"type":"statement","id":"Q4474893$462190BC-1A40-4E0A-B5E4-B11C61C85FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6e60dd669a555f62c807d64cd8c1cb6ce9ee9cc","datavalue":{"value":"Hilbert series","type":"string"},"datatype":"string"},"type":"statement","id":"Q4474893$40B1D565-5C28-4EE7-B728-ABA981BA554F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a5a7ce68a4a75ed310cc2e9608c444a76cfe15b","datavalue":{"value":"polynomial identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q4474893$CB374BC9-AB13-4254-9A93-7949EA674A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q4474893$99DE5D11-D800-49F0-8D94-2E9681CA0980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b2af3a72e10471202f512b7da39a1ea20e9a44d","datavalue":{"value":"finite basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4474893$0FE114CE-4927-4C2E-8B0C-5E9D4D9D16F6","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":"Q4474893$5A376711-F005-41A9-AF55-C4FCBC71940C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b86de3eba2cc204dfdd430bca4a698b6c8a19720","datavalue":{"value":{"entity-type":"item","numeric-id":4830345,"id":"Q4830345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9a14e55cdc576d0896e82ea74e059873d6a84a9","datavalue":{"value":{"amount":"+0.8387534618377686","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":"Q4474893$58329EE6-939D-42CC-84D3-BE891472BAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"228ff79241bb3e1eb3a9c47b6c6b97f2069a3bab","datavalue":{"value":{"entity-type":"item","numeric-id":276667,"id":"Q276667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4e72c3221e828abd86f7de0763a2509629525c1","datavalue":{"value":{"amount":"+0.8304694890975952","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":"Q4474893$BEFAB714-2C67-41F6-9083-817DB03EE324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"070d0185286debb1cd0e89a225fb8d4375805250","datavalue":{"value":{"entity-type":"item","numeric-id":4416640,"id":"Q4416640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28d1617fc1ecc28db0be8013ce027f38e7a5f8dd","datavalue":{"value":{"amount":"+0.822458803653717","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":"Q4474893$8145A1F9-1A77-4C6D-AFEF-A21D57FAF1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac9ef15d40070ab1ba477730850e8bb34d629e07","datavalue":{"value":{"entity-type":"item","numeric-id":3584190,"id":"Q3584190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0df203796ddb95955997c216c02d89ae19702216","datavalue":{"value":{"amount":"+0.8130033612251282","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":"Q4474893$1CBFB8D3-B500-4038-90F5-AE37F1374BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95a781b1943413749797bc1f3bac30a90d28d9bc","datavalue":{"value":{"entity-type":"item","numeric-id":4960110,"id":"Q4960110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b87eca7b65fabe0157c01eea70c58759c157aab","datavalue":{"value":{"amount":"+0.8072722554206848","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":"Q4474893$36464AAA-6516-4995-83AF-A0D286BE0D25","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c2e00ef28b1cfab30f9fa308acba8c52830551fc","datavalue":{"value":"The paper carefully studies the structure of certain Leibniz algebras constructed as the product of a nilpotent and an abelian Leibniz algebra over a characteristic zero field. The Hilbert series of such an algebra is proven to be a rational function, and every subvariety of these algebras is proven to be defined by a finite number of polynomial identities. Recall [\\textit{J.-L. Loday}, ''Une version non commutative des alg\u00e8bres de Lie: les alg\u00e8bres de Leibniz,'' Enseign. Math. 39, 269--293 (1993; Zbl 0806.55009)] that a Leibniz algebra \\(L\\) is a vector space together with a linear map \\[ [\\;\\, , \\;]: L \\otimes L \\to L \\] that satisfies the ``Leibniz identity'' \\[ [x,\\, [y,\\, z]] = [[x, \\, y], \\, z] - [[x, \\, z ], \\, y]. \\] For a set \\(X\\), let \\(F_X\\) denote the free Leibniz algebra on \\(X\\). If \\(X\\) has cardinality \\(m\\), the symbol \\(F_m = F_X\\) is also used. For \\(x_i \\in X\\) and \\(u_i (x_1, \\, \\ldots, x_{n_i})\\) polynomials in the \\(x_i\\)'s, let \\(\\mathcal{U}\\) be the variety of all Leibniz algebras satisfying the polynomial identities \\[ u_i (x_1, \\, \\ldots , \\, x_{n_i}) = 0, \\;\\;\\;i \\in I, \\] for some index set \\(I\\). Let \\(U\\) be the ideal of \\(F_X\\) of all identities of \\(\\mathcal{U}\\). Then \\(F({\\mathcal{U}}) = F_X/U\\). Let \\({\\mathcal{N}}_c\\) denote the variety of all nilpotent Leibniz algebras of class less than or equal to \\(c\\), i.e., those Leibniz algebras that satisfy \\[ [[[x_1, \\, x_2], \\, x_3], \\, \\ldots, \\, x_{c+1}] = 0. \\] Let \\(\\mathcal{A}\\) be the variety of all abelian Leibniz algebras, i.e., those algebras that satisfy \\([x_1, \\, x_2] = 0\\). The paper considers Leibniz algebras \\(L\\) in the product \\({\\mathcal{N}}_c\\, {\\mathcal{A}}\\), which are precisely those \\(L\\) for which the commutator ideal is nilpotent of class less than or equal to \\(c\\). For example, \\({\\mathcal{N}}_1 {\\mathcal{A}} = {\\mathcal{A}}^2\\) is the variety of metabelian Leibniz algebras. Given Leibniz algebras \\(L\\) and \\(H\\) with \\(L \\in {\\mathcal{U}}\\), the wreath product \\(L_{{\\text{wr}}_{\\mathcal{U}}}H\\) is defined over \\({\\mathcal{U}}\\) so that \\(L_{{\\text{wr}}_{\\mathcal{U}}}H\\) is isomorphic to a quotient of the free product \\(L \\ast H\\) by a certain ideal. For generating sets \\(X\\) and \\(Z\\), \\(F_X ({\\mathcal{N}}_c\\, {\\mathcal{A}})\\) is embedded into the product \\[ F_X({\\mathcal{N}}_c)_{{{\\text{wr}}_{{\\mathcal{N}}_c}}} F_Z({\\mathcal{A}}). \\] As a consequence, a vector space basis for \\(F_X( {\\mathcal{N}}_c \\, {\\mathcal{A}})\\) is given in terms of iterated brackets. The algebra \\(F_m ({\\mathcal{U}})\\) has a natural grading inherited from the grading of \\(F_m\\). If \\(F^{(n)}_m ({\\mathcal{U}})\\) are the homogeneous components of degree \\(n\\), then the Hilbert series of \\(F_m( {\\mathcal{U}})\\) is defined as the power series \\[ H( F_m({\\mathcal{U}}), \\, t) = \\sum_{n \\geq 1} {\\text{dim}} \\, F^{(n)}_m({\\mathcal{U}}) \\, t^n . \\] Over a characteristic zero field, the authors prove that for any subvariety \\(\\mathcal{U}\\) of \\({\\mathcal{N}}_c\\, {\\mathcal{A}}\\), the Hilbert series \\(H(F_m ({\\mathcal{U}}), \\, t)\\), \\(m \\geq 1\\), is a rational function of \\(t\\). It is also proved that every subvariety of \\({\\mathcal{N}}_c\\, {\\mathcal{A}}\\) can be defined by a finite number of polynomial identities. As a corollary, if \\(L\\) is a solvable Leibniz algebra, then its variety has a finite basis for its polynomial identities. For similar results concerning Lie algebras, see [\\textit{A. N. Krasilnikov}, ''On the property of having a finite basis of some varieties of Lie algebras''. Mosc. State Univ. Bull. 37, No. 2, 44--48 (1982); translation from Vestn. Mosk. Univ., Ser. I, Mat. Mekh. No. 2, 34--38 (1982; Zbl 0494.17010)]. For the entire collection see [Zbl 1027.00013].","type":"string"},"datatype":"string"},"type":"statement","id":"Q4474893$08748D77-A3FD-4C0F-978C-D49D0D3E68B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4474893","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4474893"}}}}}