הרחבת 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*_φ, אפשר לכתוב אותו בצורה g₀t^ε1g₁t^ε1...t^εng_n, כאשר כל ה-εi הם 1 או 1-, אחרי כל t¹ בא איבר מ-H, ואחרי כל ^1-t בא איבר מ-K.

יתרה מכך, לכל הצגה של g בצורה הזאת, ε₁,...ε_n הם יחידים.

שימושים

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

שימוש נוסף הוא בטופולוגיה אלגברית: בהינתן מרחב X שהחבורה היסודית שלו היא G, הרחבת HNN מאפשרת למצוא את החבורה היסודית של המרחב X בו "מדביקים" חלק שהחבורה שלו היא H לחלק שהחבורה שלו היא K. זהו אנלוג למשפט ואן קמפן המאפשר לבנות, בעזרת אמלגם של שתי חבורות יסודיות של מרחבים את החבורה היסודית של הדבקה שלהם זה לזה.

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

ערך זה הוא קצרמר בנושא מתמטיקה. אתם מוזמנים לתרום למכלול ולהרחיב אותו.

הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0

25977675הרחבת HNN