LESSWRONG
LW

Wikitags

Normal subgroup

Edited by Patrick Stevens last updated 18th Jun 2016
Requires: Group conjugate

A normal subgroup N of group G is one which is closed under conjugation: for all h∈G, it is the case that {hnh−1:n∈N}=N. In shorter form, hNh−1=N.

Since conjugacy is equivalent to "changing the worldview", a normal subgroup is one which "looks the same from the point of view of every element of G".

A subgroup of G is normal if and only if it is the kernel of some group homomorphism from G to some group H. (Proof.)

Parents:
Group
Children:
Subgroup is normal if and only if it is a union of conjugacy classes
Subgroup is normal if and only if it is the kernel of a homomorphism
and 1 more
1
1
Discussion0
Discussion0