{"entities":{"Q2408446":{"pageid":2419189,"ns":120,"title":"Item:Q2408446","lastrevid":78761300,"modified":"2026-05-06T12:22:41Z","type":"item","id":"Q2408446","labels":{"en":{"language":"en","value":"Non-compact subsets of the Zariski space of an integral domain"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6790327"}},"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":"Q2408446$7C7E245A-12E4-4819-BA01-98D943BD1365","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92b3254067ce638f22846cbe9199abe58ff46110","datavalue":{"value":{"text":"Non-compact subsets of the Zariski space of an integral domain","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2408446$D03F8EB3-F284-4A2F-8A32-4553E737383D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"215d1055667973b62c1c5c97d9c1710e32ac35f5","datavalue":{"value":"1390.13064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2408446$8EC41025-43A0-4A4C-8AB8-94830AB3E528","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"12d9eea5f19dabda743109e56567a783830c323e","datavalue":{"value":{"entity-type":"item","numeric-id":258150,"id":"Q258150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408446$59DFF821-342A-4600-824D-F60D5654DCDF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2b9e892f1ffa11a66ee26af1e2c8bc1a173eacc","datavalue":{"value":{"entity-type":"item","numeric-id":226831,"id":"Q226831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408446$E37B3C6D-6301-4448-BC84-BE5D09DD7DEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c0381aec861f5a199f46f1776607b0e02f2cdf4","datavalue":{"value":{"time":"+2017-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2408446$550A840E-1012-4C0E-9387-483DAFE23BAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"485002de52e5a75a4f22111a76bc6cf97ca9b903","datavalue":{"value":"https://arxiv.org/abs/1705.01301","type":"string"},"datatype":"url"},"type":"statement","id":"Q2408446$3040E813-DFDF-48D1-A78C-03E74C90A3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e70fcccb11f26bdd76c321742495e9f299389f9d","datavalue":{"value":"https://projecteuclid.org/euclid.ijm/1506067291","type":"string"},"datatype":"url"},"type":"statement","id":"Q2408446$B2C2F9AF-B066-4828-BB67-91E2AF3803E6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"086faa81db7891840529011ebf5e301db96ee6f4","datavalue":{"value":"Let \\(D\\) be an integral domain and \\(\\mathrm{Zar}(D)\\) be the Zariski space of the valuation overrings of \\(D\\) contained in the fraction field \\(K\\) of \\(D\\). Two important properties for subspaces of \\(\\mathrm{Zar}(D)\\) to investigate are the properties of compactness and Noetherianess (a topological space is Notherian if its open sets satisfy the ascending chain condition). Denote by \\(\\mathrm{Over}(D)\\) the set of overrings of \\(D\\) contained in \\(K\\). The Zariski topology of \\(\\mathrm{Over}(D)\\) is generated by the sets of the form \\(\\{T\\in \\mathrm{Over}(D)\\mid x_1\\in T, \\dots, x_n\\in T\\}\\), as \\((x_1,\\dots,x_n)\\) ranges among the finite subsets of \\(K\\). Let \\(D[{\\mathcal F}_f]\\) be the set of finitely generated \\(D\\) algebras of \\(\\mathrm{Over}(D)\\).  First, the author proves that if \\(\\Delta\\subseteq \\mathrm{Zar}(D)\\) dominates \\(D[{\\mathcal F}_f]\\), then \\(\\Delta\\) is compact if, and only if, it contains \\(\\mathrm{Zar}_{\\mathrm{min}}(D)\\) (the set of minimal elements of \\(\\mathrm{Zar}(D)\\)). It follows that if \\(\\mathrm{Zar}(D)\\backslash \\{V\\}\\) is compact, where \\(V\\in \\mathrm{Zar}_{\\mathrm{min}}(D)\\), then \\(\\dim(V)\\leq 2\\dim(D)\\) and \\(V\\) is the integral closure of the localization \\(D[x_1,\\dots,x_n]_M\\) for some \\(x_1,\\dots,x_n\\) in \\(K\\) and \\(M\\) a maximal ideal of \\(D[x_1,\\dots,x_n]\\). At the end of the paper he proves that \\(D[{\\mathcal F}_f]\\) is dense in \\(\\mathrm{Over}(D)\\), with respect to the constructible topology, and that there is no spectral subspace \\(X\\subsetneq \\mathrm{Over}(D)\\) such that \\(D[{\\mathcal F}_f]\\subseteq X\\). A criterion based on semistar operations on \\(D\\)-submodules is introduced in some proofs. Such an operation can be seen as a kind of closure.  The author studies the valuative dimension \\(\\dim_v(D)\\) of \\(D\\), i.e. the supremum of the dimensions of the overrings of \\(D\\) contained in \\(K\\) (we have \\(\\dim(D)\\leq \\dim_v(D)\\)). He deduces that if \\(D\\) is a Pr\u00fcfer domain with Noetherian spectrum, then \\(\\mathrm{Zar}(D)\\) is Noetherian. He also constructs domains whose Zariski spaces are Noetherian, but with \\(\\dim(D)<\\dim_v(D)\\).  We can quote more theorems or propositions proved in this paper.  Let \\(\\Delta\\) be a set of pairwise incomparable prime ideals of \\(D\\). Assume that \\(D\\) is local and that \\(D_Q\\) is a valuation domain, where \\(Q\\) is the intersection of all ideals in \\(\\Delta\\) (so \\(Q\\) does not belong to \\(\\Delta\\), since the ideals in \\(\\Delta\\) are pairewise incomparable). Then \\(\\mathrm{Zar}(D)\\) is not Noetherian and, for every overring \\(V\\) of \\(D\\) contained in \\(D_Q\\), \\(\\mathrm{Zar}(D)\\backslash \\{V\\}\\) is not compact.  If \\(D\\) is not a field, then \\(\\mathrm{Zar}(D[X])\\) is not a Noetherian space. As a corollary, let \\(F\\subset L\\) be a transcendental field extension. If \\(\\mathrm{trdeg}_F(L)=1\\) and \\(L\\) is finitely generated over \\(F\\), then \\(\\mathrm{Zar}(L|F)\\) is Noetherian. If \\(\\mathrm{trdeg}_F(L)>1\\) , then \\(\\mathrm{Zar}(L|F)\\) is not Noetherian.  Then the author gives an application of these criteria to the study of Kronecker function rings.  Finally, assume that \\(D\\) is Notherian and let \\(X_1=\\{V\\in\\mathrm{Over}(D) \\mid V\\) is Noetherian and of dimension at most \\(1\\}\\), \\(X_2=\\{V\\in\\mathrm{Over}(D) \\mid V\\text{ is a Dedekind domain (}K\\) included)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2408446$0F4C6AA0-080A-4DC6-BC18-1F3B2CBDF774","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b8e50fbf4be56133fc1dd932e3a92f13bab2feb7","datavalue":{"value":{"entity-type":"item","numeric-id":590860,"id":"Q590860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2408446$5EBB4519-4C11-47E2-8E30-58B58E4E1E03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3b52918523363a6d0e63b5cbee70cee79e68263","datavalue":{"value":"13F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2408446$2EAB54C1-05BD-4613-B3FB-BE709856B55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23117a89d3983e500a3b09b9e4836cdf368918b3","datavalue":{"value":"13A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2408446$798C2836-CF8E-4134-AF4D-BB1362DAA58E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c66129cb93ebfc9db355816a761018887fa08da","datavalue":{"value":"13A18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2408446$525B0EB1-9359-46B7-8FCE-9931838B812A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2b1f5145518dc1aaa52cc2cbf9b87458349a99f","datavalue":{"value":"13B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2408446$181D93F1-B3FE-427C-8CF3-3C46A10D1821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1afcde8f681fb95370dba30f2e660bfbd1183692","datavalue":{"value":"54D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2408446$55D32AC6-4538-42C3-97AC-34CA1E4D18AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"371e95d4c19565b3b3a9e8cf531d610728d3c309","datavalue":{"value":"6790327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2408446$3DA468A6-4A77-4606-B20F-E412AA4357BC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62054b9893df2de96a5975ed6e3ed2bcd144191b","datavalue":{"value":"valuation rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2408446$DB3DD71C-864A-42A7-9992-3A3011CDF81F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bf8546c6b916edb8412cc37e377d9495dd6ff63","datavalue":{"value":"Zariski space","type":"string"},"datatype":"string"},"type":"statement","id":"Q2408446$82AB281D-5976-4A9A-A1F3-F5F84DAF182A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd0367c50fa813e8df85df5b9ddcf397ddfcab66","datavalue":{"value":"compact","type":"string"},"datatype":"string"},"type":"statement","id":"Q2408446$0D41C528-5CDA-476C-BB00-224F91E0E964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef74c3fc673144c7c8a7225a7a4af20a355df1fc","datavalue":{"value":"Noetherian","type":"string"},"datatype":"string"},"type":"statement","id":"Q2408446$9EF7BA3C-7F60-4723-B82C-D34381947F31","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":"Q2408446$49BBEAB6-FBB4-4C7A-8068-7B7663C64CBD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de5fb5cc4018c23c5008b8f34839f5fb5afb7f7e","datavalue":{"value":{"entity-type":"item","numeric-id":3346560,"id":"Q3346560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ea22aa26dda68414bfa656febdc6ad62a3d7b5b","datavalue":{"value":{"amount":"+0.8831257","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2408446$2D5A390E-D2D7-463A-8518-326C2BFF37B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"547233d43dda7b6ba0cb3ee27a59f82113afa2b9","datavalue":{"value":{"entity-type":"item","numeric-id":6081935,"id":"Q6081935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abeac22fc4a22ae849b6ccd9ac082b85c197bd4a","datavalue":{"value":{"amount":"+0.8724737","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2408446$E5063E23-CD4C-476F-8632-1E0B28A1E298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f2f4c9ed2c173208cf3f925289a7bf63f1cb59e","datavalue":{"value":{"entity-type":"item","numeric-id":4989139,"id":"Q4989139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd613c8182f5c34a9f20c8a7be18c30d8bb167f3","datavalue":{"value":{"amount":"+0.8708235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2408446$CD98411C-0325-44D0-99B1-8B9CE2691A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bad2024a1d0c58c3a6478fb2d5f405cde70f917","datavalue":{"value":{"entity-type":"item","numeric-id":3100144,"id":"Q3100144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80e7e26fcff3631bafc1b29b8f1200da210ae21e","datavalue":{"value":{"amount":"+0.8698368","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2408446$B393E8D7-24FC-4DAE-B3FF-FD05008BF2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70122f9d64c442cb1c9fc60869a847b4491f8c71","datavalue":{"value":{"entity-type":"item","numeric-id":3361442,"id":"Q3361442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4beb121257dc69bcab9d5b87d6d86d9704dc0cff","datavalue":{"value":{"amount":"+0.863528","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2408446$095667BB-72E6-41ED-B1C5-81CAF8CACFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e00c17f71b3529de23e78d724fee04b618ef9057","datavalue":{"value":{"entity-type":"item","numeric-id":5158025,"id":"Q5158025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"737ee7e49c260f152852795d6e14cb1ad6fd6363","datavalue":{"value":{"amount":"+0.86265206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2408446$586A4F01-203B-448E-B429-4EEAC43A2384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b288bf1bc5ca482e75a444b56272d40c3275eb4","datavalue":{"value":{"entity-type":"item","numeric-id":582344,"id":"Q582344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a2f67285c3c06d74643c1d17debfc42eb9a2772","datavalue":{"value":{"amount":"+0.8621763","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2408446$8E7CF45C-A5CE-4269-97D6-9DEC28B251AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0c61b6c5cb7883a7d7571912010fa9cb77bb7e8","datavalue":{"value":{"entity-type":"item","numeric-id":1587885,"id":"Q1587885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15dc9c1402e5794673de048b18b77078ccf5da45","datavalue":{"value":{"amount":"+0.85749817","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2408446$E8DDD0B3-D955-4FBC-BF93-1BA9AFEDF898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4263961a7fb395c584da00085f648b4c516cd90b","datavalue":{"value":{"entity-type":"item","numeric-id":3417866,"id":"Q3417866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ca72cfb9fa9bc1fce3dd6603205067c63248eee","datavalue":{"value":{"amount":"+0.85496974","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2408446$27AAA293-F452-4FA4-8B8E-3AFC7CF295DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4eb3e8026e886d417cef287e2ff58dfbd28c83f4","datavalue":{"value":{"entity-type":"item","numeric-id":3211534,"id":"Q3211534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83eebc102bcabe7960f9418c2f6c5667589ca1cf","datavalue":{"value":{"amount":"+0.8546634","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2408446$D16B2FE7-7604-4DE1-8689-01CA497965E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-compact subsets of the Zariski space of an integral domain","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Non-compact_subsets_of_the_Zariski_space_of_an_integral_domain"}}}}}