split exact sequence
short exact sequence where the middle term is the direct sum of the outer ones with the structure maps being the canonical inclusion and projection
short exact sequence where the middle term is the direct sum of the outer ones with the structure maps being the canonical inclusion and projection