# metabelian group

## Definition

A metabelian group  is a group $G$ that possesses a normal subgroup  $N$ such that $N$ and $G/N$ are both abelian  . Equivalently, $G$ is metabelian if and only if the commutator subgroup  $[G,G]$ is abelian. Equivalently again, $G$ is metabelian if and only if it is solvable of length at most $2$.

## Examples

• All groups of order less than $24$.

## Properties

Subgroups   (http://planetmath.org/Subgroup), quotients (http://planetmath.org/QuotientGroup) and (unrestricted) direct products      of metabelian groups are also metabelian. In other words, metabelian groups form a variety   (http://planetmath.org/VarietyOfGroups); they are, in fact, the groups in which $(w^{-1}x^{-1}wx)(y^{-1}z^{-1}yz)=(y^{-1}z^{-1}yz)(w^{-1}x^{-1}wx)$ for all elements $w$, $x$, $y$ and $z$.

Title metabelian group MetabelianGroup 2013-03-22 15:36:42 2013-03-22 15:36:42 yark (2760) yark (2760) 8 yark (2760) Definition msc 20E10 msc 20F16 meta-abelian group AbelianGroup2 metabelian meta-abelian