From Example Problems
Jump to: navigation, search

Let G be a group such that (ab)^{i}=a^{i}b^{i} for all a,b\in G and for three consecutive integers i. Prove G is abelian.

We are given three equations. For all a,b\in G




From (1), we have


From (2), by multiplying by the inverse found from (1), we have

(4) ab=a^{{i+1}}b^{{i+1}}b^{{-i}}a^{{-i}}=a^{{i+1}}ba^{{-i}}\,

From (3), again multiplying by the inverse found from (1), we have

(5) abab=a^{{i+2}}b^{{i+2}}b^{{-i}}a^{{-i}}=a^{{i+2}}b^{2}a^{{-i}}\,

Take (4) and mutliply by b on the left and (5) and multiply by a^{{-1}} on the left and we get


Now cancelling the ba^{{-i}} on the right, we get


Therefore, for every a\in G, it is true that a^{{i+1}} commutes with every element of G. Using that information and (4), we get


Therefore, for every element of G commutes with every other element of G.

Main Page : Abstract_Algebra