Normal morphism

related topics
{math, number, function}

In category theory and its applications to mathematics, a normal monomorphism or conormal epimorphism is a particularly well-behaved type of morphism. A normal category is a category in which every monomorphism is normal. A conormal category is one in which every epimorphism is conormal.

Definition

A monomorphism is normal if it is the kernel of some morphism, and an epimorphism is conormal if it is the cokernel of some morphism.

A category C is binormal if it's both normal and conormal. But note that some authors will use only the word "normal" to indicate that C is actually binormal.[citation needed]

Examples

In the category of groups, a monomorphism f from H to G is normal if and only if its image is a normal subgroup of G. In particular, if H is a subgroup of G, then the inclusion map i from H to G is a monomorphism, and will be normal if and only if H is a normal subgroup of G. In fact, this is the origin of the term "normal" for monomorphisms.[citation needed]

On the other hand, every epimorphism in the category of groups is normal (since it is the cokernel of its own kernel), so this category is conormal.

In an abelian category, every monomorphism is the kernel of its cokernel, and every epimorphism is the cokernel of its kernel. Thus, abelian categories are always binormal. The category of abelian groups is the fundamental example of an abelian category, and accordingly every subgroup of an abelian group is a normal subgroup.

References

Full article ▸

related documents
Axiom of union
Sophie Germain prime
Blum Blum Shub
Contraction mapping
Baire category theorem
LALR parser
Complete measure
Nearest neighbour algorithm
Mutual recursion
Best-first search
Characteristic subgroup
Lyapunov fractal
Hamiltonian path problem
Up to
Complete category
Category of sets
Group homomorphism
Composite number
Partition of unity
Elias delta coding
AVL tree
Linear congruence theorem
Brun's constant
Product of rings
Abelian category
Multiple inheritance
Column vector
Sum rule in differentiation
Tree structure
Identifier