{"entities":{"Q790889":{"pageid":792737,"ns":120,"title":"Item:Q790889","lastrevid":64366614,"modified":"2026-04-11T19:23:11Z","type":"item","id":"Q790889","labels":{"en":{"language":"en","value":"Ideals of injective dimension 1"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3849380"}},"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":"Q790889$A5E1F96B-60B1-44B0-87D7-BF741BA0FEED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bfa816ddabbaaf76d629ea2f13c095f429c56f8a","datavalue":{"value":{"text":"Ideals of injective dimension 1","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q790889$275E8B75-EE31-4A2D-8D2F-ED813062A219","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d49fe5da3d001f953b2cf4454455f0fbccbce7c0","datavalue":{"value":"0535.13011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790889$9B1D47EF-EE6F-4CDB-B2B6-FEA99EF9F955","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"86b518f2b9e7707f193257529b28531c0acf5a65","datavalue":{"value":{"entity-type":"item","numeric-id":759185,"id":"Q759185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790889$3B079996-983E-4586-935A-74E2C4FC268F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c4c7a1f46d9894fac4cec7ad103eaed62d5731b","datavalue":{"value":{"entity-type":"item","numeric-id":227392,"id":"Q227392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790889$9A6F99B9-50B7-40FE-98CB-E04B85777D05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q790889$9AFD9B10-E2E7-4C3B-ACF1-032C41B87FA9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e614a7f7524a47e71dc651b633c3e63547c0b6c3","datavalue":{"value":"Let R be an integral domain with quotient field Q and let I be a non-zero ideal of R. In this paper the author investigates conditions under which the injective dimension of I is one (i.e. Q/I is injective). This leads naturally to the conditions \\(E(R/I)=Q/I\\) and \\(E(R/I)\\subseteq Q/I\\) where E(R/I) denotes the injective envelope of R/I. The results relate these conditions to properties of certain overrings of R that the author calls complemented extensions, and to properties of torsion-free liftings and coverings. A ''complemented extension'' is defined as an R-submodule A of Q which contains R for which there exists an R-submodule A' of Q with \\(A+A' = Q\\) and \\(A\\cap A' = R\\). --- These are investigated in section one where it is shown that A is a flat overring of R and A' is unique. It then follows that \\(Q/I\\cong Q/IA\\oplus Q/IA'\\) so these extensions can be expected to play a role in the above questions about Q/I. It is also shown that if H is the completion of R in the R-topology, then complemented extensions of R correspond to decompositions of H into a product of two subrings. -In section two it is shown that \\(inj \\dim_ RI=1\\) is equivalent to the following equivalent conditions on I. (1) There exists a complemented extension A of R such that \\(IA\\cap R=I\\), \\(inj \\dim_ AIA=1\\), and \\(inj \\dim_{A'}A'\\leq 1.\\) (2) \\(R_ S\\) is a complemented extension of R, \\(inj \\dim_{R_ S}I_ S=1\\) and \\(inj \\dim_{R'\\!_ S}R'\\!_ S\\leq 1\\) where \\(S=\\{1-a| a\\in I\\}\\) and R'\\({}_ S\\) is the unique complement of \\(R_ S\\). A similar description of when \\(E(R| I)\\subseteq Q/I\\) holds is also given. -In section three the author shows how the properties under consideration are related to torsion-free liftings and covers of various modules. For example this section contains the result that \\(inj \\dim_ RI=1\\) is equivalent to each of the following conditions. \\((1)\\quad Ext^ 1\\!_ R(X,IH)=0\\) for any torsion-free R-module X. (2) The exact sequence \\(0\\to IH\\to H\\otimes Q\\to Q/I\\to 0\\) is a torsion-free lifting. (3) The exact sequence \\(0\\to rIH\\to H\\to R/rI\\to 0\\) is a torsion-free lifting for any non-zero \\(r\\in R\\). Similar characterizations of \\(E(R/I)=Q/I\\) and \\(E(R/I)\\subseteq Q/I\\) are also given. -In the fourth and final section the author gives applications to valuation rings, noetherian domains and h-local domains. The following is a sample of the results in this section: The following properties of R are equivalent. (1) R is an almost maximal valuation ring. (2) R is a valuation ring and \\(inj \\dim_ RI=1\\) for every non-zero ideal I of R. (3) R has only one maximal ideal M and \\(inj \\dim_ RM=1.\\) (4) There exists a maximal ideal M of R such that \\(E(R/M)=Q/M.\\) (5) There exists a maximal ideal M of R such that \\(H\\to R/I\\) is a torsion-free cover.","type":"string"},"datatype":"string"},"type":"statement","id":"Q790889$5AFED0C0-C521-4F49-804B-D1A8B0AE69B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"64ce59c17d9a83c0cac11f35e9b0863a228f3d0a","datavalue":{"value":"13C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790889$97B02C94-9F4F-42E1-B095-F3C217FD2C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"00b57ad4427337de71ca891b07759c4534c98423","datavalue":{"value":"13B02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790889$36B1340F-9125-478B-9309-2E0DD8EA7008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"803cbb00fdaed08c751adcfee80dc26380b8374a","datavalue":{"value":"13G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790889$8FA088DE-AAD3-4689-8A70-B975D4A1B521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f44c3e05f007359b39a58b0e4e67e343748285e","datavalue":{"value":"13C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790889$FBE286E9-B793-45C9-9AE9-D2524C6CD468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79d1604bc7b9cd28b541528861ccf5cae7e4cd57","datavalue":{"value":"13B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790889$151F484D-32AC-4C55-86C2-953AC436D3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9dd685d198780361a1c3e1544313097f92c33bde","datavalue":{"value":"13D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790889$71F39AF3-0A57-4DD6-8941-B243300B4807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3b52918523363a6d0e63b5cbee70cee79e68263","datavalue":{"value":"13F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790889$1C437137-E7FC-4857-9F56-E35ADEAF7546","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04317f9133f11f94a5c046cdadd771092753fd90","datavalue":{"value":"3849380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790889$E1F3BC6C-1DBF-4D12-8F72-4BA1FBC8E02B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c570ae2838dd5bb219e4a84be32727a618b5763","datavalue":{"value":"injective dimension \\(=\\) 1","type":"string"},"datatype":"string"},"type":"statement","id":"Q790889$A261098D-3A53-4A2D-B407-4CC31A241BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de4a5823a971b241d5091f7d4f40896baaa56439","datavalue":{"value":"complemented extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q790889$29AA0AB1-9686-4E5D-B213-765E38E28AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62054b9893df2de96a5975ed6e3ed2bcd144191b","datavalue":{"value":"valuation rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q790889$1B203277-E3E5-4445-93FE-67B198267146","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5a78cfc2d6d247a9d483880a3b4a13e96d107104","datavalue":{"value":{"entity-type":"item","numeric-id":186083,"id":"Q186083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q790889$1698702B-B873-4C51-8EC2-DC702D0F75B9","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":"Q790889$6F2BE49A-DF4E-48AC-886A-3145859AB323","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9661475decea21e013f84c0dd95c57d6b5772e4","datavalue":{"value":"https://doi.org/10.1307/mmj/1029002732","type":"string"},"datatype":"url"},"type":"statement","id":"Q790889$ABA8C1BD-BDC9-4386-B835-73B7D209D489","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e3602e76bd0797d249f140f07afe2ab18c42f54","datavalue":{"value":"W2003954130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790889$E035E174-06CA-42C5-A5C8-0F445A11C567","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"17ca0bceebe2c76367db71b546d23ef1208c6b2a","datavalue":{"value":"Q114057222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790889$33607811-B201-44B3-BEDD-C6F0FFC97EE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f36b44c9ef85bd55104c9ca6d7696b25a19bbf64","datavalue":{"value":"10.1307/MMJ/1029002732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q790889$83FAD4F5-BAD3-4554-AFF5-FC817742A6A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"943ca9499c1eea9d33c17bbb95809afe25f4a056","datavalue":{"value":{"entity-type":"item","numeric-id":1073104,"id":"Q1073104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8d118b1a8db27b0036105da49011f92bf5c58d5","datavalue":{"value":{"amount":"+0.7818266153335571","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":"Q790889$DC9DD46C-0FBB-4FAF-8C1A-E7280BE42A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc0971336145bb6c4043ef9da15427ee1999b060","datavalue":{"value":{"entity-type":"item","numeric-id":1587983,"id":"Q1587983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5af6ad077f52e7a71b00d05971a04a1037644594","datavalue":{"value":{"amount":"+0.7763247489929199","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":"Q790889$7EE02E69-DFC3-4E13-8998-020B87AF9466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91c61012df0d5ff72fd705b2b5a1d1034bdbd6f1","datavalue":{"value":{"entity-type":"item","numeric-id":5443580,"id":"Q5443580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5af6ad077f52e7a71b00d05971a04a1037644594","datavalue":{"value":{"amount":"+0.7763247489929199","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":"Q790889$284C5329-D99D-4808-84FC-7B6A5E6654B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c3c8ba852704b3e62a796cd6511c41a91d35ab8","datavalue":{"value":{"entity-type":"item","numeric-id":2368802,"id":"Q2368802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f341146a54a3ee80c71b0f87465caafa3dfe07d","datavalue":{"value":{"amount":"+0.7708160281181335","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":"Q790889$E123B3B7-05F9-4A09-B72B-40379D968CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9ea75d2e1a36ded30caa2dbe4c1f4daa36fe3bc","datavalue":{"value":{"entity-type":"item","numeric-id":1403906,"id":"Q1403906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9b1cf69cce1ddcec4331b4c3e494b56b2683ada","datavalue":{"value":{"amount":"+0.7678276300430298","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":"Q790889$13E3397C-0F33-4093-88A1-1E9931DA5FBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Ideals of injective dimension 1","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Ideals_of_injective_dimension_1"}}}}}