2015
DOI: 10.1016/j.jpaa.2014.05.025
|View full text |Cite
|
Sign up to set email alerts
|

On the normality of Higgins commutators

Abstract: 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

Help me understand this report
View preprint versions

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1

Citation Types

1
66
0

Year Published

2015
2015
2022
2022

Publication Types

Select...
5
2

Relationship

1
6

Authors

Journals

citations
Cited by 28 publications
(68 citation statements)
references
References 21 publications
(45 reference statements)
1
66
0
Order By: Relevance
“…A first step towards the main result of this paper is proving that in the context of nonassociative algebras, action representability/representability of representations implies a condition called algebraic coherence [10]. The reason we want this comes from the fact that an algebraically coherent variety satisfies some identities of degree three, useful in the next sections.…”
Section: Algebraic Coherencementioning
confidence: 97%
“…A first step towards the main result of this paper is proving that in the context of nonassociative algebras, action representability/representability of representations implies a condition called algebraic coherence [10]. The reason we want this comes from the fact that an algebraically coherent variety satisfies some identities of degree three, useful in the next sections.…”
Section: Algebraic Coherencementioning
confidence: 97%
“…Note that for the category of groups, Condition (vii) of Proposition 2.1 corresponds to the fact that the commutator rK, Ks K is a characteristic subgroup of K: being invariant under automorphisms means precisely that every action on K restricts to an action on rK, Ks K . This observation can be extended to arbitrary semi-abelian categories when the definition of characteristic subobject from [17] is used; see [16] for the proof under the condition (NH).…”
Section: Preliminariesmentioning
confidence: 98%
“…An example in [15] shows that in the category of non-associative rings the two commutators generally need not coincide. Thus the coincidence rK, Ls " rK, Ls X for all K, L X becomes a basic condition which a semi-abelian category may or may not satisfy; this condition, which we will denote by (NH), was introduced by Cigoli in his Ph.D. thesis [15] and was studied further, by Cigoli together with the present authors, in [16].…”
Section: Preliminariesmentioning
confidence: 99%
See 2 more Smart Citations