Galois theory and a general notion of central extension (Q1345014): Difference between revisions

Let \({\mathcal C}\) be an exact category and \({\mathcal X}\) a so-called admissible subcategory of \({\mathcal C}\), i.e., a full reflective subcategory of \({\mathcal C}\), closed under subobjects and regular quotient objects, and whose reflector \(I\) preserves pullbacks of regular epimorphisms along unit morphisms of the reflection. For any object \(B\) in \({\mathcal C}\), a regular epimorphism \(f: A\to B\) is called an extension of \(B\). It is trivial if it is the pullback along the unit morphism \(\eta_ B: B\to I(B)\) of some extension of \(I(B)\) in \({\mathcal X}\). It is central if its pullback along some extension \(p: E\to B\) is trivial. Categories of such central extensions are investigated in the general case, and in special cases where \(\mathbb{C}\) is a Goursat or Maltsev category, a category of varieties of universal algebras, a category of \(\Omega\)-groups, etc. The link with a previous paper on a generalized Galois theory is made.