Difference between revisions of "Conjugate (group theory)"
m (TeX typo) |
|||
| Line 1: | Line 1: | ||
Let <math>G</math> be a [[group]] operating on a [[set]] <math>S</math>. An element <math>y\in S</math> ''conjugate'' to an element <math>x\in S</math> if there exists an element <math>\alpha \in G</math> such that <math>y = \alpha x</math>. The relation of conjugacy is an [[equivalence relation]]. The set of conjugates of an element <math>x</math> of <math>S</math> is called the [[orbit]] of <math>x</math>. | Let <math>G</math> be a [[group]] operating on a [[set]] <math>S</math>. An element <math>y\in S</math> ''conjugate'' to an element <math>x\in S</math> if there exists an element <math>\alpha \in G</math> such that <math>y = \alpha x</math>. The relation of conjugacy is an [[equivalence relation]]. The set of conjugates of an element <math>x</math> of <math>S</math> is called the [[orbit]] of <math>x</math>. | ||
| − | Note that this definition conforms to the notion of [[complex conjugate]]. Indeed, under the group of [[field]] [[automorphism]]s on the complexe numbers that do not change the reals, the orbit of a complex number <math>z</math> is the set <math>\{z, \ | + | Note that this definition conforms to the notion of [[complex conjugate]]. Indeed, under the group of [[field]] [[automorphism]]s on the complexe numbers that do not change the reals, the orbit of a complex number <math>z</math> is the set <math>\{z, \bar{z}\}</math>. |
{{stub}} | {{stub}} | ||
Revision as of 18:58, 20 May 2008
Let 
be a group operating on a set 
. An element 
conjugate to an element 
if there exists an element 
such that 
. The relation of conjugacy is an equivalence relation. The set of conjugates of an element 
of is called the orbit of .
Note that this definition conforms to the notion of complex conjugate. Indeed, under the group of field automorphisms on the complexe numbers that do not change the reals, the orbit of a complex number 
is the set 
.
This article is a stub. Help us out by expanding it.
