Equivalent Definitions of Normal Subgroup | Abstract Algebra