Math-Wiki - תרומות המשתמש [he]

שיחה:88-341 תשעג סמסטר א

2013-01-29T18:21:53Z

Linealg: /* סיכומי הרצאות ותרגולים */

{{הוראות דף שיחה}}

=שאלות=

== סיכומי הרצאות ותרגולים ==

אני מסכם את ההרצאות של ד"ר הורוביץ ואת תרגוליו של מיכאל טויטו. את ההרצאות ניתן למצוא [http://www.studenteen.org/modern_analysis.pdf כאן], ואת סיכומי התרגולים ניתן למצוא [http://www.studenteen.org/modern_analysis_exercises.pdf כאן].
בהצלחה!
 
תרגול החזרה של היום: [http://www.studenteen.org/last_recitation.pdf כאן]. לצערי מכיל מספר טעויות ודברים חסרים, אך אין לי הזמן לתקן זאת. אתם מוזמנים גם להשתמש בדף פתרונות המבחנים שכבר הועלה כאן.

== תרגיל 1 שאלה 4 ==

למה הכוונה בקבוצה לא מדידה? תודה.

: האמת שראיתם בהרצאה דוגמא, אבל עוד לא הגדרנו את זה בדיוק ולא יהיה הוגן לשאול על זה... שאלה 4 מבוטלת.
: לשאלתך: זוהי קבוצה שמונעת מהתכונות הרצויות למידה להתקיים. --[[משתמש:Michael|Michael]] 20:09, 1 בנובמבר 2012 (IST)
:: עכשיו אני נזכר בזה... מצד שני, בהרצאה לא ממש קראנו לזה לא מדידות, אלא אמרנו שיש מקרים שלא יתקיימו כל התכונות, ולכן נגדיר קבוצה מדידה לפי לבג. בכל מקרה, תודה.
::: אני מבין ששאר השאלות ברורות?

== תרגילים נוספים לדוגמה ==

שלום. היכן ניתן לראות תרגילים לדוגמה עם פתרונות , מעבר למה שמתרגלים בכיתה ,לנושאים שנלמדו?
:שלום. אני בטוח שבספרים על תורת המידה או אנליזה ממשית יש שאלות פתורות (צריכים להיות כמה כאלו בספריה). --[[משתמש:Michael|Michael]] 20:08, 3 בנובמבר 2012 (IST)

שלום האם ניתן לומר שסיגמה מ 1 ועד אינסוף של קבוע כפול קבוצה המוכלת ב R ,הוא הקבוע כפול הסיגמה של הקבוצה?
: משהו לא מסתדר כאן. אין כוונה לסכום טורים של קבוצות. אם תוכלי לרשום זאת בכתיב מתמטי זה יעזור לי. --[[משתמש:Michael|Michael]] 10:52, 4 בנובמבר 2012 (IST)
האם מכאן נובע שקבוע כפול המידה של הקבוצה שווה למידה של הקבוע כפול הקבוצה?
: גם כאן אשמח לראות משוואות. אבל נראה לי שזאת שאלה שאסור לי לענות עליה. --[[משתמש:Michael|Michael]] 10:52, 4 בנובמבר 2012 (IST)
הסגור של הקטע הפתוח (a,b) הוא הקטע הסגור [a,b] האם הסגור של קבוצת הרציונליים בקטע (3,4] הוא הקטע הסגור [3,4]?
: נכון. --[[משתמש:Michael|Michael]] 10:52, 4 בנובמבר 2012 (IST)

==שאלה בנוגע למידה==
אם פונקציה חיובית <math>\mu</math> שמתאפסת על הקבוצה הריקה ומקיימת שלכל סדרה מתכנסת <math>(A_n)_{n=1}^{\infty}</math> מקיימת:

<math>\mu(\lim_{n \rightarrow \infty} A_n) = \lim_{n \rightarrow \infty} \mu(A_n)</math>
האם <math>\mu</math> כזו היא מידה? (ז"א האם היא <math>\sigma</math>-חיבורית?).
: איך את/ה מגדיר/ה התכנסות של סדרת '''קבוצות'''? --[[משתמש:Michael|Michael]] 15:03, 18 בנובמבר 2012 (IST)

:: מגדירים גבול עליון כקבוצת כל האיברים שנמצאים באינסוף סדרות וגבול תחתון כקבוצת כל האיברים
:: שנמצאים החל מאינדקס מסוים בכל הסדרות, ז"א:
:: <math>\limsup_{n \rightarrow \infty} A_n = \bigcap_{n=1}^{\infty} \bigcup_{m=n}^{\infty} A_m</math>
:: <math>\liminf_{n \rightarrow \infty} A_n = \bigcup_{n=1}^{\infty} \bigcap_{m=n}^{\infty} A_m</math>
:: סדרה מתכנסת אם הגבול העליון שווה לתחתון (וערכם גם תהיה קבוצת הגבול). כרגיל גבול של סדרת קבוצות עולה הוא האיחוד ושל יורדת החיתוך. ז"א שאם <math>\mu</math> סגורה לגבולות אז היא גם סגורה לאיחודים וחיתוכים בני-מנייה. אבל האם יש לזה קשר לחיבוריות?
::: ראשית אציין שלא כל מידה זוכה לקיים תכונה זו: למשל מידת לבג <math>m</math> על <math>(\mathbb{R},\mathcal{L})</math>, עם סדרת הקבוצות <math>A_n=(n,\infty) \rightarrow \empty</math>. אני יכול להוכיח שאם <math>\mu</math> היא חיבורית '''סופית''', כלומר <math>\mu \left( \bigcup_{n=1}^N A_n \right)=\sum_{n=1}^N \mu(A_n)</math> עבור קבוצות זרות בזוגות, ומקיימת את הדרישה שלך אזי היא תהיה גם <math>\sigma</math>-חיבורית:

:::<math>\mu \left( \bigcup_{n=1}^\infty E_n \right)=\mu \left( \lim_{N \to \infty} \bigcup_{n=1}^N E_n \right)=\lim_{N \to \infty} \mu \left( \bigcup_{n=1}^N E_n \right)</math>

:::ועכשיו על פי חיבורית זה שווה ל <math>\lim_{N \to \infty} \sum_{n=1}^N \mu\left(E_n\right)</math> - וזוהי בדיוק ההגדרה של הטור האינסופי <math>\sum_{n=1}^\infty \mu \left( E_n \right)</math>

::: אני חושב שבלי חיבוריות סופית אין תוצאה, אבל ליתר בטחון כדאי לשאול את ד"ר הורוביץ. --[[משתמש:Michael|Michael]] 14:55, 21 בנובמבר 2012 (IST)

::: כן. למשל, פונקציה <math>\mu \equiv c</math> קבועה מקיימת את הנ"ל ואינה מידה, וכן אפשר להגדיר פונקציה שתהיה קבועה על אוספי קבוצות זרות וגם לדאוג שתקיים את השמירה על הגבול ולא תהיה מידה.

== תרגיל 4 שאלה 2א ==

גם שם אני רשאי להניח שהשיטות לחישוב אינטגרלים מאינפי עובדות? תודה.
: אין חובה לדרוש זאת, אבל אילו שיטות אתה צריך? --[[משתמש:Michael|Michael]] 19:49, 22 בנובמבר 2012 (IST)
::למשל המשפט היסודי (בעקרון אני לקחתי פונקציה שהיא חלקה למקוטעין, אך רציפה, ומורכבת מפונקציה קבועה וישר, ואז אני צריך לחשב את האינטגרל לחלק של הישר).
::טוב, אני כבר מבין שהסתבכתי (ושאין צורך בדרישה כזו, אם לוקחים פונק' רציפה למקוטעין כמו שהצעת). אעדכן בפתרונות שלי. תודה שוב.

== תרגול ==

ביום ה 13/12 יש תרגול כרגיל? תודה.

:יהיה תרגול חזרה, כלומר נפתור תרגילים מייצגים על החומר שראינו עד כה. (לא נמשיך מעבר למשפט ההתכנסות הנשלטת של לבג). --[[משתמש:Michael|Michael]] 01:31, 11 בדצמבר 2012 (IST)

== תרגיל 6, שאלה 3, סעיף א ==

על איזו קבוצה צריך לחשב את האינטגרל של הסדרה האינטגרבילית? <math>\mathbb N</math> או כל קבוצה ב־<math>\mathcal P(\mathbb N)</math>? תודה, [[משתמש:אור שחף|אור שחף]][[שיחת משתמש:אור שחף|שיחה]] 19:30, 19 בדצמבר 2012 (IST)
: <math>\mathbb{N}</math> --[[משתמש:Michael|Michael]] 21:37, 19 בדצמבר 2012 (IST)
:ובאותה שאלה, לא זכור לי שלמדנו באף קורס איך לחשב את <math>\sum_{n=1}^\infty \frac1{n^2}=\zeta(2)</math> (ו[http://he.wikipedia.org/wiki/%D7%91%D7%A2%D7%99%D7%99%D7%AA_%D7%91%D7%96%D7%9C לפי ויקיפדיה], לקח כמעט 100 שנה לפתור את זה). איך אמורים לחשב את האינטגרל? [[משתמש:אור שחף|אור שחף]][[שיחת משתמש:אור שחף|שיחה]] 22:27, 19 בדצמבר 2012 (IST)
: אתה צודק, אפשר להשאיר את התשובה בצורה של טור, בלי לחשב את הסכום שלו. שים לב שמדובר בטור '''מתחלף'''. --[[משתמש:Michael|Michael]] 00:07, 20 בדצמבר 2012 (IST)

== קבוצת קנטור ==

האם ניתן לרשום את Ck כאיחוד של הקטעים הבאים?
<math>\left \{ \left [ \frac{2n}{3^k},\frac{2n+1}{3^k} \right ] \mid n\in \mathbb{N} \wedge \frac{2n}{3^k}\in C \right \}</math>

או שיש דרך יותר סימפטית לתאר את Ck כאיחוד קטעים סגורים?

:על פניו נראה שהנוסחה שלך עובדת. אבל שים לב שאתה מתאר את (שלבי) קבוצת קנטור ע"י קבוצת קנטור. חיפשתי קצת באינטרנט ובוויקפדיה יש [http://en.wikipedia.org/wiki/Cantor_set נוסחה מעניינת], אבל הקטעים שם לא זרים. לא מצאתי נוסחה מפורשת לקצוות הקטעים של <math>C_k</math>. --[[משתמש:Michael|Michael]] 21:37, 25 בדצמבר 2012 (IST)

== לגבי תרגיל 8 שאלה 1 ==

למה???
: אני חושב שתרגיל חישובי אחד יעזור לתפוס את המושג של השתנות. חוץ מזה לא עשיתם את "שימושי מחשב" לחינם! --[[משתמש:Michael|Michael]] 14:45, 28 בדצמבר 2012 (IST)
::אז מותר לכתוב בכל סעיף "פתרתי ב-Mathlab והתוצאה הסופית היא ..."? ואם לא, מה אם אנחנו מציגים את הקוד? [[משתמש:אור שחף|אור שחף]][[שיחת משתמש:אור שחף|שיחה]] 21:29, 30 בדצמבר 2012 (IST)
::: מותר לכתוב "פתרתי במטלב וכו'...". ומבחינתי אתה יכול לעשות את זה גם עם מחשבון casio אם יש לך כח. --[[משתמש:Michael|Michael]] 11:59, 31 בדצמבר 2012 (IST)

== תרגיל 9, שאלה 3 ==

מיכאל, כתבת שיש לחשב את <math>\int\limits_0^b \int\limits_0^\infty e^{-xy} \sin(x) \mathrm dy \mathrm dx </math> בשתי דרכים שונות. הכוונה שצריך להגיע פעמיים לתוצאה מפורשת או להגיע פעם אחת ל־<math>\int\limits_0^b\frac{\sin(x)}x\mathrm dx</math> ופעם שנייה לתוצאה מפורשת? תודה, [[משתמש:אור שחף|אור שחף]][[שיחת משתמש:אור שחף|שיחה]] 18:32, 4 בינואר 2013 (IST)
: שלום אור. חישוב האינטגרל בשתי דרכים שונות הוא רק שלב ביניים. אתה רשאי לפעול איך שתרצה, העיקר הוא שתוכל להגיע לגבול המבוקש. --[[משתמש:Michael|Michael]] 17:42, 5 בינואר 2013 (IST)

== תרגיל 10, שאלה 1 ==

האם צריך לבחור באותו ממ״ח להוכחה ש־<math>L^r\not\subseteq L^p</math> וש־<math>L^p\not\subseteq L^r</math>? כלומר, האם מספיק להוכיח ש־<math>L^p(X,\mathcal S,\mu)\not\subseteq L^r(X,\mathcal S,\mu)</math> וש־<math>L^r(Y,\mathcal T,\nu)\not\subseteq L^p(Y,\mathcal T,\nu)</math> כאשר <math>(X,\mathcal S,\mu)\ne(Y,\mathcal T,\nu)</math>? [[משתמש:אור שחף|אור שחף]][[שיחת משתמש:אור שחף|שיחה]] 19:23, 16 בינואר 2013 (IST)
: מותר לקחת שני ממ"ח שונים. --[[משתמש:Michael|Michael]] 22:08, 16 בינואר 2013 (IST)

== תרגול חזרה ==

הי מיכאל, בתרגול חזרה אתה מתכנן לפתור שאלות מהבחינות שאתה העלת לכאן? או דברים אחרים? אני שואל כדי שאדע מתי לעשות את הבחינות שהעלת. תודה מראש.
:שלום, התכנון הוא לפתור את כל השאלות (הרלוונטיות) מהמבחנים שבאתר. אם יישאר זמן אולי אחזור גם על התרגילים מהדף. --[[משתמש:Michael|Michael]] 19:46, 24 בינואר 2013 (IST)

== רציפות בהחלט של מידות ==

הגדרנו רציפות בהחלט של מידות? אם כן, תוכל להזכיר את ההגדרה? תודה.
: הגדרנו. מידה <math>\nu</math> נקראת רציפה בהחלט ביחס ל-<math>\mu</math> אם לכל <math>E</math> מדידה מתקיים <math>\mu(E)=0 \implies \nu(E)=0</math> --[[משתמש:Michael|Michael]] 20:12, 27 בינואר 2013 (IST)
:: תודה רבה.

== הגדרות ומשפטים ==

אפשר להזכיר את ההגדרה של מידה סינגולרית ומידה כללית? ומהם המשפטים של אפיון קבוצות מדידות u x v ? תודה!
: ראה [http://www.studenteen.org/modern_analysis.pdf כאן] עמודים 19 ו92. לגבי אפיון קבוצות מדידות: אני חושב שזה משפט 9.7 בעמוד 68 - אך כדאי לשאול את המרצה --[[משתמש:Michael|Michael]] 17:07, 29 בינואר 2013 (IST)

שיחה:88-341 תשעג סמסטר א

2012-11-01T16:56:36Z

Linealg: /* סיכומי הרצאות ותרגולים */

שיחה:88-341 תשעג סמסטר א

2012-10-30T19:43:18Z

Linealg: /* סיכומי הרצאות ותרגולים */ פסקה חדשה

{{הוראות דף שיחה}}

=שאלות=

== סיכומי הרצאות ותרגולים ==

אני מסכם את ההרצאות של ד"ר הורוביץ, אותן ניתן למצוא [http://www.studenteen.org/modern_analysis.pdf כאן]. את סיכומי התרגולים אעלה לכאן ברגע שיחלו התרגולים.
בהצלחה!

שיחה:88-222 טופולוגיה/סמסטר ב תשעב/נוביק

2012-02-27T12:19:02Z

Linealg: /* קומפקטיות */

{{הוראות דף שיחה}}

=שאלות=

== קומפקטיות ==

איך מוכיחים ש <math>[0,1]^\omega</math> קומפקטי בלי משפט טיכינוף
<math>\omega</math> מסמל קבוצה בת מניה

: לא מוקדם מידי בשביל זה? :P

שיחה:31-105 לוגיקה לפילוסופיה/סמסטר א תשעב

2011-12-31T23:23:59Z

Linealg: /* סיכום בקורס בלוגיקה מתמטית במדעי המחשב */ פסקה חדשה

{{הוראות דף שיחה}}

=שאלות=

== תרגיל לוגיקה ==

התרגיל הוא קריאה של טקסט בלבד?

::לא. יש לפתור את כל התרגילים האי-זוגיים בעמודים המצורפים. כאשר בכל תרגיל אתם נדרשים לזהות את ההנחות ואת המסקנות של הטיעונים. --[[משתמש: לואי פולב| לואי]]

==תרגיל 3==
הי לואי, נראה שהעמוד הראשון של התרגיל מחוק לא?

::הי, אצלי זה נראה בסדר גמור.. אולי תנסה להגדיל את הדף? ----[[משתמש:לואי פולב|לואי]] 20:20, 19 בנובמבר 2011 (IST)

== היי לואי ==

סליחה על ההצתה המאוחרת...
אבל הקובץ לא עולה לי
:(

לא משנה- הסתדרתי...
;)

הי לואי בתרגיל בעמ' 254, לינקולן נרצח פסוק אמיתי ווושינגטון נרצח זה שקרי נכון? או אולי כוונת התרגיל היתה אחרת?

תודה

::כן,זאת הייתה הכוונה --[[משתמש:לואי פולב|לואי]] 21:19, 6 בדצמבר 2011 (IST)

== סיכום בקורס בלוגיקה מתמטית במדעי המחשב ==

אהלן!

אני כותב סיכום של פרופ' דורון פלד בקורס בלוגיקה מתמטית 89-200, למי שרוצה ומתעניין, הסיכום נמצא [http://www.studenteen.org/Logics_Sikum.pdf כאן].

בהצלחה! ;-)

שיחה:88-211 אלגברה מופשטת קיץ תשעא

2011-10-12T00:38:16Z

Linealg: /* אחוז ציון התרגיל */

{{הוראות דף שיחה}}

=ארכיון=
[[שיחה:88-211 אלגברה מופשטת קיץ תשעא/ארכיון 1|ארכיון 1]]

=שאלות=

== תרגיל 4 שאלה 3 ==

1) הכוונה היא בנקודת שבת "של g" <math>x| g*x=x</math> או בנקודת שבת "של G" (איקסים כך שלכל g בG מתקיים g*x=x)?

2)סימטריות של הריבוע = סיבובים?
תודה
:1) לא נתונה g ספציפית, לכן הכוונה לנקודת שבת "של החבורה" (ליתר דיוק, של הפעולה), כלומר איבר x ב-X שנשאר במקום ע"י כל איברי g ב-G.
:2) סיבובים ושיקופים. [[משתמש:דורון פרלמן|דורון פרלמן]] 08:16, 30 באוגוסט 2011 (IDT)
::תודה

== שאלה ==

ב Sn, טיפוסי המחזורים הבאים: (--)(---) ו- (---)(--) נחשבים טיפוסים שונים, או זהים? תודה!
:זהים: כי מחזורים זרים מתחלפים. [[משתמש:דורון פרלמן|דורון פרלמן]] 10:39, 30 באוגוסט 2011 (IDT)
::תודה!

== תרגיל 4 - שאלת בונוס 2 ==

בשאלת הבונוס השניה בתרגיל 4, מה זה בדיוק [G,G] ו-[G,A]?

תודה מראש!;)
: אלו חבורות הקומוטטורים. אם G היא חבורה ו-A,B תת-חבורות שלה, אז <math>\ [A,B]</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-236 תשעא סמסטר קיץ|אינפי 4]]), העליתי סיכומים של הקורס (שכתבו סטודנטים שלמדו בו) לדף השיחה שלי - ממש [[משתמש:Gordo6/סיכומים אלגברה מופשטת 1|כאן]] תוך הוספת הערה שאלו סיכומים שנכתבו על ידי הסטודנטים, ולכן כמובן שאין התחייבות של המרצים ו/או המתרגלים לתקינותם.

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

תודה, [[משתמש:Gordo6|גל]].

== בקשה ==

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

::קיבלתם! :) הפתרונות נמצאים מתחת לתרגילים. עוד היום יעלו גם מבחנים של פרופסור מגרל משנים קודמות. --[[משתמש:לואי פולב|לואי]]
:::תודה

== חבורות חופשיות ==

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

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

== שיעור חזרה מחר ==

איפה השיעור מחר? תודה מראש.

::זה מופיע בהודעות, בדף הראשי

== שיעור חזרה היום ==

הי לואי,
המזכירות שלחה עכשיו מייל לכולם שהתרגול בשעה 14, למרות שכתוב באתר שהוא בשעה 16. אז מתי הוא יהיה? גל.

::הי גל, בסוף הוא יהיה בשעה 14:00. ההודעה באתר תוקנה. --[[משתמש:לואי פולב|לואי]].

== כמה שאלות על תרגילי הבית ==

בתרגיל 2 (http://math-wiki.com/images/5/56/Solution2abstractalgebra2011.pdf) שאלה 8,ג', למה הקוסט שיצא איזומורפי לX2? אני לא רואה למה זה קורה. לאן נעלם X1? כפי שאני רואה את זה זה שווה ל X1xX2 ולא איזומורפי לX2.

:: זה אכן איזומורפי ל-<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>.
:אותו הדבר בדיוק קורה בתרגיל המדובר. נסו לחשוב מהו האיזומורפיזם המפורש שעושה את העבודה. --[[משתמש:לואי פולב|לואי]]

בתרגיל 3 (http://math-wiki.com/images/a/a6/Solution3abstractalgebra2011.pdf) שאלת בונוס 2, מהו C_H(a)?

זהו המרכז (centralizer) של <math>a</math> ב- <math>H</math>.

ותוכלו להסביר את הפתרון? (למשל למה ידוע ש <math>|[a]_H|=[H:C_H(a)]</math>).
ידוע את זה לגבי כל חבורה, בפרט עבור <math>H</math>.

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

בשאלת בונוס 3 באותו תרגיל, איך הגעתם לסדרי יתר מחלקות הצמידות? וגם, למה הסדר של חבורה נורמלית צריך להיות סכום של איברים מהקבוצה הנ"ל '''ועוד אחד'''? איבר היחידה לא נמצא כבר בתוך המסלולים האחרים? לדוגמה אם אנחנו במסלול בגודל 12, איבר היחידה הוא לא אחד מהאיברים במסלול, כך שלא צריך להוסיף עוד אחד ולקבל 13?

:בתרגיל 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> מכילה את חבורת הקומוטטורים. --[[משתמש: לואי פולב|לואי]]
:::תודה על התשובות!

== [[מדיה: AAexam2004B.pdf|מבחן 2004 מועד ב]] שאלה 6א ==

השאלה היא: "בעזרת משפט ברנסייד מצא מספר ריבועים '''לא שקולים''' עד כדי סיבובים ושיקופים אם מותר לצבוע את הקודקודים בשני צבעים קבועים".
האם אפשר למצוע את מספר הריבועים השקולים (כפי שלמדנו לעשות בעזרת הלמה של ברנסייד), ואז לקחת את מספר כלל האפשרויות, לחסר ממנו את מספר הצביעות השקולות שמצאנו ולקבל את מספר הצביעות הלא שקולות?
תודה מראש, [[משתמש:gordo6|גל.]]

::לא, כי משפט ברנסייד בעצמו מספק את התשובה הדרושה. לפי משפט ברנסייד אנחנו מוצאים את מספר המסלולים של פעולת החבורה. בכל מסלול - איברי המסלול הם שקולים אחד לשני, מצד שני, שני איברים ממסלולים שונים - לא יהיו שקולים. לכן למצוא את מספר המסלולים משמע למצוא את מספר הצביעות '''השונות''', או את מספר הריבועים '''הלא שקולים''' (במקרה של השאלה הנ"ל). [[משתמש:לואי פולב|לואי]]

נ.ב. מצאתי עוד מבחנים נוספים של פרופ' מגרל שלא העלתם, אז העלתי אותם לדף המבחנים.
::נהדר, תודה! :) [[משתמש:לואי פולב|לואי]]

== שאלה ==

האם מתקיים <math>Un~=Z_\phi(n)</math> (הכוונה היא שחבורת ההפיכים של Zn איזו' לZ של פי (פונקצית אוילר) של n), לפחות אולי לn ראשוני? תודה!

::אני לא בטוחה שהבנתי את השאלה, אבל על פי '''ההגדרה''': חבורת אוילר <math>U_n</math> היא חבורת האיברים ההפיכים של <math>\mathbb{Z}_n</math>.

::האם זה עונה על השאלה?..--[[משתמש:לואי פולב|לואי]]

:::אני די בטוח שהשאלה פה היא האם חבורת אוילר מסדר n כלשהו איזו' לZ של פי של אן (כלומר לחבורת מודולו פי אן - כאשר פי אן היא פונקציית אוילר או במילים אחרות העוצמה של חבורת אוילר). התשובה לזה, כמובן, קשורה לשאלה האם חבורת אוילר היא ציקלית (שכן האיזו ששאלת עליו יקרה אם"ם היא ציקלית). עם זאת לא כל חבורת אוילר היא ציקלית - למשל U_20. עם זאת, חבורות אבליות הן אבליות ולכן ניתנות לפירוק למכפלה של חבורות ציקליות. מקווה שעזרתי, [[משתמש:gordo6|גל.]]

== שיעור חזרה עם המרצה ==

מתי ואיפה הוא יתקיים?
תודה!
:ראה מייל שפרופ' מגרל שלח לי לגבי זמן השיעור, מיקומו ומטרותיו. [[משתמש:gordo6|גל]].
"
השיעור יתקיים ביום ראשון ב 2 לאוקטובר בשעה 16:00
חדר המחלקה אחד מהאופציות אבל
יתכן שיהיה שינוי חדר באותו יום

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

זאת המטרה של השיעור"

== שאלה - אוטומורפיזמים ב-Sn ==

ערב טוב,

האם אוטומורפיזם כלשהו על Sn שומר על סימן תמורה? כלומר:

<math>\forall f \in Aut(S_n), \alpha \in S_n : sign(\alpha) = sign(f(\alpha))</math>

תודה מראש!

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

::אז ככה, זה מה שאני יודעת: עבור <math>n \neq 2,6</math> מתקיים <math>Aut(S_n)=Inn(S_n)</math>, ז"א יש רק את האוטומורפיזמים של ההצמדה (ואז הם שומרים סימן). אבל אני לא ממש בטוחה מה קורה ב- <math>S_6</math>, לא קופץ לי לראש כרגע... שווה לבדוק :)--[[משתמש:לואי פולב|לואי]]
::: אשמח להוסיף כאן עוד שאלה שנתקלתי בה, (ובזמן שניסיתי להוכיח אותה עלה בראשי השאלה לגבי שמירת סימן), להוכיח שכל אוטומורפיזם על Sn שולח חילוף אל חילוף. יש לי עוד שאלה נוספת לגבי שאלה שמצאתי, אשמח אם אוכל לשאול אותך זאת
::: באי-מייל, מה האי-מייל שלך?

::זה רשום בדף המשתמש שלי :) --[[משתמש:לואי פולב|לואי]]
::: תודה מראש ;)

: ברור שאוטומורפיזם של הצמדה שומר על הסימן (כי הוא שומר על חילופים). כפי שלואי כתבה, כל אוטומורפיזם של החבורה הסימטרית, פרט למקרה n=6, הוא פנימי (במקרה n=6 המנה של חבורת האוטומורפיזמים ביחס לפנימיים היא מסדר 2: יש 1440 אוטומורפיזמים, מחציתם פנימיים), ולכן זה פותר את הבעיה - אבל כדי להוכיח את המשפט הזה (שכל האוטומורפיזמים פנימיים) צריך להראות שאין עוד מחלקה בגודל של מחלקת החילופים, וזה דורש קומבינטוריקה לא טריוויאלית.
: אפשר להוכיח את הטענה הכללית (כל אוטומורפיזם שומר על הסימן) באופן הבא. החילופים צמודים זה לזה; לכן גם התמונות שלהם צמודות זו לזו. אם התמונה של חילוף היתה זוגית, ממילא היו כל התמורות עוברות לתמורות זוגיות, אבל אז ההעתקה אינה על החבורה. לכן התמונה של (כל) חילוף היא אי-זוגית. מכאן שהזוגיות של התמונה של מכפלת חילופים שווה לזוגיות של המכפלה עצמה. [[משתמש:עוזי ו.|עוזי ו.]] 15:29, 4 באוקטובר 2011 (IST)

== טעות בתשובה בתרגיל 2 ==

בתרגיל 2 שאלה 2 א', חישבו את פי של 102=2*51. כתוב שפי של 51 זה 50 אבל 51=17*3 (לא ראשוני)
לכן התשובה בתרגיל צריכה להיות 32 ולא 50

[[משתמש:חופית|חופית]]
כמובן, תודה! בשנה הבאה כבר יהיה מתוקן :) --[[משתמש:לואי פולב|לואי]]

== מתי יעלו פתרונות למבחן? ==

(כותרת)
עובדים על זה! ואגב, זה יהיה הרבה יותר מהיר אם יהיו מתנדבים לכתיבת הפתרונות :) [[משתמש:לואי פולב|לואי]]
:אם היינו יודעים איך לפתור לא היינו מבקשים פתרונות :P

== אחוז ציון התרגיל ==

במידע האישי היה כתוב של המשקל של התרגיל הוא 10% למרות שבתחילת הקורס נאמר 15%, האם הטעות הזאת תתוקן? תודה
:('''לא מתרגל''') הבעיה כבר תוקנה, כשהעלו את הציונים של הבחינה. בהזדמנות זאת אני רוצה לומר תודה על זה שהגיעו הציונים תוך פחות משבוע, וחג שמח!

שיחה:88-211 אלגברה מופשטת קיץ תשעא

2011-10-03T19:42:03Z

Linealg: /* שאלה - אוטומורפיזמים ב-Sn */

{{הוראות דף שיחה}}

=ארכיון=
[[שיחה:88-211 אלגברה מופשטת קיץ תשעא/ארכיון 1|ארכיון 1]]

=שאלות=

== תרגיל 4 שאלה 3 ==

1) הכוונה היא בנקודת שבת "של g" <math>x| g*x=x</math> או בנקודת שבת "של G" (איקסים כך שלכל g בG מתקיים g*x=x)?

2)סימטריות של הריבוע = סיבובים?
תודה
:1) לא נתונה g ספציפית, לכן הכוונה לנקודת שבת "של החבורה" (ליתר דיוק, של הפעולה), כלומר איבר x ב-X שנשאר במקום ע"י כל איברי g ב-G.
:2) סיבובים ושיקופים. [[משתמש:דורון פרלמן|דורון פרלמן]] 08:16, 30 באוגוסט 2011 (IDT)
::תודה

== שאלה ==

ב Sn, טיפוסי המחזורים הבאים: (--)(---) ו- (---)(--) נחשבים טיפוסים שונים, או זהים? תודה!
:זהים: כי מחזורים זרים מתחלפים. [[משתמש:דורון פרלמן|דורון פרלמן]] 10:39, 30 באוגוסט 2011 (IDT)
::תודה!

== תרגיל 4 - שאלת בונוס 2 ==

בשאלת הבונוס השניה בתרגיל 4, מה זה בדיוק [G,G] ו-[G,A]?

תודה מראש!;)
: אלו חבורות הקומוטטורים. אם G היא חבורה ו-A,B תת-חבורות שלה, אז <math>\ [A,B]</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-236 תשעא סמסטר קיץ|אינפי 4]]), העליתי סיכומים של הקורס (שכתבו סטודנטים שלמדו בו) לדף השיחה שלי - ממש [[משתמש:Gordo6/סיכומים אלגברה מופשטת 1|כאן]] תוך הוספת הערה שאלו סיכומים שנכתבו על ידי הסטודנטים, ולכן כמובן שאין התחייבות של המרצים ו/או המתרגלים לתקינותם.

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

תודה, [[משתמש:Gordo6|גל]].

== בקשה ==

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

::קיבלתם! :) הפתרונות נמצאים מתחת לתרגילים. עוד היום יעלו גם מבחנים של פרופסור מגרל משנים קודמות. --[[משתמש:לואי פולב|לואי]]
:::תודה

== חבורות חופשיות ==

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

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

== שיעור חזרה מחר ==

איפה השיעור מחר? תודה מראש.

::זה מופיע בהודעות, בדף הראשי

== שיעור חזרה היום ==

הי לואי,
המזכירות שלחה עכשיו מייל לכולם שהתרגול בשעה 14, למרות שכתוב באתר שהוא בשעה 16. אז מתי הוא יהיה? גל.

::הי גל, בסוף הוא יהיה בשעה 14:00. ההודעה באתר תוקנה. --[[משתמש:לואי פולב|לואי]].

== כמה שאלות על תרגילי הבית ==

בתרגיל 2 (http://math-wiki.com/images/5/56/Solution2abstractalgebra2011.pdf) שאלה 8,ג', למה הקוסט שיצא איזומורפי לX2? אני לא רואה למה זה קורה. לאן נעלם X1? כפי שאני רואה את זה זה שווה ל X1xX2 ולא איזומורפי לX2.

:: זה אכן איזומורפי ל-<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>.
:אותו הדבר בדיוק קורה בתרגיל המדובר. נסו לחשוב מהו האיזומורפיזם המפורש שעושה את העבודה. --[[משתמש:לואי פולב|לואי]]

בתרגיל 3 (http://math-wiki.com/images/a/a6/Solution3abstractalgebra2011.pdf) שאלת בונוס 2, מהו C_H(a)?

זהו המרכז (centralizer) של <math>a</math> ב- <math>H</math>.

ותוכלו להסביר את הפתרון? (למשל למה ידוע ש <math>|[a]_H|=[H:C_H(a)]</math>).
ידוע את זה לגבי כל חבורה, בפרט עבור <math>H</math>.

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

בשאלת בונוס 3 באותו תרגיל, איך הגעתם לסדרי יתר מחלקות הצמידות? וגם, למה הסדר של חבורה נורמלית צריך להיות סכום של איברים מהקבוצה הנ"ל '''ועוד אחד'''? איבר היחידה לא נמצא כבר בתוך המסלולים האחרים? לדוגמה אם אנחנו במסלול בגודל 12, איבר היחידה הוא לא אחד מהאיברים במסלול, כך שלא צריך להוסיף עוד אחד ולקבל 13?

:בתרגיל 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> מכילה את חבורת הקומוטטורים. --[[משתמש: לואי פולב|לואי]]
:::תודה על התשובות!

== [[מדיה: AAexam2004B.pdf|מבחן 2004 מועד ב]] שאלה 6א ==

השאלה היא: "בעזרת משפט ברנסייד מצא מספר ריבועים '''לא שקולים''' עד כדי סיבובים ושיקופים אם מותר לצבוע את הקודקודים בשני צבעים קבועים".
האם אפשר למצוע את מספר הריבועים השקולים (כפי שלמדנו לעשות בעזרת הלמה של ברנסייד), ואז לקחת את מספר כלל האפשרויות, לחסר ממנו את מספר הצביעות השקולות שמצאנו ולקבל את מספר הצביעות הלא שקולות?
תודה מראש, [[משתמש:gordo6|גל.]]

::לא, כי משפט ברנסייד בעצמו מספק את התשובה הדרושה. לפי משפט ברנסייד אנחנו מוצאים את מספר המסלולים של פעולת החבורה. בכל מסלול - איברי המסלול הם שקולים אחד לשני, מצד שני, שני איברים ממסלולים שונים - לא יהיו שקולים. לכן למצוא את מספר המסלולים משמע למצוא את מספר הצביעות '''השונות''', או את מספר הריבועים '''הלא שקולים''' (במקרה של השאלה הנ"ל). [[משתמש:לואי פולב|לואי]]

נ.ב. מצאתי עוד מבחנים נוספים של פרופ' מגרל שלא העלתם, אז העלתי אותם לדף המבחנים.
::נהדר, תודה! :) [[משתמש:לואי פולב|לואי]]

== שאלה ==

האם מתקיים <math>Un~=Z_\phi(n)</math> (הכוונה היא שחבורת ההפיכים של Zn איזו' לZ של פי (פונקצית אוילר) של n), לפחות אולי לn ראשוני? תודה!

::אני לא בטוחה שהבנתי את השאלה, אבל על פי '''ההגדרה''': חבורת אוילר <math>U_n</math> היא חבורת האיברים ההפיכים של <math>\mathbb{Z}_n</math>.

::האם זה עונה על השאלה?..--[[משתמש:לואי פולב|לואי]]

:::אני די בטוח שהשאלה פה היא האם חבורת אוילר מסדר n כלשהו איזו' לZ של פי של אן (כלומר לחבורת מודולו פי אן - כאשר פי אן היא פונקציית אוילר או במילים אחרות העוצמה של חבורת אוילר). התשובה לזה, כמובן, קשורה לשאלה האם חבורת אוילר היא ציקלית (שכן האיזו ששאלת עליו יקרה אם"ם היא ציקלית). עם זאת לא כל חבורת אוילר היא ציקלית - למשל U_20. עם זאת, חבורות אבליות הן אבליות ולכן ניתנות לפירוק למכפלה של חבורות ציקליות. מקווה שעזרתי, [[משתמש:gordo6|גל.]]

== שיעור חזרה עם המרצה ==

מתי ואיפה הוא יתקיים?
תודה!
:ראה מייל שפרופ' מגרל שלח לי לגבי זמן השיעור, מיקומו ומטרותיו. [[משתמש:gordo6|גל]].
"
השיעור יתקיים ביום ראשון ב 2 לאוקטובר בשעה 16:00
חדר המחלקה אחד מהאופציות אבל
יתכן שיהיה שינוי חדר באותו יום

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

זאת המטרה של השיעור"

== שאלה - אוטומורפיזמים ב-Sn ==

ערב טוב,

האם אוטומורפיזם כלשהו על Sn שומר על סימן תמורה? כלומר:

<math>\forall f \in Aut(S_n), \alpha \in S_n : sign(\alpha) = sign(f(\alpha))</math>

תודה מראש!

::בהחלט! יש לא מעט אוטומורפיזמים כאלה.
קודם כל - אוטומורפיזם הזהות. או למשל: אוטומורפיזם ההצמדה (הוא שומר על מבנה המחזורים ולכן שומר גם על הסימן) --[[משתמש: לואי פולב| לואי]]
::: תודה, אך את זאת ידעתי כבר קודם. השאלה שלי הייתה האם '''כל''' אוטומורפיזם כללי הוא בהכרח שומר סימן, אלא אם כן התכוונת שכל אוטומורפיזם שומר סימן (והדוגמאות היו כדי להסביר).
::: אשמח להוסיף כאן עוד שאלה שנתקלתי בה, (ובזמן שניסיתי להוכיח אותה עלה בראשי השאלה לגבי שמירת סימן), להוכיח שכל אוטומורפיזם על Sn שולח חילוף אל חילוף. יש לי עוד שאלה נוספת לגבי שאלה שמצאתי, אשמח אם אוכל לשאול אותך זאת
::: באי-מייל, מה האי-מייל שלך?
::: תודה מראש ;)

שיחה:88-211 אלגברה מופשטת קיץ תשעא

2011-10-03T19:41:20Z

Linealg: /* שאלה - אוטומורפיזמים ב-Sn */

{{הוראות דף שיחה}}

=ארכיון=
[[שיחה:88-211 אלגברה מופשטת קיץ תשעא/ארכיון 1|ארכיון 1]]

=שאלות=

== תרגיל 4 שאלה 3 ==

1) הכוונה היא בנקודת שבת "של g" <math>x| g*x=x</math> או בנקודת שבת "של G" (איקסים כך שלכל g בG מתקיים g*x=x)?

2)סימטריות של הריבוע = סיבובים?
תודה
:1) לא נתונה g ספציפית, לכן הכוונה לנקודת שבת "של החבורה" (ליתר דיוק, של הפעולה), כלומר איבר x ב-X שנשאר במקום ע"י כל איברי g ב-G.
:2) סיבובים ושיקופים. [[משתמש:דורון פרלמן|דורון פרלמן]] 08:16, 30 באוגוסט 2011 (IDT)
::תודה

== שאלה ==

ב Sn, טיפוסי המחזורים הבאים: (--)(---) ו- (---)(--) נחשבים טיפוסים שונים, או זהים? תודה!
:זהים: כי מחזורים זרים מתחלפים. [[משתמש:דורון פרלמן|דורון פרלמן]] 10:39, 30 באוגוסט 2011 (IDT)
::תודה!

== תרגיל 4 - שאלת בונוס 2 ==

בשאלת הבונוס השניה בתרגיל 4, מה זה בדיוק [G,G] ו-[G,A]?

תודה מראש!;)
: אלו חבורות הקומוטטורים. אם G היא חבורה ו-A,B תת-חבורות שלה, אז <math>\ [A,B]</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-236 תשעא סמסטר קיץ|אינפי 4]]), העליתי סיכומים של הקורס (שכתבו סטודנטים שלמדו בו) לדף השיחה שלי - ממש [[משתמש:Gordo6/סיכומים אלגברה מופשטת 1|כאן]] תוך הוספת הערה שאלו סיכומים שנכתבו על ידי הסטודנטים, ולכן כמובן שאין התחייבות של המרצים ו/או המתרגלים לתקינותם.

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

תודה, [[משתמש:Gordo6|גל]].

== בקשה ==

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

::קיבלתם! :) הפתרונות נמצאים מתחת לתרגילים. עוד היום יעלו גם מבחנים של פרופסור מגרל משנים קודמות. --[[משתמש:לואי פולב|לואי]]
:::תודה

== חבורות חופשיות ==

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

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

== שיעור חזרה מחר ==

איפה השיעור מחר? תודה מראש.

::זה מופיע בהודעות, בדף הראשי

== שיעור חזרה היום ==

הי לואי,
המזכירות שלחה עכשיו מייל לכולם שהתרגול בשעה 14, למרות שכתוב באתר שהוא בשעה 16. אז מתי הוא יהיה? גל.

::הי גל, בסוף הוא יהיה בשעה 14:00. ההודעה באתר תוקנה. --[[משתמש:לואי פולב|לואי]].

== כמה שאלות על תרגילי הבית ==

בתרגיל 2 (http://math-wiki.com/images/5/56/Solution2abstractalgebra2011.pdf) שאלה 8,ג', למה הקוסט שיצא איזומורפי לX2? אני לא רואה למה זה קורה. לאן נעלם X1? כפי שאני רואה את זה זה שווה ל X1xX2 ולא איזומורפי לX2.

:: זה אכן איזומורפי ל-<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>.
:אותו הדבר בדיוק קורה בתרגיל המדובר. נסו לחשוב מהו האיזומורפיזם המפורש שעושה את העבודה. --[[משתמש:לואי פולב|לואי]]

בתרגיל 3 (http://math-wiki.com/images/a/a6/Solution3abstractalgebra2011.pdf) שאלת בונוס 2, מהו C_H(a)?

זהו המרכז (centralizer) של <math>a</math> ב- <math>H</math>.

ותוכלו להסביר את הפתרון? (למשל למה ידוע ש <math>|[a]_H|=[H:C_H(a)]</math>).
ידוע את זה לגבי כל חבורה, בפרט עבור <math>H</math>.

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

בשאלת בונוס 3 באותו תרגיל, איך הגעתם לסדרי יתר מחלקות הצמידות? וגם, למה הסדר של חבורה נורמלית צריך להיות סכום של איברים מהקבוצה הנ"ל '''ועוד אחד'''? איבר היחידה לא נמצא כבר בתוך המסלולים האחרים? לדוגמה אם אנחנו במסלול בגודל 12, איבר היחידה הוא לא אחד מהאיברים במסלול, כך שלא צריך להוסיף עוד אחד ולקבל 13?

:בתרגיל 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> מכילה את חבורת הקומוטטורים. --[[משתמש: לואי פולב|לואי]]
:::תודה על התשובות!

== [[מדיה: AAexam2004B.pdf|מבחן 2004 מועד ב]] שאלה 6א ==

השאלה היא: "בעזרת משפט ברנסייד מצא מספר ריבועים '''לא שקולים''' עד כדי סיבובים ושיקופים אם מותר לצבוע את הקודקודים בשני צבעים קבועים".
האם אפשר למצוע את מספר הריבועים השקולים (כפי שלמדנו לעשות בעזרת הלמה של ברנסייד), ואז לקחת את מספר כלל האפשרויות, לחסר ממנו את מספר הצביעות השקולות שמצאנו ולקבל את מספר הצביעות הלא שקולות?
תודה מראש, [[משתמש:gordo6|גל.]]

::לא, כי משפט ברנסייד בעצמו מספק את התשובה הדרושה. לפי משפט ברנסייד אנחנו מוצאים את מספר המסלולים של פעולת החבורה. בכל מסלול - איברי המסלול הם שקולים אחד לשני, מצד שני, שני איברים ממסלולים שונים - לא יהיו שקולים. לכן למצוא את מספר המסלולים משמע למצוא את מספר הצביעות '''השונות''', או את מספר הריבועים '''הלא שקולים''' (במקרה של השאלה הנ"ל). [[משתמש:לואי פולב|לואי]]

נ.ב. מצאתי עוד מבחנים נוספים של פרופ' מגרל שלא העלתם, אז העלתי אותם לדף המבחנים.
::נהדר, תודה! :) [[משתמש:לואי פולב|לואי]]

== שאלה ==

האם מתקיים <math>Un~=Z_\phi(n)</math> (הכוונה היא שחבורת ההפיכים של Zn איזו' לZ של פי (פונקצית אוילר) של n), לפחות אולי לn ראשוני? תודה!

::אני לא בטוחה שהבנתי את השאלה, אבל על פי '''ההגדרה''': חבורת אוילר <math>U_n</math> היא חבורת האיברים ההפיכים של <math>\mathbb{Z}_n</math>.

::האם זה עונה על השאלה?..--[[משתמש:לואי פולב|לואי]]

:::אני די בטוח שהשאלה פה היא האם חבורת אוילר מסדר n כלשהו איזו' לZ של פי של אן (כלומר לחבורת מודולו פי אן - כאשר פי אן היא פונקציית אוילר או במילים אחרות העוצמה של חבורת אוילר). התשובה לזה, כמובן, קשורה לשאלה האם חבורת אוילר היא ציקלית (שכן האיזו ששאלת עליו יקרה אם"ם היא ציקלית). עם זאת לא כל חבורת אוילר היא ציקלית - למשל U_20. עם זאת, חבורות אבליות הן אבליות ולכן ניתנות לפירוק למכפלה של חבורות ציקליות. מקווה שעזרתי, [[משתמש:gordo6|גל.]]

== שיעור חזרה עם המרצה ==

מתי ואיפה הוא יתקיים?
תודה!
:ראה מייל שפרופ' מגרל שלח לי לגבי זמן השיעור, מיקומו ומטרותיו. [[משתמש:gordo6|גל]].
"
השיעור יתקיים ביום ראשון ב 2 לאוקטובר בשעה 16:00
חדר המחלקה אחד מהאופציות אבל
יתכן שיהיה שינוי חדר באותו יום

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

זאת המטרה של השיעור"

== שאלה - אוטומורפיזמים ב-Sn ==

ערב טוב,

האם אוטומורפיזם כלשהו על Sn שומר על סימן תמורה? כלומר:

<math>\forall f \in Aut(S_n), \alpha \in S_n : sign(\alpha) = sign(f(\alpha))</math>

תודה מראש!

::בהחלט! יש לא מעט אוטומורפיזמים כאלה.
קודם כל - אוטומורפיזם הזהות. או למשל: אוטומורפיזם ההצמדה (הוא שומר על מבנה המחזורים ולכן שומר גם על הסימן) --[[משתמש: לואי פולב| לואי]]
::: תודה, אך את זאת ידעתי כבר קודם. השאלה שלי הייתה האם '''כל''' אוטומורפיזם כללי הוא בהכרח שומר סימן, אלא אם כן התכוונת שכל אוטומורפיזם שומר סימן (והדוגמאות היו כדי להסביר).
::: אשמח להוסיף כאן עוד שאלה שנתקלתי בה, (ובזמן שניסיתי להוכיח אותה עלה בראשי השאלה לגבי שמירת סימן), להוכיח שכל אוטומורפיזם על Sn שולח חילוף אל חילוף. יש לי עוד שאלה נוספת לגבי שאלה שמצאתי, אשמח אם אוכל לתקשר איתך
::: באי-מייל על השאלה, לצורך זאת, מה האי-מייל שלך?
::: תודה מראש ;)

שיחה:88-211 אלגברה מופשטת קיץ תשעא

2011-10-03T15:52:12Z

Linealg: /* שאלה - אוטומורפיזמים ב-Sn */ פסקה חדשה

שיחה:88-211 אלגברה מופשטת קיץ תשעא

2011-09-02T22:35:55Z

Linealg: /* שאלה 7 סעיף ב' */

שיחה:88-211 אלגברה מופשטת קיץ תשעא

2011-09-02T22:35:41Z

Linealg: /* שאלה 7 סעיף ב' */

שיחה:88-211 אלגברה מופשטת קיץ תשעא

2011-09-02T15:23:40Z

Linealg: /* שאלה 7 סעיף ב' */

שיחה:88-211 אלגברה מופשטת קיץ תשעא

2011-09-02T15:23:11Z

Linealg: /* שאלה 7 סעיף ב' */

שיחה:88-211 אלגברה מופשטת קיץ תשעא

2011-09-01T16:45:14Z

Linealg: /* בקשר לשאלה 11 */

שיחה:88-211 אלגברה מופשטת קיץ תשעא

2011-08-31T17:35:27Z

Linealg: /* בקשר לשאלה 11 */

שיחה:88-211 אלגברה מופשטת קיץ תשעא

2011-08-31T17:35:14Z

Linealg: /* בקשר לשאלה 11 */

שיחה:88-211 אלגברה מופשטת קיץ תשעא

2011-08-30T09:47:32Z

Linealg: /* תרגיל 4 - שאלת בונוס 2 */ פסקה חדשה

שיחה:88-211 אלגברה מופשטת קיץ תשעא

2011-08-25T15:26:43Z

Linealg: ביטול גרסה 13486 של Linealg (שיחה)

{{הוראות דף שיחה}}

=שאלות=

== תרגיל 1, שאלה 2, סעיף ה ==

האם צריך להוכיח ש-<math>\Delta</math> אסוציאטיבית, או שמספיק לציין את זה? (כבר הוכחנו במתמטיקה בדידה). תודה, [[משתמש:אור שחף|אור שחף]][[שיחת משתמש:אור שחף|שיחה]] 22:50, 6 באוגוסט 2011 (IDT)
:מספיק לציין. [[משתמש:דורון פרלמן|דורון פרלמן]] 11:02, 7 באוגוסט 2011 (IDT)

== מערכת שעות למחר 8/8 ==

שלום רב,
מהי מערכת השעות למחר 8/8? (נאמר לנו שיהיו שינויים בגלל תשעה באב).
תודה מראש, [[משתמש:gordo6|גל]]

:ההרצאה תסתיים ב-13:00, והתרגול יתחיל ב13:30 ויסתיים לקראת 16:15.--[[משתמש: לואי פולב|לואי]]

== תרגיל 2 שאלה 1ב' ==

הכוונה היא לחבורת כל המטריצות הריבועיות הרציונליות מגודל 5, ביחס לפעולת הסכימה רכיב רכיב? ובאופן דומה, חבורת כל הווקטורים הרציונליים מגודל 5, ביחס לפעולת הסכימה רכיב רכיב?
:כן. [[משתמש:דורון פרלמן|דורון פרלמן]] 23:54, 8 באוגוסט 2011 (IDT)

== תרגיל 2 - שאלת הבונוס ==

לגבי שאלת הבונוס, האם הטענה הבאה נכונה: 
'''''טענה''''': עבור <math>G_{1} \subseteq G_{2} \subseteq ... </math> חבורות פשוטות, נגדיר <math>G = \bigcup_{n}G_{n} </math>.
תהי תת חבורה נורמלית <math>H \triangleleft G</math>, השונה מתת החבורה המלאה (G עצמה כלומר) ושונה מתת החבורה הטריוויאלית.
אזי קיים <math>n_{0} \in \mathbb{N}</math> כך ש - <math>H \subset \bigcup_{n=1}^{n_{0}}G_{n}</math>.

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

תודה מראש.

: לאחר מחשבה בנושא: הטענה הזאת לא נכונה... נסו כיוון אחר :) [[משתמש: לואי פולב| לואי]]
:: תודה רבה על התשובה המהירה! ;)

הדרישה ש-H תהיה "שונה מ-G" היא מה שקוראים באנגלית red herring (ראו [http://en.wikipedia.org/wiki/Red_herring כאן] להסבר מפורט מדי). השאלה העקרונית היא האם חבורה המוכלת באיחוד של (שרשרת של) חבורות פשוטות צריכה להיות מוכלת באיחוד של מספר סופי מהן (ולכן באחת מהן!), וברור שהתשובה שלילית - אם אפשר לבנות שרשרת עולה ממש של חבורות, אז האיחוד שלה אינו שווה לאף רכיב בשרשרת. בכל אופן, הנה דוגמא נגדית מפורשת: קחו את <math>\ G_n</math> להיות חבורת התמורות הזוגיות על n אברים (נניח שמתחילים את השרשרת ב-n=5), המשוכנות זו בזו באופן הטבעי (כלומר, m הוא נקודת שבת משותפת של <math>\ G_n</math> לכל n<m). האיחוד של כל החבורות האלה הוא החבורה של התמורות הזוגיות בעלות תומך סופי על המספרים הטבעיים - וזו חבורה פשוטה אינסופית לפי התרגיל, שאינה מוכלת באף איחוד סופי. G יכולה להיות חבורת כל התמורות בעלות תומך סופי על המספרים הטבעיים, או אפילו חבורת כל התמורות על המספרים הטבעיים (שזה משהו אחר לגמרי). [[משתמש:עוזי ו.|עוזי ו.]] 16:17, 21 באוגוסט 2011 (IDT)

==בקשה==
אתם יכולים להעלות את הפתרונות של תרגיל 1?
תודה מראש.
: ''' "כל דבר בא בעתו... כל דבר בא בעתו למי שיודע לחכות" ''' לב טולסטוי, "מלחמה ושלום"

: ובנימה עניינית יותר: נעשה זאת בימים הקרובים =) --[[משתמש: לואי פולב| לואי]]

== 2 שאלות :) ==

-בתרגיל 2 שאלה 4 א'- הכוונה ל Q/Z כחבורה? אם כן- מהי הפעולה?
-לגבי הרכבת מחזורים, אם למשל מסתכלים על (1,2,3)(1,3,2) מה בא קודם- הימני או המשאלי- זאת אומרת למשל 1 עובר ל 3 ואז ל2 ולכן סך הכל 1 עובר ל-2 או ש 1 עובר ל-3 ו3 עובר ל-1 ולכן סך הכל 1 עובר לעצמו? תודה!
:בנוגע לתרגיל 2 שאלה 4 א': נתון מה הפעולה של Q (חיבור רגיל), והפעולה של חבורת מנה מוגדרת על הקוסטים לפי נציגים. במילים אחרות, מרגע שנתונה לכם חבורה G (כלומר, קבוצה ופעולה) ובתוכה תת-חבורה נורמלית H, ושואלים שאלה על G/H, אין אפשרות לשאול "מה הפעולה על G/H": הפעולה נובעת מהפעולה של G. בנוגע לשאלה על הרכבת מחזורים: כופלים מימין לשמאל. קל לזכור זאת כי הרכבת תמורות זה סך הכל מקרה פרטי של הרכבת פונקציות, ובפונקציות בדרך כלל מרכיבים מימין לשמאל. [[משתמש:דורון פרלמן|דורון פרלמן]] 11:16, 12 באוגוסט 2011 (IDT)
::תודה, והבנתי לגבי המחזורים, אבל לא הבנתי משהו לגבי שאלה 4 א' - אם הבנתי את התשובה שלך, הפעולה ב Q/Z היא חיבור בין הנציגים, אבל אז אם ניקח למשל את 2Z (שנמצא, אם אני לא טועה, בQ/Z) אז כל חזקה טבעית שלא ניקח לא תיתן לנו את האיבר הניטרלי Z:
<math>(2Z)^n=(2*n)Z!=1Z</math> - הפרכה. איפה אני טועה?
::: ('''לא מתרגל''') התבלבלת קצת בהגדרה של הקוסט. שתי החבורות, Z ו-Q, מוגדרות מעל '''חיבור'''. למעשה הקוסט 2Z הוא לא 2Z כמשמעו כפל, אלא 2+Z, כי הפעולה שאנחנו נמצאים בה בחבורות Z ו-Q היא חיבור.
::: ולכן, מה שרשמת, זה לא 2nZ, אלא למעשה 2n + Z, שכידוע זה פשוט Z, אבל זה החלק הטריוויאלי של השאלה כי למעשה עבור כל מספר שלם הקוסט n+Z הוא פשוט Z, הקאץ' בא כאשר זה איבר רציונלי לא שלם...
::: מקווה שעזרתי.;)
::::נכון... מופשטת זה מבלבל X:
::::תודה!
::::'''עוד שאלה:''' בסעיף ב', מה זאת אומרת תת החבורה הנוצרת ע"י המחלקות רבע ושישית? איחוד של המחלקות? חיבור שלהם?
:::::לא זה ולא זה. ראינו בתרגול מה ההגדרה של תת-חבורה הנוצרת ע"י מספר איברים (בפרט חבורה ציקלית נוצרת ע"י איבר 1). למשל יש תת-חבורות הנוצרות ע"י 2 איברים. על זה מדברת השאלה הזו. כאן החבורה היא חבורת המנה, לכן האיברים הם הקוסטים, ושואלים על תת-החבורה (של חבורת המנה) הנוצרת ע"י 2 האיברים (במקרה זה, הקוסטים) הנתונים. [[משתמש:דורון פרלמן|דורון פרלמן]] 18:39, 14 באוגוסט 2011 (IDT)
::::::"כאן החבורה היא חבורת המנה, לכן האיברים הם הקוסטים, ושואלים על תת-החבורה (של חבורת המנה) הנוצרת ע"י 2 האיברים" - הבנתי את זה, ושאלתי- מהי חבורה הנוצרת ע"י 2 איברים (במקרה זה המחלקות / קוסטים) - איחוד של החבורה הנוצרת ע"י האיבר הראשון (המחלקה של רבע) והחבורה הנוצרת ע"י האיבר השני(שישית)? אם לא, מהי ההגדרה של חבורה הנוצרת ע"י יותר מאיבר אחד? כי אני לא זוכר שהגדרנו את זה בתרגול.
:::::::לפי מיטב זכרוני הגדרנו, ואפילו התעכבנו להבין מה משמעות ההגדרה. בכל אופן, ההגדרה הכללית היא (עבור 2 איברים): ת"ח הנוצרת ע"י שני איברים x,y היא הת"ח הקטנה ביותר של G המכילה את x ואת y. במקרה האבלי אפשר לחשוב על זה יותר קונקרטית: זה כל האיברים מהצורה x^n*y^m באשר n,m שלמים ו-* זו הפעולה של החבורה (במקרה הלא אבלי זה יותר מסובך. אבל בשאלה הזו החבורה אבלית, אז אפשר להשתמש גם בהגדרה הקונקרטית). [[משתמש:דורון פרלמן|דורון פרלמן]] 21:45, 14 באוגוסט 2011 (IDT)
::::::::תודה

== תרגיל 7 ==

האם בשאלה 7 (תרגול 2) ניתן להסתמך על טבלת הכפל שפיתחנו בשאלה 9 (שמגיעה אחריה) או שמשום שהיא אחריה אז צריך לפתח מחדש את הדברים הנדרשים? תודה מראש, [[משתמש:gordo6|גל]].
:ניתן בהחלט להיעזר בשאלה 9. -[[משתמש: לואי פולב| לואי]]

== שאלה לגבי חישובים ב Zn ==

כשצריך לחשב למשל ספרות אחרונות של מספר או לפתור משוואות ב Zn לn כלשהו, מה איבר היחידה, 0 או 1? כי בתרגול, כשרצינו לחשב ספרות אחרונות של מספר, ובאמצע האלגוריתם היינו צריכים למצוא את ההופכי של 59, אז חיפשנו x כך ש<math> 59x=1mod100</math> אבל אם אני מבין נכון, כשמדברים על Zn מדברים על חבורה חיבורית וב (Zn,+) איבר היחידה הוא 0 לא 1, לא?
:{{לא מתרגל}} צריך להבין על פי הקשר. אם מדברים על Zn כחבורה אז כן, מדובר על חיבור. אבל אם מופיעה משוואה כמו שנתת הרי שמופיע בה כפל, או בשאלה למצוא את הספרה הארונה של חזקה כלשהי - מדובר על כפל כמובן. עלייך להבין לפי ההקשר... [[משתמש:gordo6|גל]].
נכון, ובתרגיל המדובר, השתמשנו במשפט אוילר ולשם כך עברנו לחבורה הכפלית <math>U_n</math> -[[משתמש:לואי פולב|לואי]]

== שאלה 8 ==

מה הפעולות בכל חבורה בשאלה 8 סעיפים א' עד ד'? תודה!
: ('''לא מתרגל''') בדר"כ אתה אמור להבין מה הפעולה בכך שנתונה לך החבורה G, להלן הפעולות:
: 1. +
: 2. + (ביחס לשני הרכיבים)
: 3. פעולה רכיב רכיב (הוכחנו בתרגול שזו חבורה)
: 4. כפל, כי U20 זו חבורת ההפיכים של Zn ביחס לכפל.
: אני מציע לך לקרוא במחברת ולזכור אילו חבורות יש, גם על פעולת הכפל וגם על החיבור. אם למשל עבור הקבוצה Q היה רשום Q* ולא Q, אתה יכול להסיק שזו חבורה על כפל, ולא על חיבור.
: מקווה שעזרתי;)
::עזרת, תודה. למתרגלים, חבורה מורכבת הרי מקבוצה ומפעולה, נשמח אם אפשר תכתבו גם את הפעולות ולא רק את הקבוצות כדי שלא נצטרך לנחש.
:::לא צריך לנחש. הדגשנו הרבה פעמים בתרגולים (גם בקבוצה שלי וגם בקבוצה של לואי) שיש קבוצות מסוימות (למשל המספרים השלמים), שכאשר מדברים על "חבורת המספרים השלמים", הפעולה מובנת מאליה - חיבור. כנ"ל השלמים מודולו n. נכון שאפשר להגדיר אין-סוף פעולות אחרות על השלמים, אבל אלא אם מציינים אחרת, אתם אמורים להבין שזו הפעולה הסטנדרטית. כאשר אתם רואים Un אין טעם לשאול אם הפעולה היא חיבור או כפל, כי זו חבורה רק עבור כפל! וכאשר אתם רואים Zn, שוב, אין טעם לשאול את השאלה: זו חבורה רק עבור חיבור. אנחנו מודעים לעובדה שלחבורה יש גם קבוצה וגם פעולה, ואם בתרגילים מסוימים אנחנו לא מציינים את הפעולה, זה לא מעצלנות, אלא בגלל שאנחנו מצפים שתדעו להכיר את הדוגמאות הקלאסיות של חבורות שראיתם שוב ושוב בתרגולים. (נ"ב: בתרגילי בית באינפי, כאשר התבקשתם לגזור את x^3+2x, האם כל פעם היה צורך לשאול "האם גוזרים לפי x או לפי משתנה אחר?"). [[משתמש:דורון פרלמן|דורון פרלמן]] 01:52, 14 באוגוסט 2011 (IDT)
::::טוב תתלה אותי וזהו
:::::לא היתה כוונה לפגוע.. התשובה גם לא היתה אישית כלפי שואל השאלה, אלא תשובה כללית לכל השואלים (כיוון שזו שאלה שחוזרת על עצמה), אז ניסיתי להבהיר נקודה מסוימת. אם העלבתי או פגעתי, אני מתנצל. [[משתמש:דורון פרלמן|דורון פרלמן]] 17:59, 16 באוגוסט 2011 (IDT)

== שאלה ==

האם בחבורה, או חבורה אבלית, מתקיים a^n=b^n => a=b, והאם אפשר/צריך להוכיח את זה? תודה מראש
: ('''לא מתרגל''') הטענה אינה נכונה. הדוגמא הכי טובה לכך היא החבורה של המרוכבים ללא האפס, תחת הכפל (או אפילו אומגה n),
: עבור שני שורשי יחידה '''שונים''', חזקתם ב-n כאשר n הוא סדר שורש היחידה יהיה פשוט 1. כלומר, a^n = b^n = 1,
: אך ממש לא a = b. שים לב שהחבורה שציינתי היא אף אבלית, אז זה באופן כללי סותר את הטענה.
: מקווה שעזרתי ;)

== תרגיל 2 שאלה 3 סעיף ג' ==

מספיק להוכיח ש N1 חיתוך N2 וN1N2 הן נורמליות (בלי להוכיח שהן ת"ח, כי זה ברור/ הוכחנו את זה בתרגול) ?

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

== תרגיל 2 שאלה 8 ==

מה בכוונה ב"תארו את הקוסטים ...." מה זאת אומרת "לתאר" ?

: ('''לא מתרגל''') "קוסט בלונדיני, עם איבר הפיך" לדוגמא...
:הכוונה לרשום מה הם. [[משתמש:דורון פרלמן|דורון פרלמן]] 02:12, 14 באוגוסט 2011 (IDT)
==תרגיל 2 שאלה 5 א' ==
ההעתקה מעבירה בין איזה קבוצות ומה בדיוק זה אומר " לא מוגדרת היטב " ?
: ('''לא מתרגל''') בתרגול הראו לנו כי ההעתקה ההפיכה בין קבוצת הקוסטים השמאליים לימניים היא לא הטריוויאלית xH -> Hx אלא xH -> Hx^-1, מסיבה מסוימת, והסיבה היא שההעתקה הטריוואלית לא מוגדרת היטב.
: מז"א לא מוגדרת היטב? שהיא לא חד-ערכית, כלומר:
: x1 = x2 אבל
: fx1 != fx2.
: מקווה שעזרתי;)
::נכון. ובימילים אחרות: העניין הוא שכאשר יש פונקציה בין מחלקות שקילות, ומגדירים אותה על נציגים, צריך לבדוק שהיא מוגדרת היטב (זכור משהו כזה מבדידה?) כלומר שלא משנה איזה נציג במחלקה נבחר, נגיע לאותה תוצאה. [[משתמש:דורון פרלמן|דורון פרלמן]] 02:12, 14 באוגוסט 2011 (IDT)

== תרגיל 2, שאלה 4, סעיף 2 ==

יש לחשב את <math>[G:H]</math>. אם אני צודק והתשובה היא <math>\aleph_0</math>, האם מספיק להוכיח שזה ∞? תודה.

בהחלט! [[משתמש:לואי פולב|לואי]]

== תרגול מחר 17/8 ==

איפה התרגול מחר (יום ד 17/8)? בחדר 106 כמו שהיה אתמול או בחדרים 101,102 כמו תמיד? תודה מראש.
:ב-101/102 כרגיל. [[משתמש:דורון פרלמן|דורון פרלמן]] 17:59, 16 באוגוסט 2011 (IDT)

== תרגיל 3 שאלה 10 סעיף ב' ==

נראה לי שיש טעות בשאלה. מבקשים להוכיח ש-H תח"נ של המנרמל. ז"א, בין היתר, כל איברי H מוכלים במנרמל שלה. אבל זה לא אומר בעצם שכל איבר ב-H מתחלף עם כל איברי H?
ואם כן, אז כל איבר ב-H מתחלף עם כל איברי H => כל איברי H נמצאים במרכז של H <= H אבלית ולא אמרו לנו את זה..
:זה לא אומר שכל איבר ב-H מתחלף עם כל איברי H. איך הגעת למסקנה הזו? אם תפרט/י יותר את השלב בין "כל איברי H מוכלים במנרמל שלה" לבין "כל איבר ב-H מתחלף עם כל איברי H" נוכל לראות איפה הטעות. [[משתמש:דורון פרלמן|דורון פרלמן]] 12:48, 18 באוגוסט 2011 (IDT)
::אם לכל h ב-H מתקיים h שייך למנרמל זה לא אומר שכל ה-h ב-H מקיימים hH=Hh? ואז לא מקבלים שלכל h1 ו-h ב-H מתקיים: h*h1=h1*h?
:::זה שלכל h ב-H מתקיים hH=Hh לא גורר שלכל h1 ב-H מתקיים h*h1=h1*h. מה שכן ניתן להסיק הוא רק שלכל h1 ב-H קיים h2 ב-H כך ש-h*h1=h2*h. [[משתמש:דורון פרלמן|דורון פרלמן]] 13:14, 18 באוגוסט 2011 (IDT)

== שאלה 7 ==

האם פעולת הכפל שמוגדרת, והמינוס שמוגדר על כל איבר בה, עובד באופן אינטואיטיבי בו עובד מינוס על ממשיים?
למשל:
<math>(-i)*j = -(i*j)</math>?

<math>(-1) * (-1) = 1</math>

<math>(-1) * (-i) = i</math>?

וכל מיני תנאים שקשורים במינוס במספרים ממשיים... מתקיים גם כאן?

תודה מראש;)
:כן. למעשה היינו חייבים לציין זאת בשאלה אחרת אי אפשר לפתור אותה. תודה על התיקון. [[משתמש:דורון פרלמן|דורון פרלמן]] 01:59, 20 באוגוסט 2011 (IDT)

== פירוק חבורות אבליות ==

בתחילת הקורס דיברנו על כך ש <math>\mathbb{Z}_{2}\times\mathbb{Z}_{2}\ncong\mathbb{Z}_{4}</math>
בגלל של <math>\mathbb{Z}_{4}</math> יש איבר מסדר 4.
אבל בשיעור האחרון בחלק של פירוק חבורות אבליות, אמרנו בדיוק ההיפך!
מה אני מפספס??
:''(גרסה מתוקנת של דבריי:)'' תהי <math>G</math> חבורה אבלית כלשהי מסדר <math>4=2^2</math>. נבנה חלוקה של 2, יש לכך שתי אפשרויות: <math>2=2 \or 2=1+1</math>. כלומר שכל חבורה אבלית <math>G</math> כנ"ל תהיה איזומורפית '''לאחת בלבד''' מהבאות: <math>\mathbb{Z}_{2}\times\mathbb{Z}_{2}\or\ \mathbb{Z}_{2^2}=\mathbb{Z}_{4}</math> וכך יש שתי אפשרויות. שים לב שהאיזומורפיזם הוא לאחת בלבד מהחבורות הללו, שכן הן לא איזומורפיות אחת לשנייה. מקווה שעזרתי, [[משתמש:gordo6|גל]].
::שים לב: החלוקה היא של המעריך, ולא של סדר החבורה. כלומר פה 4=2^2 לכן מסתכלים על חלוקות של 2 ויש 2 חלוקות כאלה: 2=2 ו-2=1+1. לכן יש שתי חבורות אבליות מסדר 4 עד כדי איזומורפיזם: <math>\mathbb{Z}_{2}\times\mathbb{Z}_{2}, \mathbb{Z}_{4}</math>. [[משתמש:דורון פרלמן|דורון פרלמן]] 14:13, 20 באוגוסט 2011 (IDT)
:::כמובן, טעות שלי. מה שרשמתי מעלה תוקן. [[משתמש:gordo6|גל]].

== תרגיל 11 ==
אתם יכולים להזכיר לי מהי נקודת שבת ?
:תהי G חבורה עם פעולה * על קבוצה X. נאמר כי x ב-X היא נקודת שבת אם לכל g ב-G מתקיים g*x=x. [[משתמש:דורון פרלמן|דורון פרלמן]] 17:46, 20 באוגוסט 2011 (IDT)

== תרגיל 3 שאלה 9 ==

בסעיף א' האם הכוונה שיש צורך לחשב את a בחזקת 1- ואז לחשב מכפלה של תמורות? אם כן מעל איזה חבורה זה? S9?
:כן, וכן. [[משתמש:דורון פרלמן|דורון פרלמן]] 15:24, 21 באוגוסט 2011 (IDT)

== תרגיל 3 שאלה 11 ==

בסעיפים ב',ג' האם מותר גם לא לצבוע בכלל, זאת אומרת : נגיד בסעיף ג' האם מותר גם לא לצבוע את הצלעות ?
:{{לא מתרגל}} אני לא חושב, שכן גם בתרגול בשאלות שעשינו לא התייחסנו למקרה שבו הצלעות לא נצבעות. [[משתמש:gordo6|גל]].

== לגבי שאלה 7 סעיף ב' ==

יש משפט שאומר שאם הסדר של ת"ח מחלק את הסדר החבורה אז הת"ח נורמלית? (סליחה אם זאת שאלה טריויאלית)
:סדר של ת"ח תמיד מחלק את סדר החבורה, בלי קשר להיות הת"ח נורמלית או לא (ראה משפט לגרנג'!!!). בכל מקרה, מה שכן אפשר לומר הוא: תהי <math>G</math> חבורה, <math>H</math> ת"ח מאינדקס 2, כלומר <math>[G:H]=2</math> או <math>|H|=0.5|G|</math> (שוב ממשפט לגרנג'!!!) אזי <math>H</math> נורמלית ב-<math>G</math> (הוכחנו בתרגול). כמו כן אם האינדקס 1 אז הת"ח תהיה נורמלית - שכן במקרה זה נקבל שהיא שווה לחבורה עצמה. מקווה שעזרתי, [[משתמש:gordo6|גל]].
::הבנתי, תודה!

== תרגיל 3 שאלה 9 א ==

כאשר כתוב <math>a=(1 3 5)(2 1)</math> הכוונה היא למכפלה בין שני המחזורים?
:אכן. [[משתמש:gordo6|גל]].

שיחה:88-211 אלגברה מופשטת קיץ תשעא

2011-08-25T15:26:18Z

Linealg: ביטול גרסה 13486 של Linealg (שיחה)

שיחה:88-211 אלגברה מופשטת קיץ תשעא

2011-08-24T17:23:08Z

Linealg: /* תזכורת */

שיחה:88-211 אלגברה מופשטת קיץ תשעא

2011-08-24T17:22:46Z

Linealg: /* תזכורת */ פסקה חדשה

שיחה:88-211 אלגברה מופשטת קיץ תשעא

2011-08-24T17:21:46Z

Linealg: ביטול גרסה 13483 של 93.173.49.229 (שיחה)

שיחה:88-211 אלגברה מופשטת קיץ תשעא

2011-08-19T19:43:13Z

Linealg: /* שאלה 7 */

{{הוראות דף שיחה}}

=שאלות=

== תרגיל 1, שאלה 2, סעיף ה ==

האם צריך להוכיח ש-<math>\Delta</math> אסוציאטיבית, או שמספיק לציין את זה? (כבר הוכחנו במתמטיקה בדידה). תודה, [[משתמש:אור שחף|אור שחף]][[שיחת משתמש:אור שחף|שיחה]] 22:50, 6 באוגוסט 2011 (IDT)
:מספיק לציין. [[משתמש:דורון פרלמן|דורון פרלמן]] 11:02, 7 באוגוסט 2011 (IDT)

== מערכת שעות למחר 8/8 ==

שלום רב,
מהי מערכת השעות למחר 8/8? (נאמר לנו שיהיו שינויים בגלל תשעה באב).
תודה מראש, [[משתמש:gordo6|גל]]

:ההרצאה תסתיים ב-13:00, והתרגול יתחיל ב13:30 ויסתיים לקראת 16:15.--[[משתמש: לואי פולב|לואי]]

== תרגיל 2 שאלה 1ב' ==

הכוונה היא לחבורת כל המטריצות הריבועיות הרציונליות מגודל 5, ביחס לפעולת הסכימה רכיב רכיב? ובאופן דומה, חבורת כל הווקטורים הרציונליים מגודל 5, ביחס לפעולת הסכימה רכיב רכיב?
:כן. [[משתמש:דורון פרלמן|דורון פרלמן]] 23:54, 8 באוגוסט 2011 (IDT)

== תרגיל 2 - שאלת הבונוס ==

לגבי שאלת הבונוס, האם הטענה הבאה נכונה: 
'''''טענה''''': עבור <math>G_{1} \subseteq G_{2} \subseteq ... </math> חבורות פשוטות, נגדיר <math>G = \bigcup_{n}G_{n} </math>.
תהי תת חבורה נורמלית <math>H \triangleleft G</math>, השונה מתת החבורה המלאה (G עצמה כלומר) ושונה מתת החבורה הטריוויאלית.
אזי קיים <math>n_{0} \in \mathbb{N}</math> כך ש - <math>H \subset \bigcup_{n=1}^{n_{0}}G_{n}</math>.

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

תודה מראש.

: לאחר מחשבה בנושא: הטענה הזאת לא נכונה... נסו כיוון אחר :) [[משתמש: לואי פולב| לואי]]
:: תודה רבה על התשובה המהירה! ;)

==בקשה==
אתם יכולים להעלות את הפתרונות של תרגיל 1?
תודה מראש.
: ''' "כל דבר בא בעתו... כל דבר בא בעתו למי שיודע לחכות" ''' לב טולסטוי, "מלחמה ושלום"

: ובנימה עניינית יותר: נעשה זאת בימים הקרובים =) --[[משתמש: לואי פולב| לואי]]

== 2 שאלות :) ==

-בתרגיל 2 שאלה 4 א'- הכוונה ל Q/Z כחבורה? אם כן- מהי הפעולה?
-לגבי הרכבת מחזורים, אם למשל מסתכלים על (1,2,3)(1,3,2) מה בא קודם- הימני או המשאלי- זאת אומרת למשל 1 עובר ל 3 ואז ל2 ולכן סך הכל 1 עובר ל-2 או ש 1 עובר ל-3 ו3 עובר ל-1 ולכן סך הכל 1 עובר לעצמו? תודה!
:בנוגע לתרגיל 2 שאלה 4 א': נתון מה הפעולה של Q (חיבור רגיל), והפעולה של חבורת מנה מוגדרת על הקוסטים לפי נציגים. במילים אחרות, מרגע שנתונה לכם חבורה G (כלומר, קבוצה ופעולה) ובתוכה תת-חבורה נורמלית H, ושואלים שאלה על G/H, אין אפשרות לשאול "מה הפעולה על G/H": הפעולה נובעת מהפעולה של G. בנוגע לשאלה על הרכבת מחזורים: כופלים מימין לשמאל. קל לזכור זאת כי הרכבת תמורות זה סך הכל מקרה פרטי של הרכבת פונקציות, ובפונקציות בדרך כלל מרכיבים מימין לשמאל. [[משתמש:דורון פרלמן|דורון פרלמן]] 11:16, 12 באוגוסט 2011 (IDT)
::תודה, והבנתי לגבי המחזורים, אבל לא הבנתי משהו לגבי שאלה 4 א' - אם הבנתי את התשובה שלך, הפעולה ב Q/Z היא חיבור בין הנציגים, אבל אז אם ניקח למשל את 2Z (שנמצא, אם אני לא טועה, בQ/Z) אז כל חזקה טבעית שלא ניקח לא תיתן לנו את האיבר הניטרלי Z:
<math>(2Z)^n=(2*n)Z!=1Z</math> - הפרכה. איפה אני טועה?
::: ('''לא מתרגל''') התבלבלת קצת בהגדרה של הקוסט. שתי החבורות, Z ו-Q, מוגדרות מעל '''חיבור'''. למעשה הקוסט 2Z הוא לא 2Z כמשמעו כפל, אלא 2+Z, כי הפעולה שאנחנו נמצאים בה בחבורות Z ו-Q היא חיבור.
::: ולכן, מה שרשמת, זה לא 2nZ, אלא למעשה 2n + Z, שכידוע זה פשוט Z, אבל זה החלק הטריוויאלי של השאלה כי למעשה עבור כל מספר שלם הקוסט n+Z הוא פשוט Z, הקאץ' בא כאשר זה איבר רציונלי לא שלם...
::: מקווה שעזרתי.;)
::::נכון... מופשטת זה מבלבל X:
::::תודה!
::::'''עוד שאלה:''' בסעיף ב', מה זאת אומרת תת החבורה הנוצרת ע"י המחלקות רבע ושישית? איחוד של המחלקות? חיבור שלהם?
:::::לא זה ולא זה. ראינו בתרגול מה ההגדרה של תת-חבורה הנוצרת ע"י מספר איברים (בפרט חבורה ציקלית נוצרת ע"י איבר 1). למשל יש תת-חבורות הנוצרות ע"י 2 איברים. על זה מדברת השאלה הזו. כאן החבורה היא חבורת המנה, לכן האיברים הם הקוסטים, ושואלים על תת-החבורה (של חבורת המנה) הנוצרת ע"י 2 האיברים (במקרה זה, הקוסטים) הנתונים. [[משתמש:דורון פרלמן|דורון פרלמן]] 18:39, 14 באוגוסט 2011 (IDT)
::::::"כאן החבורה היא חבורת המנה, לכן האיברים הם הקוסטים, ושואלים על תת-החבורה (של חבורת המנה) הנוצרת ע"י 2 האיברים" - הבנתי את זה, ושאלתי- מהי חבורה הנוצרת ע"י 2 איברים (במקרה זה המחלקות / קוסטים) - איחוד של החבורה הנוצרת ע"י האיבר הראשון (המחלקה של רבע) והחבורה הנוצרת ע"י האיבר השני(שישית)? אם לא, מהי ההגדרה של חבורה הנוצרת ע"י יותר מאיבר אחד? כי אני לא זוכר שהגדרנו את זה בתרגול.
:::::::לפי מיטב זכרוני הגדרנו, ואפילו התעכבנו להבין מה משמעות ההגדרה. בכל אופן, ההגדרה הכללית היא (עבור 2 איברים): ת"ח הנוצרת ע"י שני איברים x,y היא הת"ח הקטנה ביותר של G המכילה את x ואת y. במקרה האבלי אפשר לחשוב על זה יותר קונקרטית: זה כל האיברים מהצורה x^n*y^m באשר n,m שלמים ו-* זו הפעולה של החבורה (במקרה הלא אבלי זה יותר מסובך. אבל בשאלה הזו החבורה אבלית, אז אפשר להשתמש גם בהגדרה הקונקרטית). [[משתמש:דורון פרלמן|דורון פרלמן]] 21:45, 14 באוגוסט 2011 (IDT)
::::::::תודה

== תרגיל 7 ==

האם בשאלה 7 (תרגול 2) ניתן להסתמך על טבלת הכפל שפיתחנו בשאלה 9 (שמגיעה אחריה) או שמשום שהיא אחריה אז צריך לפתח מחדש את הדברים הנדרשים? תודה מראש, [[משתמש:gordo6|גל]].
:ניתן בהחלט להיעזר בשאלה 9. -[[משתמש: לואי פולב| לואי]]

== שאלה לגבי חישובים ב Zn ==

כשצריך לחשב למשל ספרות אחרונות של מספר או לפתור משוואות ב Zn לn כלשהו, מה איבר היחידה, 0 או 1? כי בתרגול, כשרצינו לחשב ספרות אחרונות של מספר, ובאמצע האלגוריתם היינו צריכים למצוא את ההופכי של 59, אז חיפשנו x כך ש<math> 59x=1mod100</math> אבל אם אני מבין נכון, כשמדברים על Zn מדברים על חבורה חיבורית וב (Zn,+) איבר היחידה הוא 0 לא 1, לא?
:{{לא מתרגל}} צריך להבין על פי הקשר. אם מדברים על Zn כחבורה אז כן, מדובר על חיבור. אבל אם מופיעה משוואה כמו שנתת הרי שמופיע בה כפל, או בשאלה למצוא את הספרה הארונה של חזקה כלשהי - מדובר על כפל כמובן. עלייך להבין לפי ההקשר... [[משתמש:gordo6|גל]].
נכון, ובתרגיל המדובר, השתמשנו במשפט אוילר ולשם כך עברנו לחבורה הכפלית <math>U_n</math> -[[משתמש:לואי פולב|לואי]]

== שאלה 8 ==

מה הפעולות בכל חבורה בשאלה 8 סעיפים א' עד ד'? תודה!
: ('''לא מתרגל''') בדר"כ אתה אמור להבין מה הפעולה בכך שנתונה לך החבורה G, להלן הפעולות:
: 1. +
: 2. + (ביחס לשני הרכיבים)
: 3. פעולה רכיב רכיב (הוכחנו בתרגול שזו חבורה)
: 4. כפל, כי U20 זו חבורת ההפיכים של Zn ביחס לכפל.
: אני מציע לך לקרוא במחברת ולזכור אילו חבורות יש, גם על פעולת הכפל וגם על החיבור. אם למשל עבור הקבוצה Q היה רשום Q* ולא Q, אתה יכול להסיק שזו חבורה על כפל, ולא על חיבור.
: מקווה שעזרתי;)
::עזרת, תודה. למתרגלים, חבורה מורכבת הרי מקבוצה ומפעולה, נשמח אם אפשר תכתבו גם את הפעולות ולא רק את הקבוצות כדי שלא נצטרך לנחש.
:::לא צריך לנחש. הדגשנו הרבה פעמים בתרגולים (גם בקבוצה שלי וגם בקבוצה של לואי) שיש קבוצות מסוימות (למשל המספרים השלמים), שכאשר מדברים על "חבורת המספרים השלמים", הפעולה מובנת מאליה - חיבור. כנ"ל השלמים מודולו n. נכון שאפשר להגדיר אין-סוף פעולות אחרות על השלמים, אבל אלא אם מציינים אחרת, אתם אמורים להבין שזו הפעולה הסטנדרטית. כאשר אתם רואים Un אין טעם לשאול אם הפעולה היא חיבור או כפל, כי זו חבורה רק עבור כפל! וכאשר אתם רואים Zn, שוב, אין טעם לשאול את השאלה: זו חבורה רק עבור חיבור. אנחנו מודעים לעובדה שלחבורה יש גם קבוצה וגם פעולה, ואם בתרגילים מסוימים אנחנו לא מציינים את הפעולה, זה לא מעצלנות, אלא בגלל שאנחנו מצפים שתדעו להכיר את הדוגמאות הקלאסיות של חבורות שראיתם שוב ושוב בתרגולים. (נ"ב: בתרגילי בית באינפי, כאשר התבקשתם לגזור את x^3+2x, האם כל פעם היה צורך לשאול "האם גוזרים לפי x או לפי משתנה אחר?"). [[משתמש:דורון פרלמן|דורון פרלמן]] 01:52, 14 באוגוסט 2011 (IDT)
::::טוב תתלה אותי וזהו
:::::לא היתה כוונה לפגוע.. התשובה גם לא היתה אישית כלפי שואל השאלה, אלא תשובה כללית לכל השואלים (כיוון שזו שאלה שחוזרת על עצמה), אז ניסיתי להבהיר נקודה מסוימת. אם העלבתי או פגעתי, אני מתנצל. [[משתמש:דורון פרלמן|דורון פרלמן]] 17:59, 16 באוגוסט 2011 (IDT)

== שאלה ==

האם בחבורה, או חבורה אבלית, מתקיים a^n=b^n => a=b, והאם אפשר/צריך להוכיח את זה? תודה מראש
: ('''לא מתרגל''') הטענה אינה נכונה. הדוגמא הכי טובה לכך היא החבורה של המרוכבים ללא האפס, תחת הכפל (או אפילו אומגה n),
: עבור שני שורשי יחידה '''שונים''', חזקתם ב-n כאשר n הוא סדר שורש היחידה יהיה פשוט 1. כלומר, a^n = b^n = 1,
: אך ממש לא a = b. שים לב שהחבורה שציינתי היא אף אבלית, אז זה באופן כללי סותר את הטענה.
: מקווה שעזרתי ;)

== תרגיל 2 שאלה 3 סעיף ג' ==

מספיק להוכיח ש N1 חיתוך N2 וN1N2 הן נורמליות (בלי להוכיח שהן ת"ח, כי זה ברור/ הוכחנו את זה בתרגול) ?

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

== תרגיל 2 שאלה 8 ==

מה בכוונה ב"תארו את הקוסטים ...." מה זאת אומרת "לתאר" ?

: ('''לא מתרגל''') "קוסט בלונדיני, עם איבר הפיך" לדוגמא...
:הכוונה לרשום מה הם. [[משתמש:דורון פרלמן|דורון פרלמן]] 02:12, 14 באוגוסט 2011 (IDT)
==תרגיל 2 שאלה 5 א' ==
ההעתקה מעבירה בין איזה קבוצות ומה בדיוק זה אומר " לא מוגדרת היטב " ?
: ('''לא מתרגל''') בתרגול הראו לנו כי ההעתקה ההפיכה בין קבוצת הקוסטים השמאליים לימניים היא לא הטריוויאלית xH -> Hx אלא xH -> Hx^-1, מסיבה מסוימת, והסיבה היא שההעתקה הטריוואלית לא מוגדרת היטב.
: מז"א לא מוגדרת היטב? שהיא לא חד-ערכית, כלומר:
: x1 = x2 אבל
: fx1 != fx2.
: מקווה שעזרתי;)
::נכון. ובימילים אחרות: העניין הוא שכאשר יש פונקציה בין מחלקות שקילות, ומגדירים אותה על נציגים, צריך לבדוק שהיא מוגדרת היטב (זכור משהו כזה מבדידה?) כלומר שלא משנה איזה נציג במחלקה נבחר, נגיע לאותה תוצאה. [[משתמש:דורון פרלמן|דורון פרלמן]] 02:12, 14 באוגוסט 2011 (IDT)

== תרגיל 2, שאלה 4, סעיף 2 ==

יש לחשב את <math>[G:H]</math>. אם אני צודק והתשובה היא <math>\aleph_0</math>, האם מספיק להוכיח שזה ∞? תודה.

בהחלט! [[משתמש:לואי פולב|לואי]]

== תרגול מחר 17/8 ==

איפה התרגול מחר (יום ד 17/8)? בחדר 106 כמו שהיה אתמול או בחדרים 101,102 כמו תמיד? תודה מראש.
:ב-101/102 כרגיל. [[משתמש:דורון פרלמן|דורון פרלמן]] 17:59, 16 באוגוסט 2011 (IDT)

== תרגיל 3 שאלה 10 סעיף ב' ==

נראה לי שיש טעות בשאלה. מבקשים להוכיח ש-H תח"נ של המנרמל. ז"א, בין היתר, כל איברי H מוכלים במנרמל שלה. אבל זה לא אומר בעצם שכל איבר ב-H מתחלף עם כל איברי H?
ואם כן, אז כל איבר ב-H מתחלף עם כל איברי H => כל איברי H נמצאים במרכז של H <= H אבלית ולא אמרו לנו את זה..
:זה לא אומר שכל איבר ב-H מתחלף עם כל איברי H. איך הגעת למסקנה הזו? אם תפרט/י יותר את השלב בין "כל איברי H מוכלים במנרמל שלה" לבין "כל איבר ב-H מתחלף עם כל איברי H" נוכל לראות איפה הטעות. [[משתמש:דורון פרלמן|דורון פרלמן]] 12:48, 18 באוגוסט 2011 (IDT)
::אם לכל h ב-H מתקיים h שייך למנרמל זה לא אומר שכל ה-h ב-H מקיימים hH=Hh? ואז לא מקבלים שלכל h1 ו-h ב-H מתקיים: h*h1=h1*h?
:::זה שלכל h ב-H מתקיים hH=Hh לא גורר שלכל h1 ב-H מתקיים h*h1=h1*h. מה שכן ניתן להסיק הוא רק שלכל h1 ב-H קיים h2 ב-H כך ש-h*h1=h2*h. [[משתמש:דורון פרלמן|דורון פרלמן]] 13:14, 18 באוגוסט 2011 (IDT)

== שאלה 7 ==

האם פעולת הכפל שמוגדרת, והמינוס שמוגדר על כל איבר בה, עובד באופן אינטואיטיבי בו עובד מינוס על ממשיים?
למשל:
<math>(-i)*j = -(i*j)</math>?

<math>(-1) * (-1) = 1</math>

<math>(-1) * (-i) = i</math>?

וכל מיני תנאים שקשורים במינוס במספרים ממשיים... מתקיים גם כאן?

תודה מראש;)

שיחה:88-211 אלגברה מופשטת קיץ תשעא

2011-08-13T15:46:27Z

Linealg: /* תרגיל 2 שאלה 5 א' */

שיחה:88-211 אלגברה מופשטת קיץ תשעא

2011-08-13T15:46:15Z

Linealg: /* תרגיל 2 שאלה 5 א' */

שיחה:88-211 אלגברה מופשטת קיץ תשעא

2011-08-13T10:54:01Z

Linealg:

שיחה:88-211 אלגברה מופשטת קיץ תשעא

2011-08-13T10:48:10Z

Linealg: /* שאלה */

שיחה:88-211 אלגברה מופשטת קיץ תשעא

2011-08-13T10:47:30Z

Linealg: /* שאלה */

שיחה:88-211 אלגברה מופשטת קיץ תשעא

2011-08-13T10:46:48Z

Linealg: /* שאלה */

שיחה:88-211 אלגברה מופשטת קיץ תשעא

2011-08-12T16:52:08Z

Linealg: /* 2 שאלות :) */

שיחה:88-211 אלגברה מופשטת קיץ תשעא

2011-08-10T18:44:17Z