A group is metabelian when its commutator subgroup is abelian, equivalently when its derived length is at most two.
A **metabelian group** is a specific type of group in the field of group theory. A group \( G \) is called metabelian if its derived subgroup (also known as the commutator subgroup) is abelian.
New to topics? Read the docs here!