Abstract algebraLesson 2 of 5 in the course Group homomorphisms and quotients

Normal Subgroups: Conjugation, Quotients, and Homomorphisms

5 flashcards · 5 quiz questions · 5 match pairs · 5 fill-in sentences · English

Lesson progress
0 / 5

Your progress is kept in this browser only.Sign up to save it

Summary

A normal subgroup is a subgroup whose elements remain inside it when they are conjugated by any element of the larger group. This idea is central to understanding quotient groups and group homomorphisms.

For elements gg and nn in a group GG, the conjugate of nn by gg is gng−1gng^{-1}. It can be viewed as transforming nn by the symmetry represented by gg, then transforming back by its inverse.

All flashcards

What is a normal subgroup?
A subgroup NN of GG such that gNg−1=NgNg^{-1}=N for every g∈Gg\in G.
What is the kernel of a group homomorphism f:G→Hf:G\to H?
The subgroup {g∈G:f(g)=eH}\{g\in G:f(g)=e_H\}, consisting of elements mapped to the identity of HH.
What is the normal core of a subgroup?
The largest normal subgroup of GG contained in that subgroup.
What is a Hamiltonian group?
A nonabelian group in which every subgroup is normal.
Which subgroup is normal in a semidirect product G=N⋊HG=N\rtimes H?
The subgroup NN is normal in GG; the subgroup HH need not be.

Quiz questions

  1. For a group homomorphism f:G→Hf:G\to H, where is ker⁡f\ker f necessarily normal?Answer: In the domain group GG.
  2. Which general statement holds for subgroups of index two?Answer: Every subgroup of index two is normal.
  3. What does the first isomorphism theorem state for a homomorphism f:G→Hf:G\to H?Answer: G/ker⁡f≅f(G)G/\ker f\cong f(G).
  4. If N◃GN\triangleleft G and N≤K≤GN\leq K\leq G, what follows?Answer: N◃KN\triangleleft K.
  5. What can be concluded about subgroups of an abelian group?Answer: Every subgroup is normal.

Based on the Wikipedia article Normal subgroup, licensed CC BY-SA 4.0. Adapted into a summary, flashcards and quizzes.

All Abstract algebra lessons