{"entities":{"Q1918779":{"pageid":1929521,"ns":120,"title":"Item:Q1918779","lastrevid":78197117,"modified":"2026-05-06T11:01:12Z","type":"item","id":"Q1918779","labels":{"en":{"language":"en","value":"Fields with continuous local elementary properties. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 907267"}},"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":"Q1918779$CF5A542B-0978-47F3-BAFA-3FF6FBA473B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b0e8af3de6b5ef4610ceafed0bd8cc6105a10fb","datavalue":{"value":{"text":"Fields with continuous local elementary properties. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1918779$AFB01BD4-3BD1-4B32-BEE8-8F54FA9FBFDE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e5f28ad7095052092ab62a7fb66e866c14063b6","datavalue":{"value":"0856.12005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918779$66E9C0A7-8B68-4422-AE01-6F29EA21111E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07c436f75828c9a54d04399be26d9aa6fa6bf0cb","datavalue":{"value":"10.1007/BF02341870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918779$97A83501-93E9-4F83-A0A6-7D53F147B52F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918779$EEE09161-3FC6-48B4-BFF9-83C1B0E2EEE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7ae9752aff2dd48bc096a697062a482a7ea4d20","datavalue":{"value":{"time":"+1997-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1918779$66426052-4A27-42B1-988B-3AE4448AC73A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ee55696be17c409bb0c51829a2d42b28d59753b","datavalue":{"value":"https://eudml.org/doc/187724","type":"string"},"datatype":"url"},"type":"statement","id":"Q1918779$202FFF0A-F1E9-42BF-B946-CE5E9ED0AC74","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"06b7856c90eb9993afba7c7c3af1646dd019ce26","datavalue":{"value":"The article is a continuation of Part I [Algebra Logic 33, No. 6, 351-365 (1994); translation from Algebra Logika 33, No. 6, 628-653 (1994; Zbl 0845.12005)]. The analogue of theorem 3 from that paper is proved in section 2 for the case of fields in \\(RC^*_E\\) (with absolutely unramified valuation rings). Such fields, in contrast to maximal fields which have ``the smallest'' possible absolute Galois group, possess a ``large'' Galois group.   In section 1 some necessary group-theoretic notions are developed. Let \\(G\\) be a profinite group and let \\(\\text{Subg} G\\) be the set of all closed subgroups of \\(G\\). \\({\\mathbf S} {\\mathbf u} {\\mathbf b} {\\mathbf g} G\\) endowed with the natural topology is a Boolean space. The group \\(G\\) acts on \\({\\mathbf S} {\\mathbf u} {\\mathbf b} {\\mathbf g} G\\) by conjugation. A pair \\({\\mathbf G} = \\langle G,D_G \\rangle\\), where \\(G\\) is a profinite group and \\(D_G \\subseteq {\\mathbf S} {\\mathbf u} {\\mathbf b} {\\mathbf g} G\\) is a closed subset such that \\(\\Gamma^g \\in D_G\\) for all \\(\\Gamma \\in D_G\\), \\(g \\in G\\), is called a \\(\\Delta^*\\)-group. If \\({\\mathbf G}_0 = \\langle G_0, D_{G_0} \\rangle\\) and \\({\\mathbf G}_1 = \\langle G_1, D_{G_1} \\rangle\\) are \\(\\Delta^*\\)-groups, then any continuous homomorphism \\(\\varphi : G_0 \\to G_1\\) such that \\(\\varphi (\\Gamma) \\in D_{G_1}\\) for every \\(\\Gamma \\in D_{G_0}\\) is called a homomorphism from \\({\\mathbf G}_0\\) to \\({\\mathbf G}_1\\). A homomorphism \\(\\varphi : {\\mathbf G}_0 \\to {\\mathbf G}_1\\) is called an epimorphism if \\(\\varphi : G_0 \\to G_1\\) is an epimorphism and \\(D_{G_1} = \\{\\varphi (\\Gamma) \\mid \\Gamma \\in D_{G_0}\\}\\). An epimorphism \\(\\varphi : {\\mathbf G}_0 \\to {\\mathbf G}_1\\) is called flat if \\(\\Gamma \\cap \\text{Ker} \\varphi = \\{e\\}\\) for all \\(\\Gamma\\) from \\(D_{G_0}\\). If \\({\\mathbf G}\\) is a \\(\\Delta^*\\)-group, \\(X({\\mathbf G})\\) denotes the space \\(\\pi_G (D_G) \\subseteq \\text{Subg}^*G\\), and each homomorphism \\(\\varphi : {\\mathbf G}_0 \\to {\\mathbf G}_1\\) of \\(\\Delta^*\\)- groups induces a continuous map \\(\\varphi_*: X ({\\mathbf G}_0) \\to X ({\\mathbf G}_1)\\). A flat epimorphism \\(\\varphi : {\\mathbf G}_0 \\to {\\mathbf G}_1\\) of \\(\\Delta^*\\)-groups is called narrow if \\(\\varphi_*\\) is a homeomorphism between \\(X ({\\mathbf G}_0)\\) and \\(X ({\\mathbf G}_1)\\). A \\(\\Delta^*\\)-group \\({\\mathbf G}\\) is called universal if, for every pair of epimorphisms \\(\\varphi_0 : {\\mathbf G} \\to {\\mathbf G}_0\\), \\(\\psi : {\\mathbf G}_1 \\to {\\mathbf G}_0\\), where \\({\\mathbf G}_1\\) is finite and \\(\\psi\\) is narrow, there exists an epimorphism \\(\\varphi_1 : {\\mathbf G} \\to {\\mathbf G}_1\\), satisfying \\(\\psi \\varphi_1 = \\varphi_0\\). The concept of a \\(\\Gamma\\)-group, developed by the author in \\([PC_p\\)-fields with universal Galois group, Sib. Adv. Math. 1, No. 4, 1-26 (1991)], is a special case of the notion of a \\(\\Delta^*\\)-group.   In the second section the class \\(uRC^*_E\\) is introduced. It is the class of pairs \\(\\langle F,R_W \\rangle\\) such that \\(\\langle F,R_W \\rangle \\in RC^*_E \\subset R C^*_\\exists\\), \\(R\\) is absolutely unramified for all \\(R \\in W\\), and \\({\\mathbf G} (F,W)\\) is a universal \\(\\Delta^*\\)-group.   Theorem. Let \\(\\langle F_0, R_{W_0} \\rangle\\), \\(\\langle F_1, R_{W_1} \\rangle \\in u RC^*_E\\), \\(F_1\\) be a regular extension of \\(F_0\\), and \\(\\langle F_0, R_{W_0}, J(R_{W_0}) \\rangle \\leq \\langle F_1, R_{W_1}, J(R_{W_0}) \\rangle\\). Then   (a) if \\(\\langle F_0, R_{W_0}, J(R_{W_0}) \\rangle \\preceq \\langle F_1, R_{W_1}, J(R_{W_1}) \\rangle\\) then \\(\\overline R_{W_0} \\preceq \\overline R_{W_1}\\) and \\(\\Gamma_{W_0} \\preceq \\Gamma_{W_1}\\);   (b) if \\(\\overline R_{W_0} \\preceq \\overline R_{W_1}\\), \\(\\Gamma_{W_0} \\preceq \\Gamma_{W_1}\\), and for every \\(R_0 \\in W_0\\), the Galois group \\(G(H_{R_0} (F_0))\\) is small, then \\(\\langle F_0, R_{W_0}, J(R_{W_0}) \\rangle \\preceq \\langle F_1, R_{W_1}, J(R_{W_1}) \\rangle\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1918779$1D0BFD99-AA6E-4818-AEB7-8202F163574A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918779$C472922A-C673-43DD-A00B-6120C27ACAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918779$62CA5AFF-FE19-47DD-9B28-300A070C4C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4deb61fce34fc499fde62b817d2aab883af2358e","datavalue":{"value":"12J10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918779$A2DA8259-9D51-4BD7-A9F7-D331AC059EFF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f28fb1f0e9bda75cbda6da2271c22cebdf42a55d","datavalue":{"value":"907267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918779$AD4B65D7-9E13-4FAA-9C48-8DF60C808336","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53b94ff381e1c081c7834bee0ffe742b8bb4f65c","datavalue":{"value":"continuous local elementary properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1918779$79058D16-5D1B-4781-BA1A-A1085E9359EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a278bf49cf25e38975dd09008273cb55755c7a2e","datavalue":{"value":"\\(\\Delta^*\\)-groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1918779$0F52B9D2-5BAF-4322-9DC3-27D6CFD50451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f833a3a9634ca9495fb83d8fd433acde681770ac","datavalue":{"value":"fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1918779$47C946FB-803E-419F-9018-22DB195C12E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c0b6dfd7c951be57b6299c04a98f874dffb9ebf","datavalue":{"value":"absolutely unramified valuation rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1918779$0904C9C2-76C4-4C56-B257-9FC774AE4719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8422860359bc101554aed5560a957cd87b4e6d6","datavalue":{"value":"absolute Galois group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1918779$E8096F0A-DB7F-4C94-A88C-93045E33A4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ad93c5135fdb6642df265555814b9246eeaa9cc","datavalue":{"value":"profinite group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1918779$039E0D94-16BC-4436-9AB8-3F1BDDAC2EFE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d03039664f86d7517c30a64acbdad4c2f746ab89","datavalue":{"value":{"entity-type":"item","numeric-id":431715,"id":"Q431715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918779$C6472CFB-F98C-4B21-97FE-D89E35FC6023","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":"Q1918779$C9E27CA3-F852-478C-B539-A0AD0D627F9D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a395e6760f5ca44a5ff0d2916e18a9ac646f2ede","datavalue":{"value":{"entity-type":"item","numeric-id":1910279,"id":"Q1910279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918779$93D18E0E-21E0-446B-9D65-8467524275A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cc87e5ff89ff7eff93e3bae173aada0cdf0d6f8","datavalue":{"value":{"entity-type":"item","numeric-id":3797287,"id":"Q3797287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918779$7C2F6BEF-109A-4930-BF68-26D4FA41157E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d617848dddf450876c37bbb6eec2ed7925a7a9ac","datavalue":{"value":{"entity-type":"item","numeric-id":1920035,"id":"Q1920035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1918779$673DE561-DA5D-403C-9F11-A388C95EF083","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7eda1268786f76651fa909e3ac5cdbb8c5b2c6b9","datavalue":{"value":"W4252285471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1918779$5704AA39-E74F-4D69-88F5-110A538E7469","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab9adf5d9e6c124eb16e81b0678cce4191f8bf2a","datavalue":{"value":{"entity-type":"item","numeric-id":4875123,"id":"Q4875123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c357ada4c21d4aa92d6f94b0a6a52b63b4e6dee9","datavalue":{"value":{"amount":"+0.8635410666465759","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":"Q1918779$D200F2B2-0D6B-462B-AFF3-48F0914F6736","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d0b3f77eea459a4a2737fd48817b43f99455f06","datavalue":{"value":{"entity-type":"item","numeric-id":2709300,"id":"Q2709300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50d193552f395e93d003afa8d6d95fd763f5b910","datavalue":{"value":{"amount":"+0.8595501780509949","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":"Q1918779$D0BF51E3-4292-42F9-87A3-1A389AAFBCE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"106548b149f16db75fe91563c16e36cf6533d52d","datavalue":{"value":{"entity-type":"item","numeric-id":4851245,"id":"Q4851245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d7a667d2a27577eaa88a4c3f4e8e5b77184ad28","datavalue":{"value":{"amount":"+0.8520997166633606","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":"Q1918779$A335245C-0642-4FDE-9606-F22231D29ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77a11f4f5115e9cd4709fb8096e9003d1deb90a2","datavalue":{"value":{"entity-type":"item","numeric-id":3069098,"id":"Q3069098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ce1a1168ca67b9290ef03c8ea5743b49260a68a","datavalue":{"value":{"amount":"+0.8501641750335693","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":"Q1918779$4AF25CC7-652A-43C3-BD89-412B0261DDE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f85aa51e470f395f6d9b04d808c2e30b94df61b0","datavalue":{"value":{"entity-type":"item","numeric-id":1363880,"id":"Q1363880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"720e83619ba18c5cc9e07dac289c4045cf2809ba","datavalue":{"value":{"amount":"+0.7796138525009155","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":"Q1918779$705C682E-FAAB-4876-A81E-BE3EEED1E8AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fields with continuous local elementary properties. II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fields_with_continuous_local_elementary_properties._II"}}}}}