מבנים אלגבריים/חבורות/מחלקות (קוסטים)

מתוך ויקיספר, אוסף הספרים והמדריכים החופשי

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

אלא אם כן נאמר אחרת, בפרק זה נדון בחבורה כפלית כלשהיא.

הגדרה ודוגמאות[עריכה]

נתחיל את הפרק בהגדרה יבשה:


הגדרה: מחלקות שמאליות

בהינתן תת־חבורה ו־ הקבוצה:

תיקרא מחלקה שמאלית של ב־.


שימו לב:

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

דוגמאות[עריכה]

  • נסתכל על החבורה . אזי מחלקה שמאלית של לדוגמה תהיה:

יחס השקילות מודולו[עריכה]

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


הגדרה: שקילות מודולו

תהי תת־חבורה ויהיו . נאמר כי x שקול ל־y מודולו D אםם מתקיים .

במקרה זה נרשום .

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


טענה: שקילות מודולו היא יחס שקילות

תהי תת־חבורה, היחס הוא יחס שקילות.


הוכחה: יהיו כלשהם. אזי מתקיים:

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

.




למה

תהי תת־חבורה ויהיו . אם מתקיים . אז מתקיים .


הוכחה: מספיק להוכיח שמתקיים . נראה הכלה בשני הכיוונים.

קיים עבורו .

: יהי . מכאן קיים עבורו

וכיוון ש תת-חבורה, ומכאן: ולכן: .

: יהי לכן קיים כך ש .

נסמן: ומכאן .




למה

תהי ח"ח ויהיו . אזי, התנאים הבאים שקולים:

  1. קיים כך שמתקיים .


הוכחה: : קיים כך שמתקיים ומכאן מתקיים .

לכן לפי הלמה הקודמת מתקיים


: נתון . מכאן:


: נתון שקיים כך שמתקיים . מכאן


כפי שהוכחנו לעיל, היחס שקילות מודולו עבור ח"ח כלשהי הוא יחס שקילות. מכאן, שניתן לדבר גם על מחלקות השקילות של אותו יחס.


הגדרה: מחלקת שקילות מודולו

תהי ח"ח ו. אזי נסמן:

המשפט הבא ייתן לנו אפיון מלא של מחלקות השקילות האלה:


משפט:

תהי ח"ח ו אזי:


הוכחה: נראה הכלה בשני הכיוונים.

: יהי אזי מכאן לפי הטענה הקודמת:

: יהי , אזי לפי הלמה הקודמת: ומכאן .


מכאן, לפי התכונות של מחלקות שקילות, נוכל להסיק בנקל את הטענה הבאה:

טענה:

תהי ח"ח ו אזי רק אחד מהשניים מתקיים:

האינדקס של תת-חבורה[עריכה]

הגדרה: האינדקס השמאלי של ח"ח

תהי ח"ח, מספר המחלקות השמאליות של יקרא האינדקס השמאלי של ויסומן:

ובאופן אנאלוגי:

הגדרה: האינדקס הימני של ח"ח

תהי ח"ח, מספר המחלקות הימניות של יקרא האינדקס הימני של ויסומן:

כעת נראה שההגדרה השנייה היא מיותרת:


משפט: האינדקס הימני שווה לאינדקס השמאלי

תהי ח"ח. אזי מתקיים, .

לכן את המילה "שמאלי" או "ימני" ניתן להשמיט מההגדרות והסימון לאינדקס של ח"ח יהיה .


הוכחה: תהי . נסמן:

(כלומר, אלו קבוצות המחלקות השמאליות והימניות של D בהתאמה)

נגדיר את הפונקציה:

יהי אזי מתקיים:

(על הקורא להשלים לבד את המעברים ולוודא שנכונותם ברורה לו)

כלומר, הראינו ש . כעת, מספיק להוכיח ש היא חח"ע ועל והטענה תוכח.

  • חד-חד ערכיות:יהיו . אזי מתקיים:

נרצה להוכיח לכן, מספיק להוכיח (לפי הלמות שהוכחנו קודם לכן) כי .

  • על:בקלות, יהי אזי מתקיים:


משפט לגרנז'[עריכה]

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

אך לפני שנוכל לדון במשפט לגרנז' נזדקק לטענת עזר הבאה.



למה

תהי ח"ח ו כלשהו. אזי מתקיים:

או במילים אחרות, קיימת העתקה חח"ע ועל מ ל .


הוכחה: נבנה פונקציה על ידי:

נוכיח כעת ש היא חח"ע ועל.

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


כעת אנחנו מוכנים להוכחה המרכזית של הפרק הזה.


משפט: משפט לגרנז'

תהי חבורה סופית. וכן, תהי ח"ח. אזי מתקיים:

כלומר, הסדר של כל תת-חבורה של מחלק את הסדר של .

או במילים אחרות, .


הוכחה: נסמן ב את כל המחלקות השמאליות של . לפי אחת הטענות שהוכחנו קודם, מתקיימים התנאים:

מכאן ולפי הלמה הקודמת מתקיים:


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



למה


כמו כן, אחת מהתוצאות המפתיעות של משפט לגרנז' היא:

טענה: חבורה בעלת סדר ראשוני היא ציקלית

תהי תהי חבורה סופית כך ש כאשר מספר ראשוני, אזי חבורה ציקלית.


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


מסקנה מעניינת בתורת המספרים היא המשפט הבא:


משפט: משפט פרמה הקטן

יהי p מספר ראשוני, אזי לכל מתקיים או .


הפרק הקודם:
תת-חבורות
מחלקות (קוסטים) הפרק הבא:
הומומורפיזמים