Obstruction to the splitness of short exact sequence in the category groups Let $1 \to K \to G \to H \to 1$ be a short exact sequence in the category of groups(interested in non-Abelian groups). My question is the following:

Where does the obstruction to the splitting of the above short exact sequence lie?

Any help will be appreciated.

Thank you so much.
The main problem arising when you deal with anabelian groups sequences is that the you don't have an unique notion of splitness (recall that groups don't form an abelian category).
There are two &quot;canonically split&quot; exact sequences: the direct product exact sequence:
$$1\longrightarrow G\longrightarrow G\times H\longrightarrow H\longrightarrow 1$$
and the semi-direct product exact sequence:
$$1\longrightarrow G\longrightarrow G\rtimes H\longrightarrow H\longrightarrow 1$$
Splitness is usually understood by means of semi-direct product, since this notion is more general and flexible. The obstructions look like the same ones in the abelian case (existence of a section or a retract) but there are some subleties because you need to distinguish when an exact sequence is of &quot;direct product&quot; type or &quot;semi-direct product&quot; type. Here the main result:
Theorem. Let $1\to H\to G\to K\to 1$ a short exact sequence. The following are equivalent:

there exists a morphism $G\to H$ which is a left inverse for $H\to G$;
there exists an isomorphism $G\to H\times K$ which fits in the following commutative diagram:


Similarly, the following are equivalent:

there exists a morphism $K\to G$ which is a right inverse for $G\to K$;
there exists an isomorphism $G\to H\rtimes K$ which fits in the following commutative diagram:


For more detailed informations, you can read this nice introduction: http://www.math.uconn.edu/~kconrad/blurbs/grouptheory/splittinggp.pdf
The main problem arising when you deal with anabelian groups sequences is that the you don't have an unique notion of splitness (recall that groups don't form an abelian category).
There are two &quot;canonically split&quot; exact sequences: the direct product exact sequence:
$$1\longrightarrow G\longrightarrow G\times H\longrightarrow H\longrightarrow 1$$
and the semi-direct product exact sequence:
$$1\longrightarrow G\longrightarrow G\rtimes H\longrightarrow H\longrightarrow 1$$
Splitness is usually understood by means of semi-direct product, since this notion is more general and flexible. The obstructions look like the same ones in the abelian case (existence of a section or a retract) but there are some subleties because you need to distinguish when an exact sequence is of &quot;direct product&quot; type or &quot;semi-direct product&quot; type. Here the main result:
Theorem. Let $1\to H\to G\to K\to 1$ a short exact sequence. The following are equivalent:

there exists a morphism $G\to H$ which is a left inverse for $H\to G$;
there exists an isomorphism $G\to H\times K$ which fits in the following commutative diagram:


Similarly, the following are equivalent:

there exists a morphism $K\to G$ which is a right inverse for $G\to K$;
there exists an isomorphism $G\to H\rtimes K$ which fits in the following commutative diagram:


For more detailed informations, you can read this nice introduction: http://www.math.uconn.edu/~kconrad/blurbs/grouptheory/splittinggp.pdf