why would you want ax=xa anyway? that is not the condition of normality of a subgroup. H is normal if for gx in gH there is an element y of H such that yg=gx, there is no requirement that x=y.

did you redo the proof of the last problem to be a one line proof NOT by contradiction? it would be helpful to your understanding to do it.