Talk:Power of Element in Subgroup

Was there anything actually technically incorrect about assuming in the induction hypothesis only that $x^k \in H$ and deriving that $x^{-k} \in H$ also? I was attempting to be minimalist in the assumptions made. --prime mover (talk) 14:14, 25 June 2020 (EDT)