(New page: 1a) Since x is of order k, consider <math>x, x^2, x^3, ... x^{n-1}, e</math>. These k elements are distinct from each other by x being order k. Further, r(x) takes <math>x</math> to <math>...)
 
(Replacing page with 'Test page')
 
Line 1: Line 1:
−
1a) Since x is of order k, consider <math>x, x^2, x^3, ... x^{n-1}, e</math>. These k elements are distinct from each other by x being order k. Further, r(x) takes <math>x</math> to <math>x^2</math>, <math>x^2</math> to <math>x^3</math> and so on, to <math>x^{k-1}</math> to <math>e</math> and <math>e</math> to <math>x</math>. Thus, this is a cycle of length k.
+
Test page
−
 
+
−
Next, choose an element a not previously listed. Then if r(x) takes <math>a</math> to <math>xa</math>, it also takes <math>xa</math> to <math>x^{2}a</math> and so on, similar to the previous cycle. Since x is still of order k, this is also a k cycle, and since a is not the identity, the elements in this cycle are distinct from the ones in the previous cycle. Thus the cycles are disjoint.
+
−
 
+
−
One can continue this process until all the elements are accounted for. Since the elements were chosen to be not previously listed, the cycles are disjoint, and because the order of an element divides the group, each element can be used exactly once. As a result, since there are #G elements and k elements in each group, there must be n distinct k-cycles.
+
−
 
+
−
1b) Note that a k-cycle is made up of k-1 transpositions. Since the order of an element divides the order of the group, the order k of any element <math>x</math> must be odd, and thus k-1 is even. Thus, each of the disjoint cycles making up r(G) is made up of an even number of transpositions, so r(G) itself must have an even number of transpositions. Thus r(G)<math>\in{A_{G}}</math>.
+
−
 
+
−
2) Suppose <math>x</math> is conjugate to <math<x^{-1}</math>. Then <math>\exists {g}</math> where <math>gxg^{-1}=x^{-1}</math>. Multiplying on the left by <math>x</math>, and on the right by <math>g</math> gives <math>xgxg^{-1}g=xx^{-1}g</math> which shows <math>xgx=g</math>. The element <math>g</math> must have odd order, as the group has odd order. Thus for some <math>n</math>, <math>g^{n}=e</math> so <math>g^{n+1}=g=gxg</math>, where <math>n+1</math> is even. This leads to a contradiction, since the right side can only be expressed as an odd power of g. Thus, <math>x</math> can't be conjugate to <math><x^{-1}</math>.
+

Latest revision as of 05:55, 8 September 2008

Test page

Retrieved from "https://www.projectrhea.org/rhea/index.php?title=Test_page_MA375Fall2008walther&oldid=3719"
Shortcuts
Help Main Wiki Page Random Page Special Pages Log in
Search

Alumni Liaison

Correspondence Chess Grandmaster and Purdue Alumni

Prof. Dan Fleetwood