A Dedekind group is a specific type of group in the field of abstract algebra, characterized by certain structural properties. The most common definition is that a Dedekind group is a group in which every subgroup is normal. This means that for any subgroup \( H \) of a Dedekind group \( G \), the condition \( gHg^{-1} = H \) holds for every element \( g \) in \( G \).
New to topics? Read the docs here!