{"entities":{"Q6163759":{"pageid":13298640,"ns":120,"title":"Item:Q6163759","lastrevid":39858384,"modified":"2025-01-27T19:05:50Z","type":"item","id":"Q6163759","labels":{"en":{"language":"en","value":"The generalized transfer theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7704866"}},"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":"Q6163759$831A1F14-2A3B-4293-99DE-7BFF305BA013","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f30871aff64b8d74514ca5a8fd8ce8f08221a5a","datavalue":{"value":{"text":"The generalized transfer theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6163759$9B809D7D-CADE-4716-8800-BE0C65F38300","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e43527fad30560701d54b33299a8bb815413005d","datavalue":{"value":"1528.12003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163759$C0DA58CC-0E20-4238-BCA3-F3D1655D78F5","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":"Q6163759$8B0633F1-C2E3-48D5-AF30-0B636FDC9680","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":"Q6163759$B38BE9DA-18AB-4A60-8CA1-4683D383613D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"67c80c0302a3afef383579ecf23bcd6250b145c1","datavalue":{"value":{"entity-type":"item","numeric-id":168484,"id":"Q168484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163759$F3578A5C-A256-447D-BF8D-F7BE30DCD88F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"71476e68174ce61b1b2a41ccdbdaefb9b107de95","datavalue":{"value":{"time":"+2023-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6163759$A04E5DFA-5FA3-460B-BA42-3DBD6F2FAFF5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8772d8ef6e725868433764dec13f38bda2c27d3","datavalue":{"value":"http://nyjm.albany.edu/j/2023/29-21.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q6163759$F05E4946-974B-438D-84B6-28979C5A3170","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bf1ea18e67b5aa5148110a192c79b3c2fdbdaf3f","datavalue":{"value":"Let \\(K\\) be a global field and let \\({\\mathcal O}_K\\) be its ring of integers. The \\textit{transfer theorem} considers a sentence \\(\\theta\\) of the language \\({\\mathcal L}(\\mathrm{ring},{\\mathcal O}_K)\\) of rings where each element of \\({\\mathcal O}_K\\) is a constant symbol and it establishes that the set \\(\\sum_{\\tilde K/K}(\\theta)\\) of all \\(\\sigma\\) in the absolute Galois group \\(\\mathrm{Gal}(K)\\) of \\(K\\) for which \\(\\theta\\) holds in the fixed field \\(\\tilde K(\\sigma)\\) of \\(\\sigma\\) in the algebraic closure \\(\\tilde K\\) of \\(K\\) is measurable and its Haar measure \\(\\mu_K\\big(\\sum_{\\tilde K/K}(\\theta)\\big)\\) is equal to the Dirichlet density \\(\\delta(A_{{\\mathcal O}_K}(\\theta))\\) of the set \\(A_{{\\mathcal O}_K}(\\theta)\\) of all maximal ideals \\({\\mathfrak p}\\) of \\({\\mathcal O}_K\\) for which \\(\\theta\\) holds in \\(\\tilde K_{\\mathfrak p}:= {\\mathcal O}_K/{\\mathfrak p}\\).  The main objective of this paper is to generalize the transfer theorem to integrally closed integral domains \\(R\\) finitely generated as \\({ \\mathbb Z}\\)-algebras or finitely generated as \\({\\mathbb F}_p\\)-algebras and are infinite. The main result is that if \\(\\theta\\) is a sentence of \\({\\mathcal L}(\\mathrm{ring},R)\\), then \\(\\sum_{\\tilde K/K}(\\theta)\\) is measurable, \\(A_R(\\theta)\\) has a Dirichlet density, and \\(\\delta\\big( A_R(\\theta)\\big)=\\mu_K\\big(\\sum_{\\tilde K/K}(\\theta)\\big)\\); furthermore \\(\\delta\\big(A_R(\\theta)\\big)\\) is a rational number, \\(\\delta\\big(A_R( \\theta)\\big)=0\\) iff \\(A_R(\\theta)\\) is a small set (according to Remark 3.1), and \\(\\delta\\big(A_R(\\theta)\\big)\\) depends only on \\(K\\). Finally, the authors prove that if \\(R\\) and \\(\\theta\\) are given explicitly, then \\(\\delta\\big(A_R(\\theta)\\big)\\) can be recursively computed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6163759$24D4BC94-FF98-466C-857C-BD3513EFFB46","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f0e90d891131f9887cf439663f26d1846e6a057a","datavalue":{"value":{"entity-type":"item","numeric-id":214730,"id":"Q214730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163759$9E925234-A583-4326-8276-018E9120F9B1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"39d84a086a57ece4849b9ed727f3bd0c781fc1af","datavalue":{"value":"12E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163759$B2DF857B-4090-4E01-AADD-A4CB31ED40A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"17565690f34b78615adcebc7ddf96b1bc46e56cc","datavalue":{"value":"11R99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163759$A3B63BA8-51E8-4BBB-AFA0-8E1DF11A5941","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd65e7918d8ccf23cdb16f0ded0b986c5fc01785","datavalue":{"value":"7704866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6163759$DFAE0E18-D547-4A90-B9DF-E441E6860BD5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdabf7ddcd01a7939ff3c427ab07a77bc82ca40f","datavalue":{"value":"Chebotarev density theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6163759$04B30161-E79B-4658-B469-40F9B568D6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d403ca1c2995a981c6fe9fb23190dc990c5f6e9b","datavalue":{"value":"transfer theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6163759$415CF43F-DC3A-42EE-8771-5ADF843B3CA5","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":"Q6163759$BA01B26F-B30A-445F-ACA9-0AB3198FB768","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4ee6ec554fb5440819f6e4b3b4a8d4cca5d12a","datavalue":{"value":{"entity-type":"item","numeric-id":4317713,"id":"Q4317713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163759$3FFE2A49-816D-4819-A302-4EAAD4AA8D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a489728c95410779f72453ed8a9b283e1846d204","datavalue":{"value":{"entity-type":"item","numeric-id":5322842,"id":"Q5322842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163759$1C2E5DB7-76FA-4334-97BD-3AC528575A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"475e6214c76f5a43932b157eda32255dfd51d578","datavalue":{"value":{"entity-type":"item","numeric-id":4058770,"id":"Q4058770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163759$24EA737A-F81A-499D-A90C-E590457CF9F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9f4dd77a04b8bdb639398ba953b42f346c2e795","datavalue":{"value":{"entity-type":"item","numeric-id":4298518,"id":"Q4298518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163759$D25F58E9-45BA-445E-8F6B-97D7CA10D7E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8184c9e22f7bf71dec0c9ecfb633139eaa729b1","datavalue":{"value":{"entity-type":"item","numeric-id":2770573,"id":"Q2770573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163759$5E0BE31D-02B7-41CF-8764-3D02D51D38D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b15f33973c212f6549f9b10de0ee14b727c2373","datavalue":{"value":{"entity-type":"item","numeric-id":5484940,"id":"Q5484940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163759$C5565061-23D0-4EC1-AEDD-A725BB89C48A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a146ec1ba1bd1a1b7b62ba8957f53842121dfaa9","datavalue":{"value":{"entity-type":"item","numeric-id":3871006,"id":"Q3871006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163759$F9F239CC-DE6F-4DF4-BE08-B724C4B655FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4da190693e277194a2949f5ef2e4c79d2adcfa6","datavalue":{"value":{"entity-type":"item","numeric-id":2538073,"id":"Q2538073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6163759$4F75999E-4735-424D-A64F-F9457D14A05B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1e05bdc858f544430352634283c6770503988d6","datavalue":{"value":{"entity-type":"item","numeric-id":4729860,"id":"Q4729860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42089d42195de8ca2fc04a3d9e52bbfb3a44cdbb","datavalue":{"value":{"amount":"+0.5869564","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":"Q6163759$9960DEC8-43E5-43ED-9DBD-9E67A08B3309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"964b75f08fca870d3a45768417978eeddd5f7977","datavalue":{"value":{"entity-type":"item","numeric-id":1345857,"id":"Q1345857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91a3ecb5dcb0772dbbb055e766d1b3a5f15f2793","datavalue":{"value":{"amount":"+0.5715361","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":"Q6163759$7685CF04-6239-4B4E-981F-BEE83FD1C8D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7563e08966c38ad5035695dbc37c0ee43dab68bc","datavalue":{"value":{"entity-type":"item","numeric-id":4382917,"id":"Q4382917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88b8ff7230949c9797576d659b5f70d5db74fbde","datavalue":{"value":{"amount":"+0.5682451","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":"Q6163759$943BCEC9-3235-4A66-87A7-4EC77676A0D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a5161c8d0b7cc0d93f10ab8fade30627120ce9a","datavalue":{"value":{"entity-type":"item","numeric-id":3752489,"id":"Q3752489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92211d4202e02746257ab835cc3de8da3c41bc71","datavalue":{"value":{"amount":"+0.5663625","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":"Q6163759$4136E93F-D60A-4B13-B1BB-0C84A3622693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17e8c719bc0ca7e2460f974974aa8149ae416512","datavalue":{"value":{"entity-type":"item","numeric-id":5506316,"id":"Q5506316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfa4733d16125d78830d2ade864483ce3d4b86da","datavalue":{"value":{"amount":"+0.5656678","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":"Q6163759$BD961F82-4740-4583-B0AB-D6C9689E8C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"189d0f9c64e94431ee64715d7ecda8418c6ca1f6","datavalue":{"value":{"entity-type":"item","numeric-id":1382651,"id":"Q1382651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbcafc656ce6ae9730b08fcf7dc1c5ded1293f11","datavalue":{"value":{"amount":"+0.56529146","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":"Q6163759$CCD518D4-D800-4B16-BC30-6CE55D2D5118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"493dd4f1044c2bcafc2af378c4ed7fa83122625a","datavalue":{"value":{"entity-type":"item","numeric-id":4434573,"id":"Q4434573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58c6d3b45cb138ed3d56dd5a16b75707bd20bdc1","datavalue":{"value":{"amount":"+0.5620436","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":"Q6163759$2AC00A94-168B-4F75-9BF5-40E940B8B9CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ff00c76b23f805de93de017d0798895292f3b3f","datavalue":{"value":{"entity-type":"item","numeric-id":3173264,"id":"Q3173264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"996d78187870564c00d082cee7535ffb91c770ba","datavalue":{"value":{"amount":"+0.5608114","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":"Q6163759$74A14F62-CF17-456C-BDBE-59A94D2285D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b85ee8a754a57827fc26d823687b653e70771838","datavalue":{"value":{"entity-type":"item","numeric-id":5946831,"id":"Q5946831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab93d2fb5581db4d38d28f8510baa8bf092622fd","datavalue":{"value":{"amount":"+0.56074923","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":"Q6163759$4AABF60D-DD84-4AAC-B70C-9AAEA0108735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eea319d77aed2d475ecaeeeec20cc1872406ed40","datavalue":{"value":{"entity-type":"item","numeric-id":1289515,"id":"Q1289515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21624e18cd386cbb9f34640600208e0390a7c4b5","datavalue":{"value":{"amount":"+0.5604485","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":"Q6163759$A891759C-224B-406F-9FA8-B74AB426322F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6163759","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6163759"}}}}}