שינויים
/* אחוז ציון התרגיל */
{{הוראות דף שיחה}}
=ארכיון=
[[שיחה:88-211 אלגברה מופשטת קיץ תשעא/ארכיון 1|ארכיון 1]]
=שאלות=
== תרגיל 1, 4 שאלה 2, סעיף ה 3 ==
2)סימטריות של הריבוע =סיבובים?תודה:1) לא נתונה g ספציפית, לכן הכוונה לנקודת שבת "של החבורה" (ליתר דיוק, של הפעולה), כלומר איבר x ב-X שנשאר במקום ע"י כל איברי g ב-G.:2) סיבובים ושיקופים. [[משתמש:דורון פרלמן|דורון פרלמן]] 08:16, 30 באוגוסט 2011 (IDT)::תודה = מערכת שעות למחר 8= שאלה == ב Sn, טיפוסי המחזורים הבאים: (--)(---) ו- (---)(--) נחשבים טיפוסים שונים, או זהים? תודה!:זהים: כי מחזורים זרים מתחלפים. [[משתמש:דורון פרלמן|דורון פרלמן]] 10:39, 30 באוגוסט 2011 (IDT)::תודה! == תרגיל 4 - שאלת בונוס 2 == בשאלת הבונוס השניה בתרגיל 4, מה זה בדיוק [G,G] ו-[G,A]? תודה מראש!;): אלו חבורות הקומוטטורים. אם G היא חבורה ו-A,B תת-חבורות שלה, אז <math>\ [A,B]</8 math> היא תת-החבורה של G הנוצרת על-ידי כל הקומוטטורים <math>\ [a,b] = aba^{-1}b^{-1}</math> עבור <math>\ a\in A, b\in B</math>. שימו לב שבאופן כללי, לא כל איבר של <math>\ [A,B]</math> הוא קומוטטור. [[משתמש:עוזי ו.|עוזי ו.]] 13:36, 30 באוגוסט 2011 (IDT) == בקשר לשאלה 11 == האם מתקיים ש exp(G)= lcm({ O(g)|g in G }) zzz? זה לפחות מתקיים בחבורה Sn? תודה!:הטענה נכונה. בכל חבורה סופית האקספוננט הוא ה-lcm של סדרי כל האיברים (בפרט ב-Sn). נסו להוכיח זאת. [[משתמש:דורון פרלמן|דורון פרלמן]] 08:42, 1 בספטמבר 2011 (IDT)::צריך להוכיח זאת לצורך התרגיל? תודה.:::לא, אתם יכולים פשוט להשתמש בזה. אני כן ממליץ (בלי קשר לתרגיל) לנסות להבין למה זה נכון. [[משתמש:דורון פרלמן|דורון פרלמן]] 13:26, 1 בספטמבר 2011 (IDT)::::תודה! == כמה שאלות לגבי שאלה 6 == 1. הכוונה (ב-ב.) היא שצריך להוכיח שקיים אפימורפיזם מZ^m לG, נכון?2. אני יכול לטעון שקבוצה מסוימת יוצרת את Z^m בלי להוכיח את זה?3. זה טריויאלי להשתמש בעובדה שניתן להגדיר הומומורפיזם ע"י שליחת יוצר בקבוצה אחת ליוצר בקבוצה אחרת?תודה!== שאלה 7 סעיף ב' == מה זה G' ?: ('''לא מתרגל''') חבורה הנוצרת ע"י כל הקומוטטורים ב-G. למדנו זאת בחלק נרחב מהתרגול, קשה לי להאמין שלא נתקלת בזה.: מקווה שעזרתי;) == סיכומים (של סטודנטים) לקורס זה ==
שלום רב,
כפי שנעשה בקורסים האחרים באתר זה (כגון:ההרצאה תסתיים ב[[88-13:00236 תשעא סמסטר קיץ|אינפי 4]]), והתרגול יתחיל ב13:30 ויסתיים לקראת 16:15.-העליתי סיכומים של הקורס (שכתבו סטודנטים שלמדו בו) לדף השיחה שלי -ממש [[משתמש: לואי פולבGordo6/סיכומים אלגברה מופשטת 1|לואיכאן]]תוך הוספת הערה שאלו סיכומים שנכתבו על ידי הסטודנטים, ולכן כמובן שאין התחייבות של המרצים ו/או המתרגלים לתקינותם.
== תרגיל 2 - שאלת הבונוס בקשה ==
== תרגיל 7 שיעור חזרה היום ==
:: זה אכן איזומורפי ל-<math>X_2</math>. אנסה להבהיר את זה עם דוגמא. נתבונן ב- <math>G=\mathbb{Z}_4 \times \mathbb{Z}_2</math>, ותהי <math>H= שאלה \mathbb{Z}_4 \times \{0\}</math>. כעת נתבונן בקוסטים של <math>H</math>:: <math>(0,0)+H=H</math>:<math>(1,0)+H=H</math>:...:למעשה: <math>(a,0)+H=H</math>.:כעת, מה קורה אם יש 1 במקום השני?:<math>(0,1)+H= \mathbb{Z}_4 \times \{1\}</math>:וקל לראות כי::<math>(a,1)+H=\mathbb{Z}_4 \times \{1\}</math>.:לכן יש רק שני קוסטים, ואכן קבוצת המחלקות של <math>H</math> איזומורפית ל-<math>\mathbb{Z}_2</math>.:אותו הדבר בדיוק קורה בתרגיל המדובר. נסו לחשוב מהו האיזומורפיזם המפורש שעושה את העבודה. --[[משתמש:לואי פולב|לואי]]
ותוכלו להסביר את הפתרון? (למשל למה ידוע ש <math>|[a]_H|=[H:C_H(a)]</math>).
ידוע את זה לגבי כל חבורה, בפרט עבור <math>H</math>.
: בתרגיל 4(http://math-wiki.com/images/3/39/Solution4abstractalgebra2011.pdf), שאלת בונוס 2, למה G/K אבלית <-> [G,G] מוכל בK? למה G=<A,x>?תודה רבה! :: זאת שאלה חשובה. טענה: תהי <math>G</math> חבורה כלשהי ותהי <math>N</math> תת חבורה נורמלית של <math>G</math>. אזי <math>G/N</math> אבלית אם ורק אם <math>G'\subseteq N</math>.::הוכחה: נוכיח את הכיוון הלא טריוויאלי. נניח ש- <math>G/N</math> אבלית. צריך להוכיח כי<math>G''לא מתרגל''') "קוסט בלונדיני\subseteq N</math>. אז נניח בשלילה שלא. כלומר, עם איבר הפיך" לדוגמאקיים קומוטטור שלא שייך ל-<math>N</math>.זאת אומרת, קיימים <math>a,b \in G</math> כך ש- <math>[a,b]=aba^{-1}b^{-1} \notin N</math>.או.קיי. אבל <math>G/N</math> אבלית ולכן מתקיים לכל <math>a,b \in G</math>: :הכוונה לרשום מה הם:<math>[aN,bN]=N</math>, אבל, <math>[aN,bN]=aNbNa^{-1}Nb^{-1}N=aba^{-1}b^{-1}N=N</math> ואז מקבלים ש-<math>aba^{-1}b^{-1} \in N</math>, בסתירה להנחה שלנו. לכן חבורת המנה היא אבלית אם ורק אם <math>N</math> מכילה את חבורת הקומוטטורים. --[[משתמש:דורון פרלמןלואי פולב|דורון פרלמןלואי]] 02:12, 14 באוגוסט 2011 (IDT)::תודה על התשובות! ==תרגיל 2 [[מדיה: AAexam2004B.pdf|מבחן 2004 מועד ב]] שאלה 5 א' 6א ==ההעתקה מעבירה בין איזה קבוצות ומה בדיוק זה אומר " לא מוגדרת היטב " ?השאלה היא: ("בעזרת משפט ברנסייד מצא מספר ריבועים '''לא מתרגלשקולים'''עד כדי סיבובים ושיקופים אם מותר לצבוע את הקודקודים בשני צבעים קבועים".האם אפשר למצוע את מספר הריבועים השקולים (כפי שלמדנו לעשות בעזרת הלמה של ברנסייד) בתרגול הראו לנו כי ההעתקה ההפיכה בין קבוצת הקוסטים השמאליים לימניים היא לא הטריוויאלית xH -> Hx אלא xH -> Hx^-1, מסיבה מסוימתואז לקחת את מספר כלל האפשרויות, והסיבה היא שההעתקה הטריוואלית לא מוגדרת היטבלחסר ממנו את מספר הצביעות השקולות שמצאנו ולקבל את מספר הצביעות הלא שקולות?תודה מראש, [[משתמש:gordo6|גל.]] : מז"א :לא מוגדרת היטב? שהיא לא חד, כי משפט ברנסייד בעצמו מספק את התשובה הדרושה. לפי משפט ברנסייד אנחנו מוצאים את מספר המסלולים של פעולת החבורה. בכל מסלול -ערכיתאיברי המסלול הם שקולים אחד לשני, כלומרמצד שני, שני איברים ממסלולים שונים - לא יהיו שקולים. לכן למצוא את מספר המסלולים משמע למצוא את מספר הצביעות '''השונות''', או את מספר הריבועים '''הלא שקולים''' (במקרה של השאלה הנ"ל). [[משתמש:לואי פולב|לואי]]: x1 = x2 אבל נ.ב. מצאתי עוד מבחנים נוספים של פרופ' מגרל שלא העלתם, אז העלתי אותם לדף המבחנים.: fx1 :נהדר, תודה!:) [[משתמש:לואי פולב|לואי]] == שאלה == fx2.: מקווה שעזרתי;האם מתקיים <math>Un~=Z_\phi(n)</math> (הכוונה היא שחבורת ההפיכים של Zn איזו' לZ של פי (פונקצית אוילר) של n), לפחות אולי לn ראשוני? תודה! ::נכוןאני לא בטוחה שהבנתי את השאלה, אבל על פי '''ההגדרה''': חבורת אוילר <math>U_n</math> היא חבורת האיברים ההפיכים של <math>\mathbb{Z}_n</math>. ובימילים אחרות : העניין הוא שכאשר יש פונקציה בין מחלקות שקילות, ומגדירים אותה :האם זה עונה על נציגיםהשאלה?..--[[משתמש:לואי פולב|לואי]] :::אני די בטוח שהשאלה פה היא האם חבורת אוילר מסדר n כלשהו איזו' לZ של פי של אן (כלומר לחבורת מודולו פי אן - כאשר פי אן היא פונקציית אוילר או במילים אחרות העוצמה של חבורת אוילר). התשובה לזה, צריך לבדוק שהיא מוגדרת היטב כמובן, קשורה לשאלה האם חבורת אוילר היא ציקלית (זכור משהו כזה מבדידה?שכן האיזו ששאלת עליו יקרה אם"ם היא ציקלית) כלומר שלא משנה איזה נציג במחלקה נבחר. עם זאת לא כל חבורת אוילר היא ציקלית - למשל U_20. עם זאת, נגיע לאותה תוצאהחבורות אבליות הן אבליות ולכן ניתנות לפירוק למכפלה של חבורות ציקליות. מקווה שעזרתי, [[משתמש:דורון פרלמןgordo6|דורון פרלמןגל.]] 02 == שיעור חזרה עם המרצה == מתי ואיפה הוא יתקיים?תודה!:12ראה מייל שפרופ' מגרל שלח לי לגבי זמן השיעור, 14 באוגוסט 2011 (IDT)מיקומו ומטרותיו. [[משתמש:gordo6|גל]]."השיעור יתקיים ביום ראשון ב 2 לאוקטובר בשעה 16:00חדר המחלקה אחד מהאופציות אבליתכן שיהיה שינוי חדר באותו יום אני מתכוון לדבר קצת על החומר -- לסכם כמה דבריםואם יש לכם שאולות לגבי המשפטיםלמשל אם משהו לא ברור בהוכחה זאת המטרה של השיעור" == שאלה - אוטומורפיזמים ב-Sn ==
::אז ככה, זה מה שאני יודעת: עבור <math>n \neq 2,6</math> מתקיים <math>Aut(S_n)== תרגיל 3 Inn(S_n)</math>, ז"א יש רק את האוטומורפיזמים של ההצמדה (ואז הם שומרים סימן). אבל אני לא ממש בטוחה מה קורה ב- <math>S_6</math>, לא קופץ לי לראש כרגע... שווה לבדוק :)--[[משתמש:לואי פולב|לואי]]::: אשמח להוסיף כאן עוד שאלה 10 סעיף ב' ==שנתקלתי בה, (ובזמן שניסיתי להוכיח אותה עלה בראשי השאלה לגבי שמירת סימן), להוכיח שכל אוטומורפיזם על Sn שולח חילוף אל חילוף. יש לי עוד שאלה נוספת לגבי שאלה שמצאתי, אשמח אם אוכל לשאול אותך זאת::: באי-מייל, מה האי-מייל שלך?
: ברור שאוטומורפיזם של הצמדה שומר על הסימן (כי הוא שומר על חילופים). כפי שלואי כתבה, כל אוטומורפיזם של החבורה הסימטרית, פרט למקרה n=6, הוא פנימי (במקרה n= שאלה 7 ==6 המנה של חבורת האוטומורפיזמים ביחס לפנימיים היא מסדר 2: יש 1440 אוטומורפיזמים, מחציתם פנימיים), ולכן זה פותר את הבעיה - אבל כדי להוכיח את המשפט הזה (שכל האוטומורפיזמים פנימיים) צריך להראות שאין עוד מחלקה בגודל של מחלקת החילופים, וזה דורש קומבינטוריקה לא טריוויאלית.: אפשר להוכיח את הטענה הכללית (כל אוטומורפיזם שומר על הסימן) באופן הבא. החילופים צמודים זה לזה; לכן גם התמונות שלהם צמודות זו לזו. אם התמונה של חילוף היתה זוגית, ממילא היו כל התמורות עוברות לתמורות זוגיות, אבל אז ההעתקה אינה על החבורה. לכן התמונה של (כל) חילוף היא אי-זוגית. מכאן שהזוגיות של התמונה של מכפלת חילופים שווה לזוגיות של המכפלה עצמה. [[משתמש:עוזי ו.|עוזי ו.]] 15:29, 4 באוקטובר 2011 (IST)
== פירוק חבורות אבליות אחוז ציון התרגיל ==