{"entities":{"Q734757":{"pageid":736606,"ns":120,"title":"Item:Q734757","lastrevid":63936408,"modified":"2026-04-11T16:33:08Z","type":"item","id":"Q734757","labels":{"en":{"language":"en","value":"Seminormality and polynomial rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5614696"}},"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":"Q734757$D78536C9-4A99-43C8-96E9-AB59EB9AFABE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67237e672630fe3b7722c1696af4e3cb13df772e","datavalue":{"value":{"text":"Seminormality and polynomial rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q734757$1BAD29C4-C7B9-4ACA-A300-3F89DC3E6C5D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"abf30a0625d6d9172744d4251e851283c7e87622","datavalue":{"value":"1174.13031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q734757$7FCD54FC-23A9-48C8-A74B-E65B72306BDE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fb3575351b017184e5bc91b0e6b00af0aa1ae8e","datavalue":{"value":{"entity-type":"item","numeric-id":734756,"id":"Q734756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734757$7344EADB-DBA1-40DB-84FF-D2F762C28889","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":"Q734757$5FAAD6AB-DBF7-42DC-93FF-7AB862A512A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bab90c779ff65c7caf29736de6b2408aa76bd2ff","datavalue":{"value":{"time":"+2009-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q734757$79BDE6DB-D0D8-4830-BC17-E29590520B68","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6d3a40b0b4330ec0bcb6dde4bfa637ab96a8a70d","datavalue":{"value":"A ring \\(A\\) has been called seminormal if \\(b^{2}=c^{3}\\) implies that there exists \\(a \\in A\\) such that \\(b=a^{3}\\) and \\(c=a^{2}\\). For commutative rings \\(A \\subseteq B,\\) the seminormal closure of \\(A\\) in \\(B\\) is the smallest subring \\(A_{1}\\) of \\(B\\) containing \\(A\\) such that \\(x \\in B, x^{2} \\in A_{1},\\) and \\(x^{3} \\in A_{1}\\) implies \\(x \\in A_{1}.\\)  Let \\(\\mathbb{C}\\) be a ring and \\(f=a_{0}+a_{1}X+ \\dots a_{d}X^{d}\\) a polynomial in \\(\\mathbb{C}[X].\\) Let \\(A\\) be the ring generated by the coefficients of \\(f^{2}\\) and \\(f^{3}\\). Let the ring generated by the coefficients of \\(f\\) be denoted by \\(B\\). An algorithmic proof is given to show that there are finitely many elements \\(c_{1}, \\dots c_{m} \\in B\\) such that \\(c_{i+1}^{2},c_{i+1}^{3} \\in A[c_{1}, \\dots c_{i}]\\) \\((i \\in \\{1, \\dots , m-1 \\})\\) and \\(B=A[c_{1}, \\dots c_{m}].\\) This implies that if a ring \\(A\\) is seminormal, then so is \\(A[X]\\).  Combining this result with earlier results by \\textit{S. Barhoumi} and \\textit{H. Lombardi} [J. Algebra 320, 1531--1542 (2008; Zbl 1153.13019)], together with induction, an algorithmic proof for the statement: ``A reduced ring \\(A\\) is seminormal if and only if the canonical map \\(\\mathrm{Pic} ~A \\rightarrow \\mathrm{Pic} A[X_{1}, \\dots X_{k}]\\) is an isomorphism'' is obtained. This latter result has been proved before, but constructively [\\textit{T. Coquand}, J. Algebra 305, 577--584 (2006; Zbl 1102.13005)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q734757$0AE81F91-9853-45DF-A76F-74FFF447AB83","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"82ce699457d9c132d9340bc37bc8a4bd29b47623","datavalue":{"value":{"entity-type":"item","numeric-id":587382,"id":"Q587382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734757$5163C08A-6D82-4650-BAA6-2A2DD48333EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3abfcc59c32eef3ae0fd439982e369bb2b3d2366","datavalue":{"value":"13F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q734757$ABD2E878-A8DA-48CC-A46F-D00B4848B097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"391950414a099d56bc54d4355f229d909cdcb643","datavalue":{"value":"13F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q734757$3C2BDC8E-43A5-42A2-A270-C14FAFE7F87B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88d02ae9179d2771f6fd0c46ce588eb5b01ff786","datavalue":{"value":"5614696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q734757$A8831D45-0FFD-4420-A358-A6ABC06017FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83876d8208838c60b322707bd8d159b1a82bcd57","datavalue":{"value":"seminormality","type":"string"},"datatype":"string"},"type":"statement","id":"Q734757$9BD5DB13-016A-423F-A4B2-128C88CEB48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e6ab94e96dc0af40d67e25949b534aa75ef611b","datavalue":{"value":"polynomial rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q734757$6FA1F9A5-51A5-46BD-8377-1206CAE82A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3734710b6c0962f3f06508b37be5271b55c1cde","datavalue":{"value":"algorithmic proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q734757$E6DA2E57-D969-4D89-98DD-132180D4E3C4","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":"Q734757$A3B82844-2895-4DD5-A106-AB4988915F27","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3307cfc24911ed609b3af325fbc6933db6eaf568","datavalue":{"value":"https://doi.org/10.1016/j.jalgebra.2009.06.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q734757$A9982A68-3B0F-4437-9DEF-2B93BA18A3BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0bb55a5b8801cd79192fe027cf0fc26957b9a375","datavalue":{"value":"W2075988066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q734757$935DAB96-20F5-44D6-85B6-6BECF0E39796","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"88ab96cca608521ba21e9deec48ba5891cc37d36","datavalue":{"value":{"entity-type":"item","numeric-id":948720,"id":"Q948720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734757$5475B7B8-B804-423A-BE93-8E252D902587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8abfaddacd2cbc0e2d4a61b4c4a4c872fd2cc91","datavalue":{"value":{"entity-type":"item","numeric-id":5898271,"id":"Q5898271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734757$3A06A283-39B1-437A-8D8D-3C2B1EEAF742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb381cc83773ed366bd7d36f137a16bcf1e92bad","datavalue":{"value":{"entity-type":"item","numeric-id":1840477,"id":"Q1840477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734757$AECF0986-94D8-4ECC-A077-A7443C93BDD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a29d5594500d215b9d0adb3a3f7d273c09d15ddf","datavalue":{"value":{"entity-type":"item","numeric-id":5957771,"id":"Q5957771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734757$AA5D572A-BD90-44DA-9FB1-0C8CBF16A015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c88823221d6eb492994fe920351114fbb4994474","datavalue":{"value":{"entity-type":"item","numeric-id":5904936,"id":"Q5904936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734757$07447E88-3805-4613-96C4-083B33920AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60dbcfe4b01f440c33a3edcae584ab53cf5c25be","datavalue":{"value":{"entity-type":"item","numeric-id":5605674,"id":"Q5605674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q734757$6C9A52BD-17C1-4F7B-852A-EBEA1C609069","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f2001e195c4821621547562e08aacd5ad775f3b","datavalue":{"value":"10.1016/J.JALGEBRA.2009.06.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q734757$C11C313C-5A9A-45DA-A07C-423D0B72661C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"820467db36fcc0a4aca4a28c0bee5d937286d742","datavalue":{"value":{"entity-type":"item","numeric-id":948720,"id":"Q948720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eaf629524d13525109bde0cb7b92c5032aa19ec","datavalue":{"value":{"amount":"+0.9076346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q734757$F99FEC37-4740-4265-A1CB-CCF8139F0B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad9f7ff67c4ac411bc3b6bd304c0c8d3e15132b8","datavalue":{"value":{"entity-type":"item","numeric-id":5898271,"id":"Q5898271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42d7091a4011ed9afe0524d9de0c076e35c785ad","datavalue":{"value":{"amount":"+0.86000407","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q734757$71E3F627-E58D-4323-BCBE-BDB33BD8AAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d93216857c8fe1b10090366d4a6706b829367d41","datavalue":{"value":{"entity-type":"item","numeric-id":793097,"id":"Q793097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e3a7f49032474d02cf90e0144ea08f7bc9fdd92","datavalue":{"value":{"amount":"+0.7453617","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q734757$647FF094-DC4A-4AE9-AB25-592A91E87CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea560ebf3f027d40c455f193e29a458030850e79","datavalue":{"value":{"entity-type":"item","numeric-id":4237980,"id":"Q4237980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17810c388d21cf07365f0dcf9bb7573c8568d36c","datavalue":{"value":{"amount":"+0.7299373","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q734757$694AD746-2B75-426E-AD0A-7B926C6047B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d80f97af3f05e2a657f2679b3586f9b1f29d3bc","datavalue":{"value":{"entity-type":"item","numeric-id":2438379,"id":"Q2438379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6babed5064fbf7efa7b694be93d9ab60b2f06f46","datavalue":{"value":{"amount":"+0.7282128","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q734757$CB61B950-ED84-4469-925F-C339DFFF87E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d916c6bc9031150f03a5b40d29ee4cb9cfa58f9e","datavalue":{"value":{"entity-type":"item","numeric-id":4222639,"id":"Q4222639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"440366da5a4ac39a2e7827058b3e28be7b0f972a","datavalue":{"value":{"amount":"+0.72541416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q734757$BAA13510-07D0-4818-9096-561F3BE0DEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce71c57d9e500553fb4e090af30569f960f918f6","datavalue":{"value":{"entity-type":"item","numeric-id":3693592,"id":"Q3693592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cfc9fd45c23fec99c9358ecc5683e9296cdbc7f","datavalue":{"value":{"amount":"+0.72296935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q734757$18228D5C-1F69-4037-A21C-9CEC711F5F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bc2729a7139bfc1e92f5f33553bce4f882feb8d","datavalue":{"value":{"entity-type":"item","numeric-id":3712409,"id":"Q3712409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2554756cf0789b9fd325a20dd4687bb226621d9","datavalue":{"value":{"amount":"+0.71937823","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q734757$0AEF6146-6E1F-433B-BF65-03A21FB84CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c3c77eae26e2fbe2e4088d68bd5d78f64ba45cd","datavalue":{"value":{"entity-type":"item","numeric-id":2741184,"id":"Q2741184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c72592dd447317d1aed0e4a8984fd957ea3cfe2","datavalue":{"value":{"amount":"+0.7168089","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q734757$AA8B6BAC-946E-4457-A6D9-E48AAEFA8F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"281e1e099abe395777b306fa91ee04200d782c57","datavalue":{"value":{"entity-type":"item","numeric-id":1120626,"id":"Q1120626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ea6d992eaccaf729caf27402389d5ec88c66b86","datavalue":{"value":{"amount":"+0.71514523","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q734757$6A1837B1-7710-4E23-9680-A298CB7E02DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Seminormality and polynomial rings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Seminormality_and_polynomial_rings"}}}}}