Therefore, since H is closed, associative, has the identity, and has inverses,
Is this correct?
What you did is either irrelevant or wrong, except for the associative part.
You already know that H is closed under * and that any h in H has inverse in H. So all you have to do is to prove that e is in H. just multiply h with h^-1.