splitting lemma
lemma that, in an Abelian category, a short exact sequence, one of whose two morphisms admits a section or retraction into the middle term, is a direct sum
en-GB/ˈsplɪtɪŋ ˈlɛmə/
en-US/ˈsplɪtɪŋ ˈlɛmə/
lemma that, in an Abelian category, a short exact sequence, one of whose two morphisms admits a section or retraction into the middle term, is a direct sum