{"entities":{"Q1318850":{"pageid":1329600,"ns":120,"title":"Item:Q1318850","lastrevid":67416306,"modified":"2026-04-12T17:29:11Z","type":"item","id":"Q1318850","labels":{"en":{"language":"en","value":"An algorithm for computing graded algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 541173"}},"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":"Q1318850$AA88EEEC-CDD9-4940-A2F7-DD4148381BC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11e48c98c4f7c5c80949ce33dfe2f4f35a04c312","datavalue":{"value":{"text":"An algorithm for computing graded algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1318850$6C1007C0-1D65-4E9A-A83D-F4DFD845402F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9aae952591e0131be61b86d986ae1fcb9d95eb6a","datavalue":{"value":"0801.16025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318850$F967C358-DE59-4834-BC71-DAA5C9ABAF46","rank":"normal"}],"P16":[{"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":"Q1318850$6503EF35-17F4-457B-9A50-B202DA03EE1E","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":"Q1318850$ED625DA6-ADBA-477B-99A8-E5A59C8D56D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27e26720c3a5ab9bcb71917b45ea4b2894dbb467","datavalue":{"value":{"time":"+1994-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1318850$A3A509C6-FBD3-417A-A7D1-53ACE6193F84","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7c9a4751b5c3c902307f301b8f70a245a9b77d40","datavalue":{"value":"The author considers finite dimensional (non associative) graded algebras \\(A=\\bigoplus_{i=0}^ c A_ i\\) over a field \\(K\\) that satisfy \\(A_ k=\\bigoplus_{k=i + j} A_ i A_ j\\). If \\(a_ 1,\\ldots,a_ r\\) forms a basis of the vector space \\(A_ 1\\) then \\(A_ k\\) is spanned by the products of these \\(a_ i\\) and \\(A\\) is generated by \\(a_ 1,\\ldots,a_ r\\) as an algebra. A naturally ordered basis of \\(A\\) consisting of products is called a weighted product presentation. It is further supposed that the generators \\(a_ 1,\\dots,a_ r\\) fulfill homogeneous relations, and if \\(A\\) satisfies an identical relation \\(f(x,y,\\dots)\\) then it also satisfies all of its partial linearizations (e.g. substitute \\(x + y\\) for \\(x\\), \\(y\\) for \\(y\\) and expand). The set of identical relations is supposed to be finite. The author presents an algorithm to compute a weighted product representation of \\(A/A^ d\\) for \\(d \\in \\mathbf N\\) from one of \\(A\\).   Now let \\(A\\) be associative. The Nagata-Higman theorem states that if \\(A\\) satisfies the identity \\(x^ n=0\\) then \\(A\\) is nilpotent. Kuzmin conjectured that its degree of nilpotency is \\(n(n+1)/2\\); this was proved for \\(n=2,3\\). The author gives a proof of this conjecture for \\(n=4\\) using its implementation of computation in algebras on a computer.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318850$CA8A76DE-9B94-41CE-9033-673872A632E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa35f4fe7131ed7335ab517ed4c6191c461a466f","datavalue":{"value":"16R40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318850$0CCE3A5F-D6CB-448B-8E89-4FD9BE1581BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85b25dadedbef7f4f6459ceafe8b2ce0a6602c11","datavalue":{"value":"16W50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318850$512EDA9C-5BD7-4C4D-8FE9-15083957FCB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09c34d6a9e51500cf32e007c02afdb05751a7030","datavalue":{"value":"16Z05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318850$881EB2FB-6B91-4535-8FF3-7E9E055EB2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318850$9771B9B7-928B-4843-851D-91BA2A72FD69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"46cc6f74904d93d783c1cf8007a9494ea0b980f2","datavalue":{"value":"16P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318850$32F2B05E-A7BB-4BD6-BC49-DAF4C19516D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1e037731cf5fe8d56e5ff843e21caf66868428b","datavalue":{"value":"17A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318850$D7F7BC57-2DFB-4BD8-85B7-36B11DD40D71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88dffc8ef0de605b6a67cccb50f21e8cadb183a1","datavalue":{"value":"541173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318850$1E15D27A-F0AE-4ACE-8675-24E3576766B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf0cf9be39c930db55d13a68df5933e43d7eafd","datavalue":{"value":"graded algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318850$363EDBDF-20C0-4800-BF69-8B8FEFB0F5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a609e6ec43cea78969c8da55ac73df47634a4830","datavalue":{"value":"ordered basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318850$EBA8282F-2B02-4CEE-A47E-FAD0AFDAF344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71fc0c303bfa9a6c2d15d66b814254d3df0bbb86","datavalue":{"value":"weighted product presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318850$207BAECA-51AB-448C-86BB-791E5D3895F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc17530683f05aacef7e862f12bdb2dce0ac1ceb","datavalue":{"value":"generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318850$B4946924-52E6-4F29-B244-B51667D83FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33b54ec1f2907d718184a27a37fb99da39027902","datavalue":{"value":"homogeneous relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318850$11241DA8-4E9F-433B-8986-1E81AE7038D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"329c09dde116f63ffc2e61bde1d771f5ce582838","datavalue":{"value":"partial linearizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318850$022EE845-7E68-48FA-A59F-35D4A06BD0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318850$F28CD925-1BC3-4230-8EBE-3C724017167D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b46e5ef2045903297dedcf8a0c71a3b4b81ca06d","datavalue":{"value":"Nagata-Higman theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318850$C4D5F095-FB97-4E2C-85CD-EC6637CC5ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81c01d4d19bc4faaf1abb1a70f01b9c0cf2e6d2f","datavalue":{"value":"degree of nilpotency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318850$7A2CFEB7-A000-448D-AF27-E502627530DC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"593f9efde538c49b5e529d30c520259532c690dd","datavalue":{"value":{"entity-type":"item","numeric-id":789535,"id":"Q789535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318850$8F2B870F-4D57-44EE-822D-985C386F935B","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":"Q1318850$E11E003D-F251-4FF7-8884-643C3A18D12E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c89fe62fb12d01f49fec47268ac84d2e91e28c7","datavalue":{"value":"https://doi.org/10.1006/jsco.1993.1052","type":"string"},"datatype":"url"},"type":"statement","id":"Q1318850$6E4F9201-3573-4A88-9101-9BB7EB168106","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"89d939b504abc958d31f061ddf1a9135a6ac454d","datavalue":{"value":"W1979137832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318850$B3C68FDE-C95E-4DC4-9D48-360FFCCE30E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"13ec64bb1fb9e69298e1eadce41d3ff3567f411f","datavalue":{"value":"10.1006/JSCO.1993.1052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318850$8E6D668A-BB53-4054-8E21-A1575F05D5D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a849edf9c0b4a5787b37d006fe833f0d2ecbd501","datavalue":{"value":{"entity-type":"item","numeric-id":3110890,"id":"Q3110890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a5c153c9baca04143a06105a2eaf453e2e1aa95","datavalue":{"value":{"amount":"+0.8112652897834778","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":"Q1318850$AD9EF956-3B94-4422-BBA1-AF9D4D4FC5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd3efc6970699a933177e981190bb4e0568580cd","datavalue":{"value":{"entity-type":"item","numeric-id":4276406,"id":"Q4276406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f30c7e32378043d7473938e533c8df6d0390a8c0","datavalue":{"value":{"amount":"+0.7895623445510864","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":"Q1318850$AEE94E87-9539-46BC-8085-ECDDD3B88C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5ac88fd2e94b20e157c93855363fdd37459f78c","datavalue":{"value":{"entity-type":"item","numeric-id":5203187,"id":"Q5203187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8fa36117160392cdc3e53cd488bfa5eea4cfa2a","datavalue":{"value":{"amount":"+0.7595366835594177","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":"Q1318850$BC73484A-4603-4D7F-8508-209DCD3651FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"462a7f4f37d680171c6793054cb8dc2c830d23d4","datavalue":{"value":{"entity-type":"item","numeric-id":4539724,"id":"Q4539724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bca42c1f3f8d29f43b3705b1700b53c5ad51ec9","datavalue":{"value":{"amount":"+0.7535515427589417","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":"Q1318850$62E6D61D-FD4F-4B92-B5FB-6850F1901056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0156f9d210ccbd59ca16e013230c6b82b7755547","datavalue":{"value":{"entity-type":"item","numeric-id":4676825,"id":"Q4676825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bca42c1f3f8d29f43b3705b1700b53c5ad51ec9","datavalue":{"value":{"amount":"+0.7535515427589417","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":"Q1318850$D4B5EF34-FF15-411C-A107-398D26101F04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An algorithm for computing graded algebras","badges":[]}}}}}