{"entities":{"Q2689451":{"pageid":2700194,"ns":120,"title":"Item:Q2689451","lastrevid":47824258,"modified":"2026-01-02T19:24:56Z","type":"item","id":"Q2689451","labels":{"en":{"language":"en","value":"A note on maximal non-Manis extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7661895"}},"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":"Q2689451$791839A7-5D77-4CDF-B93E-B02FBD5FCC2C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fea3eb88faea6ba4e756dc2d583cd9dc54067597","datavalue":{"value":{"text":"A note on maximal non-Manis extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2689451$315408B8-C930-4368-AF16-BF934818F5B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"754f052716ad943789bc799af15bc349c07550bb","datavalue":{"value":{"entity-type":"item","numeric-id":1937736,"id":"Q1937736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2689451$D8F19D06-11B0-445A-A4A2-D7DD6BD2F9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dcf1a35003a0f8cd51814246564494ac1f8d50cc","datavalue":{"value":{"entity-type":"item","numeric-id":784771,"id":"Q784771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2689451$2790B677-4A94-4DE6-BACF-F6F5D66A4B26","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fcf622d4faaaf9eb501926768589cf6bc6e37689","datavalue":{"value":{"entity-type":"item","numeric-id":213743,"id":"Q213743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2689451$03AC1201-50FE-4B9A-B2D8-CEC7893D0B46","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffed8e8d30c95f79058c35c3950af7927ffd6a67","datavalue":{"value":{"time":"+2023-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2689451$A11E4F63-D662-4018-A481-866461AB73CE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"194e1770651a7d6c6896545fc0e8870fea854e67","datavalue":{"value":"For a commutative ring with identity \\(S\\) and a totally ordered additive abelian group \\(\\Gamma\\), a \\textit{valuation} \\(v:S\\to\\Gamma\\cup\\{\\infty\\}\\) is a map satisfying \\(v(1)=0\\), \\(v(0)=\\infty\\) and, for all \\(x,y\\in S\\), \\(v(xy)=v(x)+v(y)\\) and \\(v(x+y)\\ge\\min\\{v(x),v(y)\\}\\). Here, \\(\\infty\\notin\\Gamma\\) is a quantity with \\(g+\\infty=\\infty+g=\\infty+\\infty=\\infty>g\\) for every \\(g\\in\\Gamma\\). The \\textit{valuation subring} of \\(v\\) is \\(R=\\{x\\in S\\mid v(x)\\ge0\\}\\). \\(v\\) is called a \\textit{Manis valuation} if \\(v(S)\\setminus\\{\\infty\\}\\) is a subgroup of \\(\\Gamma\\). A \\textit{Manis extension} is a ring extension \\(R\\subseteq S\\) such that \\(R\\) is the valuation subring of some Manis valuation \\(v:S\\to\\Gamma\\cup\\{\\infty\\}\\), for a suitable \\(\\Gamma\\). This is equivalent to \\(R[X]\\subseteq S[X]\\) being a Manis extension, by Prop.\\ 2.8 of the paper. If \\(R(X)\\) denotes the localization of \\(R[X]\\) with respect to the multiplicative subset consisting of the polynomials \\(f\\) with unit content ideal (i.e., the coefficients of \\(f\\) generate the ideal \\(R\\)), and \\(S(X)\\) is the equivalent for \\(S\\), then if \\(R(X)\\subseteq S(X)\\) is Manis, so is \\(R\\subseteq S\\). This is Prop.\\ 2.10.  A ring extension \\(R\\subseteq S\\) is \\textit{maximal non-Manis} if it is not Manis and, for every intermediate ring \\(R\\subsetneq R'\\subsetneq S\\), the extension \\(R'\\subseteq S\\) \\textit{is} Manis. The authors show (Th.\\ 2.11) that if \\(R\\) is integrally closed in \\(S\\) and at least one maximal ideal \\(\\mathfrak{m}\\) of \\(R\\) survives in \\(S\\), that is, \\(\\mathfrak{m}S\\ne S\\), then \\(R\\subseteq S\\) is maximal non-Manis iff \\(R[X]\\subseteq S[X]\\) is. And (Th.\\ 2.12), under the same conditions, if the extension \\(R\\subseteq S\\) is maximal non-Manis, so is \\(R(X)\\subseteq S(X)\\).  It is also shown that, under certain conditions, an extension that is the pullback of some ring extension along a surjective ring homomorphism is maximal non-Manis iff the pulled-back extension is. This is Th.\\ 2.7. Prop.\\ 2.2 states that when \\(R\\subseteq S\\) is maximal non-Manis, \\(R\\) is integrally closed in \\(S\\), and for every maximal ideal \\(\\mathfrak{m}\\) of \\(R\\) there is an \\(x\\in S\\setminus R\\) with \\(\\{a\\in R\\mid ax\\in R\\}\\nsubseteq\\mathfrak{m}\\), the extension \\(R\\subseteq S\\) is \\textit{Pr\u00fcfer}. That is, for every prime ideal \\(\\mathfrak{p}\\) of \\(R\\) there is a Manis valuation \\(v\\) on \\(S_\\mathfrak{p}\\) having valuation subring \\(R_\\mathfrak{p}\\) and \\textit{center} \\(\\{x\\in S_\\mathfrak{p}\\mid v(x)>0\\}=\\mathfrak{p}R_\\mathfrak{p}\\). (For brevity, a definition of Pr\u00fcfer extensions is used here that differs from the one in the article. The two are equivalent by Prop.\\ I.2.10 of \\textit{M. Knebusch} and \\textit{D. Zhang} [Manis valuations and Pr\u00fcfer extensions. I: A new chapter in commutative algebra. Berlin: Springer (2002; Zbl 1033.13001)]). The authors include examples of ring extensions that are both maximal non-Manis and Pr\u00fcfer, and of Pr\u00fcfer extensions that are not maximal non-Manis.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2689451$23670DD7-AEC1-4699-A6C1-59A6F92F0803","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b88aba988a1ced49955b0e4cbf556b29c14da740","datavalue":{"value":{"entity-type":"item","numeric-id":2107659,"id":"Q2107659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2689451$64F27F73-C1EF-4A42-B58F-84F622EB15BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23117a89d3983e500a3b09b9e4836cdf368918b3","datavalue":{"value":"13A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2689451$348E8F2C-FDB9-47B2-8517-821894D4A6A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c66129cb93ebfc9db355816a761018887fa08da","datavalue":{"value":"13A18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2689451$90D86315-1AAD-4CA8-B3E2-905CF0DD9AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"00b57ad4427337de71ca891b07759c4534c98423","datavalue":{"value":"13B02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2689451$53139D0F-98A9-448D-9C08-A229C6986BBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79aacc94630230b011449125a6548b73d070f94d","datavalue":{"value":"7661895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2689451$ACFA87A4-157C-4363-AD1D-16CE9D4095DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b7532b122d94afeff5061a3fc59bfd1813f0f19","datavalue":{"value":"valuation map","type":"string"},"datatype":"string"},"type":"statement","id":"Q2689451$09551FFF-5ADA-4D80-A126-19F9B90E00EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8ebab134b7aa104f5b29604d21357c6f39a933f","datavalue":{"value":"Manis extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q2689451$2C201327-F7D0-416A-B89C-89F9C9EBA9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36cf83c439a57112e61454e2970d94b76fd72790","datavalue":{"value":"Pr\u00fcfer extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q2689451$57DFCDE1-30A1-4C52-9D65-1FAA2480F3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"994958414bb64ffe8a2b42b02a1628284c0eba72","datavalue":{"value":"maximal non-Manis extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q2689451$55B79287-ACD8-43AA-849A-1B6CF253A681","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":"Q2689451$637AD0F6-FB02-48B4-8F20-E54C3F2AFE55","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ff1d10c9e592a0dd912fd158c4db4bc3869563e","datavalue":{"value":"https://doi.org/10.1007/s13366-021-00614-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2689451$BED8FBC3-C31C-415D-971D-69A77CB55A30","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d6875903004ae6ac4ce571869280ab18846986fd","datavalue":{"value":"W4205724581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2689451$B459053D-D818-4C2A-AB15-D4A805DF3CD8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a74f5ca36ae4dfa49125794ca9f872031b9b86","datavalue":{"value":{"entity-type":"item","numeric-id":3239328,"id":"Q3239328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2689451$060CF023-BA8B-448D-BB0D-34FC1A470629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b376928d5d519e625774b8549ae97549403362ae","datavalue":{"value":{"entity-type":"item","numeric-id":3415148,"id":"Q3415148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2689451$6CBB7BBA-5DB3-49EA-B8DE-3069634988FD","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":"Q2689451$6D54E074-8A42-41E4-9B71-9861DEF07414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5ae06e9b3faa50c29858e2dbf95219f0e89579b","datavalue":{"value":{"entity-type":"item","numeric-id":2752908,"id":"Q2752908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2689451$0AE5B77D-F969-4657-A26B-9A1ED6B133AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d147e60cecab27bbf24610ea1b5527c81e9e88a","datavalue":{"value":{"entity-type":"item","numeric-id":3137901,"id":"Q3137901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2689451$F0E326F6-F6CA-40B5-979E-85BBF9B72CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49b16772fcb4b39ec9cfc3637ad9cd28a9b17e34","datavalue":{"value":{"entity-type":"item","numeric-id":384823,"id":"Q384823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2689451$7AB24779-6414-44D0-B025-7D466489DCFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34fc077738a681e48f573ca615f24206d3f1f12d","datavalue":{"value":{"entity-type":"item","numeric-id":699946,"id":"Q699946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2689451$9387E1B1-DF34-4B96-9BB3-D9697AF062C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daa0dac77b117378a1720bde92b57dce1b13f2f","datavalue":{"value":{"entity-type":"item","numeric-id":5647004,"id":"Q5647004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2689451$A4007E67-AB16-4117-BA10-71FAB44211E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd0b9c1a0a2787f617de7231260e4b8c162ad5e8","datavalue":{"value":{"entity-type":"item","numeric-id":3992979,"id":"Q3992979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2689451$B7A90BB1-3EDC-425B-876D-868ABEFBE200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa4ea1ca16c5b2d152e73960bd087bb8b28e842b","datavalue":{"value":{"entity-type":"item","numeric-id":4602088,"id":"Q4602088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2689451$0967F14D-A83B-46D7-B504-577BDE7A4247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13c46c5f2cf7b706dae6e711451957607a2a092d","datavalue":{"value":{"entity-type":"item","numeric-id":5164817,"id":"Q5164817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2689451$FDE787BF-6D2A-4EC7-9651-4A761D009FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03618ab731c86ebcd15de892a6ea30133dde1fd7","datavalue":{"value":{"entity-type":"item","numeric-id":2988763,"id":"Q2988763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2689451$2139BBFA-F188-41E9-B96B-41707D94908D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03af4ee44f388d12bd6a13a54968ba890bd38e72","datavalue":{"value":"10.1007/S13366-021-00614-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2689451$1EE785E0-9B3E-466C-BBB5-71512D256E18","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68d690ae5e0f5d3b8a84c8389d93487448d2776e","datavalue":{"value":{"entity-type":"item","numeric-id":1917630,"id":"Q1917630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d72d35a9f7b9171d6231b82d5bfd3e1a64173dd7","datavalue":{"value":{"amount":"+0.8741233348846436","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":"Q2689451$66502CEE-518A-4789-B2F3-387D2C7C98D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0abc5f7ef84fc6ea918120f417cdf83e32dbecde","datavalue":{"value":{"entity-type":"item","numeric-id":4649477,"id":"Q4649477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1abbcda9bc420c43d1dfac2f6676a4c2e93b6ed","datavalue":{"value":{"amount":"+0.8726978302001953","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":"Q2689451$6DE63680-E866-44AA-97CB-238CEEA72650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fed46362765e83079be47331808cdf569d07695a","datavalue":{"value":{"entity-type":"item","numeric-id":5164817,"id":"Q5164817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f82968aff6797deedd364a52bcac3513276d26f5","datavalue":{"value":{"amount":"+0.8391906023025513","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":"Q2689451$661CFCDF-4BC9-4381-9A0F-9AE8EE0CDF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8b62017832f2eb59e766df8f13d7a21e9a70c9d","datavalue":{"value":{"entity-type":"item","numeric-id":699946,"id":"Q699946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"992dc7730035a80d48d9a71086e5f76c205d13ad","datavalue":{"value":{"amount":"+0.8359726667404175","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":"Q2689451$FE765DC3-ACE0-4ADB-A22A-4D07C85EA24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfa04e01ab787e4749aaa9054fdc1bc9aeb42900","datavalue":{"value":{"entity-type":"item","numeric-id":384823,"id":"Q384823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e85a927c80e4af0e4de48dbdde8eeb9692a9a6bc","datavalue":{"value":{"amount":"+0.8297783136367798","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":"Q2689451$9B1EF75A-4333-4448-B40C-ECC3FFEC7D7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2689451","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2689451"}}}}}