1
การนับลูป Moufang
การวนซ้ำเป็นโครงสร้างพีชคณิตที่ค่อนข้างง่าย มันเป็น tuple (G +)ที่Gเป็นชุดและ+เป็นผู้ประกอบการไบนารีG × G → G นั่นคือ+ใช้สององค์ประกอบจากGและส่งคืนองค์ประกอบใหม่ ผู้ประกอบการยังต้องปฏิบัติตามคุณสมบัติสองประการ การยกเลิก: สำหรับทุกaและbในGจะมีxและy ที่ไม่ซ้ำกันในGเช่นนั้น a + x = b y + a = b รหัสประจำตัว: มีเป็นอีในGดังกล่าวว่าสำหรับทุกในG e + a = a a + e = a หากคุณคุ้นเคยกับแนวคิดของกลุ่มคุณอาจสังเกตเห็นว่าการวนซ้ำเป็นเพียงกลุ่มที่ไม่มีคุณสมบัติการเชื่อมโยง ลูปนั้นค่อนข้างเรียบง่ายดังนั้นผู้คนจึงชอบเพิ่มกฎเพื่อสร้างโครงสร้างใหม่ที่น่าสนใจยิ่งขึ้น หนึ่งในโครงสร้างดังกล่าวคือห่วง Moufangซึ่งเป็นวงที่สอดคล้องกับสี่ตัวตนต่อไปนี้สำหรับx , yและzในG z + (x + (z + y)) = …