
H is abelian, because for anywhich gives us
thus every element of H is in the form
where
to finish the proof, you only need to show that such a presentation for an element of H is unique. this is a result of the setbeing a minimal set of generators:
ifand say
then
and so
would be a smaller set of generators for H. contradintion!