Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Split exact sequence
Summary
In mathematics, a split exact sequence is a short exact sequence in which the middle term is built out of the two outer terms in the simplest possible way.
A short exact sequence of abelian groups or of modules over a fixed ring, or more generally of objects in an
is called split exact if it is isomorphic to the exact sequence where the middle term is the direct sum of the outer ones:
The requirement that the sequence is isomorphic means that there is an isomorphism such that the composite is the natural inclusion and such that the composite equals b. This can be summarized by a commutative diagram as:
The splitting lemma provides further equivalent characterizations of split exact sequences.
A trivial example of a split short exact sequence is
where are R-modules, is the canonical injection and is the canonical projection.
Any short exact sequence of vector spaces is split exact. This is a rephrasing of the fact that any set of linearly independent vectors in a vector space can be extended to a basis.
The exact sequence (where the first map is multiplication by 2) is not split exact.
Pure exact sequences can be characterized as the filtered colimits of split exact sequences.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.