split exact sequence