Galois groupoids (Q2545718)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Galois groupoids
scientific article

    Statements

    Galois groupoids (English)
    0 references
    1971
    0 references
    From the introduction: Let \(R\) be a commutative ring, and \(S\) an \(R\)-algebra which is the direct limit of commutative, separable, projective \(R\)-subalgebras (i.e. a locally separable \(R\)-algebra). Under a suitable normality condition on \(S\) we give a Galois correspondence between all locally separable subalgebras of \(S\) and closed subgroupoids of a certain topological groupoid. The correspondence is constructed as follows: first, it is shown that separable subalgebras are determined by their separability idempotents. The separability idempotents are intrinsically characterized (among the idempotents of \(S\otimes_R S)\). Then the Boolean spectrum of \(S\otimes_R S\) is shown to be a topological groupoid. Idempotents of \(S\otimes_R S\) correspond to open-and-closed subsets of the Boolean spectrum; we complete the Galois correspondence by showing that the subsets corresponding to separability idempotents are subgroupoids, and conversely.
    0 references
    0 references
    Galois correspondence
    0 references
    locally separable subalgebras
    0 references
    closed subgroupoids of topological groupoid
    0 references
    separability idempotents
    0 references
    Boolean spectrum
    0 references
    0 references
    0 references
    0 references