In group theory, a Dedekind group is a group G such that every subgroup of G is normal.
All abelian groups are Dedekind groups.
A non-abelian Dedekind group is called a Hamiltonian group.[1]
The most familiar (and smallest) example of a Hamiltonian group is the quaternion group of order 8, denoted by Q8.
Dedekind and Baer have shown (in the finite and respectively infinite order case) that every Hamiltonian group is a direct product of the form G = Q8 × B × D, where B is an elementary abelian 2-group, and D is a torsion abelian group with all elements of odd order.
Dedekind groups are named after Richard Dedekind, who investigated them in (Dedekind 1897), proving a form of the above structure theorem (for finite groups). He named the non-abelian ones after William Rowan Hamilton, the discoverer of quaternions.
In 1898 George Miller delineated the structure of a Hamiltonian group in terms of its order and that of its subgroups. For instance, he shows "a Hamilton group of order 2a has 22a − 6 quaternion groups as subgroups". In 2005 Horvat et al[2] used this structure to count the number of Hamiltonian groups of any order n = 2eo where o is an odd integer. When e < 3 then there are no Hamiltonian groups of order n, otherwise there are the same number as there are Abelian groups of order o.
^Hall (1999). The theory of groups. p. 190.
^Horvat, Boris; Jaklič, Gašper; Pisanski, Tomaž (2005-03-09). "On the Number of Hamiltonian Groups". arXiv:math/0503183.
group theory, a Dedekindgroup is a group G such that every subgroup of G is normal. All abelian groups are Dedekindgroups. A non-abelian Dedekind group...
In abstract algebra, a Dedekind domain or Dedekind ring, named after Richard Dedekind, is an integral domain in which every nonzero proper ideal factors...
Richard DedekindDedekind cut Dedekind domain Dedekind eta function Dedekind-infinite set Dedekind number Dedekind psi function Dedekind sum Dedekind zeta...
example, the class group of a Dedekind domain is trivial if and only if the ring is a unique factorization domain. Ideal class groups (or, rather, what...
mathematics, Dedekind sums are certain sums of products of a sawtooth function, and are given by a function D of three integer variables. Dedekind introduced...
that visits each vertex in a graph exactly once Hamiltonian group, a non-abelian Dedekindgroup in algebra Hamilton Rating Scale for Depression Hamilton...
In mathematics, the Dedekind zeta function of an algebraic number field K, generally denoted ζK(s), is a generalization of the Riemann zeta function (which...
In mathematics, the Dedekind eta function, named after Richard Dedekind, is a modular form of weight 1/2 and is a function defined on the upper half-plane...
mathematical logic, the Peano axioms (/piˈɑːnoʊ/, [peˈaːno]), also known as the Dedekind–Peano axioms or the Peano postulates, are axioms for the natural numbers...
credited to Richard Dedekind, in reference to (Dedekind 1877). The map of groups (2, 3, ∞) → (2, 3, n) (from modular group to triangle group) can be visualized...
the lattice of subgroups of a group, and is sometimes called the Jordan–Dedekind chain condition. Moreover, a finite group is supersolvable if and only...
ordered field that is Dedekind complete. Here, "completely characterized" means that there is a unique isomorphism between any two Dedekind complete ordered...
group Composition series Nilpotent group Divisible groupDedekindgroup, Hamiltonian group Examples Examples of groups Trivial group Additive group Permutation...
context of integral domains and is particularly fruitful in the study of Dedekind domains. In some sense, fractional ideals of an integral domain are like...
In mathematics, the fundamental group scheme is a group scheme canonically attached to a scheme over a Dedekind scheme (e.g. the spectrum of a field or...
Iwasawa (1941) proved that a p-group G is an Iwasawa group if and only if one of the following cases happens: G is a Dedekindgroup, or G contains an abelian...
semimodularity. Modular lattices are sometimes called Dedekind lattices after Richard Dedekind, who discovered the modular identity in several motivating...
R modules coincide with the divisible R modules if and only if R is a Dedekind domain. Injective object Injective module Griffith, p.6 Hall, p.197 Griffith...
embedding of Q8 in the symmetric group S8, in addition to the embeddings given by the regular representations. Richard Dedekind considered the field Q [ 2 ...
cannot carry a group structure is from sets X {\displaystyle X} with the following two properties: X {\displaystyle X} is an infinite Dedekind-finite set...
and although Dedekind himself referred to the book throughout his life as Dirichlet's, the book itself was entirely written by Dedekind, for the most...
American Mathematical Society 58: 390–419 MR0015108 Capable groupDedekindgroup Retract (group theory) Radical of a ring Semiprime ring Nielsen-Schreier...
field of a Dedekind domain, for any nonzero prime of your Dedekind domain, there is a map from the Dedekind domain to the quotient of the Dedekind domain...
Less general versions of these theorems can be found in work of Richard Dedekind and previous papers by Noether. Three years later, B.L. van der Waerden...