14.13 Theorem The following are three equivalent conditions for a subgroup H of a group G to be a normal subgroup of G. 1. ghge H for all g = G and he H. 2. gHg=H for all g = G.