פעם הבאה תקשיב
1.עשינו היום בהרצאה, הוכחה דיי ארוכה מוכיחים ש A5 נוצרת ע"י עגילים מסדר 3 נניח שקיימת ת"ח נורמלית בA5 שונה מA5 ו{e} כעת מספיק להראות שקיים עגיל אחד מסדר 3 בH כדי ש H=A5 (בגלל הנורמליות של H וכל העגילים מסדר 3 בS5 צמודים, ואפשר כל עגיל בS5 להפוך להיות בA5 ע"י תיקון בכפילה של חילוף של 2 המספרים שלא משתתפים בעגיל מסדר 3 במידת הצורך) כעת בודקים שבאמת קיים עגיל מסדר 3 בH, מחשבים את מספר החלוקות של 5,בשביל לקבל את הטיפוסים, רואים איזה טיפוסים שייכים לA5, ומוכיחים שלכל טיפוס מתאים עגיל מסדר 3 בH 2.מסלול לא קשור בכלל לנקודות שבת
[x]={gx} ככה ש g שייך ל G
3. משפט נויטר בדיוק אומר שאם יש לך תמונה אפימורפית, מ x->y אז x מודלו ker f, איזומורפי ל y אז פשוט אם יש לך ת"ח של x, תבנה אפימורפיזם מx->y ככה שהגרעין של האפימורפיזם יהיה הת"ח, ואז x מודולו ת"ח יהיה איזומורפי לy.