{"entities":{"Q946869":{"pageid":948717,"ns":120,"title":"Item:Q946869","lastrevid":65551098,"modified":"2026-04-12T03:22:56Z","type":"item","id":"Q946869","labels":{"en":{"language":"en","value":"SFT stability via power series extension over Pr\u00fcfer domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5347175"}},"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":"Q946869$342731DE-6125-4D0A-AEE4-85165E0629CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5df22d87b36988e8afc239e8d7486f09446605ad","datavalue":{"value":{"text":"SFT stability via power series extension over Pr\u00fcfer domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q946869$7D3304D4-75D3-4697-B768-E5C4E1B2BF0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4802e47b177da45187b367b01eb9b07037cb291","datavalue":{"value":"1166.13021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q946869$D99AC464-F6A8-4B55-986A-C5C3CABDA36D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ccf4732529e8c1929b9b7c946ba3218942108f00","datavalue":{"value":{"entity-type":"item","numeric-id":167493,"id":"Q167493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946869$0AE69F5B-2099-469D-9271-ACD19421C12D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bad7db4275b7ee1b7635bea2be947374a54e8d8","datavalue":{"value":{"time":"+2008-09-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":"Q946869$843611BB-4BFA-496C-8BCD-85DF07150D26","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"22a19e61ab16dcd0218392d836e4c619373d6ff8","datavalue":{"value":"A commutative ring \\(D\\) with identity is called an SFT ring if for each ideal \\(I\\) of \\(D\\), there exist a natural number \\(k\\) and a finitely generated ideal \\(J \\subseteq I\\) such that \\(a^k \\in J\\) for all \\(a \\in I\\). Let dim\\(D\\) denote the (Krull) dimension of \\(D\\), let \\(x_1, \\dots , x_n\\) be indeterminates over \\(D\\), and let \\(D[[x_1, \\dots , x_n]]\\) be the power series ring over \\(D\\). It is well known that if dim\\((D[[x_1]]) < \\infty\\), then \\(D\\) is an SFT ring [\\textit{J. T. Arnold}, Trans. Am. Math. Soc. 177, 299--304 (1973; Zbl 0262.13007)]. Also, if \\(D\\) is a finite dimensional SFT Pr\u00fcfer domain, then dim\\((D[[x_1, \\dots , x_n]]) = n (\\dim D) +1\\), and hence \\(D[[x_1, \\dots , x_n]]\\) is an SFT ring [\\textit{J. T. Arnold}, Indiana Univ. Math. J. 31, 897--911 (1982; Zbl 0475.13014)]. However, the power series ring over an SFT ring need not be an SFT ring [\\textit{J. Coykendall}, J. Algebra 256, 85--96 (2002; Zbl 1069.13011)].  In this paper, the authors extend Arnold's result to infinite dimensional SFT Pr\u00fcfer domains. Let \\(D\\) be an SFT Pr\u00fcfer domain. They first show that \\(D[[x_1, \\dots , x_n]]_{D \\setminus (0)}\\) is an \\(n\\)-dimensional (noetherian) regular ring, and then they prove that \\(D[[x_1, \\dots , x_n]]\\) is an SFT ring. They also show that if \\(P\\) is a nonzero prime ideal of \\(D\\) with ht\\(P = m < \\infty\\), then  \\[ \\text{ht}(P[[x_1, \\dots , x_n]]) = \\begin{cases} mn &\\text{if \\(P\\) is nonmaximal and \\(\\bar{D}_{\\bar{D} \\setminus (0)}[[x_1, \\dots , x_n]]\\)}\\\\ & \\neq \\bar{D}[[x_1, \\dots , x_n]]_{\\bar{D} \\setminus (0)}, \\text{ where \\(\\bar{D} = D/P\\)},\\\\ (m-1)n + 1 &\\text{otherwise.} \\end{cases}  \\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q946869$D43BAE25-3DBF-4194-880B-FEE6DDDEF2A5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"75cc5bef535a2b0dda4332b25cc4d26bd223f2ba","datavalue":{"value":{"entity-type":"item","numeric-id":324233,"id":"Q324233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946869$AFABFE8D-DFC5-47CD-96C3-D853792611E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"50ee67d9d4438349bdf7aacbe2911ee07a4388dc","datavalue":{"value":"13F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q946869$4C459FA6-F385-4400-9AFC-044A29999859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6f8bdb86f95f385c1922e11e3095b661f16ddd4","datavalue":{"value":"13F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q946869$004EAC76-8118-4AEC-A8D8-D0335A1C0577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb60b58fa83e5bf31309443c8c76c1c9bb17e418","datavalue":{"value":"13C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q946869$330F3EB4-8CBF-437F-B3BF-77DAEC00EADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23117a89d3983e500a3b09b9e4836cdf368918b3","datavalue":{"value":"13A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q946869$0A98D48C-9F56-400D-9A81-BFA9DD6016F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c0df25c3ec31d1747e32e1ca41fd9c79d453e50","datavalue":{"value":"5347175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q946869$18D02761-84AA-4D23-8E55-71627717EFC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a2ba4d7b1b71e19d0818e9ecc64d8b817d482b0","datavalue":{"value":"(Krull) dimension of a ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q946869$23DAD620-A73B-437D-B59C-945589E4C178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"843edf13197a9573b76a5372c2e834050044f164","datavalue":{"value":"Pr\u00fcfer domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q946869$8BAEC1E1-B030-4962-8951-DD853A10123B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f22353884a57a73da8f75e13bbde3e33d0331fe","datavalue":{"value":"SFT ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q946869$74C51C41-F65A-4305-A7DE-07F24B074DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c592c1930543ebe1aacec6b42f2c9553ca3287d0","datavalue":{"value":"power series ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q946869$B54486EB-1373-4654-A98B-6D895B8DB373","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":"Q946869$80DA8AF6-DB6D-4E10-94C6-FE8D5EA1013B","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":"Q946869$9E44F81A-9F07-4FB2-BE74-A72A0E353D54","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":"Q946869$24752E81-D46B-4804-AFE2-661D64946CA2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58cb2786597b72bbedf1b25329cb7def8f529369","datavalue":{"value":"https://doi.org/10.1007/s00229-007-0073-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q946869$807110DA-C541-4AA1-9E38-B515803F6771","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2c7ce8f727511dcba201e1bbfccc0b0bdb8fb039","datavalue":{"value":"W2079037083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q946869$C793B4D8-F8EB-4764-AB9F-A13E67D05C27","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"09245a62ac21dce49b49576ea94077dd8ed61f54","datavalue":{"value":{"entity-type":"item","numeric-id":4210797,"id":"Q4210797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946869$87173112-39BE-4B52-B01C-1143C33DC8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a330e8665c7894f602dc070738f132348321afc","datavalue":{"value":{"entity-type":"item","numeric-id":5677581,"id":"Q5677581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946869$6D689766-52A0-4E13-BC4E-DAA2591CE75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"136c14ec7f6196840e6a5436f68d05a6eef82672","datavalue":{"value":{"entity-type":"item","numeric-id":2547918,"id":"Q2547918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946869$55CB3EF3-1542-4D94-978E-AB7485598AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97c96f071ca1e61a89d392fa3ba7e8ed9d90a6fa","datavalue":{"value":{"entity-type":"item","numeric-id":3931516,"id":"Q3931516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946869$24023B63-C4BA-4F97-B502-D0E17C5912FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"862989b164c93b40e2a9b3d502703b8f5177a0c7","datavalue":{"value":{"entity-type":"item","numeric-id":1858209,"id":"Q1858209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946869$45470F00-9FD8-44A0-AD8A-0E9FB80F2CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6422498b5ccf31101bb4fae24f0c71d36c6dfecf","datavalue":{"value":{"entity-type":"item","numeric-id":5687544,"id":"Q5687544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946869$7F25BF4A-134D-4145-A65D-DAA7509B5E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ba299084d4c7615fe614b3c34c4122f169c2354","datavalue":{"value":{"entity-type":"item","numeric-id":5541446,"id":"Q5541446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946869$2F34E668-37FB-45FC-8F5C-9EBF929F70F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8228093cd06ddd83f66ca90b6a38b8864d83cf8","datavalue":{"value":{"entity-type":"item","numeric-id":5661989,"id":"Q5661989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946869$9F15BF5C-1A8F-4DAA-8C04-0E2DA2E396B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae7bdeb761ae838c9e4d719459ffd5a803a8f68","datavalue":{"value":{"entity-type":"item","numeric-id":5562323,"id":"Q5562323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946869$508F86C1-96B9-4993-95CB-C189B19A3610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2090f85b5c0f9163c727742327f23aa497eb32cf","datavalue":{"value":{"entity-type":"item","numeric-id":1300644,"id":"Q1300644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946869$2F0E64B2-C903-4343-9200-4A5D779032DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0233e50bd119aa3591039932d201ff6fce406e2","datavalue":{"value":{"entity-type":"item","numeric-id":1305045,"id":"Q1305045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946869$60B6B01C-9C0E-46D9-8138-A9DF3459C2C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76ec0856d0ab97b761ab885564b5c0fad7027db2","datavalue":{"value":{"entity-type":"item","numeric-id":5735274,"id":"Q5735274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946869$A166D1B9-25ED-4EAF-A060-A633A0AFF377","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff9adc5358ef7518e3d310601a96fc451479de27","datavalue":{"value":"10.1007/S00229-007-0073-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q946869$3A48A9E5-E8CA-4D0A-868B-B587BD5CD456","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9954cb70a754278fd082d65880e5cf8cda24c2e9","datavalue":{"value":{"entity-type":"item","numeric-id":2576926,"id":"Q2576926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"660fc39c5742823fb114401a16d44e928495701c","datavalue":{"value":{"amount":"+0.8927075266838074","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":"Q946869$8FBFAA61-BBB5-461A-9B2B-8EAAA6816DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf75450ff5567c18e5ed7383b3c209bff083594","datavalue":{"value":{"entity-type":"item","numeric-id":2813362,"id":"Q2813362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79bbe5b41bf9598b013b3c0614cf3491e9cd10e0","datavalue":{"value":{"amount":"+0.877910852432251","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":"Q946869$A67EE8BC-6F02-429C-9A80-F68573C646F3","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":"569329fd9d2e22a2e3766d788f52a3625bf46807","datavalue":{"value":{"amount":"+0.8727231025695801","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":"Q946869$F1E9B5E4-C7FF-402B-A22A-662ADC708CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53e433cda3d03b8fa3bc561a8badeef34098d3e8","datavalue":{"value":{"entity-type":"item","numeric-id":3436761,"id":"Q3436761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db83abee0df996dd67ebeee34f04b0f6a9fc5e69","datavalue":{"value":{"amount":"+0.871385931968689","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":"Q946869$DCA87399-87F4-4AC9-8EC3-D9EB79328D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31457f66a6034a7cee94690227ec155c5fffb613","datavalue":{"value":{"entity-type":"item","numeric-id":4892912,"id":"Q4892912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae6a216efb32fef3b7a758ca89d0ec9ab496a0b6","datavalue":{"value":{"amount":"+0.8698803186416626","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":"Q946869$C80D87D2-41A5-4C75-A294-ECC8F20F4855","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"SFT stability via power series extension over Pr\u00fcfer domains","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/SFT_stability_via_power_series_extension_over_Pr%C3%BCfer_domains"}}}}}