Galois theory and the categorical Peiffer commutator

Abstract

We show that the Peiffer commutator previously defined by Cigoli, Mantovani and Metere can be used to characterize central extensions of precrossed modules with respect to the subcategory of crossed modules in any semi-abelian category satisfying an additional property. We prove that this commutator also characterizes double central extensions, obtaining then some Hopf formulas for the second and third homology objects of internal precrossed modules.