{"entities":{"Q1083075":{"pageid":1093827,"ns":120,"title":"Item:Q1083075","lastrevid":66101481,"modified":"2026-04-12T07:33:36Z","type":"item","id":"Q1083075","labels":{"en":{"language":"en","value":"Knot modules and the elementary divisor theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3975895"}},"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":"Q1083075$9318789A-6CA7-4378-9EA7-6B768F7ABF25","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8be90c790e37942c764e2d71bb09b55b7b51be4","datavalue":{"value":{"text":"Knot modules and the elementary divisor theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1083075$8836BE4B-B2C0-43B0-9F8E-60A51FBB59AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2f4d46eeceb566140a6b7ace383f995f6f18132","datavalue":{"value":"0604.57017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083075$9EC76D0A-4873-44BB-9212-FC8AA70F778A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d6b4fafd4e423b6b038695238e704276b7003c6","datavalue":{"value":"10.1016/0022-4049(86)90034-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083075$067970ED-EB03-4B4B-B300-401646C9ADA5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083075$6657B2D7-CE49-4E28-9DF3-AF6C591A7527","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1083075$CDBFD30C-1B51-402B-BE04-FB8B75107AB1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c20842ef263559706f825a50b9569a092cbb29c6","datavalue":{"value":"A knot module is a finitely generated module M over the ring \\(\\Lambda ={\\mathbb{Z}}[t,t^{-1}]\\) on which multiplication by (1-t) induces an automorphism. Since \\(\\Lambda\\) is not a PID, M need not be a sum of cyclic modules, and this fact has been previously used by the author to give examples of high-dimensional knots which factorize into irreducibles in more than one way. In this paper he gives a necessary and sufficient condition for M to be a cyclic module, in terms of the first elementary ideal of M, the Steinitz-Fox-Smythe invariants of quotients of M by irreducible factors of the Alexander polynomial, and certain unit class invariants. All these invariants can be computed from a presentation matrix for M.    The author goes on to show that if M is a direct sum of cyclic modules, then it satisfies the elementary divisor theorem if and only if all its elementary ideals are principal. Finally, several examples are given to illustrate the independence of the conditions for M to be a cyclic module, and to show that the analogous conditions which are necessary for M to be a direct sum of cyclic modules are not sufficient.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083075$ABD060FF-4D5F-4177-BCB6-E13643889D39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c2006fdeaf42198f4701ed610cae7ff6f18d18b","datavalue":{"value":"57Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083075$BC5222C6-26D0-44CA-ABB6-2C3746C0ABA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3c7c90fc1b655c450317079da4646c41a5c93c0b","datavalue":{"value":"13C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083075$F219E773-8537-4997-9E58-5401EBCE802A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c71c07477e55cabb83efcc5437936dc100d369c","datavalue":{"value":"3975895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083075$150DEFBB-9B58-4D67-BD56-78AAEB0596C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3e7fdfe4c866773af6fb7a526a50593e0986546","datavalue":{"value":"knot module","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083075$4904B79A-47B8-42E8-8ACC-06D911178EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50210679d28ff5af28afcf1e3453d710384c4a89","datavalue":{"value":"cyclic module","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083075$43242385-0B83-4A70-ADB3-D828B11DBCDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62ccf8c8a62a98095c5e0398fa1d45d27526ffd0","datavalue":{"value":"first elementary ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083075$125A50EA-DD81-4C27-A424-1AFCD0F644F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78011a154efdd90b2d58ad4b32751852fccd3dbf","datavalue":{"value":"Steinitz-Fox-Smythe invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083075$DE98E974-8D60-4D32-BD0A-4154503D547C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9dd833d57eb853eb2c8e7ec1295c1639533f2af0","datavalue":{"value":"irreducible factors of the Alexander polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083075$DC2C3AD8-A8EE-42FC-A9FE-0890EE351B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5eae27e97f21a4e5f833cccd0c7e1336b6970cab","datavalue":{"value":"unit class invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1083075$BAD9F3C8-F5E2-418A-B82C-4E6E7F2FF023","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc35937ce564e4539c4799aa6f3b147e29ed16a9","datavalue":{"value":{"entity-type":"item","numeric-id":242462,"id":"Q242462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083075$7FB1181B-BE24-4DD6-9D32-51BFFC204DF3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5108a3fdec8e4049d9dd64ecce26b5502c9ff4d3","datavalue":{"value":{"entity-type":"item","numeric-id":945655,"id":"Q945655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083075$CD6CD886-9A82-4D31-A2F7-EC79723200AD","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":"Q1083075$2AE11067-FA83-4124-9594-8E4DA0FD9E78","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ab36d3080c7291974f8c090d8f4a3b51f741f48","datavalue":{"value":"https://doi.org/10.1016/0022-4049(86)90034-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1083075$CB9BD1C0-D740-4EDA-A7D6-85D1B6E695F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f2374b4dd143cd6b56d41a4becebe15e8f07a7b","datavalue":{"value":"W2082278476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1083075$A21A7FE3-C604-4516-A305-5C8D117BDA50","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fa8db24642263ea5d30e12958baae253447458e","datavalue":{"value":{"entity-type":"item","numeric-id":3844514,"id":"Q3844514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083075$80EA311F-CDDC-4CE6-A837-57C005FE6489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c48a2df113069e4ec922b729d8b6688a4b78571","datavalue":{"value":{"entity-type":"item","numeric-id":2556475,"id":"Q2556475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083075$F98A6E30-7148-4171-B40D-97045F529287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29367303e90223556332d8a4d08e2e92588f2357","datavalue":{"value":{"entity-type":"item","numeric-id":2561629,"id":"Q2561629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083075$7C084F4C-3A90-4578-B663-5A690A6CAED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01e428712f36692c56e61224e47fcc2ff6f4d46d","datavalue":{"value":{"entity-type":"item","numeric-id":1167457,"id":"Q1167457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083075$6D71A14B-69BE-4EB2-883F-4E8169DEB29A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4671805712531af85b42c9a75a912c40f60620","datavalue":{"value":{"entity-type":"item","numeric-id":3315619,"id":"Q3315619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083075$82889E5E-B63C-4B7F-906C-8979982DF38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3120b21b0cc71054381a183461ec98245b3cb059","datavalue":{"value":{"entity-type":"item","numeric-id":1244268,"id":"Q1244268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083075$E571058A-730F-43A4-9157-E0FACE6688B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bfd26dc27f25d556e4d1bffd1b9f69d749a1bd5","datavalue":{"value":{"entity-type":"item","numeric-id":1133807,"id":"Q1133807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1083075$2DB8320F-8E7F-4A89-8CED-F6912F84CACB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc53496bfcb3f7bd4a6f73bef890e5e21579e54","datavalue":{"value":{"entity-type":"item","numeric-id":1174756,"id":"Q1174756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cf856378bf6305318049e8360a81f1277a095f3","datavalue":{"value":{"amount":"+0.8198041915893555","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":"Q1083075$29D1B191-6A72-40BC-87D2-6F31DCBA6628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bef92c10028884c50a25b0c5197d51c1ca4dd60e","datavalue":{"value":{"entity-type":"item","numeric-id":1880636,"id":"Q1880636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43f305178311a58c3acf89efe544003203641ab3","datavalue":{"value":{"amount":"+0.817712128162384","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":"Q1083075$6988BAB3-4A26-41F1-98EC-3E05FD93E9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95451022abd5374e4b5099b3340bf950654115b7","datavalue":{"value":{"entity-type":"item","numeric-id":3817307,"id":"Q3817307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f19d6452ff557bf5961b6485067ea8417bc895e","datavalue":{"value":{"amount":"+0.7866078019142151","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":"Q1083075$79B1520D-781B-4A93-A91B-7D3D3CCE4B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"419d7ffde954fa1eb3e7c141844f295842384f32","datavalue":{"value":{"entity-type":"item","numeric-id":1385193,"id":"Q1385193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"647b641a8700416399eadc1a13dcf60e32ed2928","datavalue":{"value":{"amount":"+0.77921462059021","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":"Q1083075$3AD88453-EFD6-4402-9E76-5B1D8E268B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d88b4db24c8948b867e22a17048269dda3311fac","datavalue":{"value":{"entity-type":"item","numeric-id":1891211,"id":"Q1891211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"647b641a8700416399eadc1a13dcf60e32ed2928","datavalue":{"value":{"amount":"+0.77921462059021","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":"Q1083075$827AE6A7-2987-4E60-9B78-869262E0DD74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Knot modules and the elementary divisor theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Knot_modules_and_the_elementary_divisor_theorem"}}}}}