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

תהי ${\displaystyle S_{n}}$ החבורה הסימטרית על n עצמים. נגדיר מרחק המינג בין תמורות ${\displaystyle \sigma ,\pi \in S_{n}}$ בתור ${\displaystyle d(\sigma ,\pi )={\frac {1}{n}}|\{1\leq i\leq n\ :\ \sigma (i)\neq \pi (i)\}|}$.

תהי ${\displaystyle G}$ חבורה ותהי ${\displaystyle K\subseteq G}$ תת-קבוצה סופית. יהי ${\displaystyle \varepsilon >0}$; פונקציה ${\displaystyle \varphi \colon G\rightarrow S_{n}}$ היא ${\displaystyle (K,\varepsilon )}$-כמעט הומומורפיזם אם מתקיים:

• לכל ${\displaystyle x,y\in K}$: ${\displaystyle d(\varphi (xy),\varphi (x)\varphi (y))\leq \varepsilon }$
• איבר היחידה ${\displaystyle e\in G}$ מקיים: ${\displaystyle d(\varphi (e),{\text{id}})<\varepsilon }$
• ישנו ${\displaystyle \alpha >0}$ כך שלכל ${\displaystyle x,y\in K}$ שונים זה מזה, ${\displaystyle d(\varphi (x),\varphi (y))>\alpha }$

כעת, ${\displaystyle G}$ סופיתית אם לכל תת-קבוצה סופית ${\displaystyle K\subseteq G}$ ולכל ${\displaystyle \varepsilon >0}$ ישנו ${\displaystyle (K,\varepsilon )}$-כמעט הומומורפיזם ${\displaystyle \varphi \colon G\rightarrow S_{n}}$.

תהי ${\displaystyle I}$ מולטי קבוצה של מספרים טבעיים ויהי ${\displaystyle {\mathcal {F}}}$ על-מסנן לא ראשי על ${\displaystyle I}$. במכפלה הישרה ${\displaystyle \prod _{n\in I}S_{n}}$ נביט בתת-החבורה של אותן סדרות תמורות שהגבול של מרחק המינג שלהן ביחס ל-${\displaystyle {\mathcal {F}}}$ מהאיבר הנייטרלי הוא אפס, דהיינו, ${\displaystyle \{(\sigma _{n})_{n\in I}|\forall \varepsilon >0,\{i\in I|d(\sigma _{n},{\text{id}})<\varepsilon \}\in {\mathcal {F}}\}\triangleleft \prod _{n\in I}S_{n}}$. על חבורת המנה (המכונה על-מכפלה מטרית) מושרית פונקציית מרחק המינג ('גבול של מרחקי המינג ביחס ל-${\displaystyle {\mathcal {F}}}$'). חבורה היא סופיתית (ביחס להגדרה שלעיל) אם ורק אם היא משוכנת בחבורת מנה כזו.

• כל חבורה אמנבילית (ובפרט, כל חבורה סופית וכל חבורה פתירה) היא סופיתית.
• כל חבורה סופית שאריתית (ובפרט, חבורות חופשיות) היא סופיתית.
• מכפלה ישרה ותתי-חבורות של חבורות סופיתיות היא סופיתית.
• הרחבת HNN של חבורה סופיתית ביחס לחבורה אמנבילית היא סופיתית^[1].
• אומרים כי חבורה ${\displaystyle G}$ משוכנת מקומית בחבורות סופיות (LEF - locally embeddable into finite groups) אם לכל תת-קבוצה סופית ${\displaystyle K\subseteq G}$ ישנה פונקציה ${\displaystyle f\colon K\cup K^{2}\rightarrow A}$ חד-חד-ערכית לתוך חבורה סופית ${\displaystyle A}$ כך שלכל ${\displaystyle x,y\in K}$ מתקיים כי ${\displaystyle f(xy)=f(x)f(y)}$ ("הומומורפיזם חלקי"). באופן שקול, חבורה היא LEF אם ורק אם היא משוכנת בעל-מכפלה (לא מטרית) של חבורות סופיות. ניתן להרחיב את ההגדרה למשפחות אחרות של חבורות, למשל, LEA - locally embeddable into amenable groups (כאשר החבורות ${\displaystyle A}$ אמנביליות אך לא בהכרח סופיות). כל חבורה LEA (ולכן כל חבורה LEF) היא סופיתית^[2], אך ההפך אינו נכון^[3][4].
• מן הסעיף הקודם נובע כי כל חבורה סופית מקומית (כזו שכל תת-חבורה נוצרת סופית שלה היא סופית) וכל חבורה אמנבילית מקומית (מוגדר באופן דומה) היא סופיתית.

לא ידוע האם קיימת חבורה שאינה סופיתית. בפרט, לא ידוע האם חבורת תומפסון F היא סופיתית, והאם חבורת ברנסייד ${\displaystyle B(n,p)}$ חופשית (עבור ${\displaystyle n,p}$ גדולים דיים) סופיתית.

אוטומט תאי מעל חבורה ${\displaystyle G}$ הוא פונקציה ${\displaystyle \tau \colon A^{G}\rightarrow A^{G}}$ (כאשר ${\displaystyle A}$ אלפבית סופי) שהיא רציפה (ביחס לטופולוגיית המכפלה, והטופולוגיה הדיסקרטית של ${\displaystyle A}$) ואקוויוריאנטית לפעולת ${\displaystyle G}$, היינו, ${\displaystyle \tau (gx)=g\tau (x)}$ כאשר ${\displaystyle G}$ פועלת על אוטמט תאי באמצעות הזזת האינדקסים. חבורה היא סרג'נקטיבית אם כל אוטומט תאי מעליה שהוא חד-חד-ערכי, הוא גם על. מושג זה הוגדר על ידי גוטשלק, ששיער כי כל חבורה היא סרג'נקטיבית; גרומוב ווייס הוכיחו כי חבורה סופיתית היא סרג'נקטיבית, ולפיכך דוגמה נגדית להשערת גוטשלק תהווה בפרט חבורה לא סופיתית.

נאמר כי חוג הוא סופי ישר (directly finite), או סופי-דדקינד, אם כל שני איברים בו המקיימים ${\displaystyle xy=1}$ מקיימים גם ${\displaystyle yx=1}$. קפלנסקי שיער כי אלגברת החבורה של כל חבורה היא סופית ישרה. אלק וסבו הוכיחו את השערת קפלנסקי לחבורות סופיתיות^[5] ומכאן שאלגברות החבורה של חבורות סופיתיות הן stably finite.

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

חבורה היא סופיתית ליניארית אם היא משוכנת בעל-מכפלה מטרית של חבורות מטריצות ${\displaystyle GL_{n}(F)}$ כאשר את מקומו של מרחק המינג תופסת הדרגה המנורמלת: ${\displaystyle d(A,B)={\frac {1}{n}}{\text{rank}}(A-B)}$. כל חבורה סופיתית היא סופיתית ליניארית, וכל חבורה סופיתית ליניארית היא סופיתית חלשה^[6]; דוגמות נגדיות בכיוונים ההפוכים אינן ידועות. ההגדרה האחרונה מזמינה הגדרה אנלוגית של אלגברה סופיתית ליניארית, ואמנם, חבורה היא סופיתית ליניארית אם ורק אם אלגברת החבורה שלה היא סופיתית ליניארית^[6].

חבורה נקראת היפרלינארית אם היא משוכנת בעל-מכפלה מטרית של חבורות אוניטריות, המצוידות במטריקת הילברט-שמידט המנורמלת: ${\displaystyle d(A,B)={\sqrt {{\frac {1}{n}}\sum _{i,j=1}^{n}|A_{i,j}-B_{i,j}|^{2}}}}$. כל חבורה סופיתית היא היפרלינארית^[7].

קיימות חבורות שלא משוכנות בעל-מכפלה מטרית של חבורות אוניטריות כאשר מציידים את החבורות האוניטריות במטריקת הילברט-שמידט לא מנורמלת (נקראת גם מטריקת פרובניוס): ${\displaystyle d(A,B)={\sqrt {\sum _{i,j=1}^{n}|A_{i,j}-B_{i,j}|^{2}}}}$^[8].

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