Find a concept
Start typing to search the mathematical index.
For a homomorphism f, the induced map M/ker(f) → im(f) is an isomorphism.
First isomorphism consequence. Let be an -module homomorphism. Then the induced map
is a well-defined isomorphism of -modules.
This is the usual “image–kernel” form of the first isomorphism theorem for modules, relating quotient modules to kernels and images.
First isomorphism theorem (modules): Let be a module homomorphism. Then the induced map
is an isomorphism of -modules. Here is the kernel and is the image, and is a quotient module.
As a diagram, factors as the quotient map, the isomorphism , and the inclusion of the image, and the square commutes:
This theorem identifies the “effective domain” of a map with its image and is the basic mechanism behind many results in the theory of exact sequences; it is the module analogue of the first isomorphism theorem for rings
Let be a left -module and let be a submodule. Define an equivalence relation on by iff . The quotient module is the quotient set of equivalence classes, written , with operations
These operations are well-defined precisely because is closed under subtraction and scalar multiplication.
The construction is characterized by the universal property of the quotient module: maps out of that kill factor uniquely through .
Let be a module homomorphism. The kernel of is
It is a submodule, as recorded in kernels are submodules.
Kernels measure injectivity: is injective iff . They also define the notion of exactness (see exact sequences, where kernels match images).