安德烈·乔亚尔;迈尔斯·蒂尔尼 格罗森迪克伽罗瓦理论的推广。 （英语） Zbl 0541.18002号 内存。美国数学。Soc公司。30971页（1984年）。 Grothendieck将经典Galois理论表述为范畴等价：域k上的étale拓扑等价于具有G作用的拓扑空间范畴，其中G是k的可分闭包的Galois群（箭头为域和尾码）。此外，对于一般地形，必须扩展空间的概念。拓扑空间是由它们的开集格局部给出的，在这里它被抽象为具有分配性质的任意完备格，称为locales，因此扩展空间的范畴被定义为locale范畴的对偶。然后，对于任何拓扑，在扩展空间的范畴中都存在一个广群体（G_1右箭头G_0），使得给定的拓扑等价于具有（G_1\）作用的（G_0\）上的滑轮。为了证明这一点，发展了当地的下降理论。例如，定义了扩展空间（以及拓扑）的开映射的概念，并证明了开满射是带轮的有效下降态射。审核人：J.H.德波尔 引用于32评论引用于263文件 MSC公司： 18对25 托波伊 18B40码 群胚、半群胚、半群、群（视为范畴） 10楼12号 可分离扩张，伽罗瓦理论 18B30型 拓扑空间和连续映射的类别（MSC2010） 14层20 Étale和其他Grothendieck拓扑和（共）同源性 10层18号 Grothendieck拓扑和Grothendieck拓扑 99年6月 分配格 18层20 预提升和滑轮、堆垛、下降条件（理论方面） 关键词：伽罗瓦理论;étale拓扑;广群;拓扑空间;具有分配性质的格;区域设置;扩展空间的范畴;二重的;滑轮;下降理论 PDF格式BibTeX公司 XML格式引用 \textit{A.Joyal}和\textit{M.Tierney}，格罗森迪克伽罗瓦理论的扩展。普罗维登斯，RI:美国数学学会（AMS）（1984；Zbl 0541.18002） 全文： 内政部