{"entities":{"Q1295698":{"pageid":1306448,"ns":120,"title":"Item:Q1295698","lastrevid":68777832,"modified":"2026-04-13T01:59:43Z","type":"item","id":"Q1295698","labels":{"en":{"language":"en","value":"Skolem properties, value-functions, and divisorial ideals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1308308"}},"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":"Q1295698$5634F879-80D2-4E71-9998-DEC78C22B57C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a04c1e6509df7e5c1961bf1a3a7a572e70eae658","datavalue":{"value":{"text":"Skolem properties, value-functions, and divisorial ideals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1295698$F34D5D72-C866-4111-A7CD-AFD77B78327D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"371d84f098ccb9d463127ca5e686e42c59c0e36f","datavalue":{"value":"0931.13012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295698$21F6536F-A750-4F4B-86B0-42D3D444FED2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3665e7de6c4842ac4c33dbee11f3c2c8761c155","datavalue":{"value":"10.1016/S0022-4049(97)00159-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295698$219A6287-4AFE-40BD-BB1F-89D19E80867A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87d21cdedec491f778b55310aa8d7f25357a5ce7","datavalue":{"value":{"entity-type":"item","numeric-id":534014,"id":"Q534014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295698$A777ACD0-B951-4297-96DC-ED6AFB406AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d569316bb84986d7366a19d675cfb7f395da72eb","datavalue":{"value":{"entity-type":"item","numeric-id":262652,"id":"Q262652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295698$E782548B-634D-462E-ADEC-156022AC17C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7dd15ee13811e2d7ba77e18b1d6de3a904c1518a","datavalue":{"value":{"entity-type":"item","numeric-id":412528,"id":"Q412528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295698$45DF4621-0989-4042-BB1B-C2BCD1D88AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c905d93ecad7146c9e04e315b5a839e79e13caf","datavalue":{"value":{"entity-type":"item","numeric-id":1219927,"id":"Q1219927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295698$0F182E14-7FFD-4282-9D5B-53BE4C49D2A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295698$BAF9BA15-BB24-4A29-9AF1-D002AA2B6B7C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"284fc9f3df76f3601dedbdc5ed75b5473a78563e","datavalue":{"value":{"time":"+2000-03-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1295698$4FAF2C4D-A858-4AF2-B99A-6389D09DF5E9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"1998eeb1ad955d1b72950b4a6877075ee4791f10","datavalue":{"value":"Let \\(D\\) be a domain with quotient field \\(K\\), and denote by \\(\\text{Int}(D)\\) the ring of integer-valued polynomials on \\(D\\), that is, \\(\\text{Int}(D)=\\{f\\in K[X]\\mid f(D)\\subseteq D\\}\\). An ideal of \\(\\text{Int}(D)\\) is called unitary if it contains nonzero constants. The authors prove that if \\(D\\) is a rank-one valuation domain with finite residue field, then the unitary ideals of \\(\\text{Int}(D)\\) are entirely determined by their values on the completion of \\(D\\). Then, the authors globalize this result to any Dedekind domain \\(D\\) with finite residue fields. They prove that a prime ideal of \\(\\text{Int}(D)\\) is invertible iff it is divisorial, and also, in the case where the characteristic of \\(D\\) is zero, iff it is upper to zero which is maximal. It follows that if \\(D\\) is the ring of integers of any algebraic number field, in particular if \\(D=\\mathbb{Z}\\), then no prime ideal of \\(\\text{Int}(D)\\) is divisorial.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295698$ABEF803D-12EC-49D4-AF23-3717FF3057F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6f8bdb86f95f385c1922e11e3095b661f16ddd4","datavalue":{"value":"13F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295698$6EB1D35C-53F4-47CF-89C2-69B4FDE7411E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"391950414a099d56bc54d4355f229d909cdcb643","datavalue":{"value":"13F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295698$E0A3BD0B-86A2-494E-AD6F-7AE5AC3F8793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23117a89d3983e500a3b09b9e4836cdf368918b3","datavalue":{"value":"13A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295698$1A55AD5F-34D5-4243-AF11-9E12BFD193F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"803cbb00fdaed08c751adcfee80dc26380b8374a","datavalue":{"value":"13G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295698$BB641019-DC39-421D-BA92-0A5EE1018C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"380bf0750bc1b99470fda5e65fc6cdbb919acbe4","datavalue":{"value":"13A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295698$DB6E5E2B-0E43-4C97-8F9E-CDF649B914AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9416fa676774bec1cdc100b94cb2787e4c1f2587","datavalue":{"value":"1308308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295698$837CD6A5-6226-456B-8B34-57B05B978CAA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e67a30605be3a903820aa1414f15b79d88c87244","datavalue":{"value":"divisorial prime ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295698$87D4B2EF-F6E5-420B-BF5E-B3CFC7080616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a2eca41b054a7a63a27c5ca3f604bc3594f51d","datavalue":{"value":"invertible prime ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295698$EB4384C7-9A3E-4562-8C5D-1E4F9092EE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eb6f553a23297870aa8a8a2e292d02f03707339","datavalue":{"value":"ring of integer-valued polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295698$D2B3C3BD-C18A-444D-8D4A-8547C6DE21DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ced81e8115e06962f55f99b5e8c2238bdc90953a","datavalue":{"value":"Dedekind domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295698$8FDE967C-E571-4CE1-9A4D-2520952CAFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0730620b18ed12d6811436feabb48856cdfcb11b","datavalue":{"value":"Skolem properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295698$E954F085-A68B-4C84-B7C5-A01A36AB3578","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3c72c9aae3cfa04589230707fa98922cdbdf89b0","datavalue":{"value":{"entity-type":"item","numeric-id":1376297,"id":"Q1376297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295698$B036423A-509D-4438-8829-A3C7FCAFCD26","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":"Q1295698$3021B0D7-E4DB-4040-AD33-CAFFAE65AA0F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d198506f5577840caaa93a27a73be217097c215b","datavalue":{"value":{"entity-type":"item","numeric-id":4079721,"id":"Q4079721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295698$976CA206-AF71-486A-BDF8-F11761DF9DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18f70c589a46e31fc44964aec1baaa6593bdc195","datavalue":{"value":{"entity-type":"item","numeric-id":4090449,"id":"Q4090449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295698$134DF2E2-6058-4B82-BAF8-F46C428F54E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acc31967a9a22801fecb9b5a566fe5b37163cf07","datavalue":{"value":{"entity-type":"item","numeric-id":3855302,"id":"Q3855302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295698$2154E0C3-B35D-4810-8893-52D400BF4B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04db5ec55ce5ae4ffadb6b6d3a47162811b5e3b9","datavalue":{"value":{"entity-type":"item","numeric-id":5625315,"id":"Q5625315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295698$60E39598-E955-49C8-9B7B-8C7127337E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0248f84682cf305fb81d98072b617eea30d1283f","datavalue":{"value":{"entity-type":"item","numeric-id":2785478,"id":"Q2785478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295698$7E5524DA-E529-409C-AECE-C224828097EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef119cc934cf7fcbb4d05308240f6a374c907281","datavalue":{"value":{"entity-type":"item","numeric-id":3043278,"id":"Q3043278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295698$DEF1E8D8-813C-4446-92B4-36B15DE8BE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14f56f11cdd9497195dd0b5a21cbeeadc7b4ef70","datavalue":{"value":{"entity-type":"item","numeric-id":4119305,"id":"Q4119305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295698$C38C3B9D-6AB8-4A34-B809-5E22FDFB4362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e63db8f966165fcb54bebd01783cd87a7ff615a","datavalue":{"value":{"entity-type":"item","numeric-id":4163321,"id":"Q4163321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295698$5DEC8196-FE9A-4B0B-986A-10BBEB0A3492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2e4b22240858e6a3372947342133aba61311bda","datavalue":{"value":{"entity-type":"item","numeric-id":1256013,"id":"Q1256013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295698$913454D9-8692-4D2E-9F95-63556051FD8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80f584c7342ebc966210ad7a0fccba35480f4764","datavalue":{"value":{"entity-type":"item","numeric-id":1097315,"id":"Q1097315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295698$9211EA27-C3C4-45F8-B4CF-F5330132963F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"729e3c009cd860f50c36146f3e3b4592a99b2342","datavalue":{"value":{"entity-type":"item","numeric-id":1102333,"id":"Q1102333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295698$46FFF236-EEA2-454F-851B-59584CB9398F","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":"Q1295698$52B1CA5C-5C89-4056-B302-6BD3439CE04D","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":"Q1295698$138BC870-C7B5-40CE-9FE2-36B39065F17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8002f553fc5cd8db3c173282b68af27f23747cc4","datavalue":{"value":{"entity-type":"item","numeric-id":1051698,"id":"Q1051698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295698$B846773C-DB88-476B-9C11-570DF3804D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a40c04860cb93b3b8940b398ef8c9973a0495f8d","datavalue":{"value":{"entity-type":"item","numeric-id":1220537,"id":"Q1220537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295698$36A61C04-04CA-48B9-871E-85D9C4C33E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a829b7253aa7fe7344dc194244155303097ef62","datavalue":{"value":{"entity-type":"item","numeric-id":4361090,"id":"Q4361090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295698$03E02ADA-4A11-42B0-8A5E-074A217A729C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"798481ea9955267f5134f16f0fe06008a9546dce","datavalue":{"value":{"entity-type":"item","numeric-id":1244269,"id":"Q1244269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295698$D2FDDD86-43EB-4749-B852-DFCEFE98D8BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1686cbf5863728ebbc2108bf1b9f43c7041932d","datavalue":{"value":{"entity-type":"item","numeric-id":3684208,"id":"Q3684208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295698$4981B7CA-A6BE-4685-9253-4349409418A4","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":"Q1295698$147C48D6-C82B-47AC-8B32-76F0C7EA75E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"719bc6f605d15da62b25bc3a942187d41c4b64e9","datavalue":{"value":{"entity-type":"item","numeric-id":5765991,"id":"Q5765991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295698$5C99EA96-D06E-4C53-91DF-4D54E40DEC66","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8c31e4c9bb77f59bfdd8b1064ca3b3fe0201f19","datavalue":{"value":"https://doi.org/10.1016/s0022-4049(97)00159-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q1295698$AB5EAABD-269F-41A8-A701-C14B6E9ED5F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7ed6e9b250d6bed28c600a145f26ebd133a2192b","datavalue":{"value":"W2013506183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295698$98B183C0-FEAB-4152-A4F7-8529A6C60E5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58847dcd8848188fd97b930469afc768c0c7023c","datavalue":{"value":{"entity-type":"item","numeric-id":4210565,"id":"Q4210565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57203b6f5d79f82f198134760cde546cb99504a2","datavalue":{"value":{"amount":"+0.8390382528305054","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":"Q1295698$4FE5975B-0726-41F5-9FF0-546D75C08C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a06b6fb411ad99a6b60e0e748667c78c21c4cf7","datavalue":{"value":{"entity-type":"item","numeric-id":4361090,"id":"Q4361090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49b7af2c5fcd855c41750d92141c62a11b4cdc38","datavalue":{"value":{"amount":"+0.829988420009613","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":"Q1295698$F2CF5299-1E1F-442D-9ED0-A4E4959F0ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c8f60eb861e4a86e9b92e8c6b974ab0b1c3c507","datavalue":{"value":{"entity-type":"item","numeric-id":4515479,"id":"Q4515479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1bb1068cf010d25430b0e9a1637093a82b19cd2","datavalue":{"value":{"amount":"+0.8272496461868286","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":"Q1295698$35E06B7C-EDF6-4EED-B9E7-2986CF5A9710","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Skolem properties, value-functions, and divisorial ideals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Skolem_properties,_value-functions,_and_divisorial_ideals"}}}}}