{"entities":{"Q1611837":{"pageid":1622577,"ns":120,"title":"Item:Q1611837","lastrevid":74073072,"modified":"2026-04-14T18:16:00Z","type":"item","id":"Q1611837","labels":{"en":{"language":"en","value":"An application of the Gr\u00f6bner basis in computation for the minimal polynomials and inverses of block circulant matrices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1790227"}},"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":"Q1611837$1C2B064E-933C-4626-8BB7-1D1AB426B75D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7399ea37a666b0976ada8a6f898d2e70fd28bbae","datavalue":{"value":{"text":"An application of the Gr\u00f6bner basis in computation for the minimal polynomials and inverses of block circulant matrices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1611837$01FC74F1-C833-4035-8BD7-4536F080871A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"453ca0782a9ec74f02bff086794b18d046580f5c","datavalue":{"value":"1005.65040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611837$FFE9BE2D-E992-4A52-97BB-AD9C38718F82","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"347465ca32e7393d00b2ee2c040d84389f2ef431","datavalue":{"value":"10.1016/S0024-3795(01)00529-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611837$ACE7F681-EC35-4F16-BBFF-6C15B2051FA1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4b3c1e4adbb708bc1e24857b347abc25b016c73","datavalue":{"value":{"entity-type":"item","numeric-id":188303,"id":"Q188303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1611837$D6CFA919-87CD-44C9-AC86-C7DE951BB77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c43c5a47a3f5dac732e5bbc81eb3ca86ad5d38a","datavalue":{"value":{"entity-type":"item","numeric-id":513476,"id":"Q513476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1611837$F13DD665-8661-46EC-9CE4-3F954512F66B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e4ef0bc8d8db6d1e7a09e0c8d276c50660ffe58","datavalue":{"value":{"entity-type":"item","numeric-id":319185,"id":"Q319185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1611837$204FA1C8-31F0-4397-A86B-7A21431976F9","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":"Q1611837$525EFE66-3D4E-4297-ADB1-93440331EAB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"142362e6d8f26628ca200c5bf9158be42ab9f824","datavalue":{"value":{"time":"+2002-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1611837$C2F1137A-2684-4CC4-A866-EE58F5CD8A61","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e5d63e2783ca0254ef44e9f0f53ccdee3314c3d2","datavalue":{"value":"The authors show that the ring \\(F[\\tau_1,\\ldots,\\tau_n]\\) of all level-\\(n(r_1,\\ldots,r_n)\\)-block circulant matrices over the field \\(F\\) is isomorphic to \\(F[x_1,\\ldots,x_n]/<x_1^{k_1}-r_1,\\ldots, x_n^{k_n}-r_n>\\), where the dimension of the \\(i^{th}\\) block is \\(k_i\\) and \\(r_i\\) is the field element in the lower left corner of the \\(i^{th}\\) block. They further show that the minimal polynomial of the matrix \\(f(\\tau_1,\\ldots,\\tau_n)\\) is the monic polynomial that generates the ideal \\(<x_1^{k_1}-r_1,\\ldots,x_n^{k_n}-r_n,y-f(x_1,\\ldots,x_n)> \\cap F[y]\\), which can be calculated readily using Gr\u00f6bner basis techniques. A similar formula is given for the annihilation ideal of a set of level-\\(n(r_1,\\ldots,r_n)\\)-block circulant matrices.    The authors show that the matrix \\(f(\\tau_1,\\ldots\\tau_n)\\) is non-singular if and only if  \\[ 1 \\in \\langle f(x_1,\\dots,x_n),x_1^{k_1}-r_1,\\dots,x_n^{k_n}-r_n\\rangle,\\text{ i.e. }1 = fg + \\sum w_i(x_i^{k_i}-r_i). \\]  They also show how Gr\u00f6bner basis techniques can be used to calculate \\(g\\), the inverse of \\(f\\), explicitly.    Finally, the authors give two algorithms, both using Gr\u00f6bner bases, for the inverse of a level \\(n(r_1,\\ldots,r_n)\\)-block circulant matrix over a quaternion division algebra. All algorithms are explained in detail and have been implemented by the authors in CoCoa 4.0, a computer algebra system.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611837$D1330430-8E1B-4DBB-860D-7ACB08801F54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"72309745094959b676ca20810c7af21a33fe24b5","datavalue":{"value":"65F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611837$6C52611F-02CA-4230-B2C1-598F6EDC981A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9885aef811aa349f50c28b046ac04fbe99524c67","datavalue":{"value":"65F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611837$7647D017-C795-432C-A07F-D9557797E2E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611837$1DDC0D08-41D4-45C1-BE01-0F1E0F8D5402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86467c42076cd02d03efdb91299b004ea1185418","datavalue":{"value":"15A21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611837$6CAC1CA5-BA11-4D85-8FE8-6318F6CEE193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611837$20FA67FF-A877-486F-B1E3-C4015EBE1064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bbe2dde55566c57c31463992aac9b72d0f8c104e","datavalue":{"value":"15B33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611837$354097F1-701E-4122-A697-787874A8A8CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6de7e39371606c1fc12903ac481faac51835d26","datavalue":{"value":"1790227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1611837$8AF5AB58-68C4-4F63-8289-EF6795B27F4F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a7cd307b4f402effdb6cf98de84109085d0196c","datavalue":{"value":"Block circulant matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611837$BF55E149-5B39-4F1E-A693-EEE90372E263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611837$6863B3AF-4FDF-4076-80BE-74C2FDE13B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13bf1e82a002ea4f43c2a812d12a7f554ea61034","datavalue":{"value":"minimal polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611837$64815320-E649-4555-BEF3-9DAEBE2E5CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59b0c1a02a224b9fb659082e53fed4a02f3d9545","datavalue":{"value":"matrix inversion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611837$CF625E23-4315-43D7-A635-73029C1378FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ce6968875f73c66d08c0d6bd83f8146ab236ea3","datavalue":{"value":"quaternion division algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611837$20E503A0-94B0-4C4E-8F5C-A1A31DA7BAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d17109e875f62271267ba944e1d111a7f52ed69f","datavalue":{"value":"computer algebra system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1611837$F0BBB175-3BC0-4C06-B71D-AA531990BA39","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4f216bf5315f119cd6b8e6e21478a01c8d73dc22","datavalue":{"value":{"entity-type":"item","numeric-id":1264427,"id":"Q1264427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1611837$12C9DB6A-7E9F-4DD0-9212-30EA1586444F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c9c1f58b8025297b76815155d9e858d1b402d938","datavalue":{"value":{"entity-type":"item","numeric-id":12911,"id":"Q12911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1611837$389D6F1F-581B-4830-A5EB-5765FC3AD795","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":"Q1611837$AD3F09AB-E0A9-49B8-AFE1-E873481213DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"df0782975ec5ec1f2719a7f9b1dec11f85849f65","datavalue":{"value":{"entity-type":"item","numeric-id":4317754,"id":"Q4317754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1611837$461FA58E-626D-4131-8A24-B213249C7F55","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3178ed6302168630ae3b2c2f79100f79cfc90516","datavalue":{"value":{"entity-type":"item","numeric-id":1629840,"id":"Q1629840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"424dd52efde0dab904e0c87df12dd88358b1c75a","datavalue":{"value":{"amount":"+0.89395547","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1611837$25B0A37F-3363-4A83-8C06-48DB916893A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3e90f6b2d8796d67012ec74c0011133adcd9cb6","datavalue":{"value":{"entity-type":"item","numeric-id":4434590,"id":"Q4434590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bff2fc6ddec7f70ae44b77f7e58ead7bc3cea971","datavalue":{"value":{"amount":"+0.88796526","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1611837$0372C99C-5E69-4C3D-83DD-BD04E91DB2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"284ad0249b29dca1991bdbc0a5ef95adf2e55424","datavalue":{"value":{"entity-type":"item","numeric-id":5425134,"id":"Q5425134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fccfa3b41604aa68d1024600b5301ea20c5600a","datavalue":{"value":{"amount":"+0.88420933","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1611837$7FA84B5B-55F4-4379-A553-A22225DCC94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"313d71821acdc2d20c402e857479c50c97acbd4f","datavalue":{"value":{"entity-type":"item","numeric-id":1724317,"id":"Q1724317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"378f6690173884cbb381ed503fe06f3150b3ceb3","datavalue":{"value":{"amount":"+0.87783134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1611837$E93D05FA-D4C5-438A-8D46-6A5CADB04CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1c5508cbeeabf942b24619412df4b4802be932e","datavalue":{"value":{"entity-type":"item","numeric-id":2128752,"id":"Q2128752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e5cfe6198cc16221ad59361e2625958fd79b5c7","datavalue":{"value":{"amount":"+0.87693036","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1611837$BB1754B8-FAB4-49D3-89F2-DD41653EB1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31b2bdca3d3aa608f793152b3288ece60cefd48d","datavalue":{"value":{"entity-type":"item","numeric-id":1382039,"id":"Q1382039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a72800936428de9f9153f2e5fc8791d080e13426","datavalue":{"value":{"amount":"+0.87231404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1611837$2E5B6001-04E0-4424-8571-1F84EE4B799E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4fbaa8896e4faa3fc1e637db7e8a3bf403bbed4","datavalue":{"value":{"entity-type":"item","numeric-id":3975190,"id":"Q3975190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e6f7b1af6a1fa15855683cd66d783c54e73e513","datavalue":{"value":{"amount":"+0.87206316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1611837$073E239F-BC06-405A-BE12-C17A970A6B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4c2d3da875d085e4adfb6a2e492584bd577046c","datavalue":{"value":{"entity-type":"item","numeric-id":5491560,"id":"Q5491560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28c72cf238ca8b5422a40b5f20a7a1809b6d6eec","datavalue":{"value":{"amount":"+0.8703498","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1611837$21E6E6CF-F2B0-443C-AD79-B077666FE2EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f48d69f1fa8f7826f74849c79c493c0f12efc6d0","datavalue":{"value":{"entity-type":"item","numeric-id":5486584,"id":"Q5486584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63f1ee0c128508eb7411543124d1b1cb6bc0e22d","datavalue":{"value":{"amount":"+0.8698055","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1611837$9A0F0683-2026-4D13-9D86-14B802E51662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d138aeca2183ad2d8e0b5b9ec756570a853ace1b","datavalue":{"value":{"entity-type":"item","numeric-id":1361771,"id":"Q1361771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c58d714131c48a9192249855ac8c44808ea77680","datavalue":{"value":{"amount":"+0.86908317","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1611837$7F40AC36-0257-443E-A4DB-1F73D2E64508","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An application of the Gr\u00f6bner basis in computation for the minimal polynomials and inverses of block circulant matrices","badges":[]}}}}}