{"entities":{"Q677923":{"pageid":679772,"ns":120,"title":"Item:Q677923","lastrevid":63652911,"modified":"2026-04-11T14:37:47Z","type":"item","id":"Q677923","labels":{"en":{"language":"en","value":"The Smith normal form"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1000060"}},"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":"Q677923$BB7002F6-57C4-4150-B980-9E3623375A56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2acdfbdcfbf4c4a603d3c1467232680ca57dabcc","datavalue":{"value":{"text":"The Smith normal form","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q677923$1FBE334A-E41F-479B-B8A9-7B66AA07AD94","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b69721cb3cb2b4fb2f0a6fb80dad1fb1fb80ae1","datavalue":{"value":"0877.15014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677923$67A50CDC-1678-45AC-B912-D38AC92C9CD0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83614e5bf520c62b6a17eeba5841369f3693b9d0","datavalue":{"value":"10.1016/S0024-3795(96)00163-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677923$D457F682-8B5A-435C-B2A5-88D7DF0A6EDC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51727d21a92220c83a125984a1139680ccf49941","datavalue":{"value":{"entity-type":"item","numeric-id":599139,"id":"Q599139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677923$C54167D1-FAF9-4099-8437-EC88747A09BE","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":"Q677923$115FAE29-E0BD-4742-BD7D-16C9841DBB91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"821d7f721f24f1f1382687b1d48c6e7ff8844b0b","datavalue":{"value":{"time":"+1997-12-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q677923$2FB4DCAD-4165-4B88-9AF4-3A90F4E3C13D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fdf268b0d6cdd0266a6e5dc839cc6ebbc0c526f8","datavalue":{"value":"The author shows that the Smith normal form can be treated in rather general terms of matrix equivalence in the following manner. Let \\({\\mathfrak R}\\) be a commutative ring with identity 1 and \\(A, B\\in{\\mathfrak R}_{m,n}\\) (ring of \\(m\\times n\\) matrices over \\({\\mathfrak R}\\)). \\(A\\sim B\\) if \\(U\\), \\(V\\) exist such that \\(U\\in\\text{GL}(m,{\\mathfrak R})\\), \\(V\\in\\text{GL}(n,{\\mathfrak R})\\) and \\(B=UAV\\). For the purpose of the paper one considers the cases: \\({\\mathfrak R}=\\mathbb{Z}\\), \\({\\mathfrak R}=\\mathbb{F}\\) (a field) and \\({\\mathfrak R}=\\mathbb{F}[x]\\) (the ring of polynomials) and \\(m=n\\) for which the following problems are addressed: Smith theorem, determinantal divisors, elementary divisors, divisibility properties, and applications to the solutions of linear systems, permutation equivalence, and Abelian group theory. Possible generalizations are finally examined.","type":"string"},"datatype":"string"},"type":"statement","id":"Q677923$269950B7-18E2-4C86-B657-0DA9EF8B0470","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e675321cf2ee9c8c015b188a9f69916c5eb2775e","datavalue":{"value":{"entity-type":"item","numeric-id":586818,"id":"Q586818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677923$F14DA9C6-A116-4810-9226-64E6DE0BDEFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"86467c42076cd02d03efdb91299b004ea1185418","datavalue":{"value":"15A21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677923$D08CEAC4-771C-4B49-B4A9-C448BA0D30A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a45ae13c9fa089fa230a226367a6e2fc5f1bdfee","datavalue":{"value":"15A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677923$2B7B3E02-6390-41B4-AD15-C8D48041580D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ea0f68a8d4078563f0d80045bd0f8160b918a5f","datavalue":{"value":"20H05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677923$FCE65B44-95C3-4374-95C2-7BFFE5338F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e9b5ca6a3bce811e2a3489608b95705717ca7328","datavalue":{"value":"20K01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677923$E850DBEF-A935-4D76-A49C-C88019B69A30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"21fa173540f22890359d2f328b5c7c3c0acbffaa","datavalue":{"value":"1000060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677923$5F77E76E-8E53-4543-AB2D-EA28F991DBC8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac114b5d8a78098b8aa8fc44237f76764506d509","datavalue":{"value":"Smith normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q677923$4C125CEB-DA7C-446B-BE19-A9D4E58DDF98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b59189a65b41e4e2157ffdaf54d303ede9926cd1","datavalue":{"value":"matrix equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q677923$7181E3C0-36D1-4492-90BA-8C21A08C2CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1642cc5e35e6fda349596a28b9ec3a77dafc91f6","datavalue":{"value":"determinantal divisors","type":"string"},"datatype":"string"},"type":"statement","id":"Q677923$5FEEFA8D-D822-4C9D-86F5-08ED12F7BBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e94fa62f98abf52288f9e9f5f3030960bafafd7","datavalue":{"value":"elementary divisors","type":"string"},"datatype":"string"},"type":"statement","id":"Q677923$35278A93-6371-4214-AC1F-85DBD77B1FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f05c896821d42b58d4a4b5240cb0f1ccdd6b927","datavalue":{"value":"linear systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q677923$9A237171-4837-44D5-A71D-5A7F251170F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a35f04d99dd3724edb37e2370352c4734d61e426","datavalue":{"value":"permutation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q677923$A5449D78-BAA5-4DEC-9816-1DF39766BA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ed0f292003aa4db3640ba37bce8b41622c1f309","datavalue":{"value":"Abelian group theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q677923$2C7EB8F7-20E6-4D9A-9780-F866BD60238D","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":"Q677923$2817342E-925A-4512-90AE-F4A4D65D2720","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f807b131f0fe7b694ab8e703ecb3c94fdf4e0257","datavalue":{"value":{"entity-type":"item","numeric-id":4754499,"id":"Q4754499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677923$AFB1BB90-DE13-4F57-85EC-1F16EE42E053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e627512a063f8909b9161f05ca4719139a48cb1","datavalue":{"value":{"entity-type":"item","numeric-id":5331504,"id":"Q5331504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677923$4CE48CD1-C1EA-48DD-8DE0-52587ECB10B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3e841a2718df2f0c15920defa773b7a7538ca33","datavalue":{"value":{"entity-type":"item","numeric-id":5668937,"id":"Q5668937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677923$8E352CE2-56EA-45A5-8DB2-32A74FD68B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"412fe0fb1497c0ab42aa203719f4923899772fbd","datavalue":{"value":{"entity-type":"item","numeric-id":3950674,"id":"Q3950674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677923$97F41859-9FA3-4757-A1D6-6B3AC8E67D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6be90f7f9573afb594a14577cd16567fe0456491","datavalue":{"value":{"entity-type":"item","numeric-id":807716,"id":"Q807716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677923$91D1516D-9FFB-43B0-80E0-0BDED9281E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"051bdaacaa3db16d3c93381eb867ed9b9ee76079","datavalue":{"value":{"entity-type":"item","numeric-id":1805224,"id":"Q1805224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677923$9C2B0544-978D-4786-BBF4-61152FA586BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"660accacb9b6b07a45ad9e724ece7264666aa647","datavalue":{"value":{"entity-type":"item","numeric-id":3969067,"id":"Q3969067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677923$1922EA76-5BEA-4F41-A579-B19C45B6E154","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9d7142c04241ea963ca77e836f93b6ce1d991ab","datavalue":{"value":{"entity-type":"item","numeric-id":4838123,"id":"Q4838123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6ea820f195ab7641e659804cce36024a878c6a0","datavalue":{"value":{"amount":"+0.8436489701271057","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":"Q677923$495E6650-46F1-464F-9A6C-7717B80A34AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b638d78d8c275edb6f39724285bc6a45829331b","datavalue":{"value":{"entity-type":"item","numeric-id":3006568,"id":"Q3006568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eff20314063a9f350ad8bc717ffab7fc53199fd","datavalue":{"value":{"amount":"+0.8258950114250183","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":"Q677923$4E9A35BE-2273-4E05-A98B-6378D05E9A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3110ee5db2821fcfc7056087accb23b2ce7f1a73","datavalue":{"value":{"entity-type":"item","numeric-id":3714212,"id":"Q3714212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b084bfcd33a5c188ca904186aa66da3e7faba1aa","datavalue":{"value":{"amount":"+0.8174953460693359","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":"Q677923$EB1AC464-E637-4510-A8D1-5177B8DE3738","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":"559f780840272c8b9d8d0c1c088284cf2adf9d02","datavalue":{"value":{"amount":"+0.8144168257713318","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":"Q677923$5EA41E80-6E4A-4D77-B9DB-78141E7431AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Smith normal form","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Smith_normal_form"}}}}}