Finite Order of Elements in Quotient Groups

  • Thread starter Thread starter lorena82186
  • Start date Start date
Click For Summary
SUMMARY

The discussion focuses on proving that if an element 'a' in a group 'G' has finite order 'o(a)', then the coset 'Na' in the quotient group 'G/N' also has finite order 'm', where 'm' divides 'o(a)'. Participants suggest utilizing the homomorphism from 'G' to 'G/N' and reference Lagrange's Theorem, which states that the order of a subgroup divides the order of the group. The relationship between the orders of elements in the group and its quotient is established through these mathematical principles.

PREREQUISITES
  • Understanding of group theory concepts, specifically normal subgroups.
  • Familiarity with quotient groups and their properties.
  • Knowledge of Lagrange's Theorem in group theory.
  • Basic understanding of homomorphisms in algebra.
NEXT STEPS
  • Study the implications of Lagrange's Theorem on subgroup orders.
  • Explore the properties of homomorphisms and their role in group theory.
  • Investigate the structure of quotient groups and their applications.
  • Learn about finite groups and the significance of element orders within them.
USEFUL FOR

Mathematics students, particularly those studying abstract algebra, group theorists, and educators looking to deepen their understanding of group properties and quotient structures.

lorena82186
Messages
3
Reaction score
0

Homework Statement


If G is a group and N is a normal subgroup of G, show that if a in G has finite order o(a), then Na in G/N has finite order m, where m divides o(a).


Homework Equations





The Attempt at a Solution


I have no idea where to start. The problem says to prove it by using the homomorphism of G onto G/N.
 
Physics news on Phys.org
Try taking a look at using Lagrange's Theorem.
 
I don't mean to dig this up, but isn't there a theorem (not sure if it lagrange) that states that the minimum order of an element to belong in a subgroup is a divisor of the group order. Couldn't one arrive at this by creating a bijection and then invoking the fact that |G:N|=|G|/|N|. <= That was something given to us in class that led to Lagrange's theorem.
 

Similar threads

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