{"entities":{"Q1815025":{"pageid":1825767,"ns":120,"title":"Item:Q1815025","lastrevid":46404387,"modified":"2025-12-24T17:30:32Z","type":"item","id":"Q1815025","labels":{"en":{"language":"en","value":"A normal form algorithm for modules over \\(k[x,y]/\\langle xy \\rangle\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 941289"}},"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":"Q1815025$5AD4DC85-2F67-4854-8F4F-67646B033BB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"68c6ceb50a35533980f34c476d4ff41976283ea6","datavalue":{"value":{"text":"A normal form algorithm for modules over \\(k[x,y]/\\langle xy \\rangle\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1815025$CEDB25BE-8543-4F66-8D8A-44DE608D48D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e4cb539cb8054666d28387947ed97f9864ef873","datavalue":{"value":"0979.13029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815025$FBC059F4-9053-48C0-ACB4-A9C4E56FA5EA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79fd7eb411e354d0400cd2c755e78dd180a3d908","datavalue":{"value":{"entity-type":"item","numeric-id":706186,"id":"Q706186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815025$209A69BD-398D-4A84-86D3-41D44FA59293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b55f4b51dd558ecbd909fd3ab93c25f602f6c0d4","datavalue":{"value":{"entity-type":"item","numeric-id":161073,"id":"Q161073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815025$1B697D82-D2D9-4E69-8D97-2EE9DFB9ED48","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815025$E6AF4C12-2C74-40F2-923C-F27CA65440E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"200da4406fa3163e2cd8f373e9d8ba04e4c7a19b","datavalue":{"value":{"time":"+2002-02-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":"Q1815025$5F5F5B3E-2D3C-4EF0-8B7C-0AEE376702C7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1cfe88f03d4b6fb36739599e16caa74b3e59a2e5","datavalue":{"value":"The authors give an algorithm to classify finitely generated modules over the ring \\(R:=k[x,y]/\\langle xy \\rangle ,\\) where \\(k\\) is any field. This algorithm generalizes the Smith normal form algorithm for a matrix over a polynomial ring in one variable.    The authors study is motivated by the work of \\textit{L. S. Levy} [J. Algebra 71, 62-114 (1981; Zbl 0508.16009) and 93, 1-116 (1985; Zbl 0564.13010)]. They derive an algorithmic version of Levy's results for \\(R\\).    The following application to a problem in linear algebra is given: Compute the normal form of a pair of mutually annihilating \\(n \\times n\\) matrices over \\(k\\) (i.e. \\(C, D \\in k^{n\\times n}\\) verifying \\(CD=DC=0\\)), under the action of the general linear group \\((C,D) \\mapsto (U^{-1} C U , U^{-1} D U)\\), \\(U\\in GL(n,k)\\). In particular, when \\(D=0\\), the rational form of any square matrix \\(C\\) can be read off the output of the proposed algorithm.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815025$759BB74B-56D6-4D57-8156-9A1131E36C69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815025$40BB2F56-DDB3-405E-9AC0-77C15D1A96DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8409aeb489e85cf7439f78c75b430b92d7b996e7","datavalue":{"value":"13E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815025$28CA872B-E2A0-4228-97A2-D653E1661E72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f7f43158b42f0a7240ceb9aa177f89dce451dc7","datavalue":{"value":"13-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815025$31300515-D4E1-41F9-99F7-16677C59F553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"391950414a099d56bc54d4355f229d909cdcb643","datavalue":{"value":"13F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815025$1622FAA5-C376-4FF7-9B65-F33AD58F2EA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1dd81a5184d158b1cc476dc110734d156916353c","datavalue":{"value":"941289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815025$FCEF1284-AD12-4FD1-AB0A-D768EC90A4BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac114b5d8a78098b8aa8fc44237f76764506d509","datavalue":{"value":"Smith normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815025$95D6E573-03FF-4720-9383-30243A2CE260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0af57ed9181ac1af1da101c837e6b3ee1fdd09d4","datavalue":{"value":"modules over Dedekind-like rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815025$09E762DB-D7CA-4F22-AEF6-B72AE7623152","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815025$DE1C72A6-7E65-4522-866F-C0F87B7070CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4d54b1ad2847c3fabb8d5f3cdaf38a70e04eaff","datavalue":{"value":"mutually annihilating linear operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815025$85E3C0C3-3B8B-44D9-839D-A81293FCBA6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47726e348c09764e75d6467bb4b60d67f2f29664","datavalue":{"value":"algorithm to classify finitely generated modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815025$D2063B54-5B53-4E23-90BB-51EA814E8670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4cadd49158f97335abc91ea96f7f3d44df3c0c0","datavalue":{"value":"normal form of a pair of mutually annihilating matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1815025$93F5B80A-004C-47DA-A622-FF0C9017C681","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"af44f1931fd675e2c8e3884debfe9f59d65df330","datavalue":{"value":{"entity-type":"item","numeric-id":220784,"id":"Q220784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1815025$19A453E9-5111-4701-BD3D-4D512089701B","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":"Q1815025$17605FEB-B0C1-428C-A719-55D58F41CD3F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c5fb55c1c8b2934ef41d83b1a7c3fd8af3bfbe04","datavalue":{"value":"https://doi.org/10.1006/jabr.1996.0295","type":"string"},"datatype":"url"},"type":"statement","id":"Q1815025$698089AF-C70A-482C-A377-B630355F3E03","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6e384564a9871043221acb0f36c752e3d8437cf4","datavalue":{"value":"W1999882122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815025$66C05D48-9A4B-4813-A009-E82609683B2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b8fb4a0c59a26f5ae732cb994a0ec03d13c1f72","datavalue":{"value":"10.1006/JABR.1996.0295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1815025$898BC253-E4AF-4E97-9590-B284087F61F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0eceeeba2d1836fa28eee2fb27ef5378cc7db1b","datavalue":{"value":{"entity-type":"item","numeric-id":3809926,"id":"Q3809926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a14ecf69106d9bffddcd93f41a6315ab2724a9f0","datavalue":{"value":{"amount":"+0.763852596282959","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":"Q1815025$7309A79F-ABD7-45D0-AFB2-73311C5E672C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e0622446fb41e8bb5bdb6510a5315045a81bf1a","datavalue":{"value":{"entity-type":"item","numeric-id":3645964,"id":"Q3645964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ce6d461b2b0cad03bbebd1b7f81e4acc7796660","datavalue":{"value":{"amount":"+0.741288959980011","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":"Q1815025$90F6C1A8-DD45-4400-9D44-A374BC3AA9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6090f13baab5bb873c60ad63a6ee33f9a54f2bc0","datavalue":{"value":{"entity-type":"item","numeric-id":1758542,"id":"Q1758542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8567e57dc677e2acce10032ecb804060f73f954","datavalue":{"value":{"amount":"+0.7319707274436951","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":"Q1815025$45614D05-EA0D-4BEE-8D73-2919EE77A40D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04ebe18260a7f8773c1de064ef3241da76942e35","datavalue":{"value":{"entity-type":"item","numeric-id":3088400,"id":"Q3088400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c157a1f36fd34e0be532a073c74c398f3168b7ef","datavalue":{"value":{"amount":"+0.7316721677780151","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":"Q1815025$0152CE8C-5B72-4DF8-95C0-95FA57A3F91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"287b9fc129aa95655ad49daabb4ed29e6ad85135","datavalue":{"value":{"entity-type":"item","numeric-id":4640004,"id":"Q4640004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a2c6767037b83cba3e6c96dae9a097c4ecc1b10","datavalue":{"value":{"amount":"+0.7311974763870239","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":"Q1815025$D3E8BA82-CF73-4C80-8FBB-206C9352698E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1815025","badges":[]}}}}}