Idea for making a map bijective

A technique in algebra to make a homomorphism injective is to “mod out” the kernel.

While, to make a homomorphism surjective, one can restrict the codomain to the image.

This can be illustrated in the first isomorphism theorem (for groups) G/\ker\phi\cong\text{Im}\ \phi.


About mathtuition88
This entry was posted in math and tagged . Bookmark the permalink.

2 Responses to Idea for making a map bijective

  1. LispMobile says:

    Yes. In fact we use it to make Z/(x^2+1) is isomorphism to C.
    ie f: x => x^2+1
    key f = {x | x^2+1=0} = {x = sqrt (-1) = i}

    Liked by 1 person

  2. LispMobile says:

    Oops! I meant R/(x^2+1) , not Z/(x^2+1). That was how human man-made Complex number from Real number in Renaissance 16th century Italy while trying to solve cubic equations.
    There are other “man-made” examples in Math: Quarternion (1, i, j, k)


Leave a Reply to LispMobile Cancel 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

This site uses Akismet to reduce spam. Learn how your comment data is processed.