# Normal subgroup

In abstract algebra, a normal subgroup is a subgroup that is invariant under conjugation by members of the group of which it is a part. In other words, a subgroup N of the group G is normal in G if and only if gng−1 ∈ N for all g ∈ G and n ∈ N. The usual notation for this relation is N ◃ G {\displaystyle N\triangleleft G} . Normal subgroups are important because they (and only they) can be used to construct quotient groups of the given group. Furthermore, the normal subgroups of G are precisely the kernels of group homomorphisms with domain G, which means that they can be used to internally classify those homomorphisms. Évariste Galois was the first to realize the importance of the existence of normal subgroups.

## Words

This table shows the example usage of word lists for keywords extraction from the text above.

Word | Word Frequency | Number of Articles | Relevance |
---|---|---|---|

normal | 7 | 15932 | 0.304 |

subgroup | 5 | 2134 | 0.291 |

g | 8 | 43758 | 0.287 |

subgroups | 4 | 756 | 0.264 |

n | 6 | 101299 | 0.178 |