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

Click For Summary
SUMMARY

The discussion focuses on proving that the center of the group G, defined by the presentation G=1. In the first case, it is established that Z(G) contains {e, x} if |x|=1 or 2. In the second case, it is shown that x^n commutes with all elements of G, confirming that Z(G)={e, x^n} holds true regardless of the order of x, as long as n>1.

PREREQUISITES
  • Understanding of group theory concepts, specifically group presentations.
  • Familiarity with the properties of group centers and commutativity.
  • Knowledge of the implications of element orders in groups.
  • Experience with algebraic manipulation of group elements and relations.
NEXT STEPS
  • Study the properties of group centers in more complex group structures.
  • Learn about group presentations and their implications on group behavior.
  • Explore the concept of abelian and non-abelian groups in detail.
  • Investigate the role of element orders in determining group structure and properties.
USEFUL FOR

This discussion is beneficial for students and researchers in abstract algebra, particularly those studying group theory, as well as educators looking for examples of group center proofs.

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?
 

Similar threads

Replies
3
Views
2K
Replies
2
Views
1K
Replies
8
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
6
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
Replies
5
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
3
Views
2K
  • · Replies 26 ·
Replies
26
Views
1K