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 aminimalset of generators:

if and say then and so would be asmallerset of generators for H. contradintion!