משפטי סילו

מבוא אחת מהתוצאות הבסיסיות על המבנה של חבורות שראינו הייתה משפט לגראנז': אם \(G\) חבורה סופית ו-\(H\) תת-חבורה שלה אז הסדר של \(H\) מחלק את הסדר של \(G\). המשפט הזה מייד העלה את השאלה אם גם הכיוון ההפוך נכון: אם … להמשיך לקרוא

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

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

החבורה הדיהדרלית

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

בואו נדבר על מכפלות של חבורות וחבורות אבליות

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

חבורות של תמורות

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

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

בפוסט הקודם שלי דיברתי על משפט האיזומורפיזם הראשון של חבורות שאמר ש-\(G/\ker f\cong\text{Im}f\) לכל הומומורפיזם \(f\) שמוגדר על \(G\) (או בניסוח אחר, אם \(G\to H\) הוא הומומורפיזם על, אז \(G/\ker f\cong H\)). המילה "הראשון" מרמזת שיש עוד משפטי איזומורפיזמים, ואני … להמשיך לקרוא

הומומורפיזמים של חבורות

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

קוסטים, משפט לגראנז' וחבורות מנה

בפוסט הקודם של תורת החבורות דיברנו על תתי-חבורות והזכרתי את משפט לגראנז'. המשפט אומר שאם $latex G$ היא חבורה סופית, ו-$latex H$ היא תת-חבורה שלה, אז $latex \left|H\right||\left|G\right|$ – הסדר של $latex H$ מחלק את הסדר של $latex G$ ("סדר" של … להמשיך לקרוא

תתי-חבורות וחבורות ציקליות

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

אז מה זו בעצם חבורה?

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

אז מה זו אלגברה מופשטת?

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

אמי נתר (או: על נשים ומתמטיקה וחוקי שימור טובים פחות וטובים יותר)

התירוץ שלי לכתוב את הפוסט הזה הוא הכתבה הזו ב"הארץ" על הכמות הדלה של רחובות בתל-אביב שנקראים על שם נשים, מכיוון שבכתבה הזו נזרק התירוץ של "אף אחד לא ממליץ". ובכן, אני חושב שאמי נתר היא המלצה מצויינת, ובהמשך הפוסט … להמשיך לקרוא

על P=NP מעל חבורות אבליות – סוף דבר

בשני הפוסטים האחרונים אני מכין את הקרקע לקראת הוכחה ש-$latex \mbox{P}\ne\mbox{NP}$ במודלים חישוביים שהם מעל חבורות אבליות אינסופיות. בפוסט הראשון הצגתי את הרעיון שמאחורי מודל חישובי שכזה והצגתי הוכחה לכך שעבור המקרה הקונקרטי של $latex G=\mathbb{Z}$ אנחנו אכן מקבלים ש-$latex … להמשיך לקרוא

על P=NP מעל חבורות אבליות – מבוא שלם

בואו נוכיח ש-$latex \mbox{P}\ne\mbox{NP}$. אה… מה? תיארתי בעבר בבלוג את בעיית $latex \mbox{P=NP}$ בתור הבעיה הפתוחה המרכזית במדעי המחשב ולא הרבה השתנה מאז – עדיין אין לנו הוכחה ש-$latex \mbox{P}\ne\mbox{NP}$ למרות שרוב מדעני המחשב חושבים שזה המצב. אז מן הסתם … להמשיך לקרוא

משפט השאריות הסיני

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

משוואת פל

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

גבישים כמו-מחזוריים וריצופים כן-מחזוריים

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

האלגוריתם האוקלידי וחוגים אוקלידיים

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

תורת המספרים האלגברית על קצה המזלג, חלק ד' – השיבה אל חוג השלמים

בפוסט הקודם הוכחתי שבכל חוג דדקינד קיים פירוק יחיד ברמת האידאלים. זה התקשר למה שדיברתי עליו קודם לכן בכך שכל חוג שלמים $latex \mathcal{O}_{K}$ של שדה מספרים $latex K$ הוא חוג דדקינד – טענה שטרם הוכחתי. בפוסט הזה אני רוצה … להמשיך לקרוא

תורת המספרים האלגברית על קצה המזלג, חלק ג' – שובו של הפירוק היחיד

בפוסט הקודם הצגתי את הפתרון של דדקינד (שהלך בעקבות קומר) לבעיה של אי-פריקות יחידה בחוגי שלמים. הרעיון היה לעבור מדיבור על אברי החוג לדיבור על אידאלים של החוג – כשאידאל הייתה קבוצה של אברי החוג שסגורה לחיבור ו"בולעת" כפל באיבר … להמשיך לקרוא