{"entities":{"Q1873770":{"pageid":1884512,"ns":120,"title":"Item:Q1873770","lastrevid":69062361,"modified":"2026-04-13T04:18:02Z","type":"item","id":"Q1873770","labels":{"en":{"language":"en","value":"Localic Galois theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1917865"}},"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":"Q1873770$C7808D9B-2800-4B6B-8451-66F59CE43687","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1acd9aceb887deb372ec176e975fb081e1819a78","datavalue":{"value":{"text":"Localic Galois theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1873770$BA42BD3C-7070-4A77-A034-EECF13DFD417","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5e16088fe2897429d2fe68f0b8db7c74a89dc0e1","datavalue":{"value":"1027.18003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1873770$9532573B-9185-4837-A7AC-A195D87B9BF9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a6557786138a97efbe876fa56579360c1e26f24","datavalue":{"value":"10.1016/S0001-8708(02)00046-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1873770$91D01D7D-CD9E-4043-98FC-655078C0FCA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d4d4232c38865860290a7c0a5efe31615ce5656","datavalue":{"value":{"entity-type":"item","numeric-id":435207,"id":"Q435207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1873770$F3544A68-DD64-4080-AD7A-6D919454952C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"87fedd43d9515b94c7651de65777aba7be17422f","datavalue":{"value":{"entity-type":"item","numeric-id":165833,"id":"Q165833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1873770$BFD8B1BD-32A8-4655-B61F-3FBB7FF0C5AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2b40c08a2730a883022880979a273ca836a2fb3","datavalue":{"value":{"time":"+2003-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1873770$A661751D-51B5-4C25-B09B-65D43CE56847","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"863b2208cef3124c48d6257204f3815cc3a4a9b0","datavalue":{"value":"https://arxiv.org/abs/math/0012173","type":"string"},"datatype":"url"},"type":"statement","id":"Q1873770$A9C664E1-23E3-44D1-BEDC-5206E4DA647F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3bd14c259a49411b2a441ed3842e434fe004ac47","datavalue":{"value":"In `An extension of the Galois theory of Grothendieck' [Mem. Am. Math. Soc. 309 (1984; Zbl 0541.18002)], \\textit{A. Joyal} and \\textit{M. Tierney} proved a descent theorem for open surjections of toposes, and deduced a representation theorem for Grothendieck toposes in terms of localic groupoids. A particular case of the latter theorem, which is essentially what those authors meant by `the Galois theory of Grothendieck', asserts that any connected atomic topos with a point may be represented as the topos of continuous actions of a localic group (the still more particular case when the point is representable -- equivalently, the group is discrete -- corresponding to the classical Galois theory of a finite separable extension of fields). In the present paper, the author provides a proof of the particular case of the representation theorem without using descent theory, but instead relying on a careful analysis of the points of atomic sites in the sense of \\textit{M. Barr} and \\textit{R. Diaconescu} [J. Pure Appl. Algebra 17, 1-24 (1980; Zbl 0429.18006)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1873770$DBD0C4AF-13E6-4F8B-9DDC-3A194FD95F96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1873770$C9A1D5C3-22AB-42A7-8B1C-85C7576699FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2caeb08173bdc16534b506f6d1fea5a2e89840a8","datavalue":{"value":"12F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1873770$FD94D83B-84B2-42CF-AF34-D12D5FE9F40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0ee7ce317264382861edb63c533e11ee885fc54","datavalue":{"value":"18F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1873770$80EA52B7-53AE-4BA3-BCBC-A1A9177484DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3708938b08a6f0ff0c1b8a37564ef7a240e4dbfe","datavalue":{"value":"1917865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1873770$83822C81-18BF-4016-9B79-642A8ED07AAE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77e67dce8163e922237e80f1981b8bdddf358fa1","datavalue":{"value":"descent theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1873770$A7480231-490C-46A3-B9B1-1FB56E3DA456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa72d29b773173cece22388a201d886a3c4c12cd","datavalue":{"value":"Grothendieck toposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1873770$EB13D615-3903-4ECC-AC06-4F098E8FC6D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cc551bf26c892cafe4c562aa8ed4f1943be286c","datavalue":{"value":"localic groupoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1873770$243CBB7F-068C-483B-BE01-52178C0E22DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7426442d524f1e8f432056c3d35300baa886418","datavalue":{"value":"atomic topos","type":"string"},"datatype":"string"},"type":"statement","id":"Q1873770$18493201-4C80-4527-9556-35F9B535B8E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01b2e691335f8d74b0b73c1d6ec290170cc050cf","datavalue":{"value":"localic group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1873770$7CED88E8-1E74-433A-9BD9-E7E0D0442F8B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"9596d005c29801249c01b9d1288aea39b7db279d","datavalue":{"value":{"entity-type":"item","numeric-id":702196,"id":"Q702196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1873770$D193B609-9A87-4EA1-8EDB-5C86CB81CD6D","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":"Q1873770$E7FFB764-759A-4C61-AE1F-979AB5D548D5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9804d92f6149f21a700c6190a20112dc10a7abe4","datavalue":{"value":{"entity-type":"item","numeric-id":1137631,"id":"Q1137631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1873770$68B6CAA3-ACAF-414A-B6C4-DDB9A826F9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1f1626c3060d5aa81a769d5f87fba960c3bd043","datavalue":{"value":{"entity-type":"item","numeric-id":3313943,"id":"Q3313943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1873770$80DAA8E8-193F-4323-B662-2EF178F464EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7adacb27200b6d178ce5dd4b2a932eaf86fae58b","datavalue":{"value":{"entity-type":"item","numeric-id":3328711,"id":"Q3328711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1873770$4390B95D-27B4-416C-8BA9-0A3F528F5A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49cc6b0c2eb9028986e7916a6c9a550656bd8a75","datavalue":{"value":{"entity-type":"item","numeric-id":3909182,"id":"Q3909182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1873770$C96841F5-DD3F-47B4-B8AD-AFBC72E51C91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50b1a979859b05327c9cad62b9d80127119505d9","datavalue":{"value":{"entity-type":"item","numeric-id":1426338,"id":"Q1426338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98662e23a42a3ed98a2ce75f0a85f8254388dc17","datavalue":{"value":{"amount":"+0.9226021766662598","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":"Q1873770$B7096C5B-F6F8-47A3-AD70-B9832D21E8F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"792274ebbf2c30a1f68632d7e8e57188d97befb6","datavalue":{"value":{"entity-type":"item","numeric-id":5401667,"id":"Q5401667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cffcf872ac1eef703e5174fd0ff506b437fd0aae","datavalue":{"value":{"amount":"+0.9200329184532166","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":"Q1873770$F6C296F9-59A7-4E8B-917A-151D39C2BE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d13c6a65176d3aeb3edcb16f1a7b31353d1ac73","datavalue":{"value":{"entity-type":"item","numeric-id":3328711,"id":"Q3328711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28a10716197fab5a96808f5153cf891310a9c929","datavalue":{"value":{"amount":"+0.8555824160575867","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":"Q1873770$FF4E2BE7-F243-4A8E-88C6-0950B7D5A098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e046217b8da70fa9737172cf03ab78824932e86","datavalue":{"value":{"entity-type":"item","numeric-id":4206922,"id":"Q4206922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21645888bdb17281d47fe679027b854d44886c77","datavalue":{"value":{"amount":"+0.842844545841217","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":"Q1873770$5BD79ECE-51BF-44F4-B27E-D722F4A30D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b405556206bf3bc0b1c6852225909d859841340","datavalue":{"value":{"entity-type":"item","numeric-id":2634792,"id":"Q2634792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54020d64b23bcbdc2bdbb8e46bc6c276460fcf08","datavalue":{"value":{"amount":"+0.8376606702804565","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":"Q1873770$DE9B7B79-8AF9-4785-BDA8-C5128E0DA09D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Localic Galois theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Localic_Galois_theory"}}}}}