Definition of Normal Subgroups | Abstract Algebra