{"entities":{"Q959868":{"pageid":961716,"ns":120,"title":"Item:Q959868","lastrevid":65653293,"modified":"2026-04-12T04:04:04Z","type":"item","id":"Q959868","labels":{"en":{"language":"en","value":"An application of lattice basis reduction to polynomial identities for algebraic structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5382406"}},"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":"Q959868$1B405A6A-A56E-4074-92C5-83AAB0C74211","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"648ceafa348fd31adcf1f0a306d138367b283ce6","datavalue":{"value":{"text":"An application of lattice basis reduction to polynomial identities for algebraic structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q959868$14739DD6-5472-475B-B5BA-ABEC95301F33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd53fa57440e470e1e2f24aa231d87482e27e1aa","datavalue":{"value":"1173.17001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q959868$492F8BCE-04CC-45D3-9327-3850F847099A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d60ca62eb4407cf5b8c71af2e6d6cfa7e16097bb","datavalue":{"value":{"entity-type":"item","numeric-id":243713,"id":"Q243713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959868$5A050C2D-8680-4194-9C8A-89FEFBE82004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3931184800835f3c7f2c497c59558d67ff677be","datavalue":{"value":{"entity-type":"item","numeric-id":189248,"id":"Q189248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959868$35E3BB75-3C25-42D4-9FC0-CB303BDD4F17","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8de031de05325b44570d0c47c3ec8813873d565c","datavalue":{"value":{"entity-type":"item","numeric-id":92813,"id":"Q92813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959868$42913C88-C995-4DD1-809E-ECA4B3261840","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eec8ebf90c9ad0eb1538e15d7020cf737b731dc1","datavalue":{"value":{"time":"+2008-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q959868$6B6A0799-AD74-4597-97E6-F573209246C9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b215104492ae0690a038706d1234274fa86d2784","datavalue":{"value":"In this paper, the authors study computationally how to simplify the polynomial identities describing the trilineat operations classified by the authors in [Commun. Algebra 35, No. 9, 2932--2959 (2007; Zbl 1172.17003)].  The authors give a lattice basis reduction to simplify these identities equivalent to the ones obtained considering row canonical forms. To do so, the polynomial identities are represented as the nullspace of a large matrix \\(E\\) with entries in \\(\\mathbb Z\\) (the expansion matrix). From the row canonical form of \\(E\\) over \\(\\mathbb Q\\), an integral basis for the nullspace is extracted as a vector space over \\(\\mathbb Q\\). Next they obtain a basis for the nullspace lattice by using the Hermite normal form of the transpose \\(E^t\\) and a matrix \\(U\\) such that \\(U\\cdot E^t=H\\). If \\(n\\) is the dimension of the nullspace of \\(E\\) over \\(\\mathbb Q\\), the last \\(n\\) rows of \\(U\\) form an integral basis for the nullspace lattice.  To simplify these basis vectors, the LLL algorithm is used. The paper applies this approach for obtaining simpler polynomial identities for the most difficult case in the classification of trilinear operations. The authors show the pseudo-code of several algorithms applied to compute the lattice basis reduction.","type":"string"},"datatype":"string"},"type":"statement","id":"Q959868$9B024273-139F-4463-8C94-0E90218B6D5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6925ce6e2a42d645b2c919a3cc743c54a2693b5e","datavalue":{"value":"17-08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q959868$0C596F9F-276A-4F56-A8B6-C5C134CB4056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7354f02ae2f462d1552f7e0b1fe0d688e751aad3","datavalue":{"value":"17A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q959868$4270F69C-F134-4741-93C2-488148BEBE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q959868$44BBA600-7159-4773-9A24-828AC5EF3A9A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a11781b4a0eaf3ba57ab85dfa543cc7ff863c2a0","datavalue":{"value":"5382406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q959868$AFB05C7D-B0A7-454B-838B-58AB08BFC68D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2064ae3eb2e0b7818d18bda0f96105dfba94a9a0","datavalue":{"value":"nonassociative algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q959868$73FA21BC-88B4-4268-B3F5-0CC68AE872BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"015ffb40feb4fd81f8432ff4a5b23631a305315c","datavalue":{"value":"LLL algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q959868$EF7A7CC2-8A3D-48B1-8C8A-51637D5B8191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d37f52485aed20b3a80c12d133c34b354959045","datavalue":{"value":"Hermite normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q959868$737509B6-2ECA-404A-A00A-30C3D2BCF38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44380bae85286348c66a5482df99cb5e319c713c","datavalue":{"value":"lattice basis reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q959868$A27DAB4D-32F7-46A4-B0CD-D527AA7B6FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8aa6263503ce92900b559ec0c1c124b4269c05d5","datavalue":{"value":"trilinear operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q959868$A9E6A9C9-6FA2-4BE2-A698-BC9E97DE973F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a5a7ce68a4a75ed310cc2e9608c444a76cfe15b","datavalue":{"value":"polynomial identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q959868$3A05D036-0B1E-4355-BF5E-FE55CE755AAE","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b8962c07eab3ff15ca740dcc12a85a36ee46aa47","datavalue":{"value":{"entity-type":"item","numeric-id":708723,"id":"Q708723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959868$52359F4F-84C6-43CA-A2E7-66F211B32E05","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":"Q959868$2C1E4841-3A92-47B8-B9FB-BC0C3DB513D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6728b7be6f34a70a2f11a8ddab6c08394fcb8524","datavalue":{"value":"https://doi.org/10.1016/j.laa.2008.09.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q959868$3AAE2D44-B8D7-4455-AEB1-4F4D727EFA81","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6921fd103a376c2eff8d7e09af3ed2f62bceddee","datavalue":{"value":"W2035855915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q959868$B7137D9C-9275-49B5-9537-AF09F9794954","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d0e5b6d6095ee682eb6d46edcd4f99097b42081","datavalue":{"value":{"entity-type":"item","numeric-id":4023361,"id":"Q4023361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959868$372FD726-98A2-472D-8684-818B2B69029E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436dbd8ced8682ec8a112f7f6906c44fe845da16","datavalue":{"value":{"entity-type":"item","numeric-id":1584622,"id":"Q1584622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959868$B9B931AD-7647-446E-A4FA-4566E08E4B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0ca444a7afcd802f887876ed48e04f20501a9f9","datavalue":{"value":{"entity-type":"item","numeric-id":5423815,"id":"Q5423815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959868$C228E48F-2275-481F-B17D-1DE18ECF56FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b7d03acfe694d55b5bfb81a8721b654f11fafd6","datavalue":{"value":{"entity-type":"item","numeric-id":3139838,"id":"Q3139838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959868$00AFD34B-8A7D-48D2-A6A8-4280B580C674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2496d76f7d7fec9d96f39f6e3a59ed93c78d8e95","datavalue":{"value":{"entity-type":"item","numeric-id":1165896,"id":"Q1165896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q959868$9013FE24-2D8C-4801-80C3-C1FE081A49C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"642c2e5bb554bfa591a71f5dfa3a6d836b9e120e","datavalue":{"value":"10.1016/J.LAA.2008.09.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q959868$D7E95806-0F08-4785-8CDD-4BF9D99C5255","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54fc154186ea231d32d0c04736bccb06046dcab2","datavalue":{"value":{"entity-type":"item","numeric-id":1401903,"id":"Q1401903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7c69f5061c715c9901787466cc903cee90f3888","datavalue":{"value":{"amount":"+0.7366368","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q959868$CE4FC00C-8136-4FFA-B81A-544DEA749876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd2b91c9c47e44b0dccdce6c8bbeead38b3eddd7","datavalue":{"value":{"entity-type":"item","numeric-id":3005271,"id":"Q3005271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02a47d2d2d380ead1a122104042d9e9db2c3a6b0","datavalue":{"value":{"amount":"+0.7308332","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q959868$75B65AB4-A4B3-4EFD-80ED-1D4FC5B34182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f0ef0f1fc0461332f612052bbb03323f068c6cc","datavalue":{"value":{"entity-type":"item","numeric-id":3840198,"id":"Q3840198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59bcc64cd04bb2bcb165d0d263bc8d3e90a69f2c","datavalue":{"value":{"amount":"+0.7045242","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q959868$466226C7-B623-4C9D-BCA5-D4BDA24E0FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a27a1eae5c1d53980eea83f83c866f91fc02ed8e","datavalue":{"value":{"entity-type":"item","numeric-id":679101,"id":"Q679101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aa215aec5b5f6dc94e097d2c45935993dc1a17a","datavalue":{"value":{"amount":"+0.7021312","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q959868$F97D29EC-5D0D-4881-B98B-3E9EC1AA163E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e3ae4353321b573a94fca12d563d1a7734af5cf","datavalue":{"value":{"entity-type":"item","numeric-id":1917523,"id":"Q1917523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b594db706572db50dc2f60fd6f6c7c588420ee2","datavalue":{"value":{"amount":"+0.6908547","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q959868$0433223F-B11D-48C6-8878-8C9CD8524F2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffb18371c0331514a4582c874dab3142cbf7f052","datavalue":{"value":{"entity-type":"item","numeric-id":3092534,"id":"Q3092534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01ddd9eb08a0d6493865284259854673691b7c02","datavalue":{"value":{"amount":"+0.6789686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q959868$890DC9E7-67EF-49C2-8AFD-4F0F22522805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9788d6d1ef68bf0c663d3f80b9cc74a22b5966d","datavalue":{"value":{"entity-type":"item","numeric-id":1101500,"id":"Q1101500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b155814521f15b538dc790497a2dd1c04d38184","datavalue":{"value":{"amount":"+0.67854714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q959868$028916E1-566F-4E87-82B6-A47D8FE0D97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b185fb5e6d9581eac03432986b1b2bd070bb8ea","datavalue":{"value":{"entity-type":"item","numeric-id":3727379,"id":"Q3727379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7989c5ed83fd334e63f9d7036391b7e83b7f21aa","datavalue":{"value":{"amount":"+0.67759764","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q959868$6D785EF2-CB63-4B32-97E6-4EEB261F80C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44d38499cfbb95e6b8a07778d5b694511bcb2fa9","datavalue":{"value":{"entity-type":"item","numeric-id":3303764,"id":"Q3303764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bddd770eeacfcf9e1a695f32d62096ec15fc1820","datavalue":{"value":{"amount":"+0.6770004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q959868$460C64A9-7BBB-42A1-8647-7A68C7FFED9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c1f66cbe53aea5443876241f0b2a63d440c1fda","datavalue":{"value":{"entity-type":"item","numeric-id":5463435,"id":"Q5463435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f46e01c1ace1a9cb82df45dc12db826a1294c208","datavalue":{"value":{"amount":"+0.6768421","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q959868$3CF889D4-6213-461D-961E-EB87C6DB91C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An application of lattice basis reduction to polynomial identities for algebraic structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_application_of_lattice_basis_reduction_to_polynomial_identities_for_algebraic_structures"}}}}}