Assertion: abelian group's subgroup | /r/HasProperty | $$ \{1\}=h_0\unlhd h_1\unlhd
Facets:
Source sentences:
text: If $G$ is a group, a series in $G$ is a sequence of subgroups $$ \{1\}=H_0\unlhd H_1\unlhd