{"entities":{"Q2542541":{"pageid":2553284,"ns":120,"title":"Item:Q2542541","lastrevid":73550469,"modified":"2026-04-14T16:25:45Z","type":"item","id":"Q2542541","labels":{"en":{"language":"en","value":"The Grothendieck group of torsion-free modules of finite rank over a valuation ring"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3327420"}},"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":"Q2542541$8ECBCC91-2819-4492-BFE4-EB2F70AFBA6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23eb2f29ab767eaec9a1f0bf2ffd38abe594f730","datavalue":{"value":{"text":"The Grothendieck group of torsion-free modules of finite rank over a valuation ring","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2542541$AE897E80-0776-482C-A5DB-621490331519","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52e71df9f254af855ca475d22d486041bffd94f6","datavalue":{"value":"0206.05201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2542541$C1F16371-E4E6-4340-883E-A722473545F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"23965ee36ae041db38ca83a8f94dbdf3e3e1d647","datavalue":{"value":"10.1016/0021-8693(71)90039-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2542541$C35A041A-4B33-4E17-8B12-699E810FE2CC","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":"Q2542541$78EA263B-B262-4A17-B3FB-9EC58028496D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"652ad65ffdd573691be68fbfe67aa0cdf6812549","datavalue":{"value":{"time":"+1971-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":"Q2542541$E2276584-6B88-4A25-B8E1-5F22374AB411","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"eafb3ee849f32384ebed27084137e953acff12f8","datavalue":{"value":"In this paper, we prove that the Grothendieck group mentioned in the title is a certain ring of integer-valued functions, which depend only on the ideal structure of the given valuation ring. In this process we also show that the Jordan-H\u00f6lder theorem holds for the modules considered. The technique involved makes use of Kaplansky's work on maximal valuation rings and modules over them. A torsion-free module of finite rank over a maximal valuation ring is completely decomposable. The well-known Krull-Schmidt-Azumaya theorem then applies to conclude that these summands are unique up to isomorphism. Hence in this case the structure of Grothendieck group is clear. If the ring is not maximal, one can choose one of its maximal completions (though not unique) and use the functor \\(\\otimes\\), which happens to be faithful on simple objects of the category of torsion-free modules of finite rank, to pass on to the corresponding category over the maximal completion. In this process an isomorphism result between the Grothendieck groups of the categories is considered.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2542541$4F5BB156-9EE6-482B-B46A-2072B6AD4EDD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a6b4d33f0acc4479dbd80c2e14c77e3ba846fc9f","datavalue":{"value":"13D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2542541$DEAA2663-B1E1-4B6D-A0BD-FD58CEFAD436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3b52918523363a6d0e63b5cbee70cee79e68263","datavalue":{"value":"13F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2542541$637BC7C3-CA5B-4912-BE01-5D3D65A21892","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"528a78d2a2116f35e5fe17e190392219cdb9b0b5","datavalue":{"value":"3327420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2542541$7753384C-B071-4A11-B397-D0C15B47EA02","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b51948bfaf192dcddf3ec9be82087d0378622738","datavalue":{"value":{"entity-type":"item","numeric-id":1063675,"id":"Q1063675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2542541$6BF73ACA-E9A6-4A6C-8FA4-9A9D19B5983E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6521d25327245b84817ed8ca1817c682443e317a","datavalue":{"value":{"entity-type":"item","numeric-id":1063675,"id":"Q1063675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2542541$515E6C12-A078-4A62-8164-5E46DDA5C6E3","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":"Q2542541$C6D3A805-00D1-4E78-8E04-EB541A3EA542","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ca89f0d37503c6cdc1cae46930f4b44d15ed57a","datavalue":{"value":"https://doi.org/10.1016/0021-8693(71)90039-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2542541$204E9A90-6D2A-4DE4-8B46-53454B023B2C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc27bf9107b498ee5c9d3678926a17a1605ec591","datavalue":{"value":"W1965740762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2542541$E2E9A66B-6661-4298-97DF-3DA98F2E8DA4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8bff79a64cbf842089bff161e18a83e510745a4","datavalue":{"value":{"entity-type":"item","numeric-id":5799458,"id":"Q5799458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2542541$DC5E3DA8-ACF6-4184-B09F-08159D1D291F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"646445c852cc6184e74949a18b1edbe8813ee4ef","datavalue":{"value":{"entity-type":"item","numeric-id":3843687,"id":"Q3843687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2542541$B6430C60-FD6F-4BEB-BA96-2A7DCDC800B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b7d4827c18c9ce2c4580d8c7dbeda069de0c620","datavalue":{"value":{"entity-type":"item","numeric-id":2544988,"id":"Q2544988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2542541$E58C75F2-4127-4E8B-9175-FCC80B1013D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cbfe039eba84a1b5b43cadb9800ecc04dd3a70d","datavalue":{"value":{"entity-type":"item","numeric-id":2653240,"id":"Q2653240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2542541$A43CCD27-325F-445D-AC4A-A1DE4BF9AFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0ded7734b1c0d260fd68b1f2fcfb0644c5a310c","datavalue":{"value":{"entity-type":"item","numeric-id":5811265,"id":"Q5811265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2542541$70784254-92B4-4ECC-9E47-69A4DD2DEF3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f6cb3831250c292b665a24d15007603fb0dc84","datavalue":{"value":{"entity-type":"item","numeric-id":5589390,"id":"Q5589390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2542541$A6A81554-10E0-4C95-8E90-A7E87C4762B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a679de1be51f3f3921628634e12e624f83cb446f","datavalue":{"value":{"entity-type":"item","numeric-id":5730175,"id":"Q5730175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2542541$AFA29299-E3DD-446E-B041-75DBF2D4D909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73e5a32d969e616c32ec9f6af9ad5a3db0537e4e","datavalue":{"value":{"entity-type":"item","numeric-id":5920943,"id":"Q5920943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2542541$DFF60225-C82B-494D-950D-6C418773F747","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"674eda338289d53362f5f987d4c9e70abc10beb3","datavalue":{"value":{"entity-type":"item","numeric-id":1300652,"id":"Q1300652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abefcb899ef1935933ca92fafd1973f261bcffcb","datavalue":{"value":{"amount":"+0.7560557723045349","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":"Q2542541$581EDE01-902C-4A37-B45A-3624BADBB1FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"629c2dbb0f21abac3eac1632d4c13bd2f2fdd9ae","datavalue":{"value":{"entity-type":"item","numeric-id":5896462,"id":"Q5896462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"635d8d763a6706e51383fc46182ba9fd27d47067","datavalue":{"value":{"amount":"+0.755632758140564","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":"Q2542541$75D1B75C-7BEC-4984-82A1-27D86C6DE7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2db2a6be68674c9d5aca31c354dc0bd229f8d4a","datavalue":{"value":{"entity-type":"item","numeric-id":1427357,"id":"Q1427357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f63fe2e374a5ab5d7729c06043623e3e2a69caed","datavalue":{"value":{"amount":"+0.7550318241119385","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":"Q2542541$64C4C106-11DC-4192-998C-5477FB0AA1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce26e14a416271f2e1a34aec3af8b210e2288658","datavalue":{"value":{"entity-type":"item","numeric-id":4519420,"id":"Q4519420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05c09ec82303f9bb576acf9d09cdbea10a275fc3","datavalue":{"value":{"amount":"+0.7535591125488281","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":"Q2542541$1CE93857-75C4-4D85-BE50-90EA625676E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bba5f1930fda9e2ab5a0b3a7670c1b081987b89e","datavalue":{"value":{"entity-type":"item","numeric-id":487696,"id":"Q487696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe8cf2f330373abd3a72dc5ffb96cdc86a87412c","datavalue":{"value":{"amount":"+0.7534517645835876","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":"Q2542541$D32A6047-D0EA-4BC3-8304-88F1AB8B9450","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Grothendieck group of torsion-free modules of finite rank over a valuation ring","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Grothendieck_group_of_torsion-free_modules_of_finite_rank_over_a_valuation_ring"}}}}}