- #1

- 1,456

- 44

## Main Question or Discussion Point

By commutative, we know that ##ab = ba## for all a,b in G. Thus, why do we need to prove separately that ##a^n b^m = b^ma^n##? Isn't it the case that ##a^n## and ##b^m## are in fact elements of the group? So shouldn't the fact that they commute automatically be implied?