an element of in is in the form and an element of in is in the form . now, if you look at the definition at the first page of your link, you see that the multiplication in is defined by for all and . if you put you'll get so every element of commutes with every element of this also implies that every element of commutes with every element of because is commutative.