Related papers: Galois theory and the categorical Peiffer commutat…
In this work we introduce the notions of Peiffer product and Peiffer commutator of internal pre-crossed modules over a fixed object B, extending the corresponding classical notions to any semi-abelian category C. We prove that, under mild…
We define a Galois structure on the category of pairs of equivalence relations in an exact Mal'tsev category, and characterize central and double central extensions in terms of higher commutator conditions. These results generalize both the…
Basing ourselves on the concept of double central extension from categorical Galois theory, we study a notion of commutator which is defined relative to a Birkhoff subcategory B of a semi-abelian category A. This commutator characterises…
We use Janelidze's Categorical Galois Theory to extend Brown and Ellis's higher Hopf formulae for homology of groups to arbitrary semi-abelian monadic categories. Given such a category A and a chosen Birkhoff subcategory B of A, thus we…
We establish a Galois-theoretic interpretation of cohomology in semi-abelian categories: cohomology with trivial coefficients classifies central extensions, also in arbitrarily high degrees. This allows us to obtain a duality, in a certain…
We prove that the category of preordered groups contains two full reflective subcategories that give rise to some interesting Galois theories. The first one is the category of the so-called commutative objects, which are precisely the…
In a previous paper we showed that the category of cocommutative color Hopf algebras is semi-abelian in case the group $G$ is abelian and finitely generated and the characteristic of the base field is different from 2 (not needed if $G$ is…
We introduce and study a homology theory of crossed modules with coefficients in an abelian crossed module. We discuss the basic properties of these new homology groups and give some applications. We then restrict our attention to the case…
We prove that the category of cocommutative Hopf algebras over a field is a semi-abelian category. This result extends a previous special case of it, based on the Milnor-Moore theorem, where the field was assumed to have zero…
As shown in a previous paper by the same authors, the theory of Galois functors provides a categorical framework for the characterisation of bimonads on any category as Hopf monads and also for the characterisation of opmonoidal monads on…
We study Galois extensions Coinv(M)<M for M an H-comodule algebra and H a Frobenius Hopf algebroid. We obtain generalizations of various theorems in Hopf-Galois theory by Kreimer-Takeuchi, Doi-Takeuchi and Cohen-Fischman-Montgomery. An…
A connection between the Galois-theoretic approach to semi-abelian homology and the homological closure operators is established. In particular, a generalised Hopf formula for homology is obtained, allowing the choice of a new kind of…
The adjunction between coalgebras and Hopf algebras, first described by Takeuchi, allows one to prove that the semi-abelian category of cocommutative Hopf algebras has enough $\mathcal E$-projective objects with respect to the class…
A fundamental tool of Differential Galois Theory is the assignment of an algebraic group to each finite-dimensional differential module over differential field in such a way that the category of differential modules it generates is…
To a finite Hopf-Galois extension $A | B$ we associate dual bialgebroids $S := \End_BA_B$ and $T := (A \o_B A)^B$ over the centralizer $R$ using the depth two theory in math.RA/0108067. First we extend results on the equivalence of certain…
Generalising a result for Hopf algebras, we not only define the four possible types of Hopf modules in the bialgebroid setting but also yield the notion of two-sided two-cosided Hopf modules, also known as Hopf bimodules or tetramodules, in…
We introduce a new notion of commutator which depends on a choice of subvariety in any variety of omega-groups. We prove that this notion encompasses Higgins's commutator, Froehlich's central extensions and the Peiffer commutator of…
We describe the split extension classifiers in the semi-abelian category of cocommutative Hopf algebras over an algebraically closed field of characteristic zero. The categorical notions of centralizer and of center in the category of…
Aguiar and Mahajan's bimonoids A in a duoidal category M are studied. Under certain assumptions on M, the Fundamental Theorem of Hopf Modules is shown to hold for A if and only if the unit of A determines an A-Galois extension. Our findings…
We describe the Galois objects and biGalois groups of monomial nonsemisimple Hopf algebras. The main feature of our description is the use of modified versions of the second cohomology group of the grouplike elements. These computations…