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

מתוך Math-Wiki
 
(80 גרסאות ביניים של 13 משתמשים אינן מוצגות)
שורה 32: שורה 32:


בתרגיל מבקשים לבדוק אם המספרים הממשיים הם אגודה עבור פעולה בינארית נתונה, אבל בסעיף ב' הפעולה בכלל לא בינארית.
בתרגיל מבקשים לבדוק אם המספרים הממשיים הם אגודה עבור פעולה בינארית נתונה, אבל בסעיף ב' הפעולה בכלל לא בינארית.
:בשאלה הקודמת ענו לי כששאלתי אם צריך להוכיח שהפעולה היא בינארית "בהחלט! ללא הסגירות לא ניתן לדבר על הקבוצה (עם הפעולה) כעל מבנה אלגברי.(לואי פולב)". הראת שהפעולה לא בינארית, אז כמובן שלקבוצה עם הפעולה אי אפשר לקרוא מבנה אלגברי ובפרט לא יכול להיות אגודה. --[[משתמש:Ofekgillon10|Ofekgillon10]] 07:31, 17 ביולי 2013 (IDT)
== מבנה המבחן ==
שמעתי שהמבחן יורכב משאלות המופיעות בתרגיל הבית (עם שינויים קלים). זה נכון?
כמו כן, איך יחושב הציון הסופי?
* המבחן '''יכלול''' שאלה (או שאלות) משיעורי הבית (או התרגולים) ולא יהיה '''מורכב''' מהנ"ל. כמובן שיופיעו בבחינה גם שאלות חדשות. לגבי החישוב של הציון הסופי - נפרסם את זה בהודעות באתר. --[[משתמש:לואי פולב|לואי]] 22:41, 19 ביולי 2013 (IDT)
== שאלה 7ב' ==
מה המשמעות של החיבור בין החבורות?
הכוונה היא שזה סכום איבר איבר. החבורה המתקבלת מורכבת מכל הסכומים האפשריים של איברי שתי החבורות.--[[משתמש:Haunttime|Haunttime]] 17:02, 18 ביולי 2013 (IDT)
== שאלה 3ב בתרגיל 1 ==
כשכתוב בשאלה 3ב בתרגיל 1 להוכיח ש <math>\Omega_2 \times \Omega_2</math> לא ציקלית, איזה קבוצה היא <math>\Omega_2</math>?
*באופן כללי:  <math>\Omega_n = \{z\in \mathbb C : z^n=1\}</math>. --[[משתמש:לואי פולב|לואי]] 22:43, 19 ביולי 2013 (IDT)
ועוד שאלה, ביחס לאיזו פעולה צריך להוכיח שהחבורה לא ציקלית ?
*(לא מתרגל) החבורה שמתאורת למעלה מוגדרת עבור כפל של מרוכבים ולכן הפעולה היא כפל. אפשר לראות שעבור חיבור בכלל אין סגירות, כי לדוגמא עבור n=2 הרי שסכום שני האיברים הוא 0 והוא לא בקבוצה.
== פתרונות לשיעורים ==
יהיה אפשר להעלות את הפתרונות לתרגילים 2 ו3 לפני הבוחן שנוכל להתכונן ? תודה רבה ! <<
== החבורה הדיהרלית האינסופית ==
האם ניתן להגדיר את החבורה הדיהרלית <math>D_{\infty}=\{id,\sigma,\sigma^2...,\tau\sigma,\tau\sigma^2...\}</math>? אם כן:
א. מה הסדר שלה (<math>\aleph_0</math>)?
ב. מה המשמעות שלה מבחינה גיאומטרית? (אמרנו בתרגול ש<math>\tau,\sigma</math> הם שיקוף וסיבוב אבל איך ניתן לסובב ב<math>\frac{2\pi}{\infty}</math> רדיאנים?)
:אכן ניתן להגדיר את החבורה הדיהדרלית האינסופית. לבינתיים הנה שני קישורים לערכים קצרים עליה: [https://en.wikipedia.org/wiki/Infinite_dihedral_group ויקיפדיה], [http://groupprops.subwiki.org/wiki/Infinite_dihedral_group Groupprops]. יש לשים לב שעדין לא הגדרנו את כל המונחים שמופיעים בקישורים. בנוסף, אפשר למשל לבנות חבורה דיהדרלית מוכללת לכל חבורה אבלית. המקרה של החבורות <math>D_n</math> שהוגדרו בשיעור הן החבורות הדיהדרליות המוכללות עבור החבורות הציקליות, והחבורה הדיהדרלית האינסופית היא החבורה הדיהדרלית המוכללת של השלמים. [[משתמש:Mathzeta2|Mathzeta2]] 13:28, 2 באוגוסט 2013 (IDT)
==חוג קומוטטיבי==
חוג קומוטטיבי הוא קומוטטיבי ביחס לחיבור, לכפל או לשניהם?
*(לא מתרגל) באופן כללי, חוג הוא מעצם הגדרתו קומוטטיבי ביחס לשתי הפעולות.
:: (לא מתרגל / מרצה) דווקא, למיטב הבנתי, חוג הינו קומוטטיבי ביחס לפעולת החיבור בלבד (לפי ההגדרה). לכן, חוג קומוטטיבי הוא קומוטטיבי ביחס לשתי הפעולות. --[[משתמש:גיא|גיא בלשר]] 16:24, 2 באוגוסט 2013 (IDT)
:::(שאלתי את השאלה) גיא צודק, מצאתי עכשיו את ההגדרה ורשום שחוג הוא חבורה אבלית ביחס לחיבור, מונואיד ביחס לכפל ויש דיסטריביוטיביות. אז אם אומרים על חוג שהוא קומוטטיבי מתכוונים לכפל ולכן החוג קומוטטיבי ביחס לשני הפעולות.
==קבוצה יוצרת==
נגיד ו- <math>A=\left\{a,b\right\}</math> אז השאלה שלי היא האם <math>aba\in <A></math>. פשוט הגדרנו את זה להיות <math><A>=\left\{a^{k_1}b^{k_2}|k_1,k_2\in \mathbb{Z}\right\}</math>. תודה רבה, --[[משתמש:Ofekgillon10|Ofekgillon10]] 17:12, 3 באוגוסט 2013 (IDT)
:החלק של "פשוט הגדרנו..." הוא '''מסקנה''' עבור חבורות אבליות, או יותר בכלליות כשהאיברים בקבוצה <math>A</math> מתחלפים. בנוגע לשאלה עצמה, מתקיים כי  <math>aba\in <A></math> באופן כללי. אם האיברים <math>a,b</math> מתחלפים אז ברור כי <math>aba=a^2b</math>. --[[משתמש:Mathzeta2|Mathzeta2]] 15:59, 4 באוגוסט 2013 (IDT)
::רק לוודא, אתה אומר שההגדרה של <math><A></math> זה כל הצירופים האפשריים לאיברי הקבוצה כולל חזקות שליליות?
:::כן. בסימון <math><A></math> אכן מתכוונים לכל המילים (מאורך סופי) שנבנות מרצף של איברים וההופכיים של איברים מהקבוצה <math>A</math>. להסבר ארוך אפשר להסתכל ב-[https://en.wikipedia.org/wiki/Word_%28group_theory%29 מילה בויקיפדיה] וב-[http://groupprops.subwiki.org/wiki/Word מילה ב-Groupprops].
:::בעיקר דיברנו על הסימון הזה בהקשר של קבוצה יוצרת של חבורה: [https://en.wikipedia.org/wiki/Generating_set_of_a_group ויקיפדיה], [http://groupprops.subwiki.org/wiki/Generating_set_of_a_group Groupprops]. --[[משתמש:Mathzeta2|Mathzeta2]] 21:22, 4 באוגוסט 2013 (IDT)
== הבוחן ==
איזה חומר צריך לדעת לבוחן?
== חבורה ציקלית מסדר 8 ==
באחד מהתרגילים היה צריך למצוא את כל תתי החבורות מסדר 8 של <math>U_{32}</math>. היה כתוב שם <math>3</math> אבל לא היה כתוב הסבר או דרך איך מגיעים לזה. מה הדרך? מה אמורים לכתוב אם מחר שואלים אותנו את זה?
== תרגיל 4 שאלה 1 ==
האיבר הנתון בשאלה 1 הוא לא תמורה...
:העלנו עדכון לתרגיל. עכשיו התמורה שולחת את 6 ל-1. תודה --[[משתמש:Mathzeta2|Mathzeta2]] 18:19, 7 באוגוסט 2013 (IDT)
== הרצאת השלמה לקבוצה של מגרל בלבד ==
כמה שעות תהיה ההרצאה? ובמקום איזה הרצאה זאת?
:(לא מתרגל / מרצה) לדברי פרופ' מגרל, זו הרצאת השלמה הבאה בנוסף לכל ההרצאות. מטרת ההרצאה היא שנספיק את כל החומר הנדרש, והוא אמר שבכל שנה הוא מקיים הרצאה כזו. כמו כן, ההרצאה תארך כשעתיים. --[[משתמש:גיא|גיא בלשר]] 21:05, 7 באוגוסט 2013 (IDT)
== שאלה כללית על איזומורפיזמים ==
אם שתי חבורות משוכנות אחת בתוך השנייה האם זה אומר שהם איזומורפיות?
:(לא מתרגל) לא, אפשר להפריך זאת עם דוגמא של חבורה חופשית.
::נכון, אפשר להפריך עם חבורות חופשיות (אפילו שעדין לא הגדרנו אותן). ראו קובץ הערות מסמסטר קיץ תשע"א: [[מדיה: remarks.pdf|הערות]]. נסה לחשוב על דוגמה עם חבורות שכבר ראינו. שים לב שודאי שמדובר בחבורות אינסופיות. רמז: איחוד שרשרת של חבורות שכבר ראינו.
== מבנה המבחן ==
כבר ידוע מבנה המבחן (כמה שאלות, מקסימום נקודות אפשרי, האם תהיה שאלה של הוכחת משפט שלמדנו..)?
*(לא מתרגל) נאמר בהרצאה שיהיה צריך לבחור ארבע שאלות מתוך חמש, הניקוד במבחן הוא עד 100 ושיהיו מספר משפטים להוכיח (ז"א תהיינה שאלות בהן יהיה סעיף של הוכחת משפט). רוני אמר שלערך 75% מהמבחן מתבסס על התרגולים ותרגילי הבית.
== התחלפות בחבורה לא קומוטטיבית ==
אם לשני איברים בחבורה מתקיים <math>\forall n \in \mathbb{Z}: (ab)^n=a^nb^n</math>, האם הם בהכרח מתחלפים?
:(לא מרצה / מתרגל) כן. נסתכל על המקרה <math>n=2</math>. נקבל <math>abab=\left(ab\right)^2=a^2 b^2=aabb</math>. נכפול בהופכי של <math>a</math> משמאל: <math>a^{-1}\left(abab\right)=a^{-1}\left (aabb\right)</math>, כלומר <math>\left(a^{-1}a\right)\left(bab\right)=\left(a^{-1}a\right)\left (abb\right)</math>, <math>e\left(bab\right)=e\left (abb\right)</math> ולכן <math>bab=abb</math>. באופן דומה, נכפול בְּ־<math>b^{-1}</math> מצד ימין, ונקבל (לאחר תהליך דומה) <math>ba=ab</math>, כדרוש. --[[משתמש:גיא|גיא בלשר]] 12:15, 25 באוגוסט 2013 (IDT)
== משפט קושי ==
בהרצאה אמרו לנו שהחבורה צריכה להיות אבלית, אבל בתרגול אמרו לנו שהיא לא חייבת להיות אבלית בשביל שהמשפט יעבוד..
במשפט באמת לא חובה שהחבורה תהיה אבלית?
*(לא מתרגל) ''טענת'' קושי אומרת כי לכל חבורה אבלית עם מספר ראשוני p המחלק את סדר החבורה, קיים איבר מסדר p.
לאחר הוכחת משפט סילו 1, ישנן 2 מסקנות. הראשונה - לכל חבורה G, ולכל p ראשוני וk טבעי כך שp^k מחלק את סדר החבורה, קיימת תת חבורה מסדר p^k.
המסקנה השנייה היא ''משפט'' קושי - לכל חבורה G ולכל p ראשוני המחלק את סדר החבורה קיים איבר מסדר p, וזה נובע מהתוצאה הראשונה - אם ניקח k=1 נקבל כי קיימת תת חבורה מסדר p, אבל היא בהכרח ציקלית ולכן יש איבר מסדר p שיוצר אותה, והוא בחבורה.
== העברת יוצר ==
אנחנו יודעים שבאיזומורפיזם יוצר עובר ליוצר (בהנחה שהחבורות ציקליות). האם זה נכון גם עבור אפימורפיזם או מונומורפיזם ?
* לגבי מונומורפיזם: מונומורפיזם הוא למעשה איזומורפיזם על התמונה. לכן יוצר יעבור ליוצר (של התמונה, שהיא תת חבורה של הטווח).
* לגבי אפימורפיזם: שוב, אני מניחה שבשאלה שלך שתי החבורות הן ציקליות, אז התשובה היא כן. נסו להראות זאת ישירות. --[[משתמש:לואי פולב|לואי]] 11:20, 28 באוגוסט 2013 (IDT)
== פעולה של חבורה מעל קבוצה ==
מישהו יכול לתת לי הסבר טוב מה זו פעולה הומוגנית (טרנזטיבית) ?
* בעיקרון, אם יש לנו פעולה <math>G \times X \rightarrow X</math>, אזי הפעולה היא טרנזיטיבית אם לכל <math>x,y \in X</math> קיים <math>g \in G</math> כך ש- <math>g*x=y</math>. או במילים אחרות: קיים לפעולה מסלול יחיד. --[[משתמש:לואי פולב|לואי]] 11:22, 28 באוגוסט 2013 (IDT)
== רשימת המשפטים למבחן ==
תוכלו להעלות ניסוחים למשפטים שיש להוכיח?
== מבחן 2012 מועד א' ==
מישהו יכול לעזור לי עם שאלת הבונוס במבחן http://www.math-wiki.com/images/5/57/AA12A.pdf
:יש כמה שלבים:
:# יש לדעת שהחיתוך <math>H_1 \cap H_2</math> הוא תת חבורה של <math>H_1, H_2, G</math>.
:# יש להראות כי אם <math>[G:H_1]< \infty</math> אז גם <math>[H_2:H_1 \cap H_2]< \infty</math>. את זה אפשר להראות עם העתקה חח"ע מן המחלקות השמאליות של <math>H_1 \cap H_2</math> בתוך <math>H_2</math> למחלקות השמאליות של <math>H_1</math> בתוך <math>G</math>. אם <math>[G:H_1]</math> סופי, אז עקב קיום ההעתקה החח"ע נקבל שודאי שגם <math>[H_2:H_1 \cap H_2]</math> סופי.
:# משתמשים במסקנה ממשפט לגראנז' (הופיע בתרגיל בית 3) שאומרת <math>[G:H_1 \cap H_2]=[G:H_2][H_2:H_1 \cap H_2]</math> וסיימנו לפי הסעיף הקודם והנתון בשאלה <math>[G:H_2]< \infty</math>.
:--[[משתמש:Mathzeta2|Mathzeta2]] 21:01, 28 באוגוסט 2013 (IDT)
== משפט 2 ==
מה בדיוק צריך להוכיח במשפט 2 ? האם צריך להוכיח שלכל מספר המחלק את הסדר של החבורה הציקלית קיימת תת חבורה מהסדר של המספר או שצריך להוכיח שכל ת"ח של חבורה ציקלית היא חבורה ציקלית או שצריך להוכיח את שתיהם?
* ההוכחה מופיעה בקובץ שהועלה לאתר. --[[משתמש:לואי פולב|לואי]] 13:50, 1 בספטמבר 2013 (IDT)
== מספר חבורות מסדר מסוים ==
מישהו יכול להסביר לי איך יודעים כמה חבורות יש מסדר מסוים עד כדי איזומורפיזם ?
אני זוכר שמשתמשים בפירוק או משהו כזה..
* אני מניחה שהכוונה היא לחבורות אבליות. מסתכלים אל הסדר של החבורה, מפרקים את הסדר הזה למכפלה של חזקות של מספרים ראשוניים, ואז נעזרים במשפטי המיון של חבורות אבליות. תוכלו למצוא לא מעט דוגמאות בתרגילי הבית ובתרגולים. --[[משתמש:לואי פולב|לואי]] 13:52, 1 בספטמבר 2013 (IDT)
== מספר יוצרים ==
כמה יוצרים יש לחבורה אינסופית (בהנחה שהיא ציקלית כמובן) ?
:חבורה ציקלית אינסופית היא איזומורפית ל- <math>\mathbb{Z}</math> ויש ב- <math>\mathbb{Z}</math> רק 2 יוצרים: 1 ו- 1- 
:--[[משתמש:Ofekgillon10|Ofekgillon10]]
== שאלה ==
למה <math>K_{4}</math> נורמלית ב <math>A_4</math>?
:החבורה <math>A_4</math> מספיק קטנה כדי שנוכל לבדוק את זה בחישוב ישיר (ולהסתמך על המבנה של תמורה שהצמדנו אותה בתמורה אחרת). דרך יותר אלגנטית היא לחשב את מספר חבורות ה-2-סילו של <math>A_4</math>, מגלים שזה 1, כלומר תת-חבורה 2-סילו (שהיא מסדר 4) היא יחידה ולכן נורמלית. --[[משתמש:Mathzeta2|Mathzeta2]] 04:02, 30 באוגוסט 2013 (IDT)
::למה בהכרח מקבלים ש <math>n_{2}=1</math>? לא יכול להיות מצב בו <math>n_{2}=3</math> ו <math>n_{3}=1</math>?
:::(אפשר להוסיף הזחה עם ":" וחתימה עם ארבע טילדות (~) או עם כפתור החתימה)
:::יש בסך הכל שתי אפשרויות <math>n_3 = 1</math> או <math>n_3 = 4</math>. כדי להראות שהאפשרות הראשונה לא נכונה, פשוט אפשר למצוא לפחות 2 תת חבורות שונות מסדר 3. אנחנו יודעים שמחזור מאורך 3 הוא תמורה זוגית ולכן שייך לחבורה. תת החבורה שהוא יוצר היא מסדר 3, ואכן תת החבורה שיוצרת התמורה <math>(1,2,3)</math> אינה תת החבורה שיוצרת התמורה <math>(2,3,4)</math>. לפי שיקול של ספירת איברים, לפי הסדרים שלהם, יש את איבר היחידה ועוד 8 איברים מסדר 3 ששייכים לארבע חבורות 3-סילו של <math>A_4</math>. לכן "נשאר מקום" רק לחבורה 2-סילו אחת. --[[משתמש:Mathzeta2|Mathzeta2]] 20:07, 31 באוגוסט 2013 (IDT)
== חבורות p-סילו ומיון ת"ח אבליות ==
למדנו שאם G חבורה אבלית מסדר n שמתפרק למספרים ראשוניים pi (כך ש-n הוא מכפלה של ה-pi בחזקת אלפא i), אזי קיימת ל-G ת"ח מסדר pi בחזקת אלפא i (לכל i) ות"ח כזו נקראת ת"ח pi סילו.
השאלה שלי היא האם הפירוק הנ"ל נותן פירוק של ת"ח שהמכפלה ישרה שלהם נותן את G?
ואם כן, האם משפט מיון חבורות אבליות מחייב שהפירוק הנ"ל הוא של ת"ח ציקליות?
ואם כן, האם זה מחייב שכל חבורה pi-סילו היא ציקלית?
:מצטרף לשאלה !
::(אפשר להוסיף הזחה עם ":" וחתימה עם ארבע טילדות (~) או עם כפתור החתימה)
::ננסה לענות לכל השאלות. ראינו שאם כל חבורות סילו של חבורה הן נורמליות, אז היא סכום ישר שלהן. בהערת אגב, חבורות סופיות שהן סכום ישר של חבורות סילו שלהן הן נילפוטנטיות. אם אני מבין נכון את השאלה הראשונה, אז כן, <math>G</math> היא מכפלה ישרה של חבורות סילו שלה, כי בחבורה אבלית כל תת חבורה היא נורמלית ובפרט חבורות הסילו.
::לגבי השאלות השנייה והשלישית: חבורה אבלית סופית (ובאופן כללי יותר נוצרת סופית) ניתנת להצגה כסכום ישר של תת חבורות ציקליות. אבל תת החבורות הציקליות האלו הן לא בהכרח חבורות סילו. דוגמה קונקרטית היא <math>G = \mathbb{Z}_2 \times \mathbb{Z}_2 \times \mathbb{Z}_3</math>. יש לה חבורה 3-סילו <math>\{0\} \times \{0\} \times \mathbb{Z}_3</math> שכמובן איזומורפית לחבורה <math>\mathbb{Z}_3</math> שהיא ציקלית, אבל חבורת 2-סילו שלה אינה ציקלית ואיזומורפית לחבורה <math>\mathbb{Z}_2 \times \mathbb{Z}_2</math>. באופן כללי למדנו שחבורות <math>p</math> אבליות הן לא בהכרח ציקליות. --[[משתמש:Mathzeta2|Mathzeta2]] 20:21, 31 באוגוסט 2013 (IDT)
== תרגיל ==
יש תרגיל: הוכיחו שבחבורת התמורות הזוגיות מגודל 4 (A4) לא קיימת ת"ח עם 6 איברים.
בתרגיל מניחים בשלילה שיש חבורה H כזו ובאחד השלבים לוקחים סיגמא ב-A4 ואז טוענים שסיגמא בריבוע ב-H.
מישהו יכול להסביר לי את המעבר הזה ?
:תת החבורה <math>H</math> היא מאינדקס 2. בתרגול 7 היה תרגיל שאם יש תת חבורה <math>H \le G</math> מאינדקס <math>n</math>, אז לכל איבר <math>a \in G</math> מתקיים <math>a^n \in H</math>. --[[משתמש:Mathzeta2|Mathzeta2]] 20:29, 31 באוגוסט 2013 (IDT)
== דיאגרמה קומוטטיבית ==
למה מגרל מתכוון כשהוא אומר דיאגרמה קומוטטיבית ? כמו באיזו' 1 ובהומ' פעולות.
:אני מניח שהוא מתכוון למושג שמופיע ב[https://he.wikipedia.org/wiki/%D7%93%D7%99%D7%90%D7%92%D7%A8%D7%9E%D7%94_%28%D7%AA%D7%95%D7%A8%D7%AA_%D7%94%D7%A7%D7%98%D7%92%D7%95%D7%A8%D7%99%D7%95%D7%AA%29 ויקיפדיה העברית], או הגרסה ב[https://en.wikipedia.org/wiki/Commutative_diagram ויקיפדיה האנגלית] שמעט יותר ברורה וכוללת דוגמה לגבי משפט האיזומורפיזם הראשון. --[[משתמש:Mathzeta2|Mathzeta2]] 20:42, 31 באוגוסט 2013 (IDT)
== נוסחת המחלקות ==
האם צריך לדעת להוכיח ש [G:Gx] שווה לאורך המסלול כחלק מהוכחת המשפט או שמותר להסתמך על זה?
* ראו את ההוכחה בקובץ שהועלה לאתר. --[[משתמש:לואי פולב|לואי]] 13:54, 1 בספטמבר 2013 (IDT)
== תת חבורות p-סילוב וסדרי איברים ==
האם יש קשר בין מספר האיברים מסדר p לבין מספר ת"ח p-סילוב ? נגיד אם יש שתי תתי חבורות p-סילוב אז בהכרח יש שני איברים מסדר p בחבורה הגדולה ?
:קצת קשה להגדיר "קשר". זה תלוי לפחות בכמה גורמים: <math>p</math>, <math>n_p</math>, בסדר החבורה ובמבנה של תת חבורות סילו (לא רק בסדר שלהן). אפילו במקרה הפשוט יחסית של חבורות אבליות סופיות אם ת"ח סילו היא ציקלית, אז יהיו <math>p-1</math> איברים מסדר <math>p</math>. אם לעומת זאת היא מכפלה ישרה של <math>\mathbb{Z}_p</math> אז יהיו הרבה יותר איברים מסדר <math>p</math>. אולי יעניינו אותך שתי שאלות מ-[http://mathoverflow.net/questions/119421/lower-bounds-on-the-number-of-elements-in-sylow-subgroups mathoverflow] ומ-[http://math.stackexchange.com/questions/278600/lower-bounds-on-the-number-of-elements-in-sylow-subgroups math.stackexchange]. --[[משתמש:Mathzeta2|Mathzeta2]] 12:15, 1 בספטמבר 2013 (IDT)
== שאלה 5 ג' במבחן ==
מישהו יודע אולי כמה נקודות הייתה שווה שאלה 5 ג' במבחן?
== חפיפה בין המרצים ==
האם החומר של מיכאל מגרל תואם לחומר של רוני ביתן?
אם אני לומד מהסיכום שהועלה כאן לאתר וממערכי התרגול זה מספיק או שלא קיימת חפיפה בין החומרים של המרצים?
אם אין חפיפה - מה עליי ללמוד עוד או מה לא ללמוד?
כנ"ל לגבי הוכחות משפטים - האם זה מספיק ללמוד ממה שהועלה?

גרסה אחרונה מ־09:07, 1 באוקטובר 2013

חזרה לדף הקורס


גלול לתחתית העמוד


הוספת שאלה חדשה

הוסף שאלה חדשה (רשום כותרת לשאלה, רשום את תוכן השאלה ולחץ על שמירה למטה מימין לסיום).

-עזרה על עיצוב הטקסט וכתיב מתמטי תוכלו למצוא כאן

אם אתם רוצים לשאול שאלה עליכם ליצור חשבון משתמש באתר.

שאלות

פתרונות לשיעורים

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

  • כתיבת פתרונות היא עניין טכני מבחינתנו. נעלה את הפתרונות ברגע שיהיו מוכנים :) --לואי 16:20, 15 ביולי 2013 (IDT)

מערכי תרגול

אתם יכולים לעלות את מערכי התרגולים לדף של הקורס? תודה

  • אנחנו לא נעלה את מערכי התרגול. אך יש סטודנטים שמקלידים (ויש גם סטודנטים עם כתב יפה מאוד) ונשמח אם אחד מהם יעלה את הסיכומים שלו לאתר. --לואי 16:53, 16 ביולי 2013 (IDT)

אסוציאטיביות ההפרש הסימטרי

האם באופן כללי (תרגיל בית / בוחן / מבחן), יש להוכיח את אסוציאטיביות ההפרש הסימטרי כשנתקלים במצב שבו נצטרך להשתמש בו?

  • לא, אין צורך. אפשר להסתמך על כל הטענות שהוכחתם בקורסים קודמים. --לואי 16:50, 16 ביולי 2013 (IDT)
תודה רבה!

הוכחה שמשהו הוא אגודה, מונויד, חבורה

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

  • בהחלט! ללא הסגירות לא ניתן לדבר על הקבוצה (עם הפעולה) כעל מבנה אלגברי. --לואי 16:51, 16 ביולי 2013 (IDT)
תודה רבה!

תרגיל 1 שאלה 1

בתרגיל מבקשים לבדוק אם המספרים הממשיים הם אגודה עבור פעולה בינארית נתונה, אבל בסעיף ב' הפעולה בכלל לא בינארית.

בשאלה הקודמת ענו לי כששאלתי אם צריך להוכיח שהפעולה היא בינארית "בהחלט! ללא הסגירות לא ניתן לדבר על הקבוצה (עם הפעולה) כעל מבנה אלגברי.(לואי פולב)". הראת שהפעולה לא בינארית, אז כמובן שלקבוצה עם הפעולה אי אפשר לקרוא מבנה אלגברי ובפרט לא יכול להיות אגודה. --Ofekgillon10 07:31, 17 ביולי 2013 (IDT)

מבנה המבחן

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

כמו כן, איך יחושב הציון הסופי?


  • המבחן יכלול שאלה (או שאלות) משיעורי הבית (או התרגולים) ולא יהיה מורכב מהנ"ל. כמובן שיופיעו בבחינה גם שאלות חדשות. לגבי החישוב של הציון הסופי - נפרסם את זה בהודעות באתר. --לואי 22:41, 19 ביולי 2013 (IDT)

שאלה 7ב'

מה המשמעות של החיבור בין החבורות?

הכוונה היא שזה סכום איבר איבר. החבורה המתקבלת מורכבת מכל הסכומים האפשריים של איברי שתי החבורות.--Haunttime 17:02, 18 ביולי 2013 (IDT)

שאלה 3ב בתרגיל 1

כשכתוב בשאלה 3ב בתרגיל 1 להוכיח ש [math]\displaystyle{ \Omega_2 \times \Omega_2 }[/math] לא ציקלית, איזה קבוצה היא [math]\displaystyle{ \Omega_2 }[/math]?

  • באופן כללי: [math]\displaystyle{ \Omega_n = \{z\in \mathbb C : z^n=1\} }[/math]. --לואי 22:43, 19 ביולי 2013 (IDT)

ועוד שאלה, ביחס לאיזו פעולה צריך להוכיח שהחבורה לא ציקלית ?

  • (לא מתרגל) החבורה שמתאורת למעלה מוגדרת עבור כפל של מרוכבים ולכן הפעולה היא כפל. אפשר לראות שעבור חיבור בכלל אין סגירות, כי לדוגמא עבור n=2 הרי שסכום שני האיברים הוא 0 והוא לא בקבוצה.

פתרונות לשיעורים

יהיה אפשר להעלות את הפתרונות לתרגילים 2 ו3 לפני הבוחן שנוכל להתכונן ? תודה רבה ! <<

החבורה הדיהרלית האינסופית

האם ניתן להגדיר את החבורה הדיהרלית [math]\displaystyle{ D_{\infty}=\{id,\sigma,\sigma^2...,\tau\sigma,\tau\sigma^2...\} }[/math]? אם כן: א. מה הסדר שלה ([math]\displaystyle{ \aleph_0 }[/math])? ב. מה המשמעות שלה מבחינה גיאומטרית? (אמרנו בתרגול ש[math]\displaystyle{ \tau,\sigma }[/math] הם שיקוף וסיבוב אבל איך ניתן לסובב ב[math]\displaystyle{ \frac{2\pi}{\infty} }[/math] רדיאנים?)

אכן ניתן להגדיר את החבורה הדיהדרלית האינסופית. לבינתיים הנה שני קישורים לערכים קצרים עליה: ויקיפדיה, Groupprops. יש לשים לב שעדין לא הגדרנו את כל המונחים שמופיעים בקישורים. בנוסף, אפשר למשל לבנות חבורה דיהדרלית מוכללת לכל חבורה אבלית. המקרה של החבורות [math]\displaystyle{ D_n }[/math] שהוגדרו בשיעור הן החבורות הדיהדרליות המוכללות עבור החבורות הציקליות, והחבורה הדיהדרלית האינסופית היא החבורה הדיהדרלית המוכללת של השלמים. Mathzeta2 13:28, 2 באוגוסט 2013 (IDT)

חוג קומוטטיבי

חוג קומוטטיבי הוא קומוטטיבי ביחס לחיבור, לכפל או לשניהם?

  • (לא מתרגל) באופן כללי, חוג הוא מעצם הגדרתו קומוטטיבי ביחס לשתי הפעולות.
(לא מתרגל / מרצה) דווקא, למיטב הבנתי, חוג הינו קומוטטיבי ביחס לפעולת החיבור בלבד (לפי ההגדרה). לכן, חוג קומוטטיבי הוא קומוטטיבי ביחס לשתי הפעולות. --גיא בלשר 16:24, 2 באוגוסט 2013 (IDT)
(שאלתי את השאלה) גיא צודק, מצאתי עכשיו את ההגדרה ורשום שחוג הוא חבורה אבלית ביחס לחיבור, מונואיד ביחס לכפל ויש דיסטריביוטיביות. אז אם אומרים על חוג שהוא קומוטטיבי מתכוונים לכפל ולכן החוג קומוטטיבי ביחס לשני הפעולות.

קבוצה יוצרת

נגיד ו- [math]\displaystyle{ A=\left\{a,b\right\} }[/math] אז השאלה שלי היא האם [math]\displaystyle{ aba\in \lt A\gt }[/math]. פשוט הגדרנו את זה להיות [math]\displaystyle{ \lt A\gt =\left\{a^{k_1}b^{k_2}|k_1,k_2\in \mathbb{Z}\right\} }[/math]. תודה רבה, --Ofekgillon10 17:12, 3 באוגוסט 2013 (IDT)

החלק של "פשוט הגדרנו..." הוא מסקנה עבור חבורות אבליות, או יותר בכלליות כשהאיברים בקבוצה [math]\displaystyle{ A }[/math] מתחלפים. בנוגע לשאלה עצמה, מתקיים כי [math]\displaystyle{ aba\in \lt A\gt }[/math] באופן כללי. אם האיברים [math]\displaystyle{ a,b }[/math] מתחלפים אז ברור כי [math]\displaystyle{ aba=a^2b }[/math]. --Mathzeta2 15:59, 4 באוגוסט 2013 (IDT)
רק לוודא, אתה אומר שההגדרה של [math]\displaystyle{ \lt A\gt }[/math] זה כל הצירופים האפשריים לאיברי הקבוצה כולל חזקות שליליות?
כן. בסימון [math]\displaystyle{ \lt A\gt }[/math] אכן מתכוונים לכל המילים (מאורך סופי) שנבנות מרצף של איברים וההופכיים של איברים מהקבוצה [math]\displaystyle{ A }[/math]. להסבר ארוך אפשר להסתכל ב-מילה בויקיפדיה וב-מילה ב-Groupprops.
בעיקר דיברנו על הסימון הזה בהקשר של קבוצה יוצרת של חבורה: ויקיפדיה, Groupprops. --Mathzeta2 21:22, 4 באוגוסט 2013 (IDT)

הבוחן

איזה חומר צריך לדעת לבוחן?

חבורה ציקלית מסדר 8

באחד מהתרגילים היה צריך למצוא את כל תתי החבורות מסדר 8 של [math]\displaystyle{ U_{32} }[/math]. היה כתוב שם [math]\displaystyle{ 3 }[/math] אבל לא היה כתוב הסבר או דרך איך מגיעים לזה. מה הדרך? מה אמורים לכתוב אם מחר שואלים אותנו את זה?

תרגיל 4 שאלה 1

האיבר הנתון בשאלה 1 הוא לא תמורה...

העלנו עדכון לתרגיל. עכשיו התמורה שולחת את 6 ל-1. תודה --Mathzeta2 18:19, 7 באוגוסט 2013 (IDT)

הרצאת השלמה לקבוצה של מגרל בלבד

כמה שעות תהיה ההרצאה? ובמקום איזה הרצאה זאת?


(לא מתרגל / מרצה) לדברי פרופ' מגרל, זו הרצאת השלמה הבאה בנוסף לכל ההרצאות. מטרת ההרצאה היא שנספיק את כל החומר הנדרש, והוא אמר שבכל שנה הוא מקיים הרצאה כזו. כמו כן, ההרצאה תארך כשעתיים. --גיא בלשר 21:05, 7 באוגוסט 2013 (IDT)

שאלה כללית על איזומורפיזמים

אם שתי חבורות משוכנות אחת בתוך השנייה האם זה אומר שהם איזומורפיות?

(לא מתרגל) לא, אפשר להפריך זאת עם דוגמא של חבורה חופשית.
נכון, אפשר להפריך עם חבורות חופשיות (אפילו שעדין לא הגדרנו אותן). ראו קובץ הערות מסמסטר קיץ תשע"א: הערות. נסה לחשוב על דוגמה עם חבורות שכבר ראינו. שים לב שודאי שמדובר בחבורות אינסופיות. רמז: איחוד שרשרת של חבורות שכבר ראינו.

מבנה המבחן

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

  • (לא מתרגל) נאמר בהרצאה שיהיה צריך לבחור ארבע שאלות מתוך חמש, הניקוד במבחן הוא עד 100 ושיהיו מספר משפטים להוכיח (ז"א תהיינה שאלות בהן יהיה סעיף של הוכחת משפט). רוני אמר שלערך 75% מהמבחן מתבסס על התרגולים ותרגילי הבית.

התחלפות בחבורה לא קומוטטיבית

אם לשני איברים בחבורה מתקיים [math]\displaystyle{ \forall n \in \mathbb{Z}: (ab)^n=a^nb^n }[/math], האם הם בהכרח מתחלפים?

(לא מרצה / מתרגל) כן. נסתכל על המקרה [math]\displaystyle{ n=2 }[/math]. נקבל [math]\displaystyle{ abab=\left(ab\right)^2=a^2 b^2=aabb }[/math]. נכפול בהופכי של [math]\displaystyle{ a }[/math] משמאל: [math]\displaystyle{ a^{-1}\left(abab\right)=a^{-1}\left (aabb\right) }[/math], כלומר [math]\displaystyle{ \left(a^{-1}a\right)\left(bab\right)=\left(a^{-1}a\right)\left (abb\right) }[/math], [math]\displaystyle{ e\left(bab\right)=e\left (abb\right) }[/math] ולכן [math]\displaystyle{ bab=abb }[/math]. באופן דומה, נכפול בְּ־[math]\displaystyle{ b^{-1} }[/math] מצד ימין, ונקבל (לאחר תהליך דומה) [math]\displaystyle{ ba=ab }[/math], כדרוש. --גיא בלשר 12:15, 25 באוגוסט 2013 (IDT)

משפט קושי

בהרצאה אמרו לנו שהחבורה צריכה להיות אבלית, אבל בתרגול אמרו לנו שהיא לא חייבת להיות אבלית בשביל שהמשפט יעבוד..

במשפט באמת לא חובה שהחבורה תהיה אבלית?

  • (לא מתרגל) טענת קושי אומרת כי לכל חבורה אבלית עם מספר ראשוני p המחלק את סדר החבורה, קיים איבר מסדר p.

לאחר הוכחת משפט סילו 1, ישנן 2 מסקנות. הראשונה - לכל חבורה G, ולכל p ראשוני וk טבעי כך שp^k מחלק את סדר החבורה, קיימת תת חבורה מסדר p^k.

המסקנה השנייה היא משפט קושי - לכל חבורה G ולכל p ראשוני המחלק את סדר החבורה קיים איבר מסדר p, וזה נובע מהתוצאה הראשונה - אם ניקח k=1 נקבל כי קיימת תת חבורה מסדר p, אבל היא בהכרח ציקלית ולכן יש איבר מסדר p שיוצר אותה, והוא בחבורה.

העברת יוצר

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

  • לגבי מונומורפיזם: מונומורפיזם הוא למעשה איזומורפיזם על התמונה. לכן יוצר יעבור ליוצר (של התמונה, שהיא תת חבורה של הטווח).
  • לגבי אפימורפיזם: שוב, אני מניחה שבשאלה שלך שתי החבורות הן ציקליות, אז התשובה היא כן. נסו להראות זאת ישירות. --לואי 11:20, 28 באוגוסט 2013 (IDT)

פעולה של חבורה מעל קבוצה

מישהו יכול לתת לי הסבר טוב מה זו פעולה הומוגנית (טרנזטיבית) ?

  • בעיקרון, אם יש לנו פעולה [math]\displaystyle{ G \times X \rightarrow X }[/math], אזי הפעולה היא טרנזיטיבית אם לכל [math]\displaystyle{ x,y \in X }[/math] קיים [math]\displaystyle{ g \in G }[/math] כך ש- [math]\displaystyle{ g*x=y }[/math]. או במילים אחרות: קיים לפעולה מסלול יחיד. --לואי 11:22, 28 באוגוסט 2013 (IDT)

רשימת המשפטים למבחן

תוכלו להעלות ניסוחים למשפטים שיש להוכיח?

מבחן 2012 מועד א'

מישהו יכול לעזור לי עם שאלת הבונוס במבחן http://www.math-wiki.com/images/5/57/AA12A.pdf

יש כמה שלבים:
  1. יש לדעת שהחיתוך [math]\displaystyle{ H_1 \cap H_2 }[/math] הוא תת חבורה של [math]\displaystyle{ H_1, H_2, G }[/math].
  2. יש להראות כי אם [math]\displaystyle{ [G:H_1]\lt \infty }[/math] אז גם [math]\displaystyle{ [H_2:H_1 \cap H_2]\lt \infty }[/math]. את זה אפשר להראות עם העתקה חח"ע מן המחלקות השמאליות של [math]\displaystyle{ H_1 \cap H_2 }[/math] בתוך [math]\displaystyle{ H_2 }[/math] למחלקות השמאליות של [math]\displaystyle{ H_1 }[/math] בתוך [math]\displaystyle{ G }[/math]. אם [math]\displaystyle{ [G:H_1] }[/math] סופי, אז עקב קיום ההעתקה החח"ע נקבל שודאי שגם [math]\displaystyle{ [H_2:H_1 \cap H_2] }[/math] סופי.
  3. משתמשים במסקנה ממשפט לגראנז' (הופיע בתרגיל בית 3) שאומרת [math]\displaystyle{ [G:H_1 \cap H_2]=[G:H_2][H_2:H_1 \cap H_2] }[/math] וסיימנו לפי הסעיף הקודם והנתון בשאלה [math]\displaystyle{ [G:H_2]\lt \infty }[/math].
--Mathzeta2 21:01, 28 באוגוסט 2013 (IDT)

משפט 2

מה בדיוק צריך להוכיח במשפט 2 ? האם צריך להוכיח שלכל מספר המחלק את הסדר של החבורה הציקלית קיימת תת חבורה מהסדר של המספר או שצריך להוכיח שכל ת"ח של חבורה ציקלית היא חבורה ציקלית או שצריך להוכיח את שתיהם?

  • ההוכחה מופיעה בקובץ שהועלה לאתר. --לואי 13:50, 1 בספטמבר 2013 (IDT)

מספר חבורות מסדר מסוים

מישהו יכול להסביר לי איך יודעים כמה חבורות יש מסדר מסוים עד כדי איזומורפיזם ?

אני זוכר שמשתמשים בפירוק או משהו כזה..

  • אני מניחה שהכוונה היא לחבורות אבליות. מסתכלים אל הסדר של החבורה, מפרקים את הסדר הזה למכפלה של חזקות של מספרים ראשוניים, ואז נעזרים במשפטי המיון של חבורות אבליות. תוכלו למצוא לא מעט דוגמאות בתרגילי הבית ובתרגולים. --לואי 13:52, 1 בספטמבר 2013 (IDT)

מספר יוצרים

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

חבורה ציקלית אינסופית היא איזומורפית ל- [math]\displaystyle{ \mathbb{Z} }[/math] ויש ב- [math]\displaystyle{ \mathbb{Z} }[/math] רק 2 יוצרים: 1 ו- 1-
--Ofekgillon10

שאלה

למה [math]\displaystyle{ K_{4} }[/math] נורמלית ב [math]\displaystyle{ A_4 }[/math]?

החבורה [math]\displaystyle{ A_4 }[/math] מספיק קטנה כדי שנוכל לבדוק את זה בחישוב ישיר (ולהסתמך על המבנה של תמורה שהצמדנו אותה בתמורה אחרת). דרך יותר אלגנטית היא לחשב את מספר חבורות ה-2-סילו של [math]\displaystyle{ A_4 }[/math], מגלים שזה 1, כלומר תת-חבורה 2-סילו (שהיא מסדר 4) היא יחידה ולכן נורמלית. --Mathzeta2 04:02, 30 באוגוסט 2013 (IDT)
למה בהכרח מקבלים ש [math]\displaystyle{ n_{2}=1 }[/math]? לא יכול להיות מצב בו [math]\displaystyle{ n_{2}=3 }[/math] ו [math]\displaystyle{ n_{3}=1 }[/math]?
(אפשר להוסיף הזחה עם ":" וחתימה עם ארבע טילדות (~) או עם כפתור החתימה)
יש בסך הכל שתי אפשרויות [math]\displaystyle{ n_3 = 1 }[/math] או [math]\displaystyle{ n_3 = 4 }[/math]. כדי להראות שהאפשרות הראשונה לא נכונה, פשוט אפשר למצוא לפחות 2 תת חבורות שונות מסדר 3. אנחנו יודעים שמחזור מאורך 3 הוא תמורה זוגית ולכן שייך לחבורה. תת החבורה שהוא יוצר היא מסדר 3, ואכן תת החבורה שיוצרת התמורה [math]\displaystyle{ (1,2,3) }[/math] אינה תת החבורה שיוצרת התמורה [math]\displaystyle{ (2,3,4) }[/math]. לפי שיקול של ספירת איברים, לפי הסדרים שלהם, יש את איבר היחידה ועוד 8 איברים מסדר 3 ששייכים לארבע חבורות 3-סילו של [math]\displaystyle{ A_4 }[/math]. לכן "נשאר מקום" רק לחבורה 2-סילו אחת. --Mathzeta2 20:07, 31 באוגוסט 2013 (IDT)

חבורות p-סילו ומיון ת"ח אבליות

למדנו שאם G חבורה אבלית מסדר n שמתפרק למספרים ראשוניים pi (כך ש-n הוא מכפלה של ה-pi בחזקת אלפא i), אזי קיימת ל-G ת"ח מסדר pi בחזקת אלפא i (לכל i) ות"ח כזו נקראת ת"ח pi סילו.

השאלה שלי היא האם הפירוק הנ"ל נותן פירוק של ת"ח שהמכפלה ישרה שלהם נותן את G?

ואם כן, האם משפט מיון חבורות אבליות מחייב שהפירוק הנ"ל הוא של ת"ח ציקליות?

ואם כן, האם זה מחייב שכל חבורה pi-סילו היא ציקלית?

מצטרף לשאלה !
(אפשר להוסיף הזחה עם ":" וחתימה עם ארבע טילדות (~) או עם כפתור החתימה)
ננסה לענות לכל השאלות. ראינו שאם כל חבורות סילו של חבורה הן נורמליות, אז היא סכום ישר שלהן. בהערת אגב, חבורות סופיות שהן סכום ישר של חבורות סילו שלהן הן נילפוטנטיות. אם אני מבין נכון את השאלה הראשונה, אז כן, [math]\displaystyle{ G }[/math] היא מכפלה ישרה של חבורות סילו שלה, כי בחבורה אבלית כל תת חבורה היא נורמלית ובפרט חבורות הסילו.
לגבי השאלות השנייה והשלישית: חבורה אבלית סופית (ובאופן כללי יותר נוצרת סופית) ניתנת להצגה כסכום ישר של תת חבורות ציקליות. אבל תת החבורות הציקליות האלו הן לא בהכרח חבורות סילו. דוגמה קונקרטית היא [math]\displaystyle{ G = \mathbb{Z}_2 \times \mathbb{Z}_2 \times \mathbb{Z}_3 }[/math]. יש לה חבורה 3-סילו [math]\displaystyle{ \{0\} \times \{0\} \times \mathbb{Z}_3 }[/math] שכמובן איזומורפית לחבורה [math]\displaystyle{ \mathbb{Z}_3 }[/math] שהיא ציקלית, אבל חבורת 2-סילו שלה אינה ציקלית ואיזומורפית לחבורה [math]\displaystyle{ \mathbb{Z}_2 \times \mathbb{Z}_2 }[/math]. באופן כללי למדנו שחבורות [math]\displaystyle{ p }[/math] אבליות הן לא בהכרח ציקליות. --Mathzeta2 20:21, 31 באוגוסט 2013 (IDT)

תרגיל

יש תרגיל: הוכיחו שבחבורת התמורות הזוגיות מגודל 4 (A4) לא קיימת ת"ח עם 6 איברים.

בתרגיל מניחים בשלילה שיש חבורה H כזו ובאחד השלבים לוקחים סיגמא ב-A4 ואז טוענים שסיגמא בריבוע ב-H.

מישהו יכול להסביר לי את המעבר הזה ?

תת החבורה [math]\displaystyle{ H }[/math] היא מאינדקס 2. בתרגול 7 היה תרגיל שאם יש תת חבורה [math]\displaystyle{ H \le G }[/math] מאינדקס [math]\displaystyle{ n }[/math], אז לכל איבר [math]\displaystyle{ a \in G }[/math] מתקיים [math]\displaystyle{ a^n \in H }[/math]. --Mathzeta2 20:29, 31 באוגוסט 2013 (IDT)

דיאגרמה קומוטטיבית

למה מגרל מתכוון כשהוא אומר דיאגרמה קומוטטיבית ? כמו באיזו' 1 ובהומ' פעולות.

אני מניח שהוא מתכוון למושג שמופיע בויקיפדיה העברית, או הגרסה בויקיפדיה האנגלית שמעט יותר ברורה וכוללת דוגמה לגבי משפט האיזומורפיזם הראשון. --Mathzeta2 20:42, 31 באוגוסט 2013 (IDT)

נוסחת המחלקות

האם צריך לדעת להוכיח ש [G:Gx] שווה לאורך המסלול כחלק מהוכחת המשפט או שמותר להסתמך על זה?

  • ראו את ההוכחה בקובץ שהועלה לאתר. --לואי 13:54, 1 בספטמבר 2013 (IDT)

תת חבורות p-סילוב וסדרי איברים

האם יש קשר בין מספר האיברים מסדר p לבין מספר ת"ח p-סילוב ? נגיד אם יש שתי תתי חבורות p-סילוב אז בהכרח יש שני איברים מסדר p בחבורה הגדולה ?

קצת קשה להגדיר "קשר". זה תלוי לפחות בכמה גורמים: [math]\displaystyle{ p }[/math], [math]\displaystyle{ n_p }[/math], בסדר החבורה ובמבנה של תת חבורות סילו (לא רק בסדר שלהן). אפילו במקרה הפשוט יחסית של חבורות אבליות סופיות אם ת"ח סילו היא ציקלית, אז יהיו [math]\displaystyle{ p-1 }[/math] איברים מסדר [math]\displaystyle{ p }[/math]. אם לעומת זאת היא מכפלה ישרה של [math]\displaystyle{ \mathbb{Z}_p }[/math] אז יהיו הרבה יותר איברים מסדר [math]\displaystyle{ p }[/math]. אולי יעניינו אותך שתי שאלות מ-mathoverflow ומ-math.stackexchange. --Mathzeta2 12:15, 1 בספטמבר 2013 (IDT)

שאלה 5 ג' במבחן

מישהו יודע אולי כמה נקודות הייתה שווה שאלה 5 ג' במבחן?

חפיפה בין המרצים

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