Difference between revisions of "Conjugacy class"
(stub) |
Duck master (talk | contribs) (added more info) |
||
Line 1: | Line 1: | ||
− | A '''conjugacy class''' is | + | A '''conjugacy class''' is a particular subset of a [[group]]. |
− | Let <math>G</math> be a group. Consider the action of <math>G</math> on itself by [[inner automorphism]]s. The [[orbit]]s of <math>G</math> are then called '''conjugacy classes'''. | + | Let <math>G</math> be a group. Consider the action of <math>G</math> on itself by [[inner automorphism]]s. The [[orbit]]s of <math>G</math> are then called '''conjugacy classes'''. By expanding the definition, it is easy to show that two elements <math>g</math> and <math>g'</math> are in the same conjugacy class iff there is an element <math>x</math> such that <math>g' = x^{-1}gx</math>. |
Two [[subset]]s <math>H</math> and <math>H'</math> of <math>G</math> are called ''conjugate'' if there exists <math>\alpha \in G</math> for which <math>H</math> is the image of <math>H'</math> under <math>\text{Int}(\alpha)</math>. | Two [[subset]]s <math>H</math> and <math>H'</math> of <math>G</math> are called ''conjugate'' if there exists <math>\alpha \in G</math> for which <math>H</math> is the image of <math>H'</math> under <math>\text{Int}(\alpha)</math>. | ||
+ | |||
+ | The [[characters|character]] of any group <math>G</math> are constant on conjugacy classes. | ||
{{stub}} | {{stub}} |
Latest revision as of 11:00, 16 July 2020
A conjugacy class is a particular subset of a group.
Let be a group. Consider the action of on itself by inner automorphisms. The orbits of are then called conjugacy classes. By expanding the definition, it is easy to show that two elements and are in the same conjugacy class iff there is an element such that .
Two subsets and of are called conjugate if there exists for which is the image of under .
The character of any group are constant on conjugacy classes.
This article is a stub. Help us out by expanding it.