Definitions used

Abelian group

Normal subgroup

Dedekind group

Proof

One of the people editing this page intended to fill in this information at a later stage, but hasn't gotten around to doing it yet. If you see this placeholder for a long time, file an error report at the error reporting page.