Homomorphisms, finite groups, and primes

Click For Summary
SUMMARY

This discussion focuses on the properties of group homomorphisms between finite groups, specifically when the orders of the groups are prime. It establishes that if the order of group G is prime, the homomorphism a: G → H is either one-to-one or trivial. Similarly, if the order of group H is prime, the homomorphism is either onto or trivial. The discussion emphasizes the implications of prime order on the structure of cyclic groups and their homomorphic images.

PREREQUISITES
  • Understanding of group theory concepts, particularly finite groups
  • Knowledge of group homomorphisms and their properties
  • Familiarity with cyclic groups and their characteristics
  • Basic understanding of kernels and images in the context of homomorphisms
NEXT STEPS
  • Study the properties of cyclic groups and their generators
  • Learn about the kernel and image of a homomorphism in group theory
  • Explore examples of group homomorphisms between finite groups
  • Investigate the implications of prime order on group structure and classification
USEFUL FOR

Students of abstract algebra, mathematicians focusing on group theory, and anyone interested in the properties of homomorphisms in finite groups.

kathrynag
Messages
595
Reaction score
0

Homework Statement


1. Let G and H be finite groups and let a: G → H be a group homomorphism. Show
that if |G| is a prime, then a is either one-to-one or the trivial homomorphism.
2. Let G and H be finite groups and let a : G → H be a group homomorphism. Show
that if |H| is a prime, then a is either onto or the trivial homomorphism.


Homework Equations





The Attempt at a Solution


1. We know a(b)a(c)=a(bc) since it is a homomorphism
order is prime.
need to show a(x1)=a(x2) implies x1=x2. I'm confused on how the oder being prime plays into this.
 
Physics news on Phys.org
if |G| is prime then it is a cyclic group generated by one single element. Hope this helps.

hint: write f for your homomorphism and not a.
 
You don't need to mess around with elements. Hint:

The kernel of a homomorphism from G to H is a _______ of G
The image of a homomorphism from G to H is a _______ of H
 
hmm, may i ask what trivial homomorphism means?
 
The homomorphism which maps everything to 0.
 
Since it's a cyclic group generated by one element it must be one to one since there is only element.

|H| is prime. H is a cyclic group generated by one element. Must have x such that f(x)=y
 

Similar threads

  • · Replies 13 ·
Replies
13
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K