{"entities":{"Q373856":{"pageid":375623,"ns":120,"title":"Item:Q373856","lastrevid":61396176,"modified":"2026-04-10T23:06:06Z","type":"item","id":"Q373856","labels":{"en":{"language":"en","value":"Krull-dimension of the power series ring over a nondiscrete valuation domain is uncountable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6220109"}},"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":"Q373856$9259C7EB-2D02-4E22-AD6A-3200D5D40CF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa9aca2127cd37c62bd4733eb6f5913b954aeb1c","datavalue":{"value":{"text":"Krull-dimension of the power series ring over a nondiscrete valuation domain is uncountable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q373856$22A66388-35D8-47CB-A2AB-18B02A703E33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48e0d54ad1956c06c1e485088e6815a760abe39c","datavalue":{"value":"1279.13020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373856$32CF91B5-88AA-40C1-8C82-371E18D781D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"094e8de618b42969ed695edb8fc374771e435cd9","datavalue":{"value":{"entity-type":"item","numeric-id":308137,"id":"Q308137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q373856$4F927D7B-9B6C-4D3B-9297-DF3E1B93FCD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd20e01624e8523f0854938d9396a23fbdefb9fc","datavalue":{"value":{"entity-type":"item","numeric-id":218859,"id":"Q218859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q373856$DB72368D-8CC4-4E74-8179-F8BF16962E11","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":"Q373856$88088C9E-36DD-461A-850E-0768484A8C0A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8bcfbb5ee16d2a7ab6c44dcb73548f4d40646813","datavalue":{"value":{"time":"+2013-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q373856$EF243ECC-C364-4402-A0C9-0EEA763F06AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e025d14027ed7ef573e64d2b86968234f3fb1b12","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S0021869312002785","type":"string"},"datatype":"url"},"type":"statement","id":"Q373856$413261F4-8AD6-455B-87C0-B96000B4A908","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6a4dc55d1e339c5a861364301a78d8def8050d67","datavalue":{"value":{"entity-type":"item","numeric-id":590893,"id":"Q590893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q373856$9CA8B7AC-A449-466A-9EEF-3B8FA8524B72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb60b58fa83e5bf31309443c8c76c1c9bb17e418","datavalue":{"value":"13C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373856$1D51548E-6B6B-4B4E-92A6-72C3EBE00B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"50ee67d9d4438349bdf7aacbe2911ee07a4388dc","datavalue":{"value":"13F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373856$B78A3825-45BD-419B-99CA-501C06EB7EFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16bd545a503917f7f75bdf101fd98524d4a9ac3c","datavalue":{"value":"6220109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373856$BECD7D03-3D6C-42A7-B835-3B556369346B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d78e37fbb89023d54d5a9155c7b16c4dbff2906b","datavalue":{"value":"valuation domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q373856$1BEE4C58-1BB3-49FD-81FB-AA1F61E4E60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7227b21c63bb144da24ec4dca06e75d59b0604da","datavalue":{"value":"ring of entire functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q373856$F3DD1AAC-F5BB-4F42-9ABB-7441C00640AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05eb78f54250a3cdbcd5992fc6ef4737d767c965","datavalue":{"value":"Krull dimension","type":"string"},"datatype":"string"},"type":"statement","id":"Q373856$AD0D545C-8F5D-40D5-9DD3-41C0987AEA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c592c1930543ebe1aacec6b42f2c9553ca3287d0","datavalue":{"value":"power series ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q373856$3C94EA0B-996D-4FD9-9A1B-38B0FB705D6A","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":"Q373856$CC62794D-6CE4-4F20-BF49-D95D55C7FEA4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"370bc28d3a08632fc64424a003e3cf81b61f6580","datavalue":{"value":"W1975722401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373856$4D8B55DD-B31A-48F0-A5DF-D1A077E1354F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07a6f17017f7a108cce2ca02ec42ec43aab39ec7","datavalue":{"value":"10.1016/J.JALGEBRA.2012.05.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q373856$4CD73B92-3AC6-43CC-BA68-3991691C5BC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e037b2d8ee3db53fa32718940b0ccca803b9aa54","datavalue":{"value":{"entity-type":"item","numeric-id":1628494,"id":"Q1628494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b700f73a39114a4bc2eaecc0ca2dfa47bc9430f","datavalue":{"value":{"amount":"+0.9412439","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":"Q373856$56791A00-0FA9-4616-902E-B64C38D3FD7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a52e501dc20e522434dda5fac3c634f0b2935a1b","datavalue":{"value":{"entity-type":"item","numeric-id":3162832,"id":"Q3162832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5646c7ec376ada3b8bfea90c341004ce38d489b3","datavalue":{"value":{"amount":"+0.93118894","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":"Q373856$50524BB6-EE1B-45AB-9A90-A58F62BB5995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4ad38f325bd0c9957216acc3899d0f8b7aff412","datavalue":{"value":{"entity-type":"item","numeric-id":847685,"id":"Q847685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64d864c6dcf277a4260e0ce433636b9ae1d05bc8","datavalue":{"value":{"amount":"+0.9193468","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":"Q373856$333272AE-3E60-4B93-8CE8-804AFD5E2B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ca58c368cec67e1ed98a10165c03ba3e427ed1a","datavalue":{"value":{"entity-type":"item","numeric-id":1703110,"id":"Q1703110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eddc80c0879f10f0d73075d0594602a2062b209","datavalue":{"value":{"amount":"+0.91450757","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":"Q373856$C03F020A-B829-4CDA-88E7-84E7B6099A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"682a24381c25dac2c1513375f22efc5730924218","datavalue":{"value":{"entity-type":"item","numeric-id":2347991,"id":"Q2347991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9f444a0b00105a87d1adca5631a7ac80161e430","datavalue":{"value":{"amount":"+0.9081652","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":"Q373856$EA81A95D-3189-4DF4-AF88-84C762080035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f32ef3d7440f9ca63ebed0d3007d534b2578f6c","datavalue":{"value":{"entity-type":"item","numeric-id":1946166,"id":"Q1946166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"559dbff1effe8ee7ef8682e92118e2627e455d91","datavalue":{"value":{"amount":"+0.90635926","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":"Q373856$21A80594-76E2-45ED-81E2-CBED483E2D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b8cf51f75b6096cf689e92b93df5a152a5c9d69","datavalue":{"value":{"entity-type":"item","numeric-id":2197563,"id":"Q2197563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65afde47f0c6210d2a9b90011fdb4d4677fe3f11","datavalue":{"value":{"amount":"+0.90027153","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":"Q373856$73FC4E0E-F460-448C-B86F-483A8FB73B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f8685e48810298524e32c872ab18c73827c4350","datavalue":{"value":{"entity-type":"item","numeric-id":4532445,"id":"Q4532445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a33cdb052f7052cbea20b033672c447cf1e52cb","datavalue":{"value":{"amount":"+0.8927858","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":"Q373856$A04D9132-ADD0-4CD3-8786-569C69D35D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddb2dca2bfda43a0a489be7c6f19c1be782e0809","datavalue":{"value":{"entity-type":"item","numeric-id":2018843,"id":"Q2018843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5c54b48f67ab9299e7de9655c6e779e87c45392","datavalue":{"value":{"amount":"+0.88415873","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":"Q373856$5C406EF3-6224-466F-83B7-29D6B52E43BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35367fad4404a0aa65f17155bcbd37bc723a48ee","datavalue":{"value":{"entity-type":"item","numeric-id":2895445,"id":"Q2895445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bacfa7bd94ec21c63751659d109be0107f8d97a","datavalue":{"value":{"amount":"+0.8828204","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":"Q373856$0AE31641-F615-4A9F-B208-606AAE3CC62F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d1611606fb28007575702bc863019a1ed353debf","datavalue":{"value":"Some of the results are as follows:NEWLINENEWLINE Corollaries 17-18. Let \\(V\\) be a finite-dimensional valuation domain. ThenNEWLINENEWLINE (1) if \\(V\\) is discrete, \\(\\dim V[[X]]=\\dim V+1\\) andNEWLINENEWLINE(2) if \\(V\\) is non-discrete, then \\(\\dim V[[X]]\\) is uncountable.NEWLINENEWLINE This is true even if \\(V\\) is not-finite-dimensional.NEWLINENEWLINETheorem 19. Let \\(V\\) be a valuation domain and denote \\(V[[X]]_{V\\setminus 0}=D\\). ThenNEWLINENEWLINE(1) If \\(V\\) does not have a minimal prime ideal, \\(D\\) is a rank-one discrete valuation ring.NEWLINENEWLINE (2) If \\(V\\) has a minimal prime ideal that is not an idempotent, then \\(D\\) is a principal ideal domain.NEWLINENEWLINE (3) If \\(V\\) has a minimal prime ideal that is an idempotent, then \\(D\\) is uncountably-dimensional.NEWLINENEWLINE Theorem 26. Let \\(V\\) be a rank one non-discrete valuation domain with maximal ideal \\(M\\) and the value group \\(\\mathbb R\\). Then, there exists an uncountable chain of prime ideals between the prime ideals \\(MV[[x]]\\) and \\(M[[x]]\\). There is also an application to entire functions.NEWLINENEWLINE Theorem 27. If \\(V\\) is a rank one non-discrete domain and \\(\\mathbf E=V[[X]]_{v\\setminus 0}\\), then \\(\\mathbf E\\) is not a Pr\u00fcfer domain; in fact, one can find two incomparable elements of Spec\\(\\mathbf E\\) that have a common (upper) bound.","type":"string"},"datatype":"string"},"type":"statement","id":"Q373856$C27DDB44-6F1B-4B44-8954-6ACB1621F101","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Krull-dimension of the power series ring over a nondiscrete valuation domain is uncountable","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Krull-dimension_of_the_power_series_ring_over_a_nondiscrete_valuation_domain_is_uncountable"}}}}}