Proving the Center of a Group Generated by x and y is {e, x^n}

tyrannosaurus
Messages
31
Reaction score
0

Homework Statement



Let G=<x, y| x^{2n}=e, x^n=y^2, xy=yx^{-1}>. Show Z(G)={e, x^n}.

Homework Equations


The Attempt at a Solution


So I tried breaking this up into cases:
Case 1: If n=1. then |x|=1 or 2. If |x|=1, then x=e and x would obviously be in the center.
If |x|=2, then xy=yx (since (y^-1)xy=x^-1 and x^-1 = x when |x|=2). Thus G is abelain, and Z(G) would be {e,x,y^2} but since y^2=x, are Z(G) would be {e,x}.
Case 2. n>1
If n>1 and the order of x>2, then xx^(n)=x^(n+1)=x^(n)x and x^(n)y=y^2y=y^3=yy^2=yx^n. Since x^n commutes with the generates of G, x^n commutes with all of G. But G is not abelain, because if it were, y^-1xy=y^-1yx=x=x^-1, which is not true when |x|>2. Thus, the only elements in Z(G) are {e,x^n}
 
Physics news on Phys.org
How about this: since x^n=y^2, then G= <x> union y<x>. So G= {y^jx^i|0<=i<= n-1, 0<=j<=1}.
Is x^k an element of Z(G) for some k? So x^ky=yx^k, thus k=2 since x^2=y (do I need to say more?). Thus x^k is contained in the Z(G).
Is yx^k an element of Z(G) for some K? The answer is no, but how would I disprove it?
 
There are two things I don't understand about this problem. First, when finding the nth root of a number, there should in theory be n solutions. However, the formula produces n+1 roots. Here is how. The first root is simply ##\left(r\right)^{\left(\frac{1}{n}\right)}##. Then you multiply this first root by n additional expressions given by the formula, as you go through k=0,1,...n-1. So you end up with n+1 roots, which cannot be correct. Let me illustrate what I mean. For this...
Back
Top