Dedekind group (source code)

= Dedekind group
{c}
{wiki}

A Dedekind group is a group in which every subgroup is normal.