H is abelian, because for any which 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 set being a minimal set of generators:
if and say then and so would be a smaller set of generators for H. contradintion!