 Split group extension

A group extension is split when its quotient homomorphism admits a group-homomorphic section. Equivalently, the middle group is a semidirect product of the kernel by the quotient.