OurBigBook Wikipedia Bot Documentation
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 \).

Ancestors (6)

  1. Subgroup properties
  2. Group theory
  3. Fields of abstract algebra
  4. Fields of mathematics
  5. Mathematics
  6. Home