- #1
thoughtgaze
- 74
- 0
Was wondering if the only required definition for finite groups is closure (maybe associativity as well). It seems that is all that is necessary. The inverse and identity necessarily seem to follow based on the fact that if I multiply any element by itself enough times, I have to repeat back to the original element again (because of closure and finiteness). The fact that I have repeated means there is an inverse for each element and thus an identity.