یک گروه است. این گروه به گروه چهارتایی کلاین معروف است.
نکته: هر گاه در جدولی ، درایه ها نسبت به قطر اصلی تقارن داشته باشند ، گروه مورد نظر ، یک گروه جابجایی است.
فرض کنید یک گروه است. ثابت کنید اگر G جابجایی باشد، آنگاه:
اثبات
هرگاه در گروه شرط برای سه عدد صحیح متوالی برقرار باشد ، ثابت کنید دارای خاصیت جابجایی است.
اثبات فرض میکنیم :
نشان میدهیم :
اما میدانیم:
بنابراین:
این رابطه را رابطه * نامگذاری میکنیم.اما:
لذا:
این رابطه را ** معرفی میکنیم.
بنابراین طبق * و** خواهیم داشت: