Abstract Algebra: Dummit and Foote Exercise

Click For Summary
SUMMARY

The discussion centers on the properties of cyclic groups as presented in the exercise from "Abstract Algebra" by Dummit and Foote. It clarifies that for a permutation expressed as a product of disjoint cycles, the condition ##{\sigma_i}^m=1## arises from the cycles being disjoint rather than solely from being cycles. The smallest integer ##m \ge 1## such that ##\sigma^m = \text{id}## is determined to be the least common multiple of the lengths of the cycles involved.

PREREQUISITES
  • Understanding of disjoint cycles in permutation groups
  • Familiarity with the concept of the identity permutation
  • Knowledge of least common multiples (LCM)
  • Basic principles of group theory from "Abstract Algebra" by Dummit and Foote
NEXT STEPS
  • Study the properties of disjoint cycles in permutation groups
  • Learn how to compute the least common multiple (LCM) of integers
  • Explore the structure of symmetric groups and their representations
  • Review the definitions and properties of cyclic groups in abstract algebra
USEFUL FOR

Students of abstract algebra, mathematicians focusing on group theory, and anyone seeking to deepen their understanding of cyclic groups and permutations.

nateHI
Messages
145
Reaction score
4
This isn't homework, I'm just trying to refresh my memory on cyclic groups.

My question is, in this problem solution, how does ##{\sigma_i}^m=1## follow from ##\sigma_i## being disjoint?
 
Physics news on Phys.org
It rather follows from ##\sigma_i## being a cycle.

It says that a permutation can be written as a product of disjoint cycle ##\sigma = \sigma_1 \circ ... \circ \sigma_p ##.
The question asks you to find the smallest ##m \ge 1## such that ##\sigma ^ m = \text{id}##.
Since the cycles are disjoint, you can commute all the cycles, and rewriting things nicely, ##m## has to be such that ##\sigma_i ^ m = \text{id} ##, for all ##i = 1 ... p ##.
Since the order of a cycle is its length, ##m## must be a multiple of the length of each cycle ##\sigma_i##. The smallest such ##m## is the least common multiple of all the lengths.
 
Got it thanks!
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
648
  • · Replies 1 ·
Replies
1
Views
976
  • · Replies 21 ·
Replies
21
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
Replies
2
Views
2K
  • · Replies 25 ·
Replies
25
Views
3K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 3 ·
Replies
3
Views
1K
Replies
3
Views
2K