Groupprops, The Group Properties Wiki (pre-alpha)

From Groupprops

Contents 1 Definition 1.1 Symbol-free definition 1.2 Definition with symbols 2 Examples 3 Facts 4 References 4.1 Textbook references 5 External links 5.1 Definition links

This article is about a basic definition in group theory.The article text may, however, contain advanced material.
VIEW: Definitions built on this | Facts about this | Facts about definitions built on this | Survey articles about definitions built on this
VIEW RELATED: [SHOW MORE]

View a complete list of basic definitions in group theory | Go through a guided tour for beginners to this wiki

Definition

Symbol-free definition

A conjugacy class in a group can be defined in any of the following ways:

• It is an orbit of the group (as a set) under the action of the group on itself by conjugation (or as inner automorphisms)
• It is an equivalence class under the equivalence relation of being conjugate

Definition with symbols

Suppose G is a group. A conjugacy class in G is a nonempty subset c of G such that the following two conditions hold:

• Given any , there exists such that gxg ^{− 1} = y.
• If and then .

In other words, it is closed under the action of the group on itself by conjugation, and the action is transitive when restricted to the conjugacy class. In the language of group actions, it is a single orbit under the action of the group on itself by conjugation.

Any group is a disjoint union of conjugacy classes.

Examples

If you're interested in conjugacy classes in a particular group, go to the article on that group, and look at the subsection titled Under conjugation in the section titled Elements.

• In an Abelian group, all the conjugacy classes are singleton sets of size 1. That's because for any x,g, we have gxg ^{− 1} = x
• More generally, for any group G, and any element in the center of G, the conjugacy class of that element has size 1.
• The symmetric group on three letters is the smallest non-Abelian group. This group has three conjugacy classes, the class of the identity element (size 1), the class of the transpositions (size 3) and the class of the 3-cycles (size 2).
• More generally, in the symmetric group on any set, two permutations are in the same conjugacy class if and only if they have the same cycle type. Further information: Cycle type determines conjugacy class

Facts

• The size of any conjugacy class divides the order of the group, for a finite group. More precisely, it is the index of the centralizer of any element of the conjugacy class. This follows from the more general fact that the size of any orbit under a group action is the index of the stabilizer of any point in the orbit. Further information: size of conjugacy class divides order of group, size of conjugacy class divides index of center
• A conjugacy class has size 1 iff the corresponding element is in the center.
• The sizes of the conjugacy classes are related by a class equation
• The set of conjugacy classes can be given an algebraic structure in various ways; for instance, the convolution algebra on conjugacy classes
• For a finite group G, given a conjugacy class c and a natural number n which divides the order of the group, the number of solutions to is a multiple of n

References

Textbook references

• Abstract Algebra by David S. Dummit and Richard M. Foote, 10-digit ISBN 0471433349, 13-digit ISBN 978-0471433347, ^{More info}, Page 123, formal definition along with definition of conjugate elements
• Algebra (Graduate Texts in Mathematics) by Thomas W. Hungerford, ISBN 0387905189, ^{More info}, Page 89, definition introduced as an example of orbit under a group action
• A Course in the Theory of Groups by Derek J. S. Robinson, ISBN 0387944613, ^{More info}, Page 38, definition introduced along with centralizer. Robinson follows the convention of right actions
• Groups and representations by Jonathan Lazare Alperin and Rowen B. Bell, ISBN 0387945261, ^{More info}, Page 34, definition introduced in paragraph, prior to Proposition 13
• Algebra by Michael Artin, ISBN 0130047635, 13-digit ISBN 978-0130047632, ^{More info}, Page 198, between points (1.5) and (1.6), as the orbit under a group action. A prelude to deriving the class equation.

External links

Search for "conjugacy+class" on the World Wide Web:
Scholarly articles: Google Scholar, JSTOR
Books: Google Books, Amazon
This wiki: Internal search, Google site search
Encyclopaedias: Wikipedia (or using Google), Citizendium
Math resource pages:Mathworld, Planetmath, Springer Online Reference Works
Math wikis: Topospaces, Diffgeom, Commalg, Noncommutative
Discussion fora: Mathlinks, Google Groups
The web: Google, Yahoo, Windows Live
Learn more about using the Searchbox OR provide your feedback

Definition links

• Wikipedia page
• Mathworld page
• Planetmath page