{"entities":{"Q1108327":{"pageid":1119076,"ns":120,"title":"Item:Q1108327","lastrevid":69661671,"modified":"2026-04-13T08:32:27Z","type":"item","id":"Q1108327","labels":{"en":{"language":"en","value":"Divisible modules over integral domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4067051"}},"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":"Q1108327$3C940F91-87A2-454C-9F8B-F8D37A451C0E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8d795074cf13852dd5adbc557875f8e733bd1072","datavalue":{"value":{"text":"Divisible modules over integral domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1108327$B944906F-D51A-4549-80DB-9E524BB857BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8f52ec1a638380995111e3d1674badb4b40a46d","datavalue":{"value":"0654.13002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108327$3739AE62-C9EB-4A39-A619-C4D21C103882","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff20c1c21f7a12d52a564261f03fac8ea57e24b1","datavalue":{"value":"10.1007/BF02386109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108327$5B31425A-88F3-47A8-99E2-5DD653A98186","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aeb4c831ffd6e17e0876a1886f83a0dd4ab7c92a","datavalue":{"value":{"entity-type":"item","numeric-id":251864,"id":"Q251864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108327$32363988-A60B-4ACE-BBAB-8C8A045A56A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"13570f52327b6d519b5e78582bddbe55f7464260","datavalue":{"value":{"entity-type":"item","numeric-id":283965,"id":"Q283965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108327$DFB0959F-9F8F-47B0-92ED-8883AEA44174","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1108327$CD4B4F1E-A573-440C-82E9-CCD703674E2A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"871b54b7436162b0fe49d91537132607fdbdbe0d","datavalue":{"value":"The aim of this paper is to describe an equivalence between the full sub- category of Mod-R whose objects are the divisible modules over an integral domain R and a suitable full subcategory of modules over the endomorphism ring E of a fixed divisible module \\(\\partial.\\)    This equivalence corresponds to similar equivalences for torsion divisible abelian groups due to \\textit{D. K. Harrison} [Ann. Math., II. Ser. 69, 366-391 (1959; Zbl 0100.02901)], and for torsion h-divisible modules over an integral domain due to \\textit{E. Matlis} [cf. Mem. Am. Math. Soc. 49 (1964; Zbl 0135.078) and the books: ``Torsionfree modules'', Chicago Lect. Math. (1972; Zbl 0298.13001), and ``1-dimensional Cohen- Macaulay rings'', Lect. Notes Math. 327 (1973; Zbl 0264.13012)]. Let R be a commutative integral domain \\((1\\in R)\\), not a field, and \\(\\partial_ R\\) the divisible right R-module defined by \\textit{L. Fuchs} [in: Abelian groups and modules, Proc. Conf., Udine 1984, CISM Courses Lect. 287, 341- 356 (1984; Zbl 0574.13001)]. If \\(E=End_ R(\\partial_ R)\\) and \\(\\partial\\) is viewed as a left \\(E\\)-module \\(_ E\\partial\\), then \\(End(_ E\\partial)\\simeq R\\), and \\({}_ E\\partial \\simeq E/I\\) for a suitable projective principal left ideal I of R. Moreover, \\(\\partial\\) has flat and projective dimensions equal to one, both as a right R-module and a left E-module. This implies that the class \\({\\mathcal F}\\) of all right E-modules M such that \\(Tor^ E_ 1(M;\\partial)=0\\) is the torsionfree class for a (non-hereditary) torsion theory (\\({\\mathcal T};{\\mathcal F})\\) in Mod-E. A module \\(M_ E\\) is I-divisible if the canonical homomorphism \\(M\\otimes_ EI\\to M\\) is an epimorphism, and that a right E-module \\(N_ E\\) is I-reduced if it is cogenerated by the right E-module \\(\\partial^*=\\Hom_ R(\\partial;C)\\), where C is the minimal injective cogenerator in Mod-R. A module \\(M_ E\\) is I-divisible iff \\(\\Hom(M;N)=0\\) (for all I-reduced \\(N_ E)\\). A right E-module M is called I-cotorsion if it is I-reduced and \\(Ext^ 1_ E(N;M)=0\\) (for all I-divisible, I-torsionfree modules \\(N_ E).\\)    Main result: The functors \\(\\Hom_ R(\\partial;-):\\quad Mod-R\\to Mod-E,\\) and \\(-\\otimes_ E\\partial:Mod-E\\to Mod-R\\) induce an equivalence between the full subcategory of Mod-R whose objects are the divisible R-modules and the full sub-category of Mod-E whose objects are the I-cotorsion E-modules.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108327$35AE3F41-48D5-48F5-8736-68D0EAE0ADDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"380bf0750bc1b99470fda5e65fc6cdbb919acbe4","datavalue":{"value":"13A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108327$B46BD55B-1EB0-4957-947C-243024B03C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2bcd1a262934ee0beecf850f3bd08b6bbd3541","datavalue":{"value":"16S90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108327$4EC3DEAF-8D31-48CC-A6D2-FA434874E8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ffa6e56051a57810d80c13171cedff57e266b6c0","datavalue":{"value":"13D99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108327$40565F1C-C3FE-4F65-BB1C-327B2BCCF24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c48ebb9bbb09acac2e74ba1a1219294479b66067","datavalue":{"value":"13B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108327$C826F7E1-CD20-413A-B1C0-143B86A9A242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"913d3990e83d8adef69305bd4ca0e422b9869252","datavalue":{"value":"16S50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108327$0E89D6F1-1C20-43E8-9A80-16CD66654C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"803cbb00fdaed08c751adcfee80dc26380b8374a","datavalue":{"value":"13G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108327$4B2CE4BB-AA82-4DD7-B29F-54E082D905C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8eea792cfb96638d6be1e1683bb751da7fcf6002","datavalue":{"value":"4067051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1108327$FDAF700C-7E85-4982-AC90-CFB70CF6920F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49bdde88e12efa885920aedd67553d097bce1924","datavalue":{"value":"divisible modules over an integral domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108327$EAB2EF09-942E-43CC-82C7-C9235FEFCC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c008a2cc7839679e3fe10f3b5649ccd1e341cd01","datavalue":{"value":"modules over the endomorphism ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1108327$D07ACA45-62DD-404B-94E8-90047BC2363B","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":"Q1108327$5BB1C357-22CD-4C4E-B9B0-25D9D14C856F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8a8ae4a50587016f1f3cf1805aa0814a5f42d04","datavalue":{"value":{"entity-type":"item","numeric-id":3680990,"id":"Q3680990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108327$6F92E9C9-1679-40C8-ABA6-E82A607128B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b769453d7d3f157f151e1cd31ad30d253929c9c","datavalue":{"value":{"entity-type":"item","numeric-id":1093687,"id":"Q1093687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108327$595EBF2D-3BE9-4A3F-A5AC-0BF3373D4D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7d384d30f493bcec8a8b82a67edd4b61e0b244f","datavalue":{"value":{"entity-type":"item","numeric-id":3693591,"id":"Q3693591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108327$E2C0AEBA-BD8C-4556-9558-182FBCAFE2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2639adf2b787fdf1506d9d82bc19b8f2383fccd","datavalue":{"value":{"entity-type":"item","numeric-id":3699812,"id":"Q3699812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108327$721FAAD2-AB8D-4FF7-9073-FD0DC7048A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17e20ed2bbed0ee4ffb5069c724e8f0549cccf09","datavalue":{"value":{"entity-type":"item","numeric-id":4740720,"id":"Q4740720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108327$88EE5665-5312-4157-9866-A8125D4F4E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef2babe97c413c53d24684605418763ccd2ebc1","datavalue":{"value":{"entity-type":"item","numeric-id":774041,"id":"Q774041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108327$DC85860B-A935-409A-9165-B2EA943954D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55a3b644fa1ad5dd59c323d289739682770ea6d1","datavalue":{"value":{"entity-type":"item","numeric-id":5507703,"id":"Q5507703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108327$768653CE-3153-4041-8089-61B2F083735A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7610c4bfe3caa467a9377f75d1eacb4e9b256a4","datavalue":{"value":{"entity-type":"item","numeric-id":4052239,"id":"Q4052239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108327$F376E71F-AFC9-41B8-8563-2E54EA6B3BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb4cab788c7ed45f1adfa555fb8e2d689962d50","datavalue":{"value":{"entity-type":"item","numeric-id":2561631,"id":"Q2561631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108327$B90CC125-0191-4EBB-95A3-7B08A659ED62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11abe1ee01356015826089002a66c3a6bb253852","datavalue":{"value":{"entity-type":"item","numeric-id":3961610,"id":"Q3961610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108327$5EA7A623-D152-455C-9F39-D3EB117ED208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652a40fb0e856435dc3a9112c5e4b5ebb3696e0d","datavalue":{"value":{"entity-type":"item","numeric-id":3215398,"id":"Q3215398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108327$B1E566BA-B592-44E2-818A-750833ED10CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d76bc461d91674eafe8e06cbf450751c7b2fe819","datavalue":{"value":{"entity-type":"item","numeric-id":2526355,"id":"Q2526355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108327$5502928E-5737-460E-89A6-46BF0C08BC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce18383aa0fb35992209892ecc8afc0d8f83ea5d","datavalue":{"value":{"entity-type":"item","numeric-id":4049223,"id":"Q4049223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108327$7676701B-2FEE-4343-8E23-AC35C04EE6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"670cad83165af071473da144181b0f73f8c9dedf","datavalue":{"value":{"entity-type":"item","numeric-id":2531959,"id":"Q2531959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1108327$B8582B93-C33B-4C79-AD81-B66EBFB33EB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99b4e570342d2b01eb82a30165bd835acc46e430","datavalue":{"value":{"entity-type":"item","numeric-id":3032355,"id":"Q3032355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48acf4d1147e04f99391d732234e8df9c4266c69","datavalue":{"value":{"amount":"+0.8356921672821045","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":"Q1108327$46C4E5CF-AF2A-4B95-979F-DF50361B184F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2564bc5c621ac55e2006f23d2d39b1940b7b41bd","datavalue":{"value":{"entity-type":"item","numeric-id":1106893,"id":"Q1106893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b22e8df7e7ad14e1ce842b69402e08e8b8db8c20","datavalue":{"value":{"amount":"+0.8298137784004211","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":"Q1108327$8A2C4623-0FE6-4023-8C1A-BD82117152EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"614304ef77e924e25f91fcfb4f6a09e8f2b41a69","datavalue":{"value":{"entity-type":"item","numeric-id":3765941,"id":"Q3765941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdfa000a5360124faec546c7569be30b4be0e1d2","datavalue":{"value":{"amount":"+0.8216902017593384","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":"Q1108327$C19E63D7-3490-445C-8EEC-4EE72E88D6FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d640bad2c11ed10d837c44ca3637723aebdc440","datavalue":{"value":{"entity-type":"item","numeric-id":4133775,"id":"Q4133775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5be14ab39f0f7d095d55f9ce306430fdfaab2e5","datavalue":{"value":{"amount":"+0.7960742115974426","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":"Q1108327$9B5A72EF-9312-4477-A299-CF2952342CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1ab26e660090d510fefcc8e6f0032c272f73ea6","datavalue":{"value":{"entity-type":"item","numeric-id":3993918,"id":"Q3993918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18edcd32524554fb1b0011c0ddebcf599e50c695","datavalue":{"value":{"amount":"+0.7812020778656006","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":"Q1108327$20169D05-4168-472B-A395-819C6E4D7744","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Divisible modules over integral domains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Divisible_modules_over_integral_domains"}}}}}