{"entities":{"Q2715536":{"pageid":2726275,"ns":120,"title":"Item:Q2715536","lastrevid":47624902,"modified":"2026-01-02T06:16:08Z","type":"item","id":"Q2715536","labels":{"en":{"language":"en","value":"Skolem density problems over large Galois extensions of global fields. Appendix by Wulf-Dieter Geyer"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1607966"}},"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":"Q2715536$F5F5310E-A0C4-4BF3-9BE0-B00813F26F3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1818b52ef738fb049167b65470ba2da2840ccb7e","datavalue":{"value":"1021.12002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715536$829FD607-3185-42D9-B5F5-A094400F2C43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72b300bc657451f28d4e8ef892871c241006f1dc","datavalue":{"value":{"entity-type":"item","numeric-id":169773,"id":"Q169773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2715536$B27549DB-6279-45DD-9A87-4BAA3D3A24B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"043593295da3c028bd2cc0b1afca29a60e751253","datavalue":{"value":{"entity-type":"item","numeric-id":1038622,"id":"Q1038622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2715536$3F36BD7F-9370-45F3-9A05-7381BC0DB9BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"947c49c6dc991ad4ccf38c0cba49a099db39b9c3","datavalue":{"value":{"time":"+2003-05-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":"Q2715536$D591CFED-9752-49B9-826A-F946AB60E230","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ac7ae5b0238fc8237a68a316fe1f75e776c41d8c","datavalue":{"value":"12F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715536$75858FAE-48F1-446F-AA71-E312988CDD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7193b57a0e4c1ec72f0125c346f6357f8a93919d","datavalue":{"value":"12E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715536$817FE4B9-C69F-42E5-94AB-D109EF358B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4deb61fce34fc499fde62b817d2aab883af2358e","datavalue":{"value":"12J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715536$93D7F9AB-6A54-40D7-A489-3C573CBC079A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"acc8c10080a92c69ff8dfe69f7796b1e67750c58","datavalue":{"value":"1607966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2715536$AE1E2B4B-8910-4359-A5CC-DF025C07C6D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"381285832ad7c8dbd70bcb65a94bd4384d0dfd08","datavalue":{"value":"global field","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715536$5296B7A7-D4D0-4072-A44D-383CD1DD2727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8422860359bc101554aed5560a957cd87b4e6d6","datavalue":{"value":"absolute Galois group","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715536$A673C1FE-3B3E-49A7-994D-4256CC030A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1eb6230dacc1208f80652d02821a1595bd244bb","datavalue":{"value":"\\(S\\)-Skolem field","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715536$AF0DA7C8-00D2-4A97-93E9-5A88F8A3C11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e3f1b64a74dc0cd0ae976c516427d8e911b3cf5","datavalue":{"value":"pseudo algebraically closed field","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715536$54027203-1692-4F76-A379-B52B15F28414","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":"Q2715536$47D5E328-07DD-4A94-9F8F-236662ABE8D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f44fe5abfd9a8632c3668fcd67c3949005954c85","datavalue":{"value":{"text":"Skolem density problems over large Galois extensions of global fields. Appendix by Wulf-Dieter Geyer","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2715536$921FA200-B28E-43F3-B087-16855B2CC128","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"35cf2c5f72d9384c8102af66850bf0107fc20966","datavalue":{"value":"Let \\(K\\) be a global field. Fix a separable closure \\(K_s\\) and an algebraic closure \\(\\widetilde K\\) of \\(K\\). Denote the set of all primes of \\(K\\) by \\({\\mathbb P}\\), all finite primes by \\({\\mathbb P}_0\\), all infinite primes by \\({\\mathbb P}_{\\infty}\\). For each \\(\\mathfrak p\\in {\\mathbb P}\\) choose a separable algebraic extension \\(K_{\\mathfrak p}\\) as follows. If \\(\\mathfrak p\\in {\\mathbb P}_0\\), then \\(K_{\\mathfrak p}\\) is a Henselization of \\(K\\) at \\(\\mathfrak p\\). If \\(\\mathfrak p\\in {\\mathbb P}_{\\infty}\\) is real, then \\(K_{\\mathfrak p}\\) is a real closure of \\(K\\) at \\(\\mathfrak p\\). If \\(\\mathfrak p\\in{\\mathbb P}_{\\infty}\\) is complex, then \\(K_{\\mathfrak p}=K_s\\). For \\({\\pmb\\sigma}=({\\sigma}_1,\\ldots,{\\sigma}_e)\\in\\text{Gal}(K)^e\\) let \\(K_s({\\pmb\\sigma})=\\{x\\in K_s\\mid {\\sigma}_i(x)=x,\\;i=1,\\dots,e\\}\\). Denote the maximal Galois extension of \\(K\\) inside \\(K_s({\\pmb\\sigma})\\) by \\(K_s[{\\pmb\\sigma}]\\). Fix an infinite proper subset \\({\\mathcal V}\\) of \\({\\mathbb P}\\), and a finite subset \\(\\mathcal S\\) of \\(\\mathcal V\\). Let NEWLINE\\[NEWLINEK_{\\text{tot},\\mathcal S}=\\bigcap_{{\\mathfrak p}\\in {\\mathcal S}}\\bigcap_{\\sigma\\in \\text{Gal}(K)}K_{\\mathfrak p}^{\\sigma}NEWLINE\\]NEWLINE be the field of totally \\(\\mathcal S\\)-adic numbers.NEWLINENEWLINENEWLINEFor each \\(\\mathfrak p\\in {\\mathbb P}\\) choose an absolute value \\(||_{\\mathfrak p}\\) of \\(K\\) representing \\(\\mathfrak p\\) and, for each prime \\({\\mathfrak q}\\) of \\(\\widetilde K\\) lying over \\(\\mathfrak p\\), denote the absolute value of \\(\\widetilde K\\) which represents \\({\\mathfrak q}\\) and extends \\(||_{\\mathfrak p}\\) by \\(||_{\\mathfrak q}\\).NEWLINENEWLINENEWLINEAn algebraic extension \\(M\\) of \\(K\\) is called an \\(\\mathcal S\\)-Skolem field with respect to \\({\\mathcal V}\\) if the following holds: Let \\(\\mathcal T\\) be a finite subset of \\({\\mathcal V}\\) containing \\(\\mathcal S\\). Put \\(\\mathcal U={{\\mathbb P}_0}\\cap({\\mathcal V}\\setminus\\mathcal T)\\). Let \\(f_1,\\ldots,f_m\\) be \\(\\mathfrak q\\)-primitive polynomials for each \\(\\mathfrak q\\in\\widetilde{\\mathcal U}\\). A polynomial is called \\(\\mathfrak q\\)-primitive if its coefficients are \\(\\mathfrak q\\)-integrals and at least one of them is a \\(\\mathfrak q\\)-unit. Let \\({\\mathbf a}=(a_1,\\ldots,a_n)\\in M^n\\) and \\(\\gamma >0.\\) Then there exists \\(x\\in M^n\\), with \\(|x-a|_{\\mathfrak p}<\\gamma\\) for each \\(\\mathfrak p\\in\\widetilde {\\mathcal T}\\), and \\(|x|_{\\mathfrak q}\\leq 1, |f_i(\\mathbf x)|_{\\mathfrak q}=1\\) for each \\({\\mathfrak q}\\in\\widetilde{\\mathcal U}\\), \\(i=1,\\dots,m\\).NEWLINENEWLINENEWLINEThe goal of the paper under review is to prove the following Theorem A: Let \\(e\\) be a nonnegative integer. Then both \\(K_s({\\pmb\\sigma})\\cap K_{\\text{tot},\\mathcal S}\\) and \\(K_s[{\\pmb\\sigma}]\\cap K_{\\text{tot},\\mathcal S}\\) are \\(\\mathcal S\\)-Skolem fields with respect to \\(\\mathcal V\\), for almost all \\({\\pmb\\sigma}\\in \\text{Gal}(K)^e\\).NEWLINENEWLINENEWLINEThe theorem improves the main result of \\textit{M. Jarden} and \\textit{A. Razon} [Nieuw Arch. Wiskd. (4) 13, 381-399 (1995; Zbl 0859.12005)]. The theorem also generalizes a result of Skolem: Let \\(g\\in {\\mathbb Z}[x]\\) be a primitive polynomial. Then there is an algebraic integer \\(x\\) such that \\(g(x)\\) is an algebraic unit [\\textit{Th. Skolem}, Skr. Norske Vid. Akad., Oslo 1935, No. 10, 1-19 (1935; Zbl 0011.19701)].NEWLINENEWLINEFor the entire collection see [Zbl 0955.00034].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2715536$6D586EBD-EE8A-42E3-93E4-63BF469B1A46","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a12e68b341e44d03f6b445d91988fc7216f7786","datavalue":{"value":{"entity-type":"item","numeric-id":4890763,"id":"Q4890763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b5e5914b2f74924e22d048699f55a4aaf8f218","datavalue":{"value":{"amount":"+0.8318600654602051","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":"Q2715536$C4CF1B87-645E-410A-8328-F7EC419C5932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1a38f6ebcd57656063ff5270cb5d68d4b6409e9","datavalue":{"value":{"entity-type":"item","numeric-id":3800163,"id":"Q3800163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20b5e5914b2f74924e22d048699f55a4aaf8f218","datavalue":{"value":{"amount":"+0.8318600654602051","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":"Q2715536$7BFB24CE-9E48-407D-ADD0-DAC18B46ED41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06c7590905c25152efb473ad89d19f001af27034","datavalue":{"value":{"entity-type":"item","numeric-id":1747839,"id":"Q1747839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c83bbec3f41a974bfbef696b0c4ab84ac63dc837","datavalue":{"value":{"amount":"+0.7834240794181824","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":"Q2715536$3E5726B6-76C1-47B0-ACE2-7D4D62EA7377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0272ce3d729d3be1e8959937eb9ea8e17fe6834","datavalue":{"value":{"entity-type":"item","numeric-id":3710606,"id":"Q3710606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e87068291ad6a0a31a39fc6e1e19f7711ec80bdf","datavalue":{"value":{"amount":"+0.7775465846061707","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":"Q2715536$12F99A86-94E2-41F3-AFF8-394DB5904CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dba39e305eae1e6089d046d8a1ea908bd060d174","datavalue":{"value":{"entity-type":"item","numeric-id":4532353,"id":"Q4532353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"833f78f4ffe78a6d19d8745f28aff657cd13041f","datavalue":{"value":{"amount":"+0.7725959420204163","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":"Q2715536$519A70B7-C8C1-465C-83EC-8407629C63B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2715536","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2715536"}}}}}