Homomorphism, Kernel and Coset

  • Thread starter Thread starter LCSphysicist
  • Start date Start date
  • Tags Tags
    Kernel
Click For Summary
SUMMARY

The discussion focuses on the concepts of homomorphism, kernel, and coset within group theory. The user successfully demonstrated that a function f is a homomorphism and sought clarification on identifying the kernel K of f. It was confirmed that the kernel consists of the elements {0, 4}, which are mapped to the identity element of the group. The discussion also highlights the use of modulo functions and multiplication as additive homomorphisms in this context.

PREREQUISITES
  • Understanding of group theory concepts, specifically homomorphisms
  • Familiarity with kernel definitions in the context of group mappings
  • Knowledge of modulo operations and their properties
  • Basic comprehension of additive homomorphisms
NEXT STEPS
  • Study the properties of kernels in group theory
  • Explore the concept of cosets and their relationship with kernels
  • Learn about the structure of homomorphic images in group theory
  • Investigate the application of modulo functions in different mathematical contexts
USEFUL FOR

Students and educators in abstract algebra, mathematicians focusing on group theory, and anyone looking to deepen their understanding of homomorphisms and kernels.

LCSphysicist
Messages
644
Reaction score
163
Homework Statement
.
Relevant Equations
.
1608265762560.png

I did the first step, that is, show that f is a homomorphism. Now i need to find the kernel K of f. But i am a little confused how to find it. Seeing the image, can we say the kernel is {0,4}?
 
Physics news on Phys.org
Herculi said:
Homework Statement:: .
Relevant Equations:: .

View attachment 274584
I did the first step, that is, show that f is a homomorphism. Now i need to find the kernel K of f. But i am a little confused how to find it. Seeing the image, can we say the kernel is {0,4}?

Yes, you are correct. The kernel are all elements that are mapped to the identity of the group (0 here), and these elements are exactly 0 and 4.
 
It might be easier than checking ##64## possibilities to show that the modulo function, which assigns the remainder ##r## in a division by ##n## to ##n##, and multiplication by ##m## are (additive) homomorphisms
$$
g\, : \,\mathbb{Z} \longrightarrow m\cdot \mathbb{Z}\; , \;z\longrightarrow m\cdot z
$$
$$
f\, : \,\mathbb{Z}\longrightarrow \mathbb{Z}_n\; , \; z\longmapsto r \text{ where } z=q\cdot n + r\, , \,0\leq r<n
$$
 

Similar threads

  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 41 ·
2
Replies
41
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 0 ·
Replies
0
Views
1K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 17 ·
Replies
17
Views
3K