a,b为任意两个元素,e为单位元,则ab必须在群里(群的封闭),因此ab的阶为2（题目说的）
由二阶可得(ab)(ba)=a(bb)a=e,
又ab必须在此群里,因此ab的阶也为2可得(ab)(ab)=e.
因此abba=abab,两边消去左边的ab得到ab=ba