Add NormalSubgroups.lyx