Commutators

Commutators

Commutators are mathematical objects that play a fundamental role in the study of group theory. Specifically, a commutator is defined as the product of two elements in a group and their inverses, with the order of the factors reversed for one of the elements. In other words, if G is a group and a, b are elements of G, then the commutator of a and b is given by [a, b] = a⁻¹b⁻¹ab. Commutators have a number of important properties that make them useful in the study of groups. For example, the commutator of two elements is always equal to the identity element if and only if those elements commute with each other. Additionally, the commutator of two elements is always contained in the subgroup generated by those elements. These properties, among others, make commutators a powerful tool for understanding the structure of groups. One important application of commutators is in the study of simple groups. A group is said to be simple if it has no nontrivial normal subgroups (i.e., subgroups that are invariant under conjugation by elements of the group). It turns out that simple groups can be characterized in terms of their commutators. Specifically, a group G is simple if and only if every nontrivial commutator in G generates the entire group. This result, known as the Schreier-Sims theorem, provides a powerful tool for classifying simple groups. Another important use of commutators is in the study of group presentations. A group presentation is a way of describing a group in terms of generators and relations. Commutators can be used to generate new relations from existing ones, allowing us to simplify and analyze group presentations. For example, if we have a group presentation with generators a and b and relations a² = b³ = (ab)⁴ = 1, we can use commutators to derive additional relations such as [a, b]² = 1. These additional relations can often provide valuable insights into the structure of the group.

group theory, simple groups, group presentations, generators, relations

— Daniel Johnson

CITATION : "Daniel Johnson. 'Commutators.' Design+Encyclopedia. https://design-encyclopedia.com/define/commutators?E=412940 (Accessed on October 14, 2026)"