משפט נילסן-שרייר

בתורת החבורות, משפט נילסן-שרייר קובע שכל תת-חבורה של חבורה חופשית היא חופשית בעצמה.

טענה מקבילה לחבורות אבליות, שכל תת-חבורה של חבורה אבלית חופשית היא אבלית חופשית, הוכחה על ידי ריכרד דדקינד. יאקוב נילסן הוכיח ב-1921 שהמשפט נכון לכל תת-חבורה נוצרת סופית. אוטו שרייר הוכיח את המשפט במלואו בהביליטציה שלו ב-1926.

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

להבדיל מתת-החבורות, שכולן חופשיות, חבורת מנה של חבורה חופשית עשויה להיות כל חבורה שהיא.

הוכחה

הוכחה קצרה המבוססת על טופולוגיה אלגברית נמצאה על ידי ריינהולד בר ופרידריך לוי.

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

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

הוכחה נוספת
נביא הוכחה נוספת, דומה אך קומבינטורית יותר (ללא שיקולים כלל מטופולוגיה אלגברית)

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

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

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

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

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

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

נילסן-שרייר
טופולוגיה אלגברית
אקסיומת הבחירה