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

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

הגדרות

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

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

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

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

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

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

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

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

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

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

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

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

לקריאה נוספת 
 Tullio Ceccherini-Silberstein, Michel Coornaert, Cellular Automata and Groups, Springer-Verlag Berlin Heidelberg 2010

הערות שוליים 

תורת החבורות