Group Homomorphism & Group Order

Click For Summary
SUMMARY

This discussion centers on the properties of group homomorphisms, specifically examining a homomorphism ##\phi## from a group ##G## of order 21 to a group ##G'## of order 35. The key conclusion is that since ##G## lacks a normal subgroup of order 3, it follows that ##\phi(g) = 1## for all elements ##g## in ##G##. The reasoning relies on Lagrange's theorem, which states that the order of a subgroup must divide the order of the group, and the implications of the kernel of the homomorphism.

PREREQUISITES
  • Understanding of group theory concepts, particularly Lagrange's theorem.
  • Familiarity with the definitions of homomorphisms and kernels in group theory.
  • Knowledge of normal subgroups and their significance in group structure.
  • Basic understanding of subgroup orders and their divisibility properties.
NEXT STEPS
  • Study the implications of Lagrange's theorem in various group structures.
  • Learn about the classification of groups based on their order and subgroup properties.
  • Explore the concept of normal subgroups and their role in homomorphisms.
  • Investigate examples of group homomorphisms and their kernels in detail.
USEFUL FOR

This discussion is beneficial for students of abstract algebra, mathematicians focusing on group theory, and educators seeking to clarify concepts related to group homomorphisms and subgroup orders.

rputra
Messages
35
Reaction score
0
I came across this problem in class note but I was stuck:

Assume that ##G## be a group of order 21, assume also that ##G'## is a group of order 35, and let ##\phi## be a homomorphism from ##G## to ##G.'## Assume that ##G## does not have a normal subgroup of order 3. Show that ##\phi (g) = 1## for each element ##g## in ##G##.

I know that most likely I need to use Lagrange's ##|G| = |G/H| \cdot |H|## and therefore ##|H|## divides ##|G|##, and also ##G/ker (\phi) \cong \phi (G)## and therefore ##|G/ker (\phi)| = |\phi (G)|##, but after those I am lost. A gentle and friendly explanation would therefore be very much appreciated.

Thank you very much and happy holidays to all.
 
Physics news on Phys.org
rputra said:
I came across this problem in class note but I was stuck:

Assume that ##G## be a group of order 21, assume also that ##G'## is a group of order 35, and let ##\phi## be a homomorphism from ##G## to ##G.'## Assume that ##G## does not have a normal subgroup of order 3. Show that ##\phi (g) = 1## for each element ##g## in ##G##.

I know that most likely I need to use Lagrange's ##|G| = |G/H| \cdot |H|## and therefore ##|H|## divides ##|G|##, and also ##G/ker (\phi) \cong \phi (G)## and therefore ##|G/ker (\phi)| = |\phi (G)|##, but after those I am lost. A gentle and friendly explanation would therefore be very much appreciated.

Thank you very much and happy holidays to all.

You've already got everything you need. ##ker(\phi)=H## is a normal subgroup of ##G##. Therefore it has order 1,3,7 or 21 since those are the divisors of 21. ##\phi(G)## is a subgroup of ##G'## so it has order 1,5,7 or 35 since those are the divisors of 35. You are given that ##|ker(\phi)|## is not 3. Just try the other possibilities. I.e. if ##|ker(\phi)|=1## then ##|\phi(G)|=21/1=21##. Is that possible?
 
Thank you very much! Now I get it.
 

Similar threads

Replies
2
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 26 ·
Replies
26
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
31
Views
4K
  • · Replies 2 ·
Replies
2
Views
5K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K