גרף שרייר

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

הגרף נקרא על שמו של אוטו שרייר.

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

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

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

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

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

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

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

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

בעזרת גרף הליבה אפשר למצוא בסיס לתת החבורה ולפתור את בעיית המילה.

בנוסף, אם  שתי תתי חבורות של , אז יש מורפיזם מגרף הליבה של  לזה של  אם ורק אם  היא תת-חבורה של .

תורת החבורות