Indeed it's true, take then (*)

Where we've used the fact that G is abelian and that the associativity holds.

So if and then by (*) we have

Also the identity belongs to H since

And each element has an inverse, say we have then for some

Now has an inverse, namely

So note that thus is the inverse of a'