Ontify
Group that can be constructed from abelian groups using extensions; a group whose derived series terminates in the trivial subgroup.