The elemtnts of H are of the form: ai1bi2ai3⋯aik−1bik where i1,…,ik∈Z for some k.
So let x,y∈H. Then we can write x=ai1bi2ai3⋯aik−1bik and y=aj1bj2aj3⋯ajk−1bjk. Then xy=(ai1⋯bik)(aj1⋯bjk) since ab=ba we can interchange each term in this multiplication, and obtain: xy=(aj1⋯bjk)(ai1⋯bik)=yx.
This implies H is abelian.
Comments