קוואזי-חבורה

מתוך המכלול, האנציקלופדיה היהודית
קפיצה לניווט קפיצה לחיפוש
מבנים אלגבריים שונים. הוספת תכונה מתאימה מצמצת את המחלקה

באלגברה מופשטת, קוואזי-חבורהאנגלית: Quasigroup) הנה מבנה אלגברי דומה לחבורה, בה לא נדרשים אסוציאטיביות וקיום איבר יחידה. על כן, התכונה הנדרשת בקוואזי-חבורה הנה חילוק (משמאל ומימין) של כל איבריה. מדובר במבנים כלליים יותר מחבורות, להם מבנה עשיר ומסובך יותר. לולאה (loop) הנה קוואזי-חבורה עם יחידה.

כל קוואזי-חבורה איזוטופית ללואה, אך לא בהכרח איזומורפית אליה. כל לולאה שאיזוטופית לחבורה היא גם איזומורפית אליה. לקוואזי-חבורות יש גם קשר לריבועים לטיניים - לוח הכפל של קוואזי-חבורה הנו ריבוע לטיני, וכל ריבוע לטיני מהווה לוח כפל של קוואזי-חבורה כלשהי.

הגדרה

קבוצה Q עם פעולה בינארית נקראת קוואזי-חבורה אם כל איברי הקבוצה הפיכים ביחס לפעולה מימין ומשמאל. דהיינו, לכל קיימים ויחידים פתרונות למשוואות . פתרונות אלו מסומנים כ-.

בכל קוואזי-חבורה מתקיימות אם כן הזהויות הבאות: . מנגד, זהויות אלו מאפשרות להגדיר קוואזי-חבורה: קבוצה Q עם שלוש פעולות בינאריות אשר איבריה מקיימים את הזהויות לעיל היא קוואזי-חבורה.

דרך נוספת להגדיר קוואזי-חבורה היא בעזרת ריבועים לטיניים: זהו ריבוע בגודל nXn בו מסודרים n איברים בשורות ובעמודות, כך שכל איבר מופיע פעם אחת בדיוק בכל שורה ועמודה. קל לראות שכל ריבוע כזה מהווה לוח כפל של קוואזי-חבורה, ושלוח הכפל של כל קוואזי-חבורה הוא ריבוע לטיני (כאשר משמיטים את עמודות האיברים המוכפלים).

קוואזי-חבורה עם איבר יחידה, היינו איבר המקיים , נקראת לולאה.

איזוטופיה

שתי קוואזי-חבורות נקראת איזוטופיות אם קיימות שלוש העתקות הפיכות כך ש- (הכפל בקוואזי-חבורות Q ו-'Q בהתאמה). ברמת הריבועים הלטיניים, איזוטופיה פירושה התמרת שורות ועמודות הריבוע. במקרה 'Q=Q, ההעתקות כלעיל נקראות אוטוטופיה; קבוצת האוטוטופיות של קוואזי-חבורה נתונה היא חבורה ביחס לפעולת ההרכבה.

כל קוואזי-חבורה איזוטופית ללולאה: מתקיים , כאשר היא הלולאה הנבנית מבחירת שני איברים והגדרת הפעולה על אותה הקבוצה Q, כך שמתקיים . האיזוטופיה נתונה אם כן על ידי .

מונח האיזוטופיה מאבד משמעות כאשר מדובר בחבורה - שתי חבורות איזוטופיות הן גם איזומורפיות, לפי משפט שהוכיח אלברט. ביתר כלליות, אם לולאה איזוטופית לחבורה, היא גם איזומורפית אליה.

דוגמאות

ראו גם

לקריאה נוספת

  • Bruck, R.H. (1971). A Survey of Binary Systems.
הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

24463363קוואזי-חבורה