Proving No Homomorphism from A(4) Onto Groups of Order 2, 4, or 6

  • Thread starter Thread starter wakko101
  • Start date Start date
Click For Summary
SUMMARY

There is no homomorphism from the alternating group A(4) onto groups of order 2, 4, or 6, while a homomorphism does exist onto a group of order 3. This conclusion is derived using the First Isomorphism Theorem, which indicates that the kernel of a non-trivial homomorphism must be a normal subgroup of A(4). The only normal subgroup of A(4) has an order of 3, which contradicts the requirement for the kernel when mapping onto groups of orders 2, 4, or 6.

PREREQUISITES
  • Understanding of group theory concepts, specifically alternating groups.
  • Familiarity with the First Isomorphism Theorem in abstract algebra.
  • Knowledge of normal subgroups and their properties.
  • Basic understanding of group orders and their implications in homomorphisms.
NEXT STEPS
  • Study the properties of alternating groups, particularly A(4).
  • Learn about the First Isomorphism Theorem and its applications in group theory.
  • Investigate normal subgroups and their significance in homomorphism mappings.
  • Explore examples of homomorphisms between different group orders to solidify understanding.
USEFUL FOR

Mathematics students, particularly those studying abstract algebra, group theory enthusiasts, and anyone interested in the properties of homomorphisms and group structures.

wakko101
Messages
61
Reaction score
0

Homework Statement


Show that there is no homomorphism from A(4) onto a group of order 2, 4 or 6, but that there is one onto a group of order 3.

Homework Equations


I have a feeling that I'm to use the First Isomorphism theorem

The Attempt at a Solution


I've been puzzling over this for quite some time, but I'm not really sure how to go about it. It seems that it might have something to do with the fact that the first group all have orders divisible by 2 whereas the latter has odd order, but I'm not even sure that's the correct approach. Any hints or suggestions would be appreciated.

Cheers,
W. =)
 
Physics news on Phys.org
The question is heavily involved in the orders of the groups obviously. First observe the question has to be talking about non-trivial homomorphisms (since trivial homomorphisms always exist).

Start with mapping to the group of order 2. Since the homomorphism isn't trivial, it must be onto. So what can you conclude?
 
If it is onto, we can use the first isomorphism th. to get the order of the kernel which would be 12. I know that a kernel must be a normal subgroup of A(4) and I've figured out (i.e. read somewhere) that the only normal subgroup of A(4) has order 3. So, using that, I can see how we might prove the hypothesis. Is this the only way...I mean, is knowing that A(4) has only one normal subgroup the only way to prove it?
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
7
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
3
Views
2K
  • · Replies 19 ·
Replies
19
Views
2K