חבורה סופיתית

במתמטיקה, ובמיוחד בתורת החבורות, חבורה סופיתית (sofic; נהוג לכנות בעברית 'סופית' במלעיל) היא חבורה שניתנת לקירוב על ידי חבורות סופיות בצורה מסוימת. המושג הוגדר לראשונה על ידי מיכאיל גרומוב ובנימין וייס. מקור השם (שהוצע על ידי וייס) בשם התואר העברי 'סופי'.

הגדרותעריכה

כמעט הומומורפיזמיםעריכה

תהי   החבורה הסימטרית על n עצמים. נגדיר מרחק המינג בין תמורות   בתור  .

תהי   חבורה ותהי   תת-קבוצה סופית. יהי  ; פונקציה   היא  -כמעט הומומורפיזם אם מתקיים:

  • לכל  :  
  • איבר היחידה   מקיים:  
  • ישנו   כך שלכל   שונים זה מזה,  

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

על-מכפלות מטריותעריכה

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

מחלקות קשורות של חבורותעריכה

  • כל חבורה אמנבילית (ובפרט, כל חבורה סופית וכל חבורה פתירה) היא סופיתית.
  • כל חבורה סופית שאריתית (ובפרט, חבורות חופשיות) היא סופיתית.
  • מכפלה ישרה ותתי-חבורות של חבורות סופיתיות היא סופיתית.
  • הרחבת HNN של חבורה סופיתית ביחס לחבורה אמנבילית היא סופיתית[1].
  • אומרים כי חבורה   משוכנת מקומית בחבורות סופיות (LEF - locally embeddable into finite groups) אם לכל תת-קבוצה סופית   ישנה פונקציה   חד-חד-ערכית לתוך חבורה סופית   כך שלכל   מתקיים כי   ("הומומורפיזם חלקי"). באופן שקול, חבורה היא LEF אם ורק אם היא משוכנת בעל-מכפלה (לא מטרית) של חבורות סופיות. ניתן להרחיב את ההגדרה למשפחות אחרות של חבורות, למשל, LEA - locally embeddable into amenable groups (כאשר החבורות   אמנביליות אך לא בהכרח סופיות). כל חבורה LEA (ולכן כל חבורה LEF) היא סופיתית[2], אך ההפך אינו נכון[3][4].
  • מן הסעיף הקודם נובע כי כל חבורה סופית מקומית (כזו שכל תת-חבורה נוצרת סופית שלה היא סופית) וכל חבורה אמנבילית מקומית (מוגדר באופן דומה) היא סופיתית.

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

תכונות של חבורות סופיתיותעריכה

אוטומטים תאיים וסרג'נקטיביותעריכה

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

אלגברת החבורה וסופיות ישרהעריכה

נאמר כי חוג הוא סופי ישר (directly finite), או סופי-דדקינד, אם כל שני איברים בו המקיימים   מקיימים גם  . קפלנסקי שיער כי אלגברת החבורה של כל חבורה היא סופית ישרה. אלק וסבו הוכיחו את השערת קפלנסקי לחבורות סופיתיות[5] ומכאן שאלגברות החבורה של חבורות סופיתיות הן stably finite.

וריאציות על סופיתיותעריכה

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

חבורה היא סופיתית ליניארית אם היא משוכנת בעל-מכפלה מטרית של חבורות מטריצות   כאשר את מקומו של מרחק המינג תופסת הדרגה המנורמלת:  . כל חבורה סופיתית היא סופיתית ליניארית, וכל חבורה סופיתית ליניארית היא סופיתית חלשה[6]; דוגמות נגדיות בכיוונים ההפוכים אינן ידועות. ההגדרה האחרונה מזמינה הגדרה אנלוגית של אלגברה סופיתית ליניארית, ואמנם, חבורה היא סופיתית ליניארית אם ורק אם אלגברת החבורה שלה היא סופיתית ליניארית[6].

חבורה נקראת היפרלינארית אם היא משוכנת בעל-מכפלה מטרית של חבורות אוניטריות, המצוידות במטריקת הילברט-שמידט המנורמלת:  . כל חבורה סופיתית היא היפרלינארית[7].

קיימות חבורות שלא משוכנות בעל-מכפלה מטרית של חבורות אוניטריות כאשר מציידים את החבורות האוניטריות במטריקת הילברט-שמידט לא מנורמלת (נקראת גם מטריקת פרובניוס):  [8].

לקריאה נוספתעריכה

  • Tullio Ceccherini-Silberstein, Michel Coornaert, Cellular Automata and Groups, Springer-Verlag Berlin Heidelberg 2010

הערות שולייםעריכה

  1. ^ Kate Juschenko, Sofic Groups
  2. ^ Pestov, Kwiatkowska, AN INTRODUCTION TO HYPERLINEAR AND SOFIC GROUPS
  3. ^ Yves de Cornulier, A sofic group away from amenable groups, Math. Ann. 350(2) (2011) 269–275
  4. ^ Aditi Kar, Nikolay Nikolov, A non-LEA sofic group, Proc. Indian Acad. Sci. (Math. Sci.) Vol. 127, No. 2, April 2017, pp. 289–293.
  5. ^ Gábor Elek, Endre Szabó, Sofic groups and direct finiteness, Journal of Algebra Volume 280, Issue 2, 15 October 2004, Pages 426-434.
  6. ^ 1 2 Goulnara Arzhantseva, Liviu Paunescu, Linear sofic groups and algebras Trans. Amer. Math. Soc. Volume 369, Number 4, April 2017, Pages 2285–2310.
  7. ^ G. Elek and E. Szab´o, Hyperlinearity, essentially free actions and L2-invariants. The sofic property, Math. Ann. 332 (2005), no. 2, 421–441
  8. ^ DE CHIFFRE, M., GLEBSKY, L., LUBOTZKY, A., & THOM, A., STABILITY, COHOMOLOGY VANISHING, AND NONAPPROXIMABLE GROUPS, Forum of Mathematics, Sigma, 8, E18. doi:10.1017/fms.2020.5