Split group extension
= 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.
= 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.