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)

In a strict formal sense it is not according to the exact statement of Induction. However for all practical intents and purposes using only a weaker assumption is definitely sufficient. — Lord_Farin (talk) 15:20, 8 July 2020 (UTC)

I suppose it makes little difference. The proof itself is not given in Green, so we're not compromising the accuracy of our citations. No worries. --prime mover (talk) 16:14, 8 July 2020 (UTC)