ตรวจว่า binary operation เป็น associative หรือไม่ โดยดูจาก operation table อย่างไร
 

อาจจะเป็นคำถามที่ดูง่ายๆนะครับ แต่ผมไม่รู้จริงๆ ต้องตรวจแบบถึกๆให้ครบทุกกรณีเสมอหรือครับ อย่างถ้าในเซต S มีสมาชิกแค่ 4 ตัวต้องตรวจ a*(b*c) = (a*b)*c ทั้งหมด 4^3 กรณียังงั้นเลยหรือครับ แนะนำหน่อยครับ ขอบคุณมากครับ

ตรวจสอบ associativity คงยากครับ แต่ถ้าตรวจสอบว่าเป็นตารางของ group หรือไม่ทำได้ง่ายขึ้นครับ

วิธีตรวจสอบตารางของ group คือ ดูว่าสมาชิกในแต่ละแถวและแต่ละหลักมีตัวซ้ำกันหรือไม่ ถ้าซ้ำกันก็ไม่เป็น group ถ้าไม่ซ้ำกันก็เป็น group วิธีนี้ได้มาจากคุณสมบัติการตัดออกของ group ครับ :)