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

במתמטיקה, הרחבת 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 משמשת ללולאות (קשת מקודקוד לעצמו), ואילו אמלגם משמש לקשת בין קודקודים שונים.

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