Homomorphisms and kernels,images

  • Thread starter Thread starter kathrynag
  • Start date Start date
  • Tags Tags
    Homomorphisms
Click For Summary
SUMMARY

The function i : Z12 → Z12 defined by i([a]) = 3[a] is confirmed as a group homomorphism. The kernel of this homomorphism is determined to be [0], [4], and [8], while the image consists of the elements generated by these values. The calculations demonstrate that i([a][b]) = 9[ab], aligning with the properties of group operations under addition in Z12. The discussion clarifies that elements [10] and [11] are not included in the kernel, as their mappings do not yield the identity element.

PREREQUISITES
  • Understanding of group theory concepts, specifically homomorphisms.
  • Familiarity with modular arithmetic, particularly Z12.
  • Knowledge of kernel and image in the context of group homomorphisms.
  • Basic proficiency in performing operations within groups.
NEXT STEPS
  • Study the properties of group homomorphisms in greater depth.
  • Explore the structure and applications of Z12 in modular arithmetic.
  • Learn about the relationship between kernels and images in different algebraic structures.
  • Investigate examples of homomorphisms in other groups beyond Z12.
USEFUL FOR

This discussion is beneficial for students of abstract algebra, particularly those studying group theory, as well as educators seeking to clarify concepts related to homomorphisms, kernels, and images.

kathrynag
Messages
595
Reaction score
0

Homework Statement


Show that the function i : Z12 → Z12 defined by i([a]) = 3[a] for all [a] ∈ Z12 is a
group homomorphism and determine the kernel and image.


Homework Equations





The Attempt at a Solution


Well, I started by computing i([a]i()
=3[a]3
=9[ab]
It should equal i[ab], but that equals 3[ab]
 
Physics news on Phys.org
Z12 are group on operation addition, not multiplication
 
Oh that makes a lot more sense now.
kernel you want i(a)=e
kernel= [9]
I'm not quite sure about image.
 
[0] is in the kernel too, also [4] and [8] and maybe even more
 
[0],[4],[[8]
Now that I think about [9] isn't in the kernel 3[9]=[27]=[3], not e
 
Well, it seems that we found the kernel as [10] and [11] are NOT in the kernel.
 
yeah [10] and [11] are not in the kernel.
3[10]=[30]=6
3[11]=33=11
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 19 ·
Replies
19
Views
2K
Replies
9
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
8
Views
2K