This article defines a term that has been used or referenced in a journal article or standard publication, but may not be generally accepted by the mathematical community as a standard term.[SHOW MORE]
This article defines a group property: a property that can be evaluated to true/false for any given group, invariant under isomorphism
View a complete list of group properties
VIEW RELATED: Group property implications | Group property non-implications |Group metaproperty satisfactions | Group metaproperty dissatisfactions | Group property satisfactions | Group property dissatisfactions
QUICK PHRASES: every subgroup is normal, every cyclic subgroup is normal, normal closure of element is cyclic
A group is termed a Dedekind group or Hamiltonian group if it satisfies the following equivalent conditions:
- Every subgroup is normal.
- Every cyclic subgroup is normal.
- Every inner automorphism is a power automorphism.
- The normal closure of any singleton subset (or equivalently, the normal closure of the cyclic subgroup generated by any element) is a cyclic group.
The word Hamiltonian is reserved, by some mathematicians, for only non-abelian Dedekind groups.
In terms of the Levi operator
This property is obtained by applying the Levi operator to the property: cyclic group
View other properties obtained by applying the Levi operator
In terms of the Hamiltonian operator
This property is obtained by applying the Hamiltonian operator to the property: normal subgroup
View other properties obtained by applying the Hamiltonian operator
Relation with other properties
- Abelian group: For proof of the implication, refer Abelian implies Dedekind and for proof of its strictness (i.e. the reverse implication being false) refer Dedekind not implies Abelian.
This group property is subgroup-closed, viz., any subgroup of a group satisfying the property also satisfies the property
View a complete list of subgroup-closed group properties
Using the fact that normality satisfies the intermediate subgroup condition, viz any normal subgroup of the whole group is also normal in every intermediate subgroup, we conclude that any subgroup of a Dedekind group is again a Dedekind group.
This group property is quotient-closed, viz., any quotient of a group satisfying the property also has the property
View a complete list of quotient-closed group properties
Using the fact that normality satisfies the image condition, viz the image of any normal subgroup via a quotient map is again a normal subgroup, we conclude that any quotient of a Dedekind group is again a Dedekind group.
This group property is not direct product-closed. A direct product of groups with this property, need not have this property.
One can write code to test this group property in GAP (Groups, Algorithms and Programming), though there is no direct command for it.
View other GAP-codable group properties | View group properties with in-built commands
There is no GAP command to directly test whether a group is a Dedekind group, but the following GAP code can be used to define a command:
IsDedekind := function(G) local H; for H in List(ConjugacyClassesSubgroups(G),Representative) do if not IsNormal(G,H) then return false; fi; od; return true; end;;