Dedekind group

GPTKB entity