Separable closure in categories
type: Item
instance of: scholarly article
title: Separable closure in categories
zbMATH Open document ID: 0627.18001
DOI: 10.1016/0021-8693(87)90149-9
author: Eric Stroud
published in: Journal of Algebra
publication date: 1987-01-01T00:00:00Z
review text: \textit{M. Barr} [J. Pure Appl. Algebra 19, 21-42 (1980; Zbl 0441.18007)] defined axioms for a category \({\mathcal A}\) which imply that \({\mathcal A}\) is equivalent to the dual of the category of transitive discrete G-sets for a profinite group G. He did so by defining \(\Pi{\mathcal A}\), the category whose objects are formal finite products of objects of \({\mathcal A}\), and showing that (\(\Pi{\mathcal A})^{opp}\) is a ``Galois category'' in the sense of \textit{A. Grothendieck} [Revêtements étales et groupe fondamental (SGA 1) (Lect. Notes Math. 224) (1971; Zbl 0234.14002)] by defining a functor \(M: (\Pi{\mathcal A})^{opp}\to\) (finite sets) which preserves finite limits and colimits: for an object A of \(\Pi{\mathcal A}\), \(MA=Mor(A,B)\) for B a normal object admitting a monomorphism from each direct factor of A in \({\mathcal A}.\) However, the author observes here that there is a gap in the definition of M: the independence of MA on the normal object B is not natural, and thus for M to be well-defined on morphisms it is necessary to show that there is a coherent choice of morphisms among normal objects of \({\mathcal A}\). The purpose of this paper is to show that for a category satisfying Barr's axioms, such a coherent choice of morphisms exists and is unique up to an equivalence which implies that the functor M is unique up to isomorphism.
reviewed by: Lindsay N. Childs
Mathematics Subject Classification ID: 18B99
Mathematics Subject Classification ID: 18A35
Mathematics Subject Classification ID: 20E18
zbMATH DE Number: 4019295
zbMATH Keywords: profinite Galois group
zbMATH Keywords: separable closure
zbMATH Keywords: abstract Galois theory
zbMATH Keywords: Galois category
zbMATH Keywords: normal object
MaRDI profile type: Publication
full work available at URL: 0021-8693(87)90149-9
OpenAlex ID: W2014194406
cites work: Abstract Galois theory
cites work: Separable algebras over commutative rings
cites work: Q4432162
cites work: Biextensions de faisceaux de groupes
cites work: Non-normal Galois theories and some resulting structures
cites work: Q5682456
cites work: Q5639839
cites work: Q5508993
cites work: Q5547636
Recommended article: Q5701010
Recommended article: Axiomatizing a category of categories
Recommended article: Q3312397
Recommended article: Q4263348
Recommended article: Q3693678
Recommended article: Pure Galois theory in categories
Recommended article: Structure theory for pro-objects from an arbitrary category
Recommended article: Factorizations, denseness, separation, and relatively compact objects
Recommended article: Q4537949
Recommended article: Q3344336
description: scientific article; zbMATH DE number 4019295