בעיית ברנסייד

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

 מבוא 

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

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

 תשובות חיוביות ושליליות 

קל להראות שהחבורות  סופיות. במעט יותר מאמץ אפשר להוכיח ש- ו- סופיות. הסדר של הוא . 

מאידך, Golod-Shafarevitc נתנו ב-1964 תשובה שלילית לבעיה בנוסחה הראשון (ראו גם בעיית קורוש). ב-1968 הראו Novikov ו-Adian שאם e גדול מספיק, החבורות אינן סופיות. תוצאות אלו משאירות טווח רחב שבו התשובה אינה ידועה. למשל, לא ידוע האם החבורות  ו-  סופיות או אינסופיות.

חבורות הפועלות על עצים עם שורש מספקות משפחה של דוגמאות נגדיות לבעיית ברנסייד בנוסחה הראשון.

 בעיית ברנסייד המצומצמת 

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

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



קטגוריה:תורת החבורות
קטגוריה:בעיות פתוחות באלגברה