An axiomatic survey of diagram lemmas for non-abelian group-like structures (Q1950640): Difference between revisions
From MaRDI portal
Created claim: Wikidata QID (P12): Q124801772, #quickstatements; #temporary_batch_1710879948957 |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.jalgebra.2012.07.029 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2161101157 / rank | |||
Normal rank |
Revision as of 01:09, 20 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An axiomatic survey of diagram lemmas for non-abelian group-like structures |
scientific article |
Statements
An axiomatic survey of diagram lemmas for non-abelian group-like structures (English)
0 references
13 May 2013
0 references
The snake lemma, the \(3\times 3\) lemma, and the 5-lemma are basic tools of abelian homological algebra. It is well known that they can be adapted to some more non-abelian settings. In this paper, the axiomatic properties of structures for which such diagram lemmas hold is investigated and it is shown that they are linked to the property of normal subtractivity. This property involves both \textit{normality} (essentially that every coequaliser is a cokernel) and \textit{subtractivity}, which is stated (in a suitable context) as follows: For any two morphisms, \(s_1:S\to X\) and \(s_2: S\to Y\) and any two elements \(a,b \in S\), if \(s_1(a) = s_1(b)\) and \(s_2(b)= 0\), then there is an element \(c\in S\) such that \(s_2(a)= s_2(c)\) and \(s_1(c)=0\). (The name comes from its use in the theory of varieties in universal algebra. The variety is subtractive if its operations include a binary one \(s\) and a nullary term 0 such that \(s(x,x)=0\) and \(s(x,0)=x\), corresponding to \(s(x,y)= x-y\) in the case of abelian groups.)
0 references
exact sequence
0 references
snake lemma
0 references
\(3\times 3\) lemma
0 references
diagram chasing
0 references
ideal-determined variety
0 references
normal category
0 references
subtractive category
0 references
subtractive variety
0 references