added various normal subgroup fundamentals