Something that has confused me for long is the condition for injectivity for a homomorphism. The condition is that the kernel should just be the identity element.

I used to think that maybe this condition for injectivity applies to all mappings, and wondered why I hadn’t come across this earlier.

No. This condition applies only to homomorphisms f:(G,*)\to (H,.) due to their special property: f(a*b)=f(a).f(b). This condition would no longer be valid if the mapping was so defined: f(a*b)=c.f(a).f(b), where c\neq e_H.

Published by -

Graduate student

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

%d bloggers like this: