Does a Factor Group Element's Order Imply the Same Order in the Original Group?

  • Thread starter Thread starter PsychonautQQ
  • Start date Start date
  • Tags Tags
    Groups
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 1K views
PsychonautQQ
Messages
781
Reaction score
10

Homework Statement


Let G be a finite group and let K be normal to G. If the factor group G/K has an element of order n, show that G has an element of order n.

Homework Equations


None

The Attempt at a Solution


Lets say Kg is the element in G/K with order n.
That means:
(Kg)^n = K

and from properties of factor groups we know:
(Kg)^n = Kg^n
so Kg^n = K
hence g^n = 1
if g^n = 1 then it must be in G, because G has the identity (1).

Is this correct thinking?
 
Physics news on Phys.org
PsychonautQQ said:

Homework Statement


Let G be a finite group and let K be normal to G. If the factor group G/K has an element of order n, show that G has an element of order n.

Homework Equations


None

The Attempt at a Solution


Lets say Kg is the element in G/K with order n.
That means:
(Kg)^n = K

and from properties of factor groups we know:
(Kg)^n = Kg^n
so Kg^n = K
hence g^n = 1
if g^n = 1 then it must be in G, because G has the identity (1).

Is this correct thinking?

No. Haven't you posted this before? Kg^n=K only tells you that g^n is in K.