How to Determine the Order of an Element in a Factor Group?

  • Context: Graduate 
  • Thread starter Thread starter factor
  • Start date Start date
  • Tags Tags
    Element Groups
Click For Summary
SUMMARY

The discussion focuses on determining the order of elements in the factor group Z (mod 12) / <4>. Specifically, the order of the elements 5 + <4> and 7 + <4> is analyzed. It is established that the order of 5 + <4> is 4, as it generates the set {5, 10, 3, 8}, with 8 being the identity in the factor group. Additionally, the application of Lagrange's theorem confirms that the order of the factor group Z_12/<4> is 4, leading to the conclusion that any element in this factor group has an order of 3.

PREREQUISITES
  • Understanding of abstract algebra concepts, particularly factor groups.
  • Familiarity with modular arithmetic, specifically Z (mod n) operations.
  • Knowledge of Lagrange's theorem and its implications in group theory.
  • Basic skills in identifying cosets and their properties within groups.
NEXT STEPS
  • Study the properties of factor groups in abstract algebra.
  • Learn about Lagrange's theorem and its applications in group theory.
  • Explore the concept of cosets and their role in determining element orders.
  • Investigate other examples of factor groups, such as Z (mod 15) / <5>.
USEFUL FOR

Students of abstract algebra, mathematicians focusing on group theory, and anyone interested in understanding the structure and properties of factor groups.

factor
Messages
29
Reaction score
0
I'm currently studying factor groups in abstract algebra and needed some help understanding how to determine the order of an element in a factor group

Suppose I have Z (mod 12) / <4>. And I choose some random element from Z (mod 12) such as 5 or 7. How would I go about determining the order of 5 + <4> or 7 + <4> in the factor group. The way I understand is that in Z (mod 12) / <4> we collapse everything in <4> to the identity in Z (mod 12) so that 5 for instance would have order |{5,10,3,8}| = 4 because 8 is an identity in the factor group. Any help or correction on my admittedly poor understanding would be great.
 
Physics news on Phys.org
From a theorem, i believe, if the index of a normal group, N, in a group G is say, like in your case 4. then the order of the factro group G/N is 4. So, by lagranges theorem for every el in G/N, say C, C^4=N (identity). Now in your case, the order of Z_12/<4> is 4, so there will be 4 distinct cosets of <4> in Z_12, all of length 3, which makes me think, that the order of any of the el. in Z_12/<4> is going to be 3.
 
The way I understand it is list the elements of the factor group. <4>={0,4,8} then list the factors of the element you are trying to find the order of. 5, 10, 3, 8 Stop it took 4 times to get to an element in the factor group. Therefore the element has an order of 4.
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 26 ·
Replies
26
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 1 ·
Replies
1
Views
993
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
6K
  • · Replies 3 ·
Replies
3
Views
1K