מגוון (תורת החבורות)

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

דוגמאות 

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

לכל חבורה G, המגוון הקטן ביותר המכיל את G מסומן ב-VarG. לדוגמה, המגוון הנוצר על ידי החבורה הסימטרית  מוגדר על ידי הזהויות , והמגוון הנוצר על ידי חבורת הקווטרניונים מסדר 8 מוגדר על ידי הזהויות .

מכפלה ופירוק 

המכפלה AB של מגוונים A,B מוגדרת כאוסף ההרחבות של חבורה מ-B בחבורה מ-A (כלומר כאוסף החבורות G עם תת-חבורה נורמלית N מ-A, עם מנה G/N השייכת ל-B). כל מגוון של חבורות, מלבד המגוונים הטריוויאליים (זה שכולל רק את החבורה הטריוויאלית וזה הכולל את כל החבורות) ניתן לפירוק באופן יחיד כמכפלה של מגוונים אי-פריקים.

בסיס סופי 

קבוצת זהויות המגדירה מגוון, נקראת בסיס של המגוון הזה. אחת השאלות היסודיות על מגוון של חבורות היא האם יש לו בסיס סופי. למגוון הנוצר על ידי חבורה סופית תמיד יש בסיס סופי. הדוגמאות הראשונות למגוונים שאין להם בסיס סופי ניתנו ב-1969 (על ידי Olshanski, Adyan, Voghan-Lee, בשיטות שונות). דוגמה פשוטה יותר ניתנה ב-1973 (על ידי Bryant ו-Kleinman): אוסף הזהויות  מגדיר מגוון, , שאין לו בסיס סופי (לעומת זאת אם n,m זרים אז  מוגדר לפי 
הזהות .

מלים חיוביות 

זהות של חבורות נכתבת באמצעות כפל והפכי. אבל יש זהויות שאפשר לכתוב גם באופן חיובי, כזהות של חבורה למחצה. למשל, הזהות  שקולה לזהות . יש מגוונים שאפשר להציג באמצעות מלים חיוביות, ויש כאלה שלא: Neumann-Taylor (1963) הראו שאפשר להציג את המגוון של חבורות נילפוטנטיות ממחלקה נתונה באמצעות זהות חיובית אחת. מאידך, Lewin-Lewin (1969) הראו שבמגוון המקיים זהות חיובית, כל חבורה פתירה נוצרת סופית היא נילפוטנטית-מעל-סופית; בפרט, המגוון של חבורות פתירות ממחלקה קבועה אינו ניתן להצגה באמצעות זהויות חיוביות.

לקריאה נוספת 

 Variety of Groups באנציקלופדיה המקוונת של המתמטיקה.

קישורים חיצוניים
 

תורת החבורות
אלגברה