Metabelian group (source code)

= Metabelian group
{wiki}

A group is metabelian when its <commutator subgroup> is <abelian group>[abelian], equivalently when its derived length is at most two.