In mathematics, in the field of

group theory In abstract algebra, group theory studies the algebraic structures known as group (mathematics), groups. The concept of a group is central to abstract algebra: other well-known algebraic structures, such as ring (mathematics), rings, field ...

, the norm of a

group A group is a number of persons or things that are located, gathered, or classed together. Groups of people * Cultural group, a group whose members share the same cultural identity * Ethnic group, a group whose members share the same ethnic ide ...

is the intersection of the

normalizer In mathematics, especially group theory, the centralizer (also called commutant) of a subset ''S'' in a group ''G'' is the set of elements \mathrm_G(S) of ''G'' such that each member g \in \mathrm_G(S) commutes with each element of ''S'', ...

s of all its

subgroup In group theory, a branch of mathematics, given a group ''G'' under a binary operation ∗, a subset ''H'' of ''G'' is called a subgroup of ''G'' if ''H'' also forms a group under the operation ∗. More precisely, ''H'' is a subgrou ...

s. This is also termed the Baer norm, after

Reinhold Baer Reinhold Baer (22 July 1902 – 22 October 1979) was a German mathematician, known for his work in algebra. He introduced injective modules in 1940. He is the eponym of Baer rings and Baer groups. Biography Baer studied mechanical engineering f ...

. The following facts are true for the Baer norm: * It is a

characteristic subgroup In mathematics, particularly in the area of abstract algebra known as group theory, a characteristic subgroup is a subgroup that is mapped to itself by every automorphism of the parent group. Because every conjugation map is an inner automorphi ...

. * It contains the

center Center or centre may refer to: Mathematics *Center (geometry), the middle of an object * Center (algebra), used in various contexts ** Center (group theory) ** Center (ring theory) * Graph center, the set of all vertices of minimum eccentricity ...

of the group. * It is contained inside the second term of the

upper central series In mathematics, especially in the fields of group theory and Lie theory, a central series is a kind of normal series of subgroups or Lie subalgebras, expressing the idea that the commutator is nearly trivial. For groups, the existence of a cen ...

. * It is a

Dedekind group 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. The most familiar (and smallest) example of a Hamilt ...

, so is either abelian or has a direct factor isomorphic to the

quaternion group In group theory, the quaternion group Q8 (sometimes just denoted by Q) is a nonabelian group, non-abelian group (mathematics), group of Group order, order eight, isomorphic to the eight-element subset \ of the quaternions under multiplication. ...

. * If it contains an element of infinite order, then it is equal to the center of the group.

References

* * Group theory Functional subgroups {{Abstract-algebra-stub