Normal Subgroup, also called an invariant subgroup:

{e},G are trivially normal

if G has no nontrivial normal subgroups => G is simple

N normal subset of G => G/N (group division) is a group of order n/m


source
jl@crush.caltech.edu index
semi_direct_product
euclidean_group
poincare_group
homomorph
subgroup
kernel
center
group
SU
An