3×3 Lemma and Protomodularity

Bourn, Dominique

doi:10.1006/jabr.2000.8526

Cited by 73 publications

(102 citation statements)

References 7 publications

Supporting

Mentioning

101

Contrasting

Order By: Relevance

“…Furthermore, by Lemma 1 in [8], the left-down square is a pullback, and since γ is a regular epimorphism, so is g. Finally, by Proposition 2 in [8], g = coker(f ).…”

Section: Exactness Properties Of Kernel Functorsmentioning

confidence: 98%

“…This is the case of the 3 × 3 lemma (see [8]), that will be a basic tool in the development of the present work.…”

Section: Action Of Quotientsmentioning

confidence: 99%

“…The preservation property described in the next proposition is little more than a reformulation of some arguments analyzed in [8].…”

Section: Exactness Properties Of Kernel Functorsmentioning

confidence: 99%

“…We recall from [8] that, if C is quasi-pointed and protomodular, every regular epimorphism is the cokernel of its kernel, so that the pair (f, g) is a short exact sequence precisely when g is a regular epimorphism, and f is its kernel.…”

Section: Action Of Quotientsmentioning

confidence: 99%

“…In [8] Bourn calls normal, a left exact functor that is conservative and reflects normal monomorphisms. A relevant application of this definition is related to the fibration of points.…”

Section: Strong Protomodularitymentioning

confidence: 99%

See 4 more Smart Citations

A note on strong protomodularity, actions and quotients

Metere

2017

Journal of Pure and Applied Algebra

View full text Add to dashboard Cite

In order to study the problems of extending an action along a quotient of the acted object and along a quotient of the acting object, we investigate some properties of the fibration of points. In fact, we obtain a characterization of protomodular categories among quasi-pointed regular ones, and, in the semi-abelian case, a characterization of strong protomodular categories. Eventually, we return to the initial questions by stating the results in terms of internal actions. IntroductionThe present work originates from the investigation of the categorical properties related to two well-known features of group actions. Actions on quotientsSuppose we are given a pair (ξ, g):where ξ is a left-action of groups, and g is a surjective homomorphism. We discuss the following problem: under what conditions does the action ξ induces an action on the quotient Z? Indeed, it is not difficult to see that ξ is well-defined on the cosets of Y mod X = Ker(g), precisely when it is well-defined on the 0-coset X, i.e. when it restricts to X. We shall state this property as follows:(KC) An action passes to the quotient if, and only if, it restricts to the kernel. Action of quotientsSuppose now that we are given a group action ξ as before, and a surjective group homomorphism q : A → Q. A natural question arises: when does the given A-action induce a Q-action? In this case, the restriction of the action ξ to the kernel K of q always exists, and the condition under which the action of the quotient is well defined, amounts to the fact that the kernel of q acts trivially. 1These issues can be addressed in any category where a notion of internal object action is available, e.g. in any semi-abelian category (see [10]). Indeed, we will show that the property (KC) characterizes strongly protomodular categories among semi-abelian categories, and that, in such contexts, actions of quotients behave substantially in the same way as in the case of groups.On the other hand these issues can be dealt with also in more general contexts. Indeed, when an object A acts on object X, just like in the case of group, one can consider the split epimorphism X ⋊ A → A given by the semidirect product projection together with its canonical section. Vice-versa, any split epimorphism with codomain A gives rise to the conjugation A-action on the kernel of the split epimorphism.This allows to formulate our issues in terms of split epimorphisms, or points, even in contexts where the machinery of internal actions is not at all available. This line of investigation will lead us to the study of some new classifying aspects of the fibration of points. In particular, with Proposition 3.3, we will give a characterization of protomodular categories among quasi-pointed regular ones as those with kernel functors that reflect short exact sequences. Then, we will show that the problem of extending actions along quotients translates (in term of points) in a property closely connected with strong protomodularity, i.e. the fact that kernel functors reflect kernels In fact, th...

show abstract

“…Furthermore, by Lemma 1 in [8], the left-down square is a pullback, and since γ is a regular epimorphism, so is g. Finally, by Proposition 2 in [8], g = coker(f ).…”

Section: Exactness Properties Of Kernel Functorsmentioning

confidence: 98%

“…This is the case of the 3 × 3 lemma (see [8]), that will be a basic tool in the development of the present work.…”

Section: Action Of Quotientsmentioning

confidence: 99%

“…The preservation property described in the next proposition is little more than a reformulation of some arguments analyzed in [8].…”

Section: Exactness Properties Of Kernel Functorsmentioning

confidence: 99%

Section: Action Of Quotientsmentioning

confidence: 99%

“…In [8] Bourn calls normal, a left exact functor that is conservative and reflects normal monomorphisms. A relevant application of this definition is related to the fibration of points.…”

Section: Strong Protomodularitymentioning

confidence: 99%

See 3 more Smart Citations