abelian_group.md: rewritten.