Proving the order of a group element

  • Thread starter Thread starter Chaos2009
  • Start date Start date
  • Tags Tags
    Element Group
Click For Summary
SUMMARY

The discussion focuses on proving the order of an element x in a group G, given that the order of another element a is dk and that x^d = a. It is established that x^{d^2k} = e, indicating that the order of x is a divisor of d^2k. The critical insight is to assume x^n = e and analyze the implications of dividing n by dk, leading to a contradiction if n is not a multiple of dk. This approach effectively demonstrates that the order of x must indeed be d^2k.

PREREQUISITES
  • Understanding of group theory concepts, specifically group orders.
  • Familiarity with the notation and properties of group elements.
  • Knowledge of mathematical induction and contradiction techniques.
  • Basic proficiency in algebraic manipulation within the context of groups.
NEXT STEPS
  • Study the properties of group orders in abstract algebra.
  • Learn about the structure of cyclic groups and their elements.
  • Explore the concept of divisibility in the context of group theory.
  • Investigate examples of proving orders of elements in specific groups, such as symmetric groups.
USEFUL FOR

Students of abstract algebra, mathematicians focusing on group theory, and anyone interested in understanding the properties of group elements and their orders.

Chaos2009
Messages
81
Reaction score
0

Homework Statement



The problem states that [itex]G[/itex] is a group, [itex]a \in G[/itex] s.t. [itex]o\left(a\right)=dk[/itex], and [itex]x \in G[/itex] s.t. [itex]x^{d}=a[/itex]. Prove that [itex]o\left(x\right)=d^{2}k[/itex] where [itex]d,k > 1[/itex].

Note: [itex]o\left(x\right)[/itex] denotes the order of element [itex]x[/itex] in [itex]G[/itex].

Homework Equations


The Attempt at a Solution



So, it's rather easy to show that [itex]x^{d^{2}k} = e[/itex] (where [itex]e[/itex] is the identity element of [itex]G[/itex]), but I'm having trouble proving that it is the order of [itex]x[/itex].

My thoughts were to try to assume [itex]x^{n}=e[/itex], then divide [itex]n[/itex] by [itex]d[/itex] to get [itex]n=qd+r \Rightarrow x^{qd+r}=x^{qd}x^{r} = {x^{d}}^{q}x^{r} = a^{q}x^{r} = e[/itex]. If I could somehow prove [itex]r=0[/itex], I think I could finish the proof, however, I cannot see how to proceed. If someone could point me in the right direction, it would be much appreciated.
 
Physics news on Phys.org
instead of dividing n by d, try dividing it by dk...(the idea is to prove the order of x is a multiple of dk).

then show that if xdkq = e, with 0 < q < d, you get a contradiction (now use what you know about a).
 

Similar threads

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