שינויים

שיחה:89-214 סמסטר א' תשעא/תרגילים

נוספו 292 בתים, 11:31, 28 בנובמבר 2010
/* תרגיל 5 */
* בשאלה 2 סעיף ב לא מנוסח באופן חד משמעי, האם הכוונה שלחבורה G אין תת חבורות נוספות כלל פרט לH? (הרי יש לפחות את הטריוויאליות). האם הכוונה שמסדר n אין עוד ת"ח לG פרט לH? מי הוא n? האם ניתן להניח כי <math>1<n<|G|</math> ? אולי הכוונה בכלל ש <math>|G|=n</math> ? (ואז אין בעצם כל כך מה להוכיח). אשמח להבהרות שיסבירו באופן חד משמעי מה השאלה פה.
::*ניסוח יותר טוב: הוסף בתחילת הסעיף "יהי n ב-<math>\mathbb{N}</math>". (ובמילים אחרות: אתה צריך להראות שאם יש תת-חבורה כך שאין עוד תת-חבורות מאותו הסדר, אז היא נורמלית.) - דורון
* בשאלה 7 נתון שהחבורות <math>G_1\subseteq G_2\subseteq ...\subseteq G_n\subseteq...</math> פשוטות ויש להוכיח כי <math>G=\bigcup_{n}G_n</math> פשוטה. זה הרי נתון שהיא פשוטה, לא? כתוב על כל אחת מהן שהן פשוטות ושהן מוכלות אחת בשניה, אז האיחוד הזה הוא ממילא אותה חבורה עצמה שנתון שהיא פשוטה. לא ברור לי מה יש להוכיח כאן.
::*לא הבנתי את כוונתך. "האיחוד הזה הוא ממילא אותה חבורה עצמה" - איזו חבורה עצמה? לא נתון כי G פשוטה. אתה צריך להוכיח כי היא פשוטה. [[משתמש:דורון פרלמן|דורון פרלמן]] 19:29, 27 בנובמבר 2010 (IST)
:::*אם הבנתי נכון, אני צריך להראות שלכל n, האיחוד הנ"ל הוא חבורה פשוטה, אבל נתון שכל <math>G_i</math> היא פשוטה. מהנתון, גם ברור כי <math>G_n</math> שווה לאיחוד של כל ה-<math>G_i</math> עבור i שקטן מ-n או שווה לו, כי היא מכילה אותם. אז בעצם ברור כי<math>G= G_n</math>, והרי נתון ש-<math>G_n</math> פשוטה, אז לא ברור לי מה יש להוכיח.--[[מיוחד:תרומות/84.110.206.83|84.110.206.83]] 09:54, 28 בנובמבר 2010 (IST)
::::*עבור איזה n '''בדיוק''' מתקיים לדעתך <math>G=G_n</math>. עבור 10? 100? 1000? הרי כל G_n עשוייה להוסיף איברים חדשים, אין פה שום חבורה אחרונה. --[[משתמש:ארז שיינר|ארז שיינר]] 12:13, 28 בנובמבר 2010 (IST)
:::::*אז הכוונה היא להוכיח שזה נכון לכל n (וזה עדיין משהו שנתון)? או שעבור <math>n=\infty</math>? שגם זה משהו שלא כ"כ ברור לי.--[[מיוחד:תרומות/84.110.206.83|84.110.206.83]] 13:31, 28 בנובמבר 2010 (IST)
משתמש אלמוני