חבורת באומסלג-סוליטר

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

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

החבורה קובעת את הפרמטרים p,q עד כדי סדר וסימן. ידוע שהחבורה מקיימת את תנאי הופף אם ורק אם p=1 או של-p,q יש אותם גורמים ראשוניים. ידוע ש- היא residually finite אם ורק אם p=1 (זה המקרה שבו החבורה פתירה) או .

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