 In particular, the quaternion group is a solvable group given by the group extensionformula_18where formula_19 is the subgroup generated by formula_20.Group extensions form the prototypical examples of solvable groups.That is, if formula_21 and formula_22 are solvable groups, then any extensionformula_23defines a solvable group formula_24.