Normal homomorphism (source code)

= Normal homomorphism
{wiki=Normal_homomorphism}

In group theory, a **normal homomorphism** (more commonly referred to in terms of **normal subgroups** and the concept of a **homomorphism**) generally arises in the context of studying the structure of groups and their relationships through morphisms. A **homomorphism** between two groups \\( G \\) and \\( H \\) is a function \\( \\phi: G \\to H \\) that preserves the group operation.