A subgroup N of a group G is a normal subgroup (written ) if one of the following equivalent conditions holds: