Separable closure in categories (Q581527): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / 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. | |||
Property / 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Lindsay N. Childs / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18B99 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18A35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20E18 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 4019295 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
profinite Galois group | |||
Property / zbMATH Keywords: profinite Galois group / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
separable closure | |||
Property / zbMATH Keywords: separable closure / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
abstract Galois theory | |||
Property / zbMATH Keywords: abstract Galois theory / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Galois category | |||
Property / zbMATH Keywords: Galois category / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
normal object | |||
Property / zbMATH Keywords: normal object / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0021-8693(87)90149-9 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2014194406 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Abstract Galois theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Separable algebras over commutative rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4432162 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Biextensions de faisceaux de groupes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Non-normal Galois theories and some resulting structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5682456 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5639839 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5508993 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5547636 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 12:34, 18 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Separable closure in categories |
scientific article |
Statements
Separable closure in categories (English)
0 references
1987
0 references
\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.
0 references
profinite Galois group
0 references
separable closure
0 references
abstract Galois theory
0 references
Galois category
0 references
normal object
0 references