Centraliser

From Citizendium, the Citizens' Compendium

Jump to: navigation, search


This article is a stub and thus not approved.
Main Article
Talk
Related Articles  [?]
Bibliography  [?]
External Links  [?]
 
This is a draft article, under development and not meant to be cited but you can help to improve it. These unapproved articles are subject to a disclaimer.

In group theory, the centraliser of a subset of a group (mathematics) is the set of all group elements which commute with every element of the given subset.

Formally, for S a subset of a group G, we define

 C_G(S) = \{ g \in G : \forall s \in S,~ gs=sg \} . \,

The centraliser of any set is a subgroup of G, and the centraliser of S is equal to the centraliser of the subgroup \langle S \rangle generated by the subset S.

The centraliser of the empty set is the whole group G; the centraliser of the whole group G is the centre of G.

Views
Personal tools