שיחה:89-214 סמסטר א' תשעד: הבדלים בין גרסאות בדף
שורה 665: | שורה 665: | ||
::הרי תת חבורת הקומוטטורים זו תת חבורה שאני יכול להגדיר '''על כל חבורה/תת חבורה'''. (אני פשוט לוקח כל שני איברים <math>x,y</math> בתת"ח נתונה H, ומגדיר איבר חדש <math>x^{-1} y^{-1}xy</math>). במקרה הכי גרוע שבו החבורה המקורית שלי אבלית - אני אקבל ש-S טריוויאלית (אבל אז ברור ש-H נורמלית). | ::הרי תת חבורת הקומוטטורים זו תת חבורה שאני יכול להגדיר '''על כל חבורה/תת חבורה'''. (אני פשוט לוקח כל שני איברים <math>x,y</math> בתת"ח נתונה H, ומגדיר איבר חדש <math>x^{-1} y^{-1}xy</math>). במקרה הכי גרוע שבו החבורה המקורית שלי אבלית - אני אקבל ש-S טריוויאלית (אבל אז ברור ש-H נורמלית). | ||
::אז מה, כל תתי החבורות הן נורמליות? | ::אז מה, כל תתי החבורות הן נורמליות? | ||
:::יש לשים לב לניסוח השאלה. נתונה חבורה <math>G</math> ומגדירים תת־חבורה ספציפית שלה <math>S</math> (שבמקרה יש לה גם שם מיוחד, תת־חבורת הקומוטטור). כעת נמשיך לפי מה שאמרת: "אם <math>S</math> היא תת חבורה של <math>H</math>, זה גורר ש-<math>H</math> נורמלית ב-<math>G</math>". | |||
:::כנראה מה שצריך לשים לב שמגדירים את <math>S</math> לפי <math>G</math>. למשל, כפי שכתבת במקרה הכי גרוע (יש כאלו שיאמרו הכי טוב) שבה <math>G</math> היא חבורה אבלית, אזי <math>S</math> טריוויאלית ואז כל תת־חבורה <math>H</math> של <math>G</math> היא נורמלית. אכן, הערנו בכיתה כי כל תת־החבורות של חבורה אבלית הן נורמליות. | |||
== תרגיל 5 שאלה 1ב' == | == תרגיל 5 שאלה 1ב' == |
גרסה מ־19:19, 2 בדצמבר 2013
הוספת שאלה חדשה
הוסף שאלה חדשה (רשום כותרת לשאלה, רשום את תוכן השאלה ולחץ על שמירה למטה מימין לסיום).
-עזרה על עיצוב הטקסט וכתיב מתמטי תוכלו למצוא כאן
אם אתם רוצים לשאול שאלה עליכם ליצור חשבון משתמש באתר.
שאלות
שאלה 3 בתרגיל בית 1
נניח אני רוצה לבטא את המחלק המשותף המקסימלי של 840,575 כצירוף לינארי שלהם.
בשלב הראשון, אני מוצא את המחלק המשותף המקסימלי ע"י אלגוריתם אוקלידיס באופן הבא:
zz (840,575)=(575,265)=(265,45)=(45,40)=(40,5)=5 zz
המעבר הראשון משמאל לימין, נובע מכך ש: zz 840=575*1+265 zz
המעבר השני משמאל לימין, נובע מכך ש: zz 575=265*2+45 zz
המעבר השלישי משמאל לימין נובע מכך ש: zz 265=45*5+40 zz
המעבר הרביעי משמאל לימין נובע מכך ש: zz 45=40*1+5 zz
המעבר האחרון נובע מכך שהמחלק המשותף המקסימלי של 40 ו-5 הוא 5.
כעת מה שאני רוצה לעשות, זה לבטא את המחלק המשותף המקסימלי של 840,575 שהוא כאמור המספר 5, כצירוף לינארי של 840, 575. כיצד בדיוק אני עושה את זה. ראיתי פתרון בתרגול, אבל השיטה לא ממש מובנת לי. אשמח להסבר מפורט, כיצד בדיוק אני צריך לעשות את זה.
תודה מראש ושבת שלום!
- שתי הערות עריכה בויקי: כדאי להשתמש בכותרות (מוסיפים עם מספר של "=" משני הצדדים) וכדאי להשתמש בכתיב מתמטי (הכפתור עם [math]\displaystyle{ \sqrt{n} }[/math]) כדי להכניס ביטויים מתמטיים.
- התשובה לשאלה היא פשוט ליישם את אלגוריתם אוקלידס המורחב. רמז קל: זה גם מה שנדרש בשאלה 1. בקישור יש כמה דוגמאות מפורטות.
- הדרך שבה מצאת את המחלק המשותף המקסימלי נכונה, ודרושה להמשך. בכל שלב (מעבר) באלגוריתם אוקלידס אפשר להציג את שארית החלוקה [math]\displaystyle{ r }[/math] כצירוף של שני המספרים שמחלקים [math]\displaystyle{ r=n-qm }[/math]. נתחיל מן השלב האחרון ונתקדם "מעלה":
- בסוף קיבלת כי [math]\displaystyle{ 5 = 1 \cdot 45 - 1 \cdot 40 }[/math].
- נציב את הביטוי ל-[math]\displaystyle{ 40 }[/math] מהשלב אחד לפני האחרון [math]\displaystyle{ 5 = 1 \cdot 45 - 1 \cdot (265 - 5 \cdot 45) }[/math]. אם נצמצם נקבל [math]\displaystyle{ 5 = -1 \cdot 265 + 6 \cdot 45 }[/math].
- כעת מציבים ביטוי עבור [math]\displaystyle{ 45 }[/math] עם [math]\displaystyle{ 265 }[/math] ו-[math]\displaystyle{ 575 }[/math].
- כך ממשיכים עד שמגיעים לביטוי עם המספרים המקוריים שעבורם חיפשנו [math]\displaystyle{ \mathrm{gcd} }[/math].
אם f | 2c וגם f | 2d האם אני יכול להסיק מכך ש- ( f | (2c,2d ?
תודה.
- כרמז, מה יקרה אם פשוט נסמן [math]\displaystyle{ n = 2c }[/math] וגם [math]\displaystyle{ m = 2d }[/math]? מה יודעים אם [math]\displaystyle{ f | n,m }[/math]?
- מה שיודעים, זה ש-f מחלק כל צירוף לינארי של n ושל m? איך אני יכול להסיק מזה ש-f מחלק את (n,m) ?
- לזה בדיוק התכוונתי. לגב מה שאתה מנסה להסיק: ראינו בכיתה תכונה חשובה של ה-[math]\displaystyle{ \mathrm{gcd} }[/math]. איך אפשר להציג אותו?
אפשר להציג אותו כצירוף לינארי של n ו-m??????????
שאלה 4 סעיף ג'
שתיי שאלות:
1. האם אני יכול לומר שקיים מספר x כך ש- x|a+b וגם x|a-b? אם כן, למה?
2. במידה ואני יכול לטעון את מה שכתבתי בשאלה 1, ובמידה והראיתי ש- x|2d, האם אני יכול לומר ש- zz (a+b,a-b) | 2d zz ? אם כן, למה?
- הערת עריכה בויקי: אפשר לייצר רשימה ממוספרת על ידי שימוש בסולמית (#) בתחילת השורה.
- לא לגמרי הבנתי את השאלה: לכל זוג מספרים הגדרנו את הממ"מ, ובכל מקרה [math]\displaystyle{ 1 }[/math] תמיד מחלק כל מספר. בגלל זה, אפשר להתחיל את הפתרון עם הנחה כמו "יהי [math]\displaystyle{ e }[/math] מחלק משותף (לאו דווקא מקסימלי) של [math]\displaystyle{ a+b }[/math] ושל [math]\displaystyle{ a-b }[/math]..."
- הרמז הוא שאפשר להשתמש בשאלה 4 סעיף ב' כדי לפתור את הסעיף הנוכחי. מה אתה יודע על הסכום וההפרש של [math]\displaystyle{ a+b }[/math] ושל [math]\displaystyle{ a-b }[/math]?
מה שאני יודע שזה ש-[math]\displaystyle{ e }[/math] מחלק גם את הסכום שלהם וגם את ההפרש שלהם. כלומר את [math]\displaystyle{ 2a }[/math] ואת [math]\displaystyle{ 2b }[/math].
- מצוין! מה זה אומר שמתקיים [math]\displaystyle{ e|2a,2b }[/math]? את מה עוד [math]\displaystyle{ e }[/math] מחלק?
את [math]\displaystyle{ gcd(2a,2b) }[/math]???? למה?
שאלה
אם p מספר ראשוני, שלא מחלק את המספר a, למה נובע מכך ש- 1=(a,p) ? למעשה על מנת להגיד שהמחלק המשותף המקסימלי של a ו-p הוא 1, אני צריך לדעת גם ש-p לא מחלק את a, אבל גם ש-a לא מחלק את p. a לא מחלק את p מהסיבה ש-p ראשוני, ולכן בסה"כ a לא מחלק את P , ו-p לא מחלק את a ולכן המחלק המשותף המקסימלי הוא 1?
זה ההסבר?
- יש כאן קצת סלט. קודם כל, רקע: עבור כל [math]\displaystyle{ n }[/math] מתקיים [math]\displaystyle{ n|n }[/math] וכמו כן [math]\displaystyle{ 1|n }[/math]. כאשר אנחנו מחפשים [math]\displaystyle{ \mathrm{gcd} }[/math] צריך למצוא את המספר הטבעי הגדול ביותר שמחלק גם את [math]\displaystyle{ p }[/math] וגם את [math]\displaystyle{ a }[/math]. המספרים הטבעיים היחידים שמחלקים את [math]\displaystyle{ p }[/math] הם כידוע רק [math]\displaystyle{ 1 }[/math] ו-[math]\displaystyle{ p }[/math]. נתון כי [math]\displaystyle{ p }[/math] לא מחלק את [math]\displaystyle{ a }[/math], כלומר הוא לא מקיים את התנאי שנדרש להיות [math]\displaystyle{ \mathrm{gcd} }[/math] שדורש לחלק את [math]\displaystyle{ a }[/math]. לכן נקבל [math]\displaystyle{ (a,p)=1 }[/math].
שאלה 6 בתרגיל 1
מה הכוונה למצוא מס' שלם חיובי [math]\displaystyle{ x }[/math] כך ש- [math]\displaystyle{ 17x = 1 (\bmod{53}) }[/math]
לא ברור לי מה הכוונה ומה המשמעות של ה-[math]\displaystyle{ \mod 53 }[/math] הזה..
- נא להשתמש בכפתור לנוסחאות מתמטיות. המשמעות של [math]\displaystyle{ \mod }[/math] הוא לומר כי מדובר במשוואה מודולו [math]\displaystyle{ 53 }[/math]. כלומר מבקשים למצוא מספר [math]\displaystyle{ x }[/math] כך שאם תכפול אותו ב-[math]\displaystyle{ 17 }[/math] תקבל מספר שבחלוקה ב-[math]\displaystyle{ 53 }[/math] תקבל שארית [math]\displaystyle{ 1 }[/math].
תרגיל 1 שאלה 4 סעיף ב'
אם הוכחתי ש [math]\displaystyle{ e\mid ad \wedge ad\mid e }[/math]
כאשר:
[math]\displaystyle{ d=gcd(b,c) }[/math] ו- [math]\displaystyle{ e=gcd(ab,ac) }[/math]
האם אני יכול להסיק מכך ש- [math]\displaystyle{ e=ad }[/math] וכך לסיים את ההוכחה?
אם לא, איך אני עושה את שאלה 4 ב'?
- זה אמור לנבוע מההגדרה של מחלק את: נאמר ש-[math]\displaystyle{ a\mid b }[/math] אם קיים [math]\displaystyle{ c\in\mathbb{Z} }[/math] כך ש-[math]\displaystyle{ ac=b }[/math]. חיים רוזנר 12:37, 23 באוקטובר 2013 (IDT)
אם [math]\displaystyle{ a\mid 0 }[/math] למה שווה [math]\displaystyle{ a }[/math]? ואם [math]\displaystyle{ 0\mid b }[/math], למה שווה [math]\displaystyle{ b }[/math]?
אם אפשר גם הסבר קצר, זה יועיל.
- גם כאן כדאי לחזור להגדרה של מחלק את, המופיעה במענה לשאלה הקודמת. חיים רוזנר 12:43, 23 באוקטובר 2013 (IDT)
תרגיל 2 שאלה 1 סעיף ב'
אם אני רוצה להראות אסוציאטיביות, אני צריך לקחת 3 מטריצות כלליות מהצורה של איברי הקבוצה שבשאלה?
ואז ממש לעשות את הכפל בין 3 המטריצות, כאשר בפעם הראשונה אני כופל קודם את השתיים השמאליות ובפעם השנייה קודם את השתיים הימניות וצריך
לראות האם אני מקבל אותה תוצאה?
ושאלה שנייה, כשאני בודק אם קבוצה עם פעולה היא חבורה למחצה למשל (או מונויד או חבורה...אחרי הכל אלה מקרים פרטיים של חבורות למחצה), אני צריך לבדוק בבדיקה של האסוציאטיביות, האם התוצאה שאני מקבל היא בקבוצה?
כלומר כשבודקים אסוציאטיביות, לא צריך בין היתר לבדוק שכשאני מכפיל את השניים הראשונים ואז את השלישי, או את הראשון בשניים השניים, אז התוצאה שמתקבלת היא אכן בקבוצה?
לשאלתך הראשוונה: כן. לשאלתך השנייה. בכל מקרה צריך לבדוק שהפעולה סגורה. אל תבלבל את זה עם אסוציאטיביות.
שאלה על תרגיל 1 שאלה אחרונה סעיף ב'
השאלה הולכת כך:
מצאו שלם [math]\displaystyle{ a }[/math] כך ש:
[math]\displaystyle{ a\equiv 1 (mod 11) }[/math]
[math]\displaystyle{ a\equiv 2 (mod 3) }[/math]
[math]\displaystyle{ a\equiv 4 (mod 5) }[/math]
כמה שאלות:
1. אני אמור בהתחלה למצוא a רק עבור שתיי משוואות כלשהן מתוך השלוש? לא חשוב איזה שתיי משוואות?
2. נניח אני מוצא פתרון ל-2 המשוואות הראשונות (האמת שאלה לא בדיוק משוואות אני חושב...כי זה לא סימן שווה)
בכל אופן, היות ו-[math]\displaystyle{ (11,3)=1 }[/math] , אני יכול להשתמש במשפט השאריות הסיני.
מה שאני צריך לעשות, זה למצוא צירוף לינארי של 11 ו-3 כך שיתקבל 1:
לכן [math]\displaystyle{ 11\cdot (-1)+3\cdot 4=1 }[/math] . אגב, המקדמים של 11 ו-3 בצירוף לינארי שנותן 1, הם יחידים?
לכן
[math]\displaystyle{ a=11\cdot (-1)\cdot 2+3\cdot 4\cdot 1 }[/math]
אבל 10- מודולו 11 שווה 1? כמה זה 10- מודולו 11?
וכמה זה 10- מודולו 3?'
אפשר עזרה בשאלה 1 ובשתיי השאלות המודגשות שבשאלה 2?
תרגיל 2 , שאלה 1 סעיף ב'
הראיתי שמתקיימת אסוציאטיביות ושקיים איבר יחידה.
כעת אני רוצה להראות שכל איבר הוא הפיך. על מנת לטעון את זה, אני צריך לדעת שקבוצת המטריצות הזו, היא קבוצה של מטריצות הפיכות.
איך אני מסביר את זה?
- האם התנאי של דטרמיננטה שונה מאפס מתקיים כאן? במטריצות [math]\displaystyle{ 2 \times 2 }[/math] די קל למצוא את המטריצה ההופכית. יש לשים לב שלא מספיק לומר כי מטריצה במבנה האלגברי הזה היא הפיכה, שהרי זה רק אומר שיש לה איבר הופכי באוסף של כל המטריצות. יש להראות כי האיבר ההופכי שייך למבנה האלגברי הזה.
תרגיל 2 שאלה 3 סעיף א'
1. האם אני יכול לומר שיש אסוציאטיביות מהסיבה שכפל מטריצות הוא אסוציאטיבי?
או שאני חייב לקחת שלוש מטריצות כלליות מהצורה של המטריצות בקבוצה G, ולהראות שמתקיימת תכונת האסוציאטיביות?
2. כל איבר ב-G הוא מטריצה בעלת דטרמיננטה שונה מאפס (כי זו מטריצה משולשית ולכן הדטרמיננטה היא מכפלת איברי האלכסון, כלומר 1).
לכן לכל מטריצה בקבוצה יש מטריצה הופכית ולכן כל איבר בקבוצה הוא הפיך. מדוע אבל המטריצה ההפוכה של כל אחת מהמטריצות ההפיכות, שייכת גם היא לקבוצה?
איך אפשר להוכיח את זה?
- מותר להניח (ולכתוב) כי כפל מטריצות הוא אסוציאטיבי, אבל צריך להסביר למה זה מספיק. יש לשים לב כי צריך להראות שהפעולה מוגדרת היטב, וכי כפל של שתי מטריצות מן הקבוצה [math]\displaystyle{ G }[/math] אכן שייך לקבוצה [math]\displaystyle{ G }[/math]. לאחר מכן, אפשר להראות אסוציאטיביות.
- אתה צודק כי קל לראות שהמטריצות הן הפיכות, ויותר חשוב מכך אתה צודק שזה לא מספיק. העובדה שמטריצה הפיכה רק מספר לנו שיש לה איבר הופכי במונואיד של כל המטריצות (לגבי כפל מטריצות). במקרה של [math]\displaystyle{ G }[/math] צריך למצוא את המטריצה ההופכית של מטריצה [math]\displaystyle{ A \in G }[/math] ולהראות שהיא מן הצורה של מטריצות ב-[math]\displaystyle{ G }[/math]. מציאת המטריצה ההופכית היא יחסית קלה כי המטריצות ב-[math]\displaystyle{ G }[/math] הן בצורה "נוחה", ואז רואים מה היא צורת המטריצה ההופכית.
תרגיל 2 שאלה 3 סעיף ב'
יש שם שתי חבורות:
[math]\displaystyle{ H }[/math] עם הפעולה [math]\displaystyle{ * }[/math]
[math]\displaystyle{ G }[/math] עם הפעולה [math]\displaystyle{ \cdot }[/math]
[math]\displaystyle{ \cdot }[/math] אני משער שזה פעולת הכפל הרגילה.
אבל מה זה [math]\displaystyle{ * }[/math]? כיצד מוגדרת הפעולה הזו?
- (ערכתי את השאלה להוספת סימונים מתמטיים)
- קודם כל, ההשערה אינה נכונה, כי אנחנו לא יודעים דבר על איברי [math]\displaystyle{ G }[/math]. כאשר כתוב למשל [math]\displaystyle{ (H,*) }[/math] הכוונה לסימון הרגיל של חבורה שמוגדרת על ידי קבוצת האיברים [math]\displaystyle{ H }[/math] והפעולה [math]\displaystyle{ * }[/math]. כך גם עם [math]\displaystyle{ (G,\cdot) }[/math] שבה הכוונה לחבורה כלשהי עם איברים מהקבוצה [math]\displaystyle{ G }[/math] והפעולה [math]\displaystyle{ \cdot }[/math] שיכולה להיות כל פעולה שמקיימת את הדרישות מפעולה של חבורה.
תרגיל 2 שאלה 4ג'
הטענה אומרת שלכל איבר במונואיד יש הפיך מימין.
זה אומר שלכל איבר a ב-M, קיים b ב-M כך ש-a*b=e?
קצת מבלבל אותי הניסוח של השאלה והניסוח של ההגדרה של איבר הפיך מימין.
- אתה צודק לגבי ההגדרה של קיום הפיך מימין לכל איבר: לכל [math]\displaystyle{ a \in M }[/math], קיים [math]\displaystyle{ b \in M }[/math] כך ש-[math]\displaystyle{ a*b=e }[/math]. יש להוכיח או להפריך האם במקרה זה [math]\displaystyle{ (M,*) }[/math] הוא חבורה. אגב, השאלה הזאת סימטרית לחלוטין לו היינו בוחרים לדבר על הפיך משמאל.
תרגיל 2 שאלה 7
בשאלה 7 א', הראיתי ש-S הוא האיבר האדיש ב-A.
אני חושב שהתכונה הדרושה לכך ש-A תיהיה חבורה אינה מתקיימת. כלומר התכונה שלכל איבר ב-A קיים איבר הפיך לא מתקיימת לדעתי.
איך אני מראה את זה!? אני צריך להצביע על איבר ב-A שהחיתוך שלו עם כל איבר אחר מ-A לא נותן את S?
נניח אני מסתכל על הקבוצה הריקה. למעשה זו הקבוצה היחידה שאני יכול להסתכל עליה כי אני לא מכיר שום איבר ב-A.
החיתוך של הקבוצה הריקה עם כל איבר, הוא הקבוצה הריקה עצמה. ואם הקבוצה הריקה שונה מ-S, אזי לקבוצה הריקה אין איבר הפיך.
אבל איך אני יכול לדעת שהקבוצה הריקה שונה מהקבוצה S????
- מצוין. מחלקים למקרים: אם [math]\displaystyle{ S }[/math] היא הקבוצה הריקה אנחנו נקבל מקרה די משעמם, כי קבוצת החזקה של הקבוצה הריקה מכילה איבר אחד (הקבוצה הריקה). אחרת, אם [math]\displaystyle{ S }[/math] היא לא הקבוצה הריקה, אז מצאת איבר לא הפיך.
תרגיל 2 שאלה 7 סעיף ב'
הפעולה "נקודה" היא פעולת החיתוך מהסעיף הקודם? או שזו פעולת הכפל הרגיל?
- הפעולה "נקודה" היא פעולה שאתם צריכים להגדיר. להסתכל על הסעיף הקודם זה רעיון לא רע בכלל.
תרגיל 2 שאלה 2
לא ברור לי מה זה Z2,Z7 ובכלל מה זה Zn. האמת שגם דובר על זה בהרצאה וגם הנושא של מחלקות שקילות הוזכר בעניין הזה וזה ממש לא מובן לי.
אם אפשר הסבר מפורט על זה, ועל מה שצריך להבין בזה, זה מאד יועיל!
- חשבון מודולרי הוא חשבון עם פעולות חיבור וכפל מודולו n. אנחנו מגדירים את הקבוצה [math]\displaystyle{ \mathbb Z_n }[/math] להיות הקבוצה [math]\displaystyle{ \mathbb Z_n=\{0,1,\ldots,n-1\} }[/math]. על קבוצה זו אנחנו מגדירים פעולות חיבור וכפל, תחת יחס השקילות מודולו n. יש טענה האומרת שהחיבור והכפל האלה מוגדרים היטב. עבור כל n, מתקיים ש-[math]\displaystyle{ (\mathbb Z_n,+) }[/math] היא חבורה, וש-[math]\displaystyle{ (\mathbb Z_n,\cdot) }[/math] הוא מונואיד. משפט שמוכיחים בתחילת אלגברה לינארית קובע שעבור p ראשוני, [math]\displaystyle{ \mathbb Z_p }[/math] הוא שדה; ובניסוח אחר, המונואיד [math]\displaystyle{ (\mathbb Z_n \setminus \{0\},\cdot) }[/math] הוא חבורה.
- השקילות שעליה דברנו היא השקילות מודולו n, הקובעת ששני מספרים שלמים a ו-b הם שקולים אם מתקיים [math]\displaystyle{ n \mid a-b }[/math]. חיים רוזנר (שיחה)
תרגיל 3, שאלה 1
מהי הפעולה עבור החבורות U9 ו U12 ?
- הפעולה היא כפל מודולו n. אנחנו הגדרנו אותן כחבורת ההפיכים במונואיד הכפלי Zn. חיים רוזנר (שיחה) 12:01, 12 בנובמבר 2013 (EST)
שאלה לגבי תרגיל בית מס' 4, שאלה 4
רציתי הבהרה לגבי שאלה 4 בתרגיל 4, ובכלל, באופן כללי: בסעיף 1 נדרשתי להראות ש-G כפי שהוגדרה שם היא חבורה. האם מותר לי להשתמש בקריטריון המקוצר כדי להראות ש-G היא תת חבורה של [math]\displaystyle{ GL_3(\mathbb{Z}_3) }[/math] ובזה הוכחתי שהיא חבורה, או שמא אני צריך להראות את כל 4 האקסיומות, כי הדרישה היא להראות ש-G חבורה ולא תת חבורה?
- לפי הגדרה, תת־חבורה היא חבורה בעצמה (לגבי הפעולה המצומצמת). לכן אם אתה מראה כי אוסף מטריצות כלשהו הוא תת־חבורה של [math]\displaystyle{ GL_3(\mathbb{Z}_3) }[/math], הוכחת כי הוא חבורה לגבי כפל מטריצות. כדי להוכיח שמשהו הוא תת־חבורה מותר להשתמש בקריטריון המקוצר.
- אוקיי, תודה.
תרגיל 4 שאלה 2: החבורה zz (Z24,+) zz
הכוונה לחיבור מודולו 24? או לחיבור מספרים רגיל?
אפשר כיוון?? לא ברור לי איך פותרים את השאלה הזו.
- החיבור בחבורה [math]\displaystyle{ \mathbb Z_24 }[/math] הוא מודולו 24, כמו תמיד. הסימון [math]\displaystyle{ + }[/math] הוא קיצור, במקרה הזה, ל-[math]\displaystyle{ +_24 }[/math]. חיים רוזנר (שיחה) 07:00, 24 בנובמבר 2013 (EST)
תרגיל 4 שאלה 3
כתוב: "נסמן ב-(SLn(F את חבורת המטריצות עם דטרמיננטה 1".
לא היו אמורים לכתוב "את קבוצת המטריצות עם דטרמיננטה 1"?
הרי אם אומרים שזו חבורת המטריצות עם דטרמיננטה 1, וזו הרי גם תת קבוצה של GLn, ולכן זו תת חבורה.
- עד לפתרון השאלה, יש להתייחס לחבורה הלינארית המיוחדת כקבוצה. לאחר הפתרון, זו חבורה. חיים רוזנר (שיחה) 07:02, 24 בנובמבר 2013 (EST)
תרגיל 4 שאלה 4 סעיף 1
אני רוצה להראות ש-G היא תת-חבורה של GLn ע"י הקריטריון המקוצר לתת חבורה.
G כמובן לא ריקה (מכילה למשל את מטריצת הזהות).
הבעיה שלי, היא כשאני בא להוכיח סגירות של G ביחס לכפל מטריצות.
לקחתי 2 מטריצות מהצורה של המטריצות ב-G והכפלתי אותן זו בזו באופן הבא:
[math]\displaystyle{ \begin{pmatrix} 1 &a0 &b0 \\ 0 &1 &c0 \\ 0 &0 &1 \end{pmatrix}\begin{pmatrix} 1 &a1 &b1 \\ 0 &1 &c1 \\ 0 &0 &1 \end{pmatrix}=\begin{pmatrix} 1 &a1+a0 &b1+a0c1+b0 \\ 0 &1 &c1+c0 \\ 0 &0 &1 \end{pmatrix} }[/math]
איך אני יודע האם המטריצה שקבלתי מקיימת שאיבריה מעל האלכסון הראשי, שיכים ל-Z3?
מי אמר שהמספרים a1+a0, b1+a0c1+b0,c1+c0 הם מספרים בין 0 ל-2? הרי הם צריכים להיות ב-Z3, ו-{Z3={0,1,2
- כל פעולות החיבור והכפל של איברי [math]\displaystyle{ \mathbb Z_3 }[/math] הן פעולות בינאריות מוגדרות היטב, דהיינו יש סגירות ב-[math]\displaystyle{ \mathbb Z_3 }[/math]. חיים רוזנר (שיחה) 07:04, 24 בנובמבר 2013 (EST)
תרגיל 4 שאלה 4
איך בודקים האם לכל איבר ב-G קיים הפכי, ושההפכי אכן ב-G?
אני מתחיל את ההוכחה ע"י כך שאני לוקח איבר כלשהו ב-G.
האיבר הזה הוא מטריצה הפיכה שמעל האלכסון הראשי שלה מופיעים מספרים a,b,c כך ש- zz 0<=a,b,c<=2 zz
היות והאיבר הזה הוא מטריצה הפיכה, בהכרח קיימת לו מטריצה הפכית.
לכן לכל איבר ב-G, קיים איבר הפכי.
איך אני מראה שאותו איבר הפכי שייך לקבוצה G?
- ראשית, שים לב לתשובתי לשאלה הקודמת. כל הפעולות ב-[math]\displaystyle{ GL_3 }[/math] הן סגורות. כעת, ניתן לחשב הופכי למטריצה באחת השיטות הסטנדרטיות, נניח אלו שמופיעות בויקיפדיה, או לנסות לפתור ידנית. לפותרים ידנית, ניתן להציע רמז, והוא שזה אמור להצליח, ולפיכך ניתן להניח שההופכי הוא מהצורה הרלוונטית, ואז לחפש אותו. חיים רוזנר (שיחה) 07:23, 24 בנובמבר 2013 (EST)
תרגיל 4 שאלה 4
איך אני מוצא את הסדר של כל איבר!?!?!
G קבוצה בעלת 27 איברים!! a,b,c יכולים לקבל (כל אחד) 3 ערכים: 0,1,2.
סך כל האיברים ב-G הוא 3x3x3=27.
באמת מצפים שאבדוק את הסדר של כל איבר???? אלה 27 איברים!
- יש צורה כללית לאיברים בקבוצה זו. התרגיל לא היה לחשב את הסדר של כל איבר ואיבר, אלא להוכיח מה הסדר של כל איבר ואיבר. אז מניחים שיש לנו איבר נתון, ומנסים להוכיח שהסדר הוא 3. זה אמור לעבוד. חיים רוזנר (שיחה)
ושאלה שנייה:
לא הבנתי עדיין מה זה בדיוק סדר של חבורה ומה ההבדל בין סדר של חבורה לסדר של איבר?
כיצד אני מוצא סדר של חבורה?
- אני ממליץ לעיין בויקיפדיה העברית על שאלה זו. שימו לב שאנחנו, למען הבלבול, מסמנים סדר של איבר וסדר של חבורה באותו סימן, ושם יש סימון אחר לסדר של איבר. חיים רוזנר (שיחה) 07:29, 24 בנובמבר 2013 (EST)
ציקליות
אפשר עזרה בשאלה הבאה:
האם החבורות הבאות הן ציקליות או לא (האמת שבשאלה לא ציינו האם מדובר על חיבור או על כפל). א'. Z10XZ15 ב'.Z5XZ2 ג'. U20 ד'. U8XU9
האמת יש תשובות לשאלות האלה אבל אני לא ממש מבין את התשובות.
איך למשל אני עושה את סעיף א'?
מדובר במכפלה הקרטזית הבאה: zz {0,1,2,3,4,5,6,7,8,9}X{0,1,2,3,4,5,6,7,8,9,10,11,12,13,14} zz כמות הזוגות הסדורים בקבוצה הזו היא גדולה מאד. איך בכלל אני בודק אם קיים זוג סדור שיוצר את קבוצת הזוגות הסדורים הזו???
השאלה לקוחה מכאן: http://math-wiki.com/images/8/85/Hw2AA2013.pdf ראיתי את התשובה ואני לא מבין אותה. לא ברור לי מה אמורים לעשות בשאלה הזו...
- אכן תרגיל יפה. אנחנו הראנו בכיתה (לדעתי בכל הקבוצות כבר הגיעו לזה) את המשפט הבא:
- תהי G חבורה, ויהיו a.b איברים בחבורה. נניח שאיברים אלו מקיימים: ab=ba וגם [math]\displaystyle{ \lt a\gt \cap\lt b\gt =\varnothing }[/math]. אזי הסדר של ab הוא הכמק"ב של הסדרים של a ושל b. כך זה אמור להיות יותר קל לפתור שאלות כאלה. כמובן יש לזכור שכל ת"ח של ציקלית היא ציקלית. בהצלחה, חיים רוזנר (שיחה) 07:37, 24 בנובמבר 2013 (EST)
תרגיל 4 שאלה 2
היי, החבורות הנוצרות מהמחלקים של 24 הן גם תת חבורות של Z24 וברור גם למה. האם ניתן גם לומר שהחבורות האחרות (שהיוצר שלהן לא מחלק את 24) הן גם תת חבורות של Z24 והם בעצם Z24 עצמו ? כי לדוגמא החבורה הציקלית <5> עם פעולת החיבור + (מודולו 24) הרי יוצרת את החבורה Z24, השאלה היא אם זה נכון לומר זאת.
תודה
- נדמה לי שהתערבבו שני נושאים יחד (שיש ביניהם קשר): החבורה [math]\displaystyle{ (\mathbb{Z}_{24},+) }[/math] והחבורה [math]\displaystyle{ (U_{24},\cdot) }[/math]. כמו בתשובה לשאלה אחרת בדף זה, יש לזכור שכל תת־חבורה של חבורה ציקלית היא ציקלית. זה העיקר שנדרש כדי לענות על השאלה. תת־החבורה שנוצרת על ידי [math]\displaystyle{ 5 }[/math] היא אכן כל [math]\displaystyle{ \mathbb{Z}_{24} }[/math], כלומר מדובר ממש באותה קבוצת איברים עם אותה פעולה. האם אתה יכול למצוא קריטריון מתי תת־חבורה שנוצרת על ידי איבר אחד זו כל החבורה במקרה זה?
- חשוב לשים לב שזה לא תמיד המקרה, מה למשל היא תת־החבורה [math]\displaystyle{ \left\lt 16\right\gt }[/math] שנוצרת על ידי [math]\displaystyle{ 16 }[/math], שאינו מחלק את [math]\displaystyle{ 24 }[/math]?
תרגיל 4 שאלה 5
האם החבורה G בסעיף 2 היא אותה חבורה [math]\displaystyle{ G=\mathbb{Z}_{2}\times\mathbb{Z}_{2} }[/math] מסעיף 1?
- כן. אותה חבורה.
שאלה לגבי החבורה הדיאדרלית
בתרגול (וגם בהרצאה) ראינו את המשפט:
אם G חבורה סופית, הסדר של כל תת חבורה מחלק את סדר החבורה.
מזה נבע ש: [math]\displaystyle{ a^{|G|}=e }[/math]
למה בחבורה הדיאדרלית זה לא מתקיים?
היא סופית, כי יש בה תמיד שלושה איברים: סיבוב, שיקוף ואיבר יחידה, אבל ברור שלא מתקיים לכל [math]\displaystyle{ a\in G }[/math] ש-[math]\displaystyle{ a^{|G|}=e }[/math]
- (לא מרצה / מתרגל) מדוע זה לא מתקיים? לכל חבורה דיהדראלית [math]\displaystyle{ D_n }[/math], שעוצמתה [math]\displaystyle{ 2n }[/math], הסדר של סיבוב הוא [math]\displaystyle{ n }[/math], הסדר של שיקוף הוא 2 והסדר של איבר היחידה, כידוע, הוא 1. כל חזקה של סיבוב היא עדיין סיבוב, ולפי משפט הסדר שלו מתחלק בסדר של הסיבוב המקורי, n. כל הכפלה של חזקה של סיבוב עם שיקוף אף היא מסדר הקטן מ־[math]\displaystyle{ 2n }[/math]: נסמן סיבוב עם [math]\displaystyle{ \sigma }[/math] ושיקוף עם [math]\displaystyle{ \tau }[/math], ואז מתקיים [math]\displaystyle{ \tau\cdot\sigma^m\cdot\tau=\sigma^{-m} }[/math], ובאמצעות זה ניתן להוכיח שאכן הסדר אינו גדול מ־n (מראים שהחזקה ה־n־ית היא איבר היחידה). --גיא בלשר (שיחה) 12:49, 27 בנובמבר 2013 (EST)
שאלה לגבי תת חבורה נורמלית
האם זה נכון שכל תת חבורה נורמלית היא אבלית? כלומר איבריה מתחלפים עם כל איבר ב-G?
- לא. למשל [math]\displaystyle{ SL_{n}(F) }[/math] היא תת־חבורה נורמלית של [math]\displaystyle{ GL_{n}(F) }[/math], אבל היא לא אבלית עבור [math]\displaystyle{ n \gt 2 }[/math]. דוגמה אחרת היא לקחת מכפלה ישרה של שתי חבורות [math]\displaystyle{ G_1,G_2 }[/math] ולשים לב כי [math]\displaystyle{ G_1 \times \{e_2\} }[/math] היא תת־חבורה נורמלית של [math]\displaystyle{ G_1 \times G_2 }[/math]. אם נבחר את [math]\displaystyle{ G_1 }[/math] להיות חבורה לא אבלית, סיימנו.
- אולי נוצר בילבול מכך שלתת־חבורה נורמלית [math]\displaystyle{ N \vartriangleleft G }[/math] מתקיים לכל [math]\displaystyle{ g \in G }[/math] כי [math]\displaystyle{ gN=Ng }[/math]. זה לא אומר כי לכל [math]\displaystyle{ n \in N }[/math] מתקיים [math]\displaystyle{ gn=ng }[/math]. זה כן אומר כי לכל [math]\displaystyle{ n \in N }[/math] קיים [math]\displaystyle{ k \in N }[/math] כך ש- [math]\displaystyle{ gn=kg }[/math].
תרגיל 5 שאלה 8
האם אפשר להוכיח את הטענה שם באינדוקציה, או שאי אפשר להפעיל אינדוקציה על איחוד אינסופי?
- למה הכוונה ב"להפעיל אינדוקציה"? האם למשפט הקומפקטיות (Compactness theorem)? האם יש לך דרך יותר ישירה להוכחה? כלומר לפי ההגדרה של חבורה פשוטה.
לא ברור לי איך מוכיחים את הטענה הבאה:
[math]\displaystyle{ G }[/math] חבורה. ו-[math]\displaystyle{ a\in G }[/math].
מדוע קיימת תת-חבורה ציקלית של [math]\displaystyle{ G }[/math] שנוצרת ע"י [math]\displaystyle{ a }[/math]?
איך מראים ש- <a> היא תת חבורה ציקלית של G?
- ממש לפי הגדרות. בסימון [math]\displaystyle{ \left\lt S\right\gt }[/math] סימנו את תת־החבורה שנוצרת על ידי האיברים בקבוצה [math]\displaystyle{ S }[/math]. אם [math]\displaystyle{ S }[/math] מכילה איבר אחד, נאמר [math]\displaystyle{ S=\{a\} }[/math], אזי מדובר בתת־חבורה שנוצרת על ידי איבר אחד, כלומר ציקלית (או בדרך אחרת: כל איבר של [math]\displaystyle{ \left\lt a\right\gt }[/math] הוא מן הצורה [math]\displaystyle{ a^k }[/math] , חזקה של [math]\displaystyle{ a }[/math]).
ואם [math]\displaystyle{ S=\{1,2\} }[/math] אז [math]\displaystyle{ \left\lt S\right\gt }[/math] היא תת החבורה שנוצרת ע"י האיברים 1 ו-2? כלומר [math]\displaystyle{ \left\lt 1\right\gt }[/math] ו-[math]\displaystyle{ \left\lt 2\right\gt }[/math]?
או שלא הבנתי נכון?
- הויקי זיהה את השימוש ב-<S> בתור עיצוב פונט של קו חותך (strikethrough), כדאי להמנע מזה...
- כדאי לחזור להגדרה של תת־חבורה שנוצרת על ידי קבוצת איברים: Generating set of a group או Subgroup generated by a subset. הסימון [math]\displaystyle{ \left\lt S\right\gt }[/math] במקרה של [math]\displaystyle{ S=\{1,2\} }[/math] הוא אכן תת־החבורה שנוצרת ע"י האיברים 1 ו-2. אבל אני לא מבין למה אתה מתכוון כאשר אתה כותב "כלומר [math]\displaystyle{ \left\lt 1\right\gt }[/math] ו-[math]\displaystyle{ \left\lt 2\right\gt }[/math]".
לא ברור לי מה פירוש [math]\displaystyle{ \lt S\gt }[/math] היא תת החבורה שנוצרת ע"י האיברים בקבוצה S. אפשר בקשה דוגמה קונקרטית? עבור המקרה ש-S מכילה את האיבר a, הבנתי מה זה אומר. מה המשמעות של ההגדרה הזו במידה ו-S מכילה יותר מאיבר אחד????????????????
ושאלה נוספת, למה [math]\displaystyle{ \lt S\gt }[/math] היא תת חבורה?
- אנחנו הגדרנו את [math]\displaystyle{ \lt S\gt }[/math] להיות הקבוצה של מכפלה סופית של איברים מהצורה [math]\displaystyle{ s^n }[/math] עבור [math]\displaystyle{ s\in S,n=\pm 1 }[/math]. ברור שזו תת-קבוצה של [math]\displaystyle{ G }[/math], וההוכחה שזו ת"ח היא תרגיל נחמד. נניח, לשם ההדגמה ש-[math]\displaystyle{ S=\{a,b,c\} }[/math]. אז איבר לדוגמא ב-[math]\displaystyle{ \lt S\gt }[/math] הוא [math]\displaystyle{ aaab^{-1}a^{-1}bbbbc^{-1}accc }[/math]. יש, כמובן, עוד איברים ב-[math]\displaystyle{ \lt S\gt }[/math]. אני מקווה שזו דוגמא מספיק קונקרטית. חיים רוזנר (שיחה) 17:58, 1 בדצמבר 2013 (EST)
שאלה
נניח שנתונה חבורה כלשהי A, ואיבר a ב-A.
למה אם אבצע את הפעולה שבאמצעותה מוגדרת החבורה A, מספר כלשהו של פעמים, מובטח לי שבשלב מסוים אקבל את איבר היחידה e?
איך בדיוק אני מוכיח את זה????????????????????
- כשהגדרנו סדר של איבר, כלל לא הובטח שבשלב מסוים תקבל את איבר היחידה. הראנו הכיתה מספר חבורות שבהן יש איברים מסדר אינסופי, למשל [math]\displaystyle{ (\mathbb{Z},+) }[/math].
תרגיל 4 שאלה 4 סעיף 2
הוכחתי שהסדר של כל איבר ב-G הוא 3.
איך מכאן אני מגיע לסדר של החבורה G?
מה אני יודע על הקשר בין הסדר של כל איבר ב-G (שהוא כאמור 3), לבין הסדר של החבורה G?
- כדי למצוא את סדר החבורה לא מספיק לדעת מה הם הסדרים האפשריים של האיברים. פיסת מידע שאולי תעזור כדי לבדוק את התשובה היא שכעת אתה יודע שסדר החבורה מתחלק ב-3. חוץ מזה, לא ייתכן שהסדר של כל איבר הוא 3, הרי יש את איבר היחידה (ראה את ניסוח השאלה).
- סדר החבורה הספציפית הוא מספר המטריצות מן הצורה שבשאלה. כמה כאלו יש? אילו ערכים [math]\displaystyle{ a,b,c }[/math] יכולים לקבל?
אני מניח שיש 27 אפשרויות. לכן סדר החבורה הוא 27. 3 אפשרויות עבור a, 3 עבור b, 3 עבור c.
ציינת שסדר החבורה מתחלק ב-3.
מה הניסוח המדוייק של המשפט שעליו הסתמכת?
- התכוונתי ש-3 מחלק את סדר החבורה. מקווה שעכשיו זה יותר ברור. בכיתה (ואולי גם בתרגול) כבר ראינו כי סדר תת־חבורה מחלק את סדר החבורה (אם היא סופית כמובן).
תרגיל 4 שאלה 4 סעיפים 3+4
שאלה 4 סעיף 3: אני רוצה להסביר מדוע החבורה G שבתחילת השאלה, מקיימת :gh)^3=g^3h^3).
ההסבר שלי הוא שבאגף שמאל gh, זה איבר ב-G (מסגירות G). כעת אני מכפיל אותו בעצמו 3 פעמים, ומקבל את מטריצת היחידה (לפי סעיף 2). באגף ימין אקבל אותו דבר כי g^3, יתן את מטריצת היחידה (לפי סעיף 2), כנ"ל לגבי h^3. וכשאכפול את מטריצת היחידה בעצמה פעמיים, אקבל את מטריצת היחידה. כלומר הראיתי ששניי האגפים שווים למטריצת היחידה.
כעת על מנת להסביר ש-G אינה אבלית, אני יכול לומר ש-G היא קבוצה של מטריצות וידוע שכפל מטריצות אינו חילופי? האמת שכאן זה כפל מטריצות מודולו 3...
- הדרך הנוחה להראות שאין קומוטטיביות (או במקרה שלנו: אבליות) היא להביא דוגמא נגדית. חיים רוזנר (שיחה) 18:08, 1 בדצמבר 2013 (EST)
עכשיו בקשר לסעיף 4... אין לי ממש כיוון.. אני רוצה להראות ש-gh=hg לכל h,g ב-G.
כיצד אני מתקדם מהנתונים שיש לי??
- אני מנוע מלענות לשאלה זו, מכיוון שזו 'חצי תשובה'. אבל אי"ה יפורסם השבוע פתרון ממש יפה. חיים רוזנר (שיחה) 18:08, 1 בדצמבר 2013 (EST)
תרגיל 4 שאלה 5 סעיף 3
התחלתי להוכיח באופן הבא: הנחתי בשלילה ש-[math]\displaystyle{ H,K }[/math] תת-חבורות לא טריוויאליות של [math]\displaystyle{ G }[/math], כך ש- [math]\displaystyle{ G=H\cup K }[/math] לא יתכן ש- [math]\displaystyle{ H\subseteq K }[/math] או ש- [math]\displaystyle{ K\subseteq H }[/math].
שאלה:
אני לא בטוח לגבי ההסבר לכך שזה לא יתכן...הסיבה שזה לא יתכן, זה בגלל שאם בלי הגבלת הכלליות, [math]\displaystyle{ K\subseteq H }[/math], אז מההנחה בשלילה, נובע ש [math]\displaystyle{ G=H\cup K }[/math] ולכן [math]\displaystyle{ H=K }[/math]. כלומר [math]\displaystyle{ H }[/math] תת חבורה טריוויאלית.
האם ההסבר הזה נכון?
- טענה מבדידה: אם [math]\displaystyle{ K\subseteq H }[/math] אז [math]\displaystyle{ H=H\cup K }[/math]. זה אמור לעזור. חיים רוזנר (שיחה) 18:17, 1 בדצמבר 2013 (EST)
אמשיך את ההוכחה:
מכך ש-[math]\displaystyle{ H\subseteq K }[/math] וש [math]\displaystyle{ K\subseteq H }[/math] נובע שנוכל לקחת איבר
[math]\displaystyle{ a\in H-K }[/math] ואיבר [math]\displaystyle{ b\in K-H }[/math].
כעת אני רוצה לטעון שאם [math]\displaystyle{ ab\in H }[/math] אזי [math]\displaystyle{ b\in H }[/math] וכך לקבל סתירה.
מה שאני לא ממש יודע, זה כיצד איך להסביר את הטיעון הזה. מדוע נכון לומר שאם [math]\displaystyle{ ab\in H }[/math] אזי [math]\displaystyle{ b\in H }[/math]?
- גם כאן התשובה תתפרסם אי"ה בבהירות בסוף השבוע, עם פתרון התרגיל. חיים רוזנר (שיחה) 18:17, 1 בדצמבר 2013 (EST)
שאלה 5 סעיף 1 (תרגיל 4)
אפשר בבקשה הסבר על סעיף 1 בשאלה 5?
אני לא מבין מה אני צריך לעשות שם.
zz Z2xZ2={(0,0),(0,1),(1,0),(1,1)} zz ?
מה הכוונה למצוא את כל התת חבורות הציקליות של הקבוצה שכתבתי הרגע...? ואיך עושים את זה בדיוק?
תודה מראש וחג שמח.
- חוזרים להגדרה של חבורה ציקלית, ומחפשים בידיים, בכוח גדול וביד חזקה. חיים רוזנר (שיחה) 18:20, 1 בדצמבר 2013 (EST)
קוסטים
בכיתה דובר על כך שאם G חבורה ו-H תת-חבורה של G, אז מגדירים יחס g1~g2 (עבור כל שניי איברים ב-G) אם קיים h ב-H כך ש-g2=hg1 .
אני מבין כיצד מוכיחים שזה יחס שקילות.
אבל לא ברור לי מהן מחלקות השקילות.
אפשר בבקשה הסבר? אם אפשר דוגמה שתמחיש את העניין זה יועיל.
תודה רבה וחג שמח.
- בגדול, מחלקות שקילות הן קבוצות האיברים שמתייחסים זה לזה על ידי יחס השקילות. אחת התכונות של יחס שקילות היא שניתן בעזרתו לחלק את הקבוצה הגדולה לקבוצות של איברים המתייחסים זה לזה. החלוקה הזו היא זרה, כלומר כל שתי מחלקות הן שוות או זרות זו לזו. פירוט טוב יותר, עם דוגמאות, ניתן למצוא כרגיל בויקיפדיה. חיים רוזנר (שיחה) 18:26, 1 בדצמבר 2013 (EST)
תרגיל 5 שאלה 1 א'
על מנת למצוא את כל המחלקות הימניות של H ב-G, עליי לקחת את האיבר הראשון ב-G, ולכפול אותו בכל איברי H. זו תיהיה מחלקה ראשונה.
לאחר מכן, לקחת את האיבר השני ב-G ולכפול אותו בכל איברי H. זו תיהיה המחלקה השנייה.
לאחר מכן, לקחת את האיבר השלישי ב-G ולכפול אותו בכל איברי H. זו תיהיה המחלקה השלישית.
וכו'...
במידה וכך עושים את זה, אז במקרה של סעיף א', יהיו 20 מחלקות??
אמורים לרשום את כל המחלקות? אין דרך קצרה לעשות את זה?
הרי בסעיף ב' או ו' לא אסיים לפתור את השאלה בדרך שהצעתי כאן...יש אינסוף איברים גם ב-G וגם ב-H.
בסעיף א' שתיי החבורות סופיות.
- כידוע, בדרך כלל יש יותר מדרך אחת לרשום מחלקת שקילות (אלא אם H היא החבורה הטריוויאלית). המטרה כאן היא לרשום את כולן, על ידי מציאת קבוצת הנציגים שלהן. אם יש אינסוף מחלקות שקילות, כנראה שיש דרך נחמדה לרשום את כולן; אם יש מספר סופי אז יש מקום לעבודה קשה, עד לכיסוי של כל המחלקות השונות. חיים רוזנר (שיחה) 18:32, 1 בדצמבר 2013 (EST)
סדרים
איך מוכיחים את הטענה הבאה:
[math]\displaystyle{ G }[/math] חבורה.
[math]\displaystyle{ g\in G }[/math].
מניחים כי [math]\displaystyle{ o(g) }[/math] סופי.
צריך להוכיח:
[math]\displaystyle{ \left |\lt g\gt \right |=o(g) }[/math].
שאלה:
איך יתכן שמספר האיברים ב [math]\displaystyle{ \left |\lt g\gt \right| }[/math] הוא סופי?
הרי [math]\displaystyle{ \lt g\gt }[/math] מוגדרת להיות :
[math]\displaystyle{ \lt g\gt ={g^0,g^1,g^2,g^3,g^4,......g^{-1},g^{-2},g^{-3},g^{-4},....} }[/math].
כלומר זו קבוצה בעלת אינסוף איברים.
איך יתכן, ש-מספר האיברים ב [math]\displaystyle{ \left |\lt g\gt \right| }[/math] הוא סופי?..הרי הרגע הראיתי שזו קבוצה עם אינסוף איברים ע"פ הגדרתה.
- יכול להיות שרשמת כאן איבר אחד יותר מפעם אחת, כפי שברציונליים מתקיים [math]\displaystyle{ \frac 1 2 =\frac 2 4 }[/math]. חיים רוזנר (שיחה) 18:34, 1 בדצמבר 2013 (EST)
עזרה בהוכחת המשפט הבא:
אם [math]\displaystyle{ G }[/math] סופית, אז לכל [math]\displaystyle{ g\in G }[/math] מתקיים ש-[math]\displaystyle{ o(g) }[/math] סופי.
ראיתי את תחילת ההוכחה ואת ההמשך לא הבנתי.
הוכחה:
נתבונן בסדרה: [math]\displaystyle{ g,g^2,g^3,g^4,.... }[/math].
מכיוון ש- [math]\displaystyle{ G }[/math] סופית, בשלב כלשהו קיימים [math]\displaystyle{ a,b\gt 0 }[/math] כך ש- [math]\displaystyle{ g^a=g^b }[/math] .
בלי הגבלת הכלליות נניח ש-a<b , אז: [math]\displaystyle{ g^b=g^ag^{b-a} }[/math].
איך אני ממשיך מפה ומסיים את ההוכחה???
- בהמשך אתה מציב את שתי הנוסחאות האחרונות שמצאת זו בזו. נזכיר כאן שהטענה שסדר של איבר g הוא סופי היא שקולה לטענה שקיים מספר טבעי n כך ש-[math]\displaystyle{ g^n=e }[/math], כי אז יש n מינימלי כנדרש. חיים רוזנר (שיחה) 18:41, 1 בדצמבר 2013 (EST)
לגראנז'
אם G חבורה סופית, ו-H<=G תת חבורה אז |H|/|G| . זה מה שאומר המשפט.
משהו בהוכחה לא מובן לי...
ההוכחה הולכת כך:
נניח שיש m קוסטים משמאל. לכל קוסט יש |H| איברים.
מה שלא ברור לי, זה למה |G| לא שווה ל-m
(m זה כאמור מספר הקוסטים)
הרי מה זה קוסט? לוקחים איבר ב-G, וכופלים אותו בכל איברי H. מתקבלת קבוצה שמהווה קוסט אחד.
לוקחים איבר שני ב-G, כופלים אותו בכל איברי H. מתקבלת קבוצה שמהווה קוסט שני.
לוקחים איבר שלישי ב-G, כופלים אותו בכל איברי H. מתקבלת קבוצה שמהווה קוסט שלישי. . . . לוקחים איבר n ב-G, כופלים אותו בכל איברי H. מתקבלת קבוצה שמהווה את הקוסט ה-n.
. . . מספר הקוסטים באופן הזה, יוצא כמספר איברי G.
- יש לבדוק האם לא מנית כאן את אותה המחלקה יותר מפעם אחת. חיים רוזנר (שיחה) 18:54, 1 בדצמבר 2013 (EST)
טעות בתרגיל 5 שאלה 2
נכתב שם שצריך להוכיח:
[math]\displaystyle{ \forall h\in H, \forall g\in G, ghg^{-1}\in H \Leftrightarrow H\triangleleft G }[/math]
המשפט הזה נכון רק בכיוון הזה [math]\displaystyle{ \Leftarrow }[/math], הכיוון השני לא נכון. כלומר בהינתן ש [math]\displaystyle{ \forall h\in H,\forall g\in G, ghg^{-1}\in H }[/math] זה לא אומר ש-H היא תת חבורה נורמלית. אלא אם כן נתון מראש ש-H חבורה ולא סתם תת קבוצה של G.
לכן המשפט אמור להיות:
[math]\displaystyle{ H\leq G\wedge \forall h\in H, \forall g\in G, ghg^{-1}\in H \Leftrightarrow H\triangleleft G }[/math]
- נכון, דהיינו יש להוסיף בתחילת השאלה "נניח H ת"ח של G. הוכיחו כי..." חיים רוזנר (שיחה) 18:54, 1 בדצמבר 2013 (EST)
טעות בתרגיל 5 שאלה 6 סעיף ב'
צריך שם להראות: אם [math]\displaystyle{ H\lt G }[/math] כך ש: [math]\displaystyle{ S\lt H }[/math] אזי [math]\displaystyle{ H\triangleleft G }[/math]
כדוגמא נגדית אפשר לקחת למשל את [math]\displaystyle{ S_5 }[/math], להגדיר את [math]\displaystyle{ H=\left \{(23),(32),(1)\right \} }[/math] למשל כתת חבורה. עכשיו [math]\displaystyle{ S\lt H }[/math] אבל [math]\displaystyle{ H }[/math] לא תת"ח נורמלית.
- האם חשבת את S, כל הקומוטטורים? לדעתי במקרה שלך לא מתקיים [math]\displaystyle{ S\lt H }[/math]. מעבר לכך, למיטב הבנתי רשמת ב-H את אותו האיבר פעמים (כי [math]\displaystyle{ (23)=(32) }[/math] בכתיב מחזורים). אולי לא הבנתי את דבריך כראוי, ואינך משתמש בכתיב מחזורים. אינני מבין את הסתירה כהוגן. חיים רוזנר (שיחה) 18:54, 1 בדצמבר 2013 (EST)
- טוב, עכשיו אני לא בטוח שהבנתי את הדרישה, תקן אותי אם אני טועה: צריך להוכיח שאם יש לי חבורה G ולה יש תת חבורה H, אז אם S היא תת חבורה של H, זה גורר ש-H נורמלית ב-G.
- אם אכן ניסחתי נכון את הדרישה - אז אני לא מבין איך טענה כזאת יכולה להיות נכונה?
- נגזר מהטענה הזאת שכל תת חבורה היא נורמלית.
- הרי תת חבורת הקומוטטורים זו תת חבורה שאני יכול להגדיר על כל חבורה/תת חבורה. (אני פשוט לוקח כל שני איברים [math]\displaystyle{ x,y }[/math] בתת"ח נתונה H, ומגדיר איבר חדש [math]\displaystyle{ x^{-1} y^{-1}xy }[/math]). במקרה הכי גרוע שבו החבורה המקורית שלי אבלית - אני אקבל ש-S טריוויאלית (אבל אז ברור ש-H נורמלית).
- אז מה, כל תתי החבורות הן נורמליות?
- יש לשים לב לניסוח השאלה. נתונה חבורה [math]\displaystyle{ G }[/math] ומגדירים תת־חבורה ספציפית שלה [math]\displaystyle{ S }[/math] (שבמקרה יש לה גם שם מיוחד, תת־חבורת הקומוטטור). כעת נמשיך לפי מה שאמרת: "אם [math]\displaystyle{ S }[/math] היא תת חבורה של [math]\displaystyle{ H }[/math], זה גורר ש-[math]\displaystyle{ H }[/math] נורמלית ב-[math]\displaystyle{ G }[/math]".
- כנראה מה שצריך לשים לב שמגדירים את [math]\displaystyle{ S }[/math] לפי [math]\displaystyle{ G }[/math]. למשל, כפי שכתבת במקרה הכי גרוע (יש כאלו שיאמרו הכי טוב) שבה [math]\displaystyle{ G }[/math] היא חבורה אבלית, אזי [math]\displaystyle{ S }[/math] טריוויאלית ואז כל תת־חבורה [math]\displaystyle{ H }[/math] של [math]\displaystyle{ G }[/math] היא נורמלית. אכן, הערנו בכיתה כי כל תת־החבורות של חבורה אבלית הן נורמליות.
תרגיל 5 שאלה 1ב'
ראיתי ש [math]\displaystyle{ [\mathbb{Z}:n\mathbb{Z}]=n }[/math]. האם בכלליות [math]\displaystyle{ [m\mathbb{Z}:n\mathbb{Z}]=\frac{m}{n} }[/math]?
- זה תרגיל יפה. אולי ניתן אותו בתרגיל בית 6? עד אז אני יכול לומר שצריך כמובן לוודא שאנו עוסקים כאן בת"ח, ולכן לא כל m ו-n יקיימו זאת. חיים רוזנר (שיחה) 18:54, 1 בדצמבר 2013 (EST)