Isomorphic Groups and Order of Elements

  • Thread starter Thread starter mariab89
  • Start date Start date
  • Tags Tags
    Proof
Click For Summary
SUMMARY

The discussion centers on proving that for any isomorphism \(\phi: G \to H\), the order of an element \(x\) in group \(G\) is preserved in group \(H\) such that \(|\phi(x)| = |x|\). It further establishes that any two isomorphic groups possess the same number of elements of order \(n\) for every positive integer \(n\). The proof relies on the definition of a homomorphism, where \(\phi(ab) = \phi(a)\phi(b)\) for all \(a, b \in G\), and the properties of bijective functions.

PREREQUISITES
  • Understanding of group theory concepts, specifically isomorphisms and homomorphisms.
  • Familiarity with the definitions of element order in groups.
  • Knowledge of basic proofs in abstract algebra.
  • Ability to manipulate algebraic expressions involving group operations.
NEXT STEPS
  • Study the properties of isomorphic groups in detail, focusing on their structural similarities.
  • Learn about the implications of homomorphisms in group theory.
  • Explore examples of groups with varying orders and their isomorphic counterparts.
  • Investigate the significance of element orders in the context of group actions.
USEFUL FOR

Students of abstract algebra, mathematicians focusing on group theory, and educators teaching concepts related to isomorphic groups and homomorphisms.

mariab89
Messages
11
Reaction score
0

Homework Statement



Prove that for any isomorphism [tex]\phi[/tex] : G--> H |[tex]\phi[/tex](x)| = |x| for all x in G. is the result true if [tex]\phi[/tex] is only assumed to be a homomorphism?

Using the solution to the above proof or otherwise, show that any 2 isomorphic groups have the same number of elements of order n, for every positive integer n.

Homework Equations



The definition of a homomorphism states that given two arbitrary groups G and H. A function f : G---> H is called a homomorphism if f(ab) = f(a)f(b) for all a, b in G.

The Attempt at a Solution



What I started doing was that since we know that [tex]\phi[/tex] is an isomorphism, we know that it is bijective and a homomorphism. Therefore,
[tex]\phi[/tex](ab) = [tex]\phi[/tex](a)[tex]\phi[/tex](b) (because it is a homomorphism)

I'm not too sure what I can do from here...
 
Last edited:
Physics news on Phys.org
Do this in two parts

If the order of x is k, show that [tex]\phi(x)^k = e[/tex] e the identity. Then show that if the order of [itex]\phi(x)[/itex] is k, that xk is also the identity element
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
5K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 9 ·
Replies
9
Views
9K
  • · Replies 8 ·
Replies
8
Views
2K