{"entities":{"Q1895616":{"pageid":1906358,"ns":120,"title":"Item:Q1895616","lastrevid":73718589,"modified":"2026-04-14T17:01:41Z","type":"item","id":"Q1895616","labels":{"en":{"language":"en","value":"Prime ideals lying over zero in polynomial rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 783918"}},"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":"Q1895616$3014A8D2-4D44-4B3D-9A23-AEFE3308E5D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44dab203224122388d9472c3370cad8748dad389","datavalue":{"value":{"text":"Prime ideals lying over zero in polynomial rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1895616$E41B761D-8846-47B7-8FE1-3CDE31D31DE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"028d8204bfbb6c93b4e4e9606a4e06d21ad14f14","datavalue":{"value":"0833.13009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895616$FDB6F221-B793-4A5D-828F-FE1576873781","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e3928c281e49c7c2e5f274b05a1b7517c5db95d","datavalue":{"value":{"entity-type":"item","numeric-id":1355507,"id":"Q1355507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895616$48D813B1-871C-460D-9BF1-D937F972376C","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":"Q1895616$EEA7515D-6B10-4325-92B1-43972A2653E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3da5740e8a0078651a07b58d85e873b362b3e452","datavalue":{"value":{"time":"+1996-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1895616$43D188CC-2B65-446A-947B-B3F803BA845A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"31178a732e0fe05a1bb2149274d38f88158c2b6b","datavalue":{"value":"Let \\(R\\) be a Noetherian domain with integral closure \\(\\overline R\\) and polynomial ring \\(R[x]\\) in the indeterminate \\(x\\). Let \\(P\\) be a prime ideal of \\(R\\) and \\(p\\) a prime ideal of \\(R[x]\\) such that \\(p\\cap R= P\\). Then \\(p\\) is called an integral upper to \\(P\\) (in \\(R[x]\\)) if \\(p\\neq PR[x]\\) and \\(p\\) contains a monic polynomial. Let \\({\\mathcal P}= \\{p_1,\\dots, p_n\\}\\) be a set of integral uppers in \\(R[x]\\) such that each \\(p\\in {\\mathcal P}\\) is of height at least 2, and \\(\\mathcal Q\\) be another finite set of prime ideals such that no prime ideal in \\(\\mathcal Q\\) contains a prime ideal in \\(\\mathcal P\\). The author summarizes the main results of the paper with the following equivalent statements:   (a) either: (i) \\(R\\) is non-Henselian, or (ii) \\(R\\) is Henselian and in \\(\\overline R[x]\\) there exist prime ideals \\(\\overline p_i\\) lying over \\(p_i\\) such that \\(\\overline p_1+\\cdots+ \\overline p_n\\neq \\overline R[x]\\);   (b) there exists an integral upper \\(K\\) to (0) such that \\(K\\subseteq p\\) for every \\(p\\in {\\mathcal P}\\);   (c) there exists \\(|R|\\) integral uppers \\(K\\) to (0) such that \\(K\\subseteq p\\) for every \\(p\\in {\\mathcal P}\\) but \\(\\overline K\\not\\subseteq q\\) for any \\(q\\in {\\mathcal Q}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895616$735F4CC6-9552-4D69-973B-6B1E6C70ACF0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"391950414a099d56bc54d4355f229d909cdcb643","datavalue":{"value":"13F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895616$BB36F1B3-6E0D-4806-957F-F74A11B6BE78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a68c5512c6e0362792f2e6326185e37cde2b54a9","datavalue":{"value":"13B24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895616$F809A3F8-5CDF-44A4-ABE0-4FEC401B1AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23117a89d3983e500a3b09b9e4836cdf368918b3","datavalue":{"value":"13A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895616$E553E9F4-ED6A-423A-A5CD-A677DFA13442","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"696fbaeadc0817c9432eff921e4088d2b0b633a5","datavalue":{"value":"783918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895616$36E9E041-A998-4F5C-B4DD-EAF515DAFDE9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd54a5c524c5744a054a78ade40569baba31be76","datavalue":{"value":"lying over","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895616$DFA86751-F3BD-482B-94EF-9410A5A45C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"462f06b45fae09641c88af40e53b6827c2f2530a","datavalue":{"value":"going up","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895616$7CC9D480-592D-489E-9801-D633CD2D89D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc78d2b80333a2fe1bc4959ce23126c928c3921f","datavalue":{"value":"polynomial ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895616$A932B238-2899-4A44-8C8D-6870A5AC6DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e9c5ab03fd2ec16cb078caba1f8466415beeff2","datavalue":{"value":"prime ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895616$1AADEA2E-F0C2-4E0B-B599-D735425A3EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3547b60c7dd12f984218630b691415ccab4b2819","datavalue":{"value":"integral upper","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895616$F5B9A3EB-530F-4EFB-A115-DC61064C5D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5041767a09a18db1a9af872f98cd2be574845f6e","datavalue":{"value":"Henselian","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895616$3477719F-FBF7-4960-A27D-FF9377DD6D4D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ac599b3b4b403e13ff34b53d17b49cf088c1290e","datavalue":{"value":{"entity-type":"item","numeric-id":587322,"id":"Q587322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895616$AEDFD0BA-058F-486B-B0C9-34C1C6E71E95","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":"Q1895616$F66F1F1C-0F6D-426B-954B-C77358A024E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5906ba2bf913b6e6081c4700da872622734e8344","datavalue":{"value":"https://doi.org/10.1006/jabr.1995.1182","type":"string"},"datatype":"url"},"type":"statement","id":"Q1895616$CD42B21E-5299-445C-81D1-825D23A5134E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9750d8c80883d35054912ccaa8a9e0d6949a8c6d","datavalue":{"value":"W2073587208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895616$9620D125-6AC4-40F8-B565-76E383452592","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a72fb115ddcbb9bd9361e120736cde5480a7b2b5","datavalue":{"value":"10.1006/JABR.1995.1182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895616$1864F354-AF2F-48C4-9F2B-1F462C192ACC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebb992aa2ea1b8a4898e0ecd0e655ce5d976991c","datavalue":{"value":{"entity-type":"item","numeric-id":4282857,"id":"Q4282857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53ee86461a60b79b64d92de4a7bfac9e3508fb61","datavalue":{"value":{"amount":"+0.8481191992759705","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":"Q1895616$03B1CF13-3203-460F-BA58-D2530F62136C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a312edc737df0dee82395fcd58220af8f4c98235","datavalue":{"value":{"entity-type":"item","numeric-id":3103739,"id":"Q3103739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"322685e8b7539e7d6ec55bf3acf7738fa8d2f4a0","datavalue":{"value":{"amount":"+0.8397525548934937","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":"Q1895616$6CA558B1-9375-4E91-BA07-BFE99254BDAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2a11d59e794e6084fd076d4225f45b03a3bedd1","datavalue":{"value":{"entity-type":"item","numeric-id":4288272,"id":"Q4288272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f743b1d3203be57b4e5e7e66c995fad1887706f","datavalue":{"value":{"amount":"+0.8218344449996948","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":"Q1895616$6CC10C5F-8B72-443D-9D41-D6875F050E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9ecd06f8867f36359ead6bf6befaadd3152a623","datavalue":{"value":{"entity-type":"item","numeric-id":581464,"id":"Q581464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4885a370fc2c629021498738bc6c6fbadbb84616","datavalue":{"value":{"amount":"+0.8160642981529236","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":"Q1895616$8D8CC746-2249-4E4F-9445-9F7EE10F0BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13a28650c1d1f2d7d33ed94f25306d4701e61d5c","datavalue":{"value":{"entity-type":"item","numeric-id":4933413,"id":"Q4933413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb81be81f5140585b74bab0dac2144f997c4c296","datavalue":{"value":{"amount":"+0.8011085987091064","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":"Q1895616$B6F2393A-FD58-4CB6-BD7D-3E6A96A295A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Prime ideals lying over zero in polynomial rings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Prime_ideals_lying_over_zero_in_polynomial_rings"}}}}}