Regarding a Group Theory Proof on the Order of Elements in a Group

Click For Summary
SUMMARY

The discussion focuses on proving that in a finite group A, the order of any element divides the order of the group. The order of an element a in group A is defined as the smallest positive integer n such that a^n = 1. Participants suggest using the cyclic subgroup generated by an element or applying the division algorithm to explore the relationship between the order of the group and the order of its elements. The proof can be structured around these concepts to establish the divisibility condition definitively.

PREREQUISITES
  • Understanding of group theory concepts, specifically finite groups.
  • Knowledge of the definition of the order of an element in a group.
  • Familiarity with cyclic subgroups and their properties.
  • Basic understanding of the division algorithm in mathematics.
NEXT STEPS
  • Study the properties of cyclic subgroups in finite groups.
  • Learn about the division algorithm and its applications in group theory.
  • Research proofs related to Lagrange's theorem in group theory.
  • Explore examples of finite groups and their elements to practice calculating orders.
USEFUL FOR

Students of abstract algebra, mathematicians focusing on group theory, and educators teaching concepts related to finite groups and their properties.

Neils Abel
Messages
1
Reaction score
0

Homework Statement



Prove that for a finite group A, the order of any element in A divides the order of A.

Homework Equations



The order of an element a of a group A is the smallest positive interger n such that an = 1.

The Attempt at a Solution



Well, I know that the order of a finite group A is the number of elements in A. I realize that the statement can be written as "if group A is finite, then the order of an element in A divides the order of A, which is set up nicely for a direct proof. Divisibility would entail that there exist some integer q such that for all elements of A, ord(a)q = ord(A). However, at this point, I don't have an idea as to how to carry out the proof. Any help would be greatly appreciated!
 
Physics news on Phys.org
Two quick ideas for you to think about ...

1. Perhaps you may want to look at the cyclic subgroup generated by an arbitrary element (not the identity) of the group A.

or...

2. Maybe divide the order of the finite group A by the order of an element in A and see what happens. [Using the division algorithm]

:)

Hope this helps!
 
Last edited:
I just reread your post...

To use the second approach (which is the one you want), suppose the order of the finite group A is m. Then suppose the order of some element in A, call it a, is n. Then divide m by n using the division algorithm. What do you know about an and am? Then, think about the condition we have on our remainder in the division algorithm. That is, 0≤r<n.
 

Similar threads

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