שינויים
/* אחוז ציון התרגיל */
{{הוראות דף שיחה}}
=ארכיון=
[[שיחה: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 שיעור חזרה היום ==
== שאלה ==
האם בחבורה, או חבורה אבלית, מתקיים a^n<math>Un~=b^Z_\phi(n =)</math> a=b, והאם אפשר/צריך להוכיח את זה? תודה מראש: (הכוונה היא שחבורת ההפיכים של Zn איזו'''לא מתרגל'''לZ של פי (פונקצית אוילר) הטענה אינה נכונה. הדוגמא הכי טובה לכך היא החבורה של המרוכבים ללא האפס, תחת הכפל (או אפילו אומגה n),: עבור שני שורשי יחידה '''שונים''', חזקתם ב-n כאשר n הוא סדר שורש היחידה יהיה פשוט 1. כלומר, a^n = b^n = 1, : אך ממש לא a = b. שים לב שהחבורה שציינתי היא אף אבלית, אז זה באופן כללי סותר את הטענה.: מקווה שעזרתי ;)לפחות אולי לn ראשוני? תודה!
== שיעור חזרה עם המרצה ==
האם אוטומורפיזם כלשהו על Sn שומר על סימן תמורה? כלומר: <math>\forall f \in Aut(S_n), \alpha \in S_n : sign(\alpha) ==תרגיל 2 שאלה 5 א' ==sign(f(\alpha))</math>ההעתקה מעבירה בין איזה קבוצות ומה בדיוק זה אומר " תודה מראש! ::בהחלט! יש לא מוגדרת היטב " ?מעט אוטומורפיזמים כאלה.קודם כל - אוטומורפיזם הזהות. או למשל: אוטומורפיזם ההצמדה (הוא שומר על מבנה המחזורים ולכן שומר גם על הסימן) --[[משתמש: לואי פולב| לואי]]::: תודה, אך את זאת ידעתי כבר קודם. השאלה שלי הייתה האם '''לא מתרגלכל'''אוטומורפיזם כללי הוא בהכרח שומר סימן, אלא אם כן התכוונת שכל אוטומורפיזם שומר סימן (והדוגמאות היו כדי להסביר) בתרגול הראו לנו כי ההעתקה ההפיכה בין קבוצת הקוסטים השמאליים לימניים היא . ::אז ככה, זה מה שאני יודעת: עבור <math>n \neq 2,6</math> מתקיים <math>Aut(S_n)=Inn(S_n)</math>, ז"א יש רק את האוטומורפיזמים של ההצמדה (ואז הם שומרים סימן). אבל אני לא הטריוויאלית xH ממש בטוחה מה קורה ב-<math> Hx אלא xH -S_6</math> Hx^, לא קופץ לי לראש כרגע... שווה לבדוק :)-1-[[משתמש:לואי פולב|לואי]]::: אשמח להוסיף כאן עוד שאלה שנתקלתי בה, מסיבה מסוימת(ובזמן שניסיתי להוכיח אותה עלה בראשי השאלה לגבי שמירת סימן), והסיבה היא שההעתקה הטריוואלית לא מוגדרת היטבלהוכיח שכל אוטומורפיזם על Sn שולח חילוף אל חילוף.יש לי עוד שאלה נוספת לגבי שאלה שמצאתי, אשמח אם אוכל לשאול אותך זאת: מז"א לא מוגדרת היטב:: באי-מייל, מה האי-מייל שלך? שהיא לא חד ::זה רשום בדף המשתמש שלי :) -ערכית-[[משתמש:לואי פולב|לואי]]::: תודה מראש ;) : ברור שאוטומורפיזם של הצמדה שומר על הסימן (כי הוא שומר על חילופים). כפי שלואי כתבה, כלומרכל אוטומורפיזם של החבורה הסימטרית, פרט למקרה n=6, הוא פנימי (במקרה n=6 המנה של חבורת האוטומורפיזמים ביחס לפנימיים היא מסדר 2:יש 1440 אוטומורפיזמים, מחציתם פנימיים), ולכן זה פותר את הבעיה - אבל כדי להוכיח את המשפט הזה (שכל האוטומורפיזמים פנימיים) צריך להראות שאין עוד מחלקה בגודל של מחלקת החילופים, וזה דורש קומבינטוריקה לא טריוויאלית.: x1 אפשר להוכיח את הטענה הכללית (כל אוטומורפיזם שומר על הסימן) באופן הבא. החילופים צמודים זה לזה; לכן גם התמונות שלהם צמודות זו לזו. אם התמונה של חילוף היתה זוגית, ממילא היו כל התמורות עוברות לתמורות זוגיות, אבל אז ההעתקה אינה על החבורה. לכן התמונה של (כל) חילוף היא אי-זוגית. מכאן שהזוגיות של התמונה של מכפלת חילופים שווה לזוגיות של המכפלה עצמה. [[משתמש:עוזי ו.|עוזי ו.]] 15:29, 4 באוקטובר 2011 (IST) = x2 = טעות בתשובה בתרגיל 2 == בתרגיל 2 שאלה 2 א', חישבו את פי של 102=2*51. כתוב שפי של 51 זה 50 אבל 51=17*3 (לא ראשוני)לכן התשובה בתרגיל צריכה להיות 32 ולא 50 [[משתמש: fx1 חופית|חופית]] כמובן, תודה!בשנה הבאה כבר יהיה מתוקן :) --[[משתמש:לואי פולב|לואי]] == מתי יעלו פתרונות למבחן? == fx2. (כותרת) עובדים על זה! ואגב, זה יהיה הרבה יותר מהיר אם יהיו מתנדבים לכתיבת הפתרונות : מקווה שעזרתי;)[[משתמש:לואי פולב|לואי]]:אם היינו יודעים איך לפתור לא היינו מבקשים פתרונות :P
== תרגיל 2, שאלה 4, סעיף 2 אחוז ציון התרגיל ==