הרחבת HNN
 |
יש לפשט ערך זה: הערך מנוסח באופן טכני מדי, וקשה להבנה לקהל הרחב.
| |
| יש לפשט ערך זה: הערך מנוסח באופן טכני מדי, וקשה להבנה לקהל הרחב. |
 |
ערך מחפש מקורות
| |
| ערך מחפש מקורות |
במתמטיקה, הרחבת HNN היא דרך לבנות חבורה חדשה מחבורה קיימת. לחבורות אלו שימושים רבים בתורת החבורות הקומבינטורית.
ההרחבה התגלתה בשנת 1949 על ידי המתמטיקאים גרהאם היגמן, ברנד נוימן והאנה נוימן, ונקראת על שם שלושתם.
הגדרה
בהינתן חבורה G הנוצרת על ידי יוצרים ויחסים <S|R> ואיזומורפיזם φ:H->K בין שתי תתי חבורות של G, הרחבת ה-HNN של G ביחס ל-φ היא החבורה <(S,t|R,ht=tφ(h> כאשר h נע על כל האיברים ב-H. את החבורה המתקבלת מסמנים G*φ.
הבנייה מוסיפה משתנה חדש t, באופן שיתקיים t-1Ht=K, כלומר t מצמידה את H ל-K.
צורה נורמלית
בהינתן איבר g ב-G*φ, אפשר לכתוב אותו בצורה g0tε1g1tε1...tεngn, כאשר כל ה-εi הם 1 או 1-, אחרי כל t1 בא איבר מ-H, ואחרי כל 1-t בא איבר מ-K.
יתרה מכך, לכל הצגה של g בצורה הזאת, ε1,...εn הם יחידים.
שימושים
השימוש המקורי של הרחבות HNN היה למציאת, בהינתן חבורה ושתי תתי-חבורות איזומורפיות שלה, למצוא חבורה המכילה את G ובה הן צמודות. שימוש זה אפשר, למשל, להוכיח את קיומה של חבורה אינסופית עם שתי מחלקות צמידות (ובפרט פשוטה).
שימוש נוסף הוא בטופולוגיה אלגברית: בהינתן מרחב X שהחבורה היסודית שלו היא G, הרחבת HNN מאפשרת למצוא את החבורה היסודית של המרחב X בו "מדביקים" חלק שהחבורה שלו היא H לחלק שהחבורה שלו היא K. זהו אנלוג למשפט ואן קמפן המאפשר לבנות, בעזרת אמלגם של שתי חבורות יסודיות של מרחבים את החבורה היסודית של הדבקה שלהם זה לזה.
שימוש חשוב נוסף הוא בתורת בס-סר. שם הרחבות HNN, ביחד עם אמלגם, הן הבניות היסודיות מהן בונים את החבורה של כל גרף חבורות. הרחבת HNN משמשת ללולאות (קשת מקודקוד לעצמו), ואילו אמלגם משמש לקשת בין קודקודים שונים.
