{"entities":{"Q863410":{"pageid":865258,"ns":120,"title":"Item:Q863410","lastrevid":64946829,"modified":"2026-04-11T23:17:25Z","type":"item","id":"Q863410","labels":{"en":{"language":"en","value":"Diamond theorem for a finitely generated free profinite group."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5118860"}},"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":"Q863410$14891C15-AD91-4E55-8EB0-23588D8F4810","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d3fec77493843ed5ec8230411f2af29895f69b2","datavalue":{"value":{"text":"Diamond theorem for a finitely generated free profinite group.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q863410$03E5748F-1F76-485C-846C-8F62FC14AEF6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c692ba82b9e59378b756bba65a2e74893a72c50e","datavalue":{"value":"1111.20029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863410$9CF17DC1-D11F-470B-9DB5-F02A552A4C75","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c35d32a4de786a8229396d767c1b7ca82eec7e6","datavalue":{"value":{"entity-type":"item","numeric-id":244278,"id":"Q244278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863410$D2BEC999-06A9-4CF0-A3AE-4F2A3301A0F1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7016073dc3661ad2b8fcf740b72e135f31d59f23","datavalue":{"value":{"entity-type":"item","numeric-id":166142,"id":"Q166142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863410$8A3680D3-6028-4063-A5C1-B82C48DF4386","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6721e2b1eb987ba2390f9abdb34c9100dded7229","datavalue":{"value":{"time":"+2007-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q863410$8104FE66-451C-4043-9919-15EEFFA3122E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00fb306ff748c65d6b9e1854c6fb6a97abc57969","datavalue":{"value":"https://arxiv.org/abs/math/0509304","type":"string"},"datatype":"url"},"type":"statement","id":"Q863410$CADC3E1F-AE46-4D0C-AB7F-F09FA3030A7D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b27ce7bd3a0338725edcf7b07691035508cb7e5c","datavalue":{"value":"Let \\(\\widehat F_m\\) denote the free profinite group of rank \\(m\\). If \\(m\\) is infinite, then a theorem of D. Haran [see Theorem 25.4.3 of \\textit{M. D. Fried} and \\textit{M. Jarden}, Field arithmetic. 2nd revised and enlarged ed. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge 11. Berlin: Springer (2005; Zbl 1055.12003)] shows that, for any distinct closed subgroups \\(M_1,M_2\\) and \\(M\\) of \\(\\widehat F_m\\) such that \\(M_1\\) and \\(M_2\\) are normal in \\(\\widehat F_m\\) and \\(M_1\\cap M_2\\leq M\\), we have \\(M\\cong\\widehat F_m\\).   The main theorem of the present paper considers the case where \\(m\\) is finite. Under the same hypotheses as Haran's theorem, together with the additional obvious necessary condition \\(|\\widehat F_m:M|=\\infty\\), it is shown that in this case \\(M\\cong\\widehat F_\\omega\\). -- Haran's original interest in his theorem arose from a result (the Diamond Theorem) which he had proved about Hilbertian fields [\\textit{D. Haran}, Invent. Math. 137, No. 1, 113-126 (1999; Zbl 0933.12003)].   The present author shows how to apply his own theorem to prove the following. Let \\(K\\) be a pseudo-algebraically closed (PAC) field with a finitely generated free absolute Galois group of rank \\(\\geq 2\\). If \\(E_1,E_2\\) and \\(E\\) are distinct field extensions of \\(K\\) such that \\(E_1\\) and \\(E_2\\) are Galois over \\(K\\), \\(E\\leq E_1E_2\\) and \\([E:K] =\\infty\\), then \\(E\\) is Hilbertian. -- Furthermore, theorems analogous to the main theorem are shown to hold for free pro-\\(\\mathcal C\\) groups for any class \\(\\mathcal C\\) of finite groups closed under taking quotients, normal subgroups and extensions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q863410$1DDC40BD-3E2C-469D-994F-2A529BD65F89","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bac883d785667a63a92fc8927c00d4d1184f1321","datavalue":{"value":{"entity-type":"item","numeric-id":590084,"id":"Q590084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863410$70450395-E617-40D3-903E-0B59ABAAD440","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ef7763c663249d52fb24c69b52f35da435fa9a3","datavalue":{"value":"20E18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863410$2496B1DA-D47E-490E-8208-3A63CF7CFDBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7bb0200415e67854c821d8c81f877285507b00f","datavalue":{"value":"12E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863410$7911479B-E706-48F0-BEBA-4854D6C98741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"057a5e7479a8bc00d133fb17f815b2b0225ccbd5","datavalue":{"value":"12F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863410$D65FB412-82FB-408E-9B9B-3416CC39948C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ea37469d91f3037e8b6809fc66f770f1b27a461d","datavalue":{"value":"20E07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863410$59311FA3-B682-48C0-ACCB-C756A6DA607D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5608e4dbe85e8f6c220cc8afcea2a4ada066e3fa","datavalue":{"value":"20F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863410$BEBA8794-A675-4231-9AAC-2DA1914FD6BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"482a80a3e9b9a71dea7fd86f1e8868953620d88c","datavalue":{"value":"5118860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863410$EAE9D707-8D2F-448F-9FD2-218CE40F94A1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcae5b56314dd86e92dcb9d299feed06b9476fcd","datavalue":{"value":"free profinite groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q863410$96A4692E-ADFA-43E0-B1D9-65ECDA042633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81ff8b30fc7c00941bcfdba98ea3a0d1979745c2","datavalue":{"value":"diamond theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q863410$B532559E-7B08-496E-98CB-7D286DA0B01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd04fb7cfea5b664e2f423580e731f243680d31a","datavalue":{"value":"PAC fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q863410$E30AB3CC-6470-4607-95B9-53AE2BCCF79E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef4703a091b00b864ccf09a411103e6ea1c57eb1","datavalue":{"value":"absolute Galois groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q863410$A7C1C667-7890-4B11-ADFC-221E75CDF5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"427c3ed91af94ba418301886da5a361f053bc8e9","datavalue":{"value":"Hilbertian fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q863410$342DD37F-17BC-45AE-88ED-E842C5047364","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":"Q863410$53ED5452-FD90-4B10-A502-3972C5E711BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c6a556f177dba5505c865b9d6e95de40da981dc","datavalue":{"value":"W2017025736","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863410$0B9FD3FF-CC0C-4925-B5FE-F4EB56FE5A7C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"48f2fa316dadea8c5d982843a00c6c527c3b8793","datavalue":{"value":{"entity-type":"item","numeric-id":1298101,"id":"Q1298101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863410$6C4EBC41-3392-4926-A502-5416840B4D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1dd97bfc73c61c0b066abb522e631744b4b3c58","datavalue":{"value":{"entity-type":"item","numeric-id":5471273,"id":"Q5471273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q863410$AD718BB9-3094-4E90-8B85-862310CF578C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9431b785b3c11598caa6f6626f9c4919971df188","datavalue":{"value":"10.1007/S00208-006-0024-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q863410$B89F13AD-FE6E-49B7-AB80-1018CB7BCA87","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62ac7961553c89b521baf6adb3c5989ea49eb3ec","datavalue":{"value":{"entity-type":"item","numeric-id":5202280,"id":"Q5202280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3729fbb26cb8f98341dc469a4ba9266124274c30","datavalue":{"value":{"amount":"+0.7943676","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":"Q863410$BDDA76B7-EA98-4324-B5FF-7A8B1BE7C187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0422f94c8a0932543db7cefa799bfd32acac5ff6","datavalue":{"value":{"entity-type":"item","numeric-id":5471273,"id":"Q5471273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8fbf7f805ead0f4c3cdd70857ab7d2c4d1fa4de","datavalue":{"value":{"amount":"+0.7941615","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":"Q863410$919BFDF0-641A-42FB-AE2B-B58748D064BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31ced05d39a6e45f63fe9eafc0bd41a4224bd753","datavalue":{"value":{"entity-type":"item","numeric-id":1972173,"id":"Q1972173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd6da6d33f662d4e29fd55cae8b41990f8a30fb1","datavalue":{"value":{"amount":"+0.7532004","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":"Q863410$68F121DC-7D53-4086-96F7-9466EC7F570E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f97a646e72aac1fa8b25e5e33afc9c464b34276","datavalue":{"value":{"entity-type":"item","numeric-id":2801737,"id":"Q2801737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d9c47a4bda0d13eb5cc8380bd9accf18d2ac102","datavalue":{"value":{"amount":"+0.7486004","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":"Q863410$20118020-E298-470B-A60A-713E94A5ADE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2e586c67a11dcdc48239e216487e764298b9dca","datavalue":{"value":{"entity-type":"item","numeric-id":2769791,"id":"Q2769791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2458a5bcc0fc239cb55bd34950316b2cc0342c94","datavalue":{"value":{"amount":"+0.7447972","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":"Q863410$B6539252-618C-4464-B419-BDB939EA8692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39d8ee2acce9dff641272cde76a18c0a3b7dbca2","datavalue":{"value":{"entity-type":"item","numeric-id":4849453,"id":"Q4849453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbd231634ed2f0935e9ed8aa514dba07b0689339","datavalue":{"value":{"amount":"+0.7429854","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":"Q863410$B334521C-980A-4C5C-9CA8-8AE1972764CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14d81bdd29d52a9a5885f73d0c51b859583e2bdb","datavalue":{"value":{"entity-type":"item","numeric-id":5159292,"id":"Q5159292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d554930c89db6dc56d9a2b28c3666baf4b7e2526","datavalue":{"value":{"amount":"+0.7380935","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":"Q863410$994D704F-BF2B-4784-9E43-74961487DA38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1951f1a7976e718d2a987046af3b7a2bf359e0e8","datavalue":{"value":{"entity-type":"item","numeric-id":4256989,"id":"Q4256989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f419af3b426647fec7a71c2f3e729bff3978a102","datavalue":{"value":{"amount":"+0.7378206","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":"Q863410$64844A6A-9EC0-4A2B-AA15-B7915A2327B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aabcdf36dab4c5fa0d008b65b930e8834484d3dd","datavalue":{"value":{"entity-type":"item","numeric-id":1282512,"id":"Q1282512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60788b2ab2dc3721d78600509b7b2fb702935e29","datavalue":{"value":{"amount":"+0.7185708","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":"Q863410$B8EC549D-B5BC-4EA2-8B59-BA0497EC7FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"913b58b578e2b14feb5186a761878f9b11970fa6","datavalue":{"value":{"entity-type":"item","numeric-id":5187449,"id":"Q5187449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2b1791951ba2fce92805498f880e729c9cb6adb","datavalue":{"value":{"amount":"+0.70854616","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":"Q863410$0F9D9707-F0A1-4307-BE0E-441F5E537E93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Diamond theorem for a finitely generated free profinite group.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Diamond_theorem_for_a_finitely_generated_free_profinite_group."}}}}}