Published online by Cambridge University Press: 18 May 2009
The norm K(G) of a group G is the subgroup of elements of G which normalize every subgroup of G. Under the name kern this subgroup was introduced by Baer [1]. The norm is Dedekindian in the sense that all its subgroups are normal. A theorem of Dedekind [5] describes the structure of such groups completely: if not abelian they are the direct product of a quaternion group of order eight and an abelian group with no element of order four. Baer [2] proves that a 2-group with non-abelian norm is equal to its norm.