In a semi-abelian context, we study the condition (NH) asking that Higgins commutators of normal subobjects are normal subobjects. We provide examples of categories that do or do not satisfy this property. We focus on the relationship with the "Smith is Huq" condition (SH) and characterise those semi-abelian categories in which both (NH) and (SH) hold in terms of reflection and preservation properties of the change of base functors of the fibration of points.Comment: 15 pages; final published versio
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 additional assumptions on C, crossed modules are characterized as those pre-crossed modules X whose Peiffer commutator X, X is trivial. Furthermore we provide suitable conditions on C (fulfilled by a large class of algebraic varietes, including among others groups, associative algebras, Lie and Leibniz algebras) under which the Peiffer product realizes the coproduct in the category of crossed modules over B.
In a semi-abelian category, we give a categorical construction of the push forward of an internal pre-crossed module, generalizing the pushout of a short exact sequence in abelian categories. The main properties of the push forward are discussed. A simplified version is given for action accessible categories, providing examples in the categories of rings and Lie algebras. We show that push forwards can be used to obtain the crossed module version of the comprehensive factorization for internal groupoids. Indeed, for extensions with abelian kernel, the push forward construction makes the following classical assignment functorial: Opext C (Y, −) : [Abelian objects in C ↓ Y ] → [Abelian groups] (see [1] for groups and other algebraic categories, and [7] for pointed protomodular categories). Here, the supplementary conditions ensure that a gives rise to a morphism of abelian group objects in C ↓ Y. Indeed, the same situation can be treated also with the alternative approach developed by Bourn in [4], where a direction functor assigns to each abelian extension of the object Y a Y-module. Under this perspective, the push forward construction recovers the fact that such direction functor is a pseudo cofibration (see [4]). A generalization of the push forward construction arises when we consider the normal monomorphism appearing in any short exact sequence as an instance of a pre-crossed module. When the base category is the category of groups, under suitable hypothesis, it is possible to push forward along a map not only a normal monomorphism, but any pre-crossed module. This way we obtain a crossed module with the same cokernel (to the best of our knowledge, the push forward of a pre-crossed module was introduced by Noohi in [20]). The purpose of the present work is to develop a push forward construction in the intrinsic setting of a semi-abelian category C, where the notion of internal crossed module was introduced by Janelidze in [12]. In fact, in Theorem 3.6, we present necessary and sufficient conditions, expressed in terms of internal actions, for the push forward of a given pre-crossed module to exist in C (for the case of a crossed module, a push forward construction with different conditions was independently developed by Hartl [11]). These conditions simplify when the category C is action accessible [8], as presented in Theorem 3.10. The last result is very useful for the construction of push forward in many algebraic examples, like those of rings, Lie algebras, associative algebras and, more in general, any category of interest in the sense of Orzech [21]. The push forward construction, together with its main property (see Theorem 3.6, (PF)), turns out to be strongly related to the comprehensive factorization of internal functors (see [3]). Our investigation shows that push forwards can be used in order to factorize morphisms of crossed modules, so that final functors between internal groupoids can be characterized as push forward squares.
This paper provides a unified treatment of two distinct viewpoints concerning the classification of group extensions: the first uses weak monoidal functors, the second classifies extensions by means of suitable H2 -actions. We develop our theory formally, by making explicit a connection between (non-abelian) G-torsors and fibrations. Then we apply our general framework to the classification of extensions in a semi-abelian context, by means of butterflies between internal crossed modules. As a main result, we get an internal version of Dedecker's theorem on the classification of extensions of a group by a crossed module. In the semi-abelian context, Bourn's intrinsic Schreier–Mac Lane extension theorem turns out to be an instance of our Theorem 6.3. Actually, even just in the case of groups, our approach reveals a result slightly more general than classical Schreier–Mac Lane theorem
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.