A **normal subgroup** is a special type of subgroup in the context of group theory, which is a branch of abstract algebra. Let's define it more precisely. Given a group \( G \) and a subgroup \( N \) of \( G \): 1. **Subgroup**: A subgroup \( N \) must itself be a group under the operation defined on \( G \).