Center (group theory)

From Wikipedia, the free encyclopedia
  (Redirected from Centerless)
Jump to: navigation, search
Cayley table of Dih4, the dihedral group of order 8.
The center is {0,7}: The row starting with 7 is the transpose of the column starting with 7. The entries 7 are symmetric to the main diagonal. (Only for the neutral element this is granted in all groups.)

In abstract algebra, the center of a group, G, is the set of elements that commute with every element of G. It is denoted Z(G), from German Zentrum, meaning center. In set-builder notation,

Z(G) = {zG ∣ ∀gG, zg = gz} .

The center is a normal subgroup, Z(G) ⊲ G. As a subgroup, it is always characteristic, but is not necessarily fully characteristic. The quotient group, G / Z(G), is isomorphic to the inner automorphism group, Inn(G).

A group G is abelian if and only if Z(G) = G. At the other extreme, a group is said to be centerless if Z(G) is trivial; i.e., consists only of the identity element.

The elements of the center are sometimes called central.

As a subgroup[edit]

The center of G is always a subgroup of G. In particular:

  1. Z(G) contains the identity element of G, e, because, for all g ∈ G, it commutes with g, eg = g = ge, by definition;
  2. If x and y are in Z(G), then so is xy, by associativity: (xy)g = x(yg) = x(gy) = (xg)y = (gx)y = g(xy) for each gG; i.e., Z(G) is closed;
  3. If x is in Z(G), then so is x−1 as, for all g in G, x−1 commutes with g: (gx = xg) ⇒ (x−1gxx−1 = x−1xgx−1) ⇒ (x−1g = gx−1).

Furthermore, the center of G is always a normal subgroup of G, as it is closed under conjugation, as all elements commute.

Conjugacy classes and centralisers[edit]

By definition, the center is the set of elements for which the conjugacy class of each element is the element itself; i.e., Cl(g) = {g}.

The center is also the intersection of all the centralizers of each element of G. As centralizers are subgroups, this again shows that the center is a subgroup.


Consider the map, f: G → Aut(G), from G to the automorphism group of G defined by f(g) = ϕg, where ϕg is the automorphism of G defined by

f(g)(h) = φg(h) = ghg−1.

The function, f is a group homomorphism, and its kernel is precisely the center of G, and its image is called the inner automorphism group of G, denoted Inn(G). By the first isomorphism theorem we get,

G/Z(G) ≃ Inn(G).

The cokernel of this map is the group Out(G) of outer automorphisms, and these form the exact sequence

1 ⟶ Z(G) ⟶ G ⟶ Aut(G) ⟶ Out(G) ⟶ 1.


  • The center of an abelian group, G, is all of G.
  • The center of the Heisenberg group, G, are all matrices of the form:
  • The center of a nonabelian simple group is trivial.
  • The center of the dihedral group, Dn, is trivial when n is odd. When n is even, the center consists of the identity element together with the 180° rotation of the polygon.
  • The center of the quaternion group, Q8 = {1, −1, i, −i, j, −j, k, −k} , is {1, −1} .
  • The center of the symmetric group, Sn, is trivial for n ≥ 3.
  • The center of the alternating group, An, is trivial for n ≥ 4.
  • The center of the general linear group, GLn(F), is the collection of scalar matrices, {sIn ∣ s ∈ F∖{0}}.
  • The center of the orthogonal group, O(n, F) is {In, −In}.
  • The center of the special orthogonal group, SO(n) is {In, −In} when n is even, and trivial when n is odd.
  • The center of the unitary group, is .
  • The center of the special unitary group, is .
  • The center of the multiplicative group of non-zero quaternions is the multiplicative group of non-zero real numbers.
  • Using the class equation one can prove that the center of any non-trivial finite p-group is non-trivial.
  • If the quotient group, G/Z(G), is cyclic, G is abelian (and so G = Z(G), and G/Z(G) is trivial).

Higher centers[edit]

Quotienting out by the center of a group yields a sequence of groups called the upper central series:

(G0 = G) ⟶ (G1 = G0/Z(G0)) ⟶ (G2 = G1/Z(G1)) ⟶ ⋯

The kernel of the map, GGi is the ith center of G (second center, third center, etc.), and is denoted Zi(G). Concretely, the (i + 1)-st center are the terms that commute with all elements up to an element of the ith center. Following this definition, one can define the 0th center of a group to be the identity subgroup. This can be continued to transfinite ordinals by transfinite induction; the union of all the higher centers is called the hypercenter.[note 1]

The ascending chain of subgroups

1 ≤ Z(G) ≤ Z2(G) ≤ ⋯

stabilizes at i (equivalently, Zi(G) = Zi+1(G)) if and only if Gi is centerless.


  • For a centerless group, all higher centers are zero, which is the case Z0(G) = Z1(G) of stabilization.
  • By Grün's lemma, the quotient of a perfect group by its center is centerless, hence all higher centers equal the center. This is a case of stabilization at Z1(G) = Z2(G).

See also[edit]


  1. ^ This union will include transfinite terms if the UCS does not stabilize at a finite stage.

External links[edit]