{"entities":{"Q2879410":{"pageid":2890130,"ns":120,"title":"Item:Q2879410","lastrevid":83672897,"modified":"2026-05-07T09:56:26Z","type":"item","id":"Q2879410","labels":{"en":{"language":"en","value":"Note on pseudo-valuation domains which are not valuation domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6336954"}},"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":"Q2879410$BE865BD1-523F-4F53-B1BC-200459E7D9ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57135500b0119fcb252fd76de49211512c9f0909","datavalue":{"value":"1307.13004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879410$42FD9298-623B-450B-A366-7FE70015ACA3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4415565c26bff0a4e3c82ccbdc7a3e98ec69fb14","datavalue":{"value":{"entity-type":"item","numeric-id":356179,"id":"Q356179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879410$4C5F2C1C-F23B-4355-AE2E-260AA8C515B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b1beee89b650410202c92ed9f0ee0807d21bdda","datavalue":{"value":{"entity-type":"item","numeric-id":501379,"id":"Q501379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879410$D8964CEE-464E-4B08-9FE9-93DFDCA825B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e981d5152e02fb200053837db280f6ef549afb6","datavalue":{"value":{"time":"+2014-09-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2879410$4743B603-EEC2-487C-8371-8E30CD904BBB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9c62f6418dc98d8c458f1499f4cf468961c2327","datavalue":{"value":"http://www.ieja.net/files/papers/volume-16/4-V16-2014.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2879410$D4E53440-EB6F-4589-BDC8-C4049497DE29","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"23117a89d3983e500a3b09b9e4836cdf368918b3","datavalue":{"value":"13A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879410$78A205A1-9A0A-466B-8BDE-FD40660429B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c66129cb93ebfc9db355816a761018887fa08da","datavalue":{"value":"13A18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879410$14AA31DD-ECA0-43F2-85AC-C1A5E2DB728A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79d1604bc7b9cd28b541528861ccf5cae7e4cd57","datavalue":{"value":"13B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879410$7D457340-B61D-4795-A791-1707595E0DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3b52918523363a6d0e63b5cbee70cee79e68263","datavalue":{"value":"13F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879410$2D6EB7D8-F22A-42D1-9D22-F29D0B23814B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29a30446cf58aa08a5700646c34ecfca4369633f","datavalue":{"value":"6336954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879410$D048070E-2C62-4C05-8BD9-54C17A73C087","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"530bce817919f61cc5d7bbca38f181d70bbf051b","datavalue":{"value":"PVD","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879410$BD92EB46-86FA-4175-806B-AF1E53444302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3246f3858dda197b7f92b2bdcaf032ceb8ba811e","datavalue":{"value":"atomic domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879410$AD7F45C1-819B-4C6B-A7BB-22B4544329FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3340189b77394bbc7ce79fd510eddc34fef253b4","datavalue":{"value":"\\(F + M\\) construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879410$6E0BBCD6-C5E2-44AD-B37F-CEF490936D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe3d6fc0ae792c3a8cc14f9308dcc3ff60aaf05","datavalue":{"value":"root-closed","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879410$510B04D2-96E0-4756-A0CD-19EB7486AA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00c6f677df3f866591aed7a33d545790f58a567b","datavalue":{"value":"factor ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879410$3D8ECD56-152F-4818-9C8B-7DEA6EFC8645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8c873fcd4b19b428a94d30d034912b539b604e5","datavalue":{"value":"condition \\(\\ast\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879410$2B5D0FC2-1CE3-4755-B83D-196146629F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0da912cf2757f60ab995565427db31825846ac2","datavalue":{"value":"antimatter domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879410$920030AF-3A9B-4D32-A85C-2FA578D9F981","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":"Q2879410$4A151250-E0DB-486F-B80F-DDB2FD453A3E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dddb3adba8dba31623927c51bf28435ae00f0054","datavalue":{"value":"W2599631425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879410$14737AA6-EA32-40DD-949C-207FBCA0FDE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4b6b67ebfb2ad3565337f56b930765ef8985a0a","datavalue":{"value":"10.24330/IEJA.266226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879410$1AE5B477-1F8A-443F-B67C-588A3A16C58C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e8cab3c687c16673c6187c4a698bc88eadf5a43","datavalue":{"value":{"text":"Note on pseudo-valuation domains which are not valuation domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2879410$7DAEBB35-5F1F-4F85-BFB1-34B7B6CEA7F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d8a9f5aae69989b4923ebfccccf7c772c08937f0","datavalue":{"value":{"entity-type":"item","numeric-id":6595643,"id":"Q6595643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879410$91212F14-583A-4ED1-A8EC-62CA121C58F6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3b003c2a4d96d6dd832e5de83faf34a06c9bcefa","datavalue":{"value":"A pseudo-valuation domain (PVD) is a quasi-local integral domain \\(R\\) whose maximal ideal \\(M\\) satisfies: \\(\\forall(x,y)\\in K\\times K\\), \\(xy\\in M\\Rightarrow x\\in M\\) or \\(y\\in M\\) (we say that \\(M\\) is strongly prime); if this holds then every prime ideal of \\(R\\) is strongly prime. If \\(R\\) is a PVD, then the set \\(V= \\{x\\in K\\mid xM\\subset M\\}\\) is a valuation domain whose maximal ideal is \\(M\\) (i.e., for every \\(x\\in K^*\\), \\(x\\not\\in\\Rightarrow x^{-1}\\in V\\)), the prime ideals of \\(V\\) are the prime ideals of \\(R\\), and \\(R\\) is a valuation ring if and only if \\(R= V\\). Let \\(R\\subset B\\) be an extension of integral domains and \\(S\\) be a non-empty subset of \\(\\mathbb{N}^*\\), \\(R\\) is said to be \\(S\\)-root closed in \\(B\\) if: \\(\\forall x\\in B\\) \\((\\exists n\\in S,\\, x^n\\in R)\\Rightarrow x\\in R\\), (if \\(S= \\{n\\}\\) we say \\(n\\)-root closed in \\(B\\)), \\(R\\) is said to be \\(S\\)-closed in \\(B\\) if: \\(\\forall x\\in B\\) \\((\\forall n\\in S,\\,x^n\\in R)\\Rightarrow x\\in R\\). \\(R\\) is said to be \\(F\\)-closed in \\(B\\) if: \\(\\forall x\\in B\\) \\((\\exists n\\in S,\\,x^2\\in R,\\, x^3\\in R,\\, nx\\in R)\\Rightarrow x\\in R\\), \\(R\\) is said to be seminormal in \\(B\\) if: \\(\\forall x\\in B\\) \\((x^2\\in R,\\, x^3\\in R)\\Rightarrow x\\in R\\). Assume that \\(R\\) is a PVD such that there exists a field \\(K\\) and a subfield \\(K_0\\) of \\(K\\) which satisfies: \\(R= K_0+ M\\), \\(V= K+ M\\).NEWLINENEWLINE The authors prove that if \\(K_0\\) is seminormal (resp. \\(m,n\\)-root closed, \\(S\\)-root closed, \\(S\\)-closed) in \\(K\\), then \\(R\\) is seminormal (resp. \\(mn\\)-root closed, \\(S\\)-root closed, \\(S\\)-closed) in \\(\\text{frac}(R)\\) (the fraction field of \\(R\\)). Assume that \\(R\\subset B\\subset C\\) is an extension of PVD's, where \\(B\\) is \\(n\\)-root closed (resp. seminormal, \\(F\\)-closed) in \\(C\\), then they prove that \\(R\\) is \\(n\\)-root closed (resp. seminormal, \\(F\\)-closed) in \\(B\\) if and only if \\(R\\) is \\(n\\)-root closed (resp. seminormal, \\(F\\)-closed) in \\(C\\). Assume that \\(B\\) is a domain extension of a PVD \\(R\\) and \\(P\\) is a prime ideal of \\(R\\) which is also an ideal of \\(B\\); they prove that if \\(R\\) is \\(n\\)-root closed (resp. seminormal, \\(S\\)-root closed, \\(S\\)-closed, \\(F\\)-closed) in \\(B\\), then \\(R/P\\) is \\(n\\)-root closed (resp. seminormal, \\(S\\)-root closed, \\(S\\)-closed, \\(F\\)-closed) in \\(B/P\\).NEWLINENEWLINE An integral domain is said to be atomic if every non-unit is a product of a finite number of irreducible elements (atoms); furthermore it is a half factorial domain (HFD) if every irreducible elements \\(x_1,\\dots, x_m\\), \\(y_1,\\dots, y_n\\), \\(x_1\\cdots x_m= y_1\\cdots y_n\\Rightarrow m= n\\). A strongly half-factorial domain (SHFD) is a HFD such that every overring is a HFD, and a locally domain (LHFD) is a HFD such that each of its localizations is a HFD. They prove that every Noetherian PVD is a SHFD and a LHFD. A HFD \\(R\\) is a boundary valuation domain (BVD) if for every \\(\\alpha= (x_1\\cdots x_m)/(y_1\\cdots y_n)\\in \\text{frac}\\) such that \\(m\\neq n\\) (where \\(x_1,\\dots, x_m\\), \\(y_1,\\dots, y_n\\) are atomes), \\(\\alpha\\not\\in R\\Rightarrow \\alpha^{-1}\\in R\\). The prove that if \\(R\\) is an integral domain, then \\(R\\) is a BVD if and only if \\(R\\) is an atomic PVD.NEWLINENEWLINE Finally, let \\(R\\subset B\\) be a domain extension such that NEWLINE\\[NEWLINE\\forall b\\in B,\\;\\exists u\\in U(B),\\;\\exists a\\in R,\\;b= ua\\tag{\\(*\\)}NEWLINE\\]NEWLINE (where \\(U(B)\\) is the group of inversible elements of \\(B\\)). If \\(R\\) is a PVD which satisfies \\((*)\\), then \\(B\\) is a PVD. Furthermore, if \\(\\text{Spec}= \\text{Spec}(B)\\), then \\(B\\) has no atoms if and only if \\(R\\) has no atoms. They also provide many examples of rings satisfying those properties and of different cases.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2879410$AE48B71C-7B56-4A2B-9E78-0106E1CD91E5","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":"Q2879410$A3D98E91-5831-4CA5-A02F-134E9D7887E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82cfbb0d5c16397846a9ed5e3c8d0ab4ea81f3d4","datavalue":{"value":{"entity-type":"item","numeric-id":762555,"id":"Q762555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c01001ed53a1c7a49b282c197a5eb8afda2a3da","datavalue":{"value":{"amount":"+0.8701027631759644","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":"Q2879410$BA1C23F9-763C-46F7-8B97-FE62B02F6461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b442e8ad76b89de44b64cc0373c1049eeb4ced9","datavalue":{"value":{"entity-type":"item","numeric-id":1683906,"id":"Q1683906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e4b2dc8678e495f03f66e5e17fdf20c1060f2eb","datavalue":{"value":{"amount":"+0.8300434947013855","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":"Q2879410$37C0944D-54BB-4C07-A6AF-33A5B05C69CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ac3d8f827e96a89b0af679e3e69ea21c44c1efb","datavalue":{"value":{"entity-type":"item","numeric-id":3446622,"id":"Q3446622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bee7e1b52c206eef7da96d53c51970f007ae0e6","datavalue":{"value":{"amount":"+0.8244436979293823","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":"Q2879410$C2045C76-F1E7-4773-BD00-4B8947770544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c74a6d8613ef11adbd4920393e967a02b82838b","datavalue":{"value":{"entity-type":"item","numeric-id":788058,"id":"Q788058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fe416074126e9515c04c8637c0295ce1135e1d4","datavalue":{"value":{"amount":"+0.823291003704071","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":"Q2879410$879E1276-D980-41F4-AD5A-E87568BF6072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1277cd470ae631b30f27161b9ebf85a4183ed2c","datavalue":{"value":{"entity-type":"item","numeric-id":1655810,"id":"Q1655810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"729ec827e58a36e026418f94dcdb295ed021b50f","datavalue":{"value":{"amount":"+0.8226120471954346","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":"Q2879410$463C95CF-0F01-4DED-8CA3-16F73F728515","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879410$42BDE727-FCA5-48ED-B0EB-ADE2DA398E7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Note on pseudo-valuation domains which are not valuation domains","badges":[]}}}}}