No.11546339 ViewReplyOriginalReport
H is normal iff it satisfies: if a,b in G, ab in H implies ba in H.

How the fuck do you even do this? The conjugate definition of normal subgroup doesn't seem to get anywhere.