Homomorphisms, finite groups, and primes

Click For Summary

Homework Help Overview

The discussion revolves around group theory, specifically focusing on homomorphisms between finite groups and the implications of group orders being prime. The original poster presents two statements regarding group homomorphisms and their properties when the orders of the groups involved are prime.

Discussion Character

  • Exploratory, Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants explore the implications of the prime order of groups on the nature of homomorphisms, questioning how the properties of cyclic groups relate to the original poster's statements. There is also a discussion about the definition of a trivial homomorphism and its significance.

Discussion Status

Participants are actively engaging with the concepts, providing hints and clarifications regarding the nature of cyclic groups and the properties of homomorphisms. Some guidance has been offered regarding the kernel and image of homomorphisms, while questions about terminology and definitions remain open.

Contextual Notes

There is a mention of confusion regarding the role of prime order in the context of homomorphisms, as well as a request for clarification on specific terminology related to homomorphisms.

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 1 ·
Replies
1
Views
2K
  • · Replies 13 ·
Replies
13
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