{"entities":{"Q412565":{"pageid":414332,"ns":120,"title":"Item:Q412565","lastrevid":61659783,"modified":"2026-04-11T00:47:08Z","type":"item","id":"Q412565","labels":{"en":{"language":"en","value":"Multiplicative invariants and length functions over valuation domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6030534"}},"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":"Q412565$2742BA89-DFF1-4C24-9AFF-94C1B1641958","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fda3dda6d18b1734e28969fff45d67f2fcf83b6e","datavalue":{"value":{"text":"Multiplicative invariants and length functions over valuation domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q412565$08B27434-7E59-43BF-BFEC-58C2CCAB49B4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe17206a20c1317bbc6bc827b5a1f835d330baef","datavalue":{"value":"1250.13016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412565$7C53937F-FB53-4485-86C8-B768E220C909","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ca51df10c91661d08da0aeffa204c5662fe823b","datavalue":{"value":"10.1216/JCA-2011-3-4-561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412565$F7B55AF6-5A95-40AE-84A4-202FC4F7F2AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61a4e95b669aa0544c870f6199b25a894770db84","datavalue":{"value":{"entity-type":"item","numeric-id":262654,"id":"Q262654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412565$EC07135E-F896-4D47-82E6-79C18261A24B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d0f2e18c1df897dbb15de5492927d1ae63c4ec2","datavalue":{"value":{"time":"+2012-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q412565$570C76BA-C7F2-46D8-879B-330DD96F8539","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a7af6214045bc6f2424006f58b05d7b94a5baf0","datavalue":{"value":"https://projecteuclid.org/euclid.jca/1323364358","type":"string"},"datatype":"url"},"type":"statement","id":"Q412565$02C2AA7C-8CD0-4585-B3F9-5DE437400D08","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6a4dc55d1e339c5a861364301a78d8def8050d67","datavalue":{"value":{"entity-type":"item","numeric-id":590893,"id":"Q590893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412565$3712A986-E214-4576-82EB-1843C7ED4E61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"179ef5df7817b12dbe869a644d7595f569829ce3","datavalue":{"value":"13C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412565$93EA9535-8675-467B-8200-B911E5133ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c66129cb93ebfc9db355816a761018887fa08da","datavalue":{"value":"13A18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412565$08EC09C3-EA09-433A-89B5-9CE14ECEE403","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2da89440e461709ad8883917964494ebb38f5d9b","datavalue":{"value":"6030534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412565$1531FBD9-3DCB-4C3F-8C0A-9A96CCEA97BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba48f11fb4474b93410b4a4cc6288953fd19bf8","datavalue":{"value":"multiplicative invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q412565$B14A41D4-D7C9-4412-B879-E4CE8D27FE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1cf4a04177e6ccc60adf22d868cfdfd378c970f","datavalue":{"value":"valuation domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q412565$857ABE47-5D33-4371-BEA3-71C206043F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d10e1206e0f734881dff4f4f155dc0d3fc101f6b","datavalue":{"value":"finitely generated modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q412565$19E0853A-3329-4483-A406-C8A867EC8D1B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed689d15c93e7856ff57fe5127a2e94da13c9a7c","datavalue":{"value":{"entity-type":"item","numeric-id":186486,"id":"Q186486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412565$86098E22-275F-4290-923C-40F4CBFFADF8","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":"Q412565$55D12960-9645-415D-9BEE-736283F60DA0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b601403727c31efb32c7d4d372b67f7516a242e6","datavalue":{"value":{"entity-type":"item","numeric-id":5333704,"id":"Q5333704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412565$E7C2F2F4-AE7A-4BEF-914B-1E1CDD3BADF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37104c421e0ded78c9ec837d1b5c3a3016389be4","datavalue":{"value":{"entity-type":"item","numeric-id":3400120,"id":"Q3400120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412565$7ED5D7CF-ED94-4D6B-BF97-12ACDDBA1001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323065dde722ce8afc9a6e7077ac3737b9830a1e","datavalue":{"value":{"entity-type":"item","numeric-id":3631860,"id":"Q3631860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412565$8B7B0E18-C5E8-4D3A-A5AB-31DF44DA3A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865739c8c46b7eb8ebee9997f21b126349ae7ac8","datavalue":{"value":{"entity-type":"item","numeric-id":4513600,"id":"Q4513600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412565$FAC6C1AA-2FC2-4CAE-B424-CEF50E42C38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19ec7758544fa4fd973478664b82cd450dfaf47a","datavalue":{"value":{"entity-type":"item","numeric-id":5390556,"id":"Q5390556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412565$6E2102B1-9FC6-4B34-B4FC-72CC03102656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e744f1f7b2c1e63acf272cca9029dbdb799122b6","datavalue":{"value":{"entity-type":"item","numeric-id":5337256,"id":"Q5337256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412565$067268AC-D8D8-4DCC-8BDA-E4560A6D4F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47e4352176b4ba4ac0bf11f3f1e523168787c6ff","datavalue":{"value":{"entity-type":"item","numeric-id":4092086,"id":"Q4092086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412565$C7397B1D-EF52-41B4-BE4A-FC4B274C05D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00831b31c92d4262b2ce982e5566a5e435553e49","datavalue":{"value":{"entity-type":"item","numeric-id":4915086,"id":"Q4915086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412565$F311AED7-678F-4AF1-BCF4-225B0A033E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"377296680df0be7e8aa285ee2ccb60e85e25aff5","datavalue":{"value":{"entity-type":"item","numeric-id":3656545,"id":"Q3656545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412565$819002D7-3300-465A-8AD0-DFF8E04B92C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a254a7e6baeb2be40efb7eb6a3901001f4b4f3d7","datavalue":{"value":{"entity-type":"item","numeric-id":5191072,"id":"Q5191072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412565$C815F5D9-BCC9-41F9-9092-CB38D8CD82BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3fa60610223bd2c53ea3a73c743a44f61e5921c","datavalue":{"value":{"entity-type":"item","numeric-id":5534352,"id":"Q5534352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412565$CF4D4782-F823-4E65-981E-97D4F2BA9F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd63c9456700e791b399adc09e9676896fbb46b","datavalue":{"value":{"entity-type":"item","numeric-id":4052412,"id":"Q4052412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412565$FFD23D7B-61A0-494E-A32A-F472F1260078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c22a86a1cd47a8c8508603b7f847eb4454de69c","datavalue":{"value":{"entity-type":"item","numeric-id":5851760,"id":"Q5851760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412565$EC86A796-CEC1-4774-906C-2AF2B5E4948F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21188150457174a154c49cbe7e99d36c329d8147","datavalue":{"value":"W2005761646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412565$F1F92257-359A-4202-8B17-87E8FE96AC0E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"677410a550c38d69b8a8a33feaf20c6ddb5b0ee3","datavalue":{"value":"\\(R\\) denotes a commutative ring, \\(\\mathrm{Fin} R\\) the class of finitely generated \\(R\\)-modules, and \\((\\Gamma,\\cdot,\\leq)\\), denotes a commutative partially ordered semigroup. A map \\(\\mu: \\mathrm{Fin} R\\to\\Gamma\\) is called an invariant of \\(\\mathrm{Fin} R\\), if, for isomorphic \\(R\\)-modules \\(X, Y\\), one has \\(\\mu(X)=\\mu(Y)\\). \\(\\mu\\) is called a multiplicative invariant, if, for every short exact sequence \\(0\\to Y\\to X\\to X/Y\\) in \\(\\mathrm{Fin} R\\), the following conditions are satisfied: (i) \\(\\mu(X)=\\mu(Y)\\mu(X/Y)\\); (ii) \\(\\mu(Y)\\leq \\mu(X)\\); (iii) if \\(Z\\) is a homomorphic image of \\(X\\), then \\(\\mu(Z)\\leq \\mu(X)\\). For a valuation domain \\(R\\), \\(\\mathcal I=\\mathcal I(R)\\) denotes the multiplicative semigroup of the ideals of \\(R\\), linearly ordered by \\(I<J\\) iff \\(I\\supset J\\); then a map \\(\\mu_\\mathcal I:\\mathrm{Fin} R\\to\\mathcal I(R)\\) is defined as follows: given a finitely generated \\(R\\) module \\(X\\), with some ordered basis \\(\\mathcal G\\), then \\(\\mu_\\mathcal I(X)=B_1\\cdots B_n\\), where \\(B_1,\\dots, B_n\\) is the \\(\\mathcal G\\)-annihilator set of \\(X\\).NEWLINENEWLINESome of the results are as follows:NEWLINENEWLINETheorems 2.4-5. Let \\(R\\) be a valuation domain. Then the map \\(\\mu_\\mathcal I\\) is a well-defined multiplicative invariant of Fin\\(R\\). Moreover, this map has the universal property in the class of valuative invariants. The author's starting point was the notion of length function of Mod\\(R\\), introduced by \\textit{D. G. Northcott} and \\textit{M. Reufel} [Q. J. Math., Oxf. II. Ser. 16, 297--321 (1965; Zbl 0129.02203)] that was meant to be a generalization of the classical Jordan-H\u00f6lder length of modules. The present author's interest is also in various length functions. One of the products of this paper is an alternative description of length functions (obtained by Northcott and Reufel), namely via use of the map \\(\\mu_\\mathcal I\\),","type":"string"},"datatype":"string"},"type":"statement","id":"Q412565$79B54C8E-6D8F-4DAA-8071-0C3768415A75","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be73472e3e905d4ea952f0da1d7c2e4c670d62b","datavalue":{"value":{"entity-type":"item","numeric-id":1117982,"id":"Q1117982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edb453b36d8a2d30ca98205384eb5b907be27798","datavalue":{"value":{"amount":"+0.7720462083816528","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":"Q412565$83BCCA8E-2BEF-4ACF-AD22-C1AAC3A9FC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebe2b4ced5292b5719ec2c945bbab8b3e7e16b34","datavalue":{"value":{"entity-type":"item","numeric-id":1315168,"id":"Q1315168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3495e6c326a259ebc8e6e0a09d69b0596c6d5858","datavalue":{"value":{"amount":"+0.7379006147384644","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":"Q412565$42654B9F-4798-47E4-97D9-FD586147717F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc1cb66fb6badf7dc239f19fbd1d680950594eeb","datavalue":{"value":{"entity-type":"item","numeric-id":2322539,"id":"Q2322539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5061d943cd87332e3286f3706342d6fc5a9aef25","datavalue":{"value":{"amount":"+0.7326443791389465","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":"Q412565$C65A0E9C-EE18-4B0C-8D41-734BBE88397B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"885555bc34f67d56d80d7054c775cf52072ff4df","datavalue":{"value":{"entity-type":"item","numeric-id":5308793,"id":"Q5308793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7007f76523727316637b0328144c4df3577a0daf","datavalue":{"value":{"amount":"+0.7283499240875244","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":"Q412565$6EEFF8F8-C130-4A89-8B29-CE40CE8F4036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a895315bb019a57620d1f3ae3da5ca2e3629db58","datavalue":{"value":{"entity-type":"item","numeric-id":3731731,"id":"Q3731731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"243ecdf1fafed721d1747a51936be1092534e982","datavalue":{"value":{"amount":"+0.7191683650016785","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":"Q412565$477E33A4-C29D-4C52-914C-6E317D70421E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Multiplicative invariants and length functions over valuation domains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Multiplicative_invariants_and_length_functions_over_valuation_domains"}}}}}