Talk:Split exact sequence