מערכי תרגול קורס 89-214 סמסטר א` תשע`¨ו מבנים אלגבריים - Math-Wiki

Transcription

מערכי תרגול קורס 89-214 סמסטר א` תשע`¨ו מבנים אלגבריים - Math-Wiki
‫מערכי תרגול קורס ‪ 89-214‬סמסטר א’ תשע”ו‬
‫מבנים אלגבריים למדעי המחשב‬
‫דצמבר ‪ ,2015‬גרסה ‪0.14‬‬
‫תוכן העניינים‬
‫מבוא ‪. . . . . . . . . . . . . . . . . . .‬‬
‫‪ 1‬מבוא לתורת המספרים ‪. . . . . . . . .‬‬
‫‪ 2‬מבנים אלגבריים בסיסיים ‪. . . . . . . .‬‬
‫‪ 3‬חבורת אוילר ‪. . . . . . . . . . . . . .‬‬
‫‪ 4‬תת־חבורות ‪. . . . . . . . . . . . . . .‬‬
‫‪ 5‬סדר של איבר וסדר של חבורה ‪. . . . .‬‬
‫‪ 6‬חבורות ציקליות ‪. . . . . . . . . . . .‬‬
‫‪ 7‬מכפלה קרטזית של חבורות ‪. . . . . . .‬‬
‫‪ 8‬החבורה הסימטרית )על קצה המזלג( ‪. . .‬‬
‫‪ 9‬מחלקות ‪. . . . . . . . . . . . . . . .‬‬
‫‪ 10‬חישוב פונקציית אוילר ‪. . . . . . . . .‬‬
‫‪ 11‬תת־חבורה הנוצרת על ידי איברים ‪. . . .‬‬
‫‪ 12‬החבורה הדיהדרלית ‪. . . . . . . . . . .‬‬
‫‪ 13‬נושאים נוספים בחבורה הסימטרית ‪. . .‬‬
‫‪ 14‬שימוש בתורת החבורות‪ :‬אלגוריתם ‪RSA‬‬
‫‪ 15‬הומומורפיזמים ‪. . . . . . . . . . . . .‬‬
‫‪ 16‬תת־חבורות נורמליות ‪. . . . . . . . . .‬‬
‫‪ 17‬חבורות מנה ‪. . . . . . . . . . . . . .‬‬
‫‪ 18‬משפטי האיזומורפיזם של נתר ‪. . . . . .‬‬
‫‪ 19‬הצמדות ‪. . . . . . . . . . . . . . . .‬‬
‫‪1‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪.‬‬
‫‪2‬‬
‫‪2‬‬
‫‪6‬‬
‫‪10‬‬
‫‪10‬‬
‫‪11‬‬
‫‪13‬‬
‫‪15‬‬
‫‪16‬‬
‫‪18‬‬
‫‪22‬‬
‫‪24‬‬
‫‪25‬‬
‫‪26‬‬
‫‪28‬‬
‫‪30‬‬
‫‪33‬‬
‫‪35‬‬
‫‪36‬‬
‫‪40‬‬
‫מבוא‬
‫כמה הערות טכניות לתחילת הקורס‪:‬‬
‫• דף הקורס נמצא באתר ‪.www.math-wiki.com‬‬
‫• שאלות בנוגע לחומר הלימודי מומלץ לשאול בדף השיחה באתר של הקורס‪.‬‬
‫• ישנה חובת הגשת תרגילים‪ ,‬אבל בודקים רק לחצי מהסטודנטים‪.‬‬
‫• נשמח לכל הערה על מסמך זה‪.‬‬
‫‪1‬‬
‫מבוא לתורת המספרים‬
‫נסמן כמה קבוצות של מספרים‪:‬‬
‫• } ‪ N = {1, 2, 3, . . .‬המספרים הטבעיים‪.‬‬
‫• } ‪ Z = {0, ±1, ±2, ±3, . . .‬המספרים השלמים )מגרמנית‪.(Zahlen :‬‬
‫{‬
‫}‬
‫• }‪ Q = pq : p ∈ Z, q ∈ Z\ {0‬המספרים הרציונליים‪.‬‬
‫• ‪ R‬המספרים הממשיים‪.‬‬
‫• ‪ C‬המספרים המרוכבים‪.‬‬
‫מתקיים ‪.N ⊂ Z ⊂ Q ⊂ R ⊂ C‬‬
‫הגדרה ‪ .1.1‬יהיו ‪ a, b‬מספרים שלמים‪ .‬נאמר כי ‪ a‬מחלק את ‪ b‬אם קיים ‪ k ∈ Z‬כך‬
‫ש‪ ,ka = b-‬ונסמן ‪ .a|b‬למשל ‪.−5|10‬‬
‫משפט ‪) 1.2‬משפט החילוק‪ ,‬או חלוקה אוקלידית(‪ .‬לכל ‪ d ̸= 0, n ∈ Z‬קיימים ‪q, r‬‬
‫יחידים כך ש‪ n = qd + r-‬וגם |‪.0 ≤ r < |d‬‬
‫המשפט לעיל מתאר ”מה קורה” כאשר מחלקים את ‪ n‬ב‪ .d-‬הבחירה בשמות‬
‫הפרמטרים במשפט מגיעה מלע”ז )מאנגלית?( ‪) quotient‬מנה( ו‪) remainder-‬שארית(‪.‬‬
‫הגדרה ‪ .1.3‬בהנתן שני מספרים שלמים ‪ n, m‬המחלק המשותף המירבי )ממ”מ‪greatest ,‬‬
‫‪ (common divisor‬שלהם מוגדר להיות המספר‬
‫}‪gcd(n, m) = max {d ∈ N : d|n ∧ d|m‬‬
‫לעיתים נסמן )‪ .(n, m‬למשל ‪ .(6, 10) = 2‬נאמר כי ‪ n, m‬זרים אם ‪ .(n, m) = 1‬למשל‬
‫‪.(2, 5) = 1‬‬
‫הערה ‪ .1.4‬אם ‪ d|a‬וגם ‪ ,d|b‬אזי ‪ d‬מחלק כל צירוף לינארי של ‪ a‬ו‪.b-‬‬
‫‪2‬‬
‫טענה ‪ .1.5‬אם ‪ ,n = qm + r‬אז )‪.(n, m) = (m, r‬‬
‫הוכחה‪ .‬נסמן )‪ ,d = (n, m‬וצ”ל כי )‪ .d = (m, r‬אנו יודעים כי ‪ d|n‬וגם ‪ .d|m‬אנו‬
‫יכולים להציג את ‪ r‬כצירוף לינארי של ‪ ,n, m‬ולכן ‪ .d|r = n − qm‬מכך קיבלנו‬
‫)‪.d ≤ (m, r‬‬
‫כעת‪ ,‬לפי הגדרה ‪ (m, r)|r‬וגם ‪ ,(m, r)|m‬ולכן ‪ (m, r)|n‬כי ‪ n‬הוא צירוף לינארי של‬
‫‪ .m, r‬אם ידוע כי ‪ (m, r)|m‬וגם ‪ ,(m, r)|n‬אזי ‪ .(m, r) ≤ d‬סך הכל קיבלנו כי‬
‫)‪.d = (m, r‬‬
‫משפט ‪) 1.6‬אלגוריתם אוקלידס(‪” .‬המתכון” למציאת ממ”מ בעזרת שימוש חוזר בטענה‬
‫‪ 1.5‬הוא אלגוריתם אוקלידס‪ .‬ניתן להניח ‪ .0 ≤ m < n‬אם ‪ ,m = 0‬אזי ‪.(n, m) = n‬‬
‫אחרת נכתוב ‪ n = qm + r‬כאשר ‪ 0 ≤ r < m‬ונמשיך עם )‪) .(n, m) = (m, r‬הבינו‬
‫למה האלגוריתם חייב להעצר‪(.‬‬
‫דוגמה ‪ .1.7‬נחשב את הממ”מ של ‪ 53‬ו‪ 47-‬בעזרת אלגוריתם אוקלידס‬
‫]‪(53, 47) = [53 = 1 · 47 + 6‬‬
‫]‪(47, 6) = [47 = 7 · 6 + 5‬‬
‫‪(6, 5) = 1‬‬
‫דוגמה נוספת עבור מספרים שאינם זרים‪:‬‬
‫]‪(224, 63) = [224 = 3 · 63 + 35‬‬
‫]‪(63, 35) = [63 = 1 · 35 + 28‬‬
‫]‪(35, 28) = [35 = 1 · 28 + 7‬‬
‫]‪(28, 7) = [28 = 4 · 7 + 0‬‬
‫‪(7, 0) = 7‬‬
‫משפט ‪) 1.8‬אפיון הממ”מ כצירוף לינארי מזערי(‪ .‬מתקיים לכל מספרים שלמים ‪ a, b‬כי‬
‫}‪(a, b) = min {au + bv ∈ N‬‬
‫‪u,v‬‬
‫בפרט קיימים ‪ s, t ∈ Z‬כך ש‪.(a, b) = sa + tb-‬‬
‫הערה ‪ .1.9‬מן המשפט קיבלנו כי ‪.(a, b) ∈ aZ + bZ‬‬
‫דוגמה ‪ .1.10‬כדי למצוא את המקדמים ‪ s, t‬כשמביעים את הממ”מ כצירוף לינארי כנ”ל‬
‫נשתמש באלגוריתם אוקלידס המוכלל‪:‬‬
‫]‪(234, 61) = [234=3·61+51 ⇒ 51 = 234 − 3 · 61‬‬
‫]‪(61, 51) = [61=1·51+10 ⇒ 10 = 61 − 1 · 51 = 61 − 1 · (234 − 3 · 61) = −1 · 234 + 4 · 61‬‬
‫]‪(51, 10) = [51=5·10+1 ⇒ 1 = 51 − 5 · 10 = 51 − 5 · (−1 · 234 + 4 · 61) = 6 · 234 − 23 · 61‬‬
‫‪(10, 1) = 1‬‬
‫ולכן ‪.(234, 61) = 1 = 6 · 234 − 23 · 61‬‬
‫‪3‬‬
‫תרגיל ‪ .1.11‬יהיו ‪ a, b, c‬מספרים שלמים כך ש‪ (a, b) = 1-‬וגם ‪ .a|bc‬הראו כי ‪.a|c‬‬
‫פתרון‪ .‬לפי אפיון הממ”מ כצירוף לינארי‪ ,‬קיימים ‪ s, t‬כך ש‪ .1 = sa + tb-‬נכפיל ב‪c-‬‬
‫ונקבל ‪ .c = sac + tbc‬ברור כי ‪ a|sac‬ולפי הנתון גם ‪ .a|tbc‬לכן )‪ ,a| (sac + tbc‬כלומר‬
‫‪.a|c‬‬
‫טענה ‪ .1.12‬תכונות של ממ”מ‪:‬‬
‫‪ .1‬יהי )‪ d = (n, m‬ויהי ‪ e‬כך ש‪ e|m-‬וגם ‪ ,e|n‬אזי ‪.e|d‬‬
‫‪(an, am) = |a| (n, m) .2‬‬
‫‪ .3‬אם ‪ p‬ראשוני וגם ‪ ,p|ab‬אזי ‪ p|a‬או ‪.p|b‬‬
‫‪ .1‬קיימים ‪ s, t‬כך ש‪ .d = sn + tm-‬כיוון ש‪ ,e|n, m-‬אז הוא‬
‫הוכחת התכונות‪.‬‬
‫מחלק גם את צירוף לינארי שלהם ‪ ,sn + tm‬ז”א את ‪.d‬‬
‫‪) .2‬חלק מתרגיל הבית(‬
‫‪ .3‬אם ‪ ,p - a‬אז ‪ .(p, a) = 1‬לכן קיימים ‪ s, t‬כך ש‪ .sa + tp = 1-‬נכפיל את השיוויון‬
‫האחרון ב‪ b-‬ונקבל ‪ .sab + tpb = b‬ברור כי ‪ p‬מחלק את אגף שמאל )הרי ‪,(p|ab‬‬
‫ולכן ‪ p‬מחלק את אגף ימין‪ ,‬כלומר ‪.p|b‬‬
‫הגדרה ‪ .1.13‬בהנתן שני מספרים שלמים ‪ n, m‬הכפולה המשותפת המזערית )כמ”מ‪,‬‬
‫‪ (least common multiple‬שלהם מוגדרת להיות‬
‫}‪lcm(n, m) = min {d ∈ N : n|d ∧ m|d‬‬
‫לעיתים נסמן ]‪ .[n, m‬למשל ‪[6, 10] = 30‬ו‪.[2, 5] = 10-‬‬
‫טענה ‪ .1.14‬תכונות של כמ”מ‪:‬‬
‫‪ .1‬אם ‪ m|a‬וגם ‪ ,n|a‬אז ‪.[n, m] |a‬‬
‫‪ .[n, m] (n, m) = |nm| .2‬למשל ‪.[6, 4] (6, 4) = 12 · 2 = 24 = 6 · 4‬‬
‫‪ .1‬יהיו ‪ q, r‬כך ש‪ a = q [n, m] + r-‬כאשר ]‪.0 ≤ r < [n, m‬‬
‫הוכחת התכונות‪.‬‬
‫= ‪ r‬זו‬
‫מהנתון כי ‪ n, m|a‬ולפי הגדרה ]‪ ,n, m| [n, m‬נובע כי ‪ .n, m|r‬אם ‪̸ 0‬‬
‫סתירה למינימליות של ]‪ .[n, m‬לכן ]‪ ,a = q [n, m‬כלומר ‪.[n, m] |a‬‬
‫‪ .2‬נראה דרך קלה לחישוב הממ”מ והכמ”מ בעזרת הפירוק של מספר למכפלת‬
‫גורמים ראשוניים‪ .‬נניח כי הפירוק הוא‬
‫‪pαi i = pα1 1 pα2 2 pα3 3 . . .‬‬
‫∞‬
‫∏‬
‫=‪m‬‬
‫‪pβi i = pβ1 1 pβ2 2 pβ3 3 . . .‬‬
‫∞‬
‫∏‬
‫‪i=1‬‬
‫‪i=1‬‬
‫‪4‬‬
‫=‪n‬‬
‫כאשר ‪) αi , βi ≥ 0‬והם כמעט תמיד אפס כי המכפלה סופית(‪ .‬כעת צריך‬
‫להשתכנע כי‬
‫) ‪max(αi ,βi‬‬
‫‪pi‬‬
‫∞‬
‫∏‬
‫) ‪min(α ,β‬‬
‫‪pi i i‬‬
‫= ]‪[n, m‬‬
‫‪i=1‬‬
‫∞‬
‫∏‬
‫= )‪(n, m‬‬
‫‪i=1‬‬
‫ומפני שלכל שני מספרים ‪ α, β‬מתקיים )‪ ,α + β = min(α, β) + max(α, β‬אז‬
‫|‪.[n, m] (n, m) = |nm‬‬
‫שאלה ‪) 1.15‬לבית(‪ .‬אפשר להגדיר ממ”מ ליותר מזוג מספרים‪ .‬יהי ‪ d‬הממ”מ של‬
‫המספרים ‪ .n1 , . . . , nk‬הראו שקיימים מספרים שלמים ‪ s1 , . . . , sk‬המקיימים ‪s1 n1 +‬‬
‫‪ .· · · + sk nk = d‬רמז‪ :‬אינדוקציה על ‪.k‬‬
‫הגדרה ‪ .1.16‬יהי ‪ n‬מספר טבעי‪ .‬נאמר כי ‪ a, b ∈ Z‬הם שקולים בשארית חלוקה ב‪n-‬‬
‫אם ‪ .n|a − b‬כלומר קיים ‪ k ∈ Z‬כך ש‪ .a = b + kn-‬נסמן יחס זה )‪a ≡ b (mod n‬‬
‫ונקרא זאת ”‪ a‬שקול ל‪ b-‬מודולו ‪.”n‬‬
‫טענה ‪) 1.17‬הוכחה לבית(‪ .‬שקילות מודולו ‪ n‬היא יחס שקילות )רפלקסיבי‪ ,‬סימטרי‬
‫וטרנזיטיבי(‪ .‬כפל וחיבור מודולו ‪ n‬מוגדרים היטב‪ .‬כלומר אם )‪,a ≡ b, c ≡ d (mod n‬‬
‫אז )‪ ac ≡ bd (mod n‬וגם )‪.a + c ≡ b + d (mod n‬‬
‫צורת רישום ‪ .1.18‬את אוסף מחלקות השקילות מודולו ‪ n‬מקובל לסמן = ‪Zn = Z/nZ‬‬
‫}‪ .{[a] : a ∈ Z‬למשל }]‪ .Z4 = {[0] , [1] , [2] , [3‬לפעמים מסמנים את מחלקת השקילות‬
‫]‪ [a‬בסימון ‪ ,a‬ולעיתים כאשר ההקשר ברור פשוט ‪.a‬‬
‫תרגיל ‪ .1.19‬מצאו את הספרה האחרונה של ‪.333333‬‬
‫פתרון‪ .‬נשים לב כי ‪ .333333 = 3333 · 111333‬לכן‬
‫)‪111 ≡ 1 (mod 10) ⇒ 111333 ≡ 1333 ≡ 1 (mod 10‬‬
‫‪( )81‬‬
‫)‪3333 = 34·83+1 = 34 · 3 = 8183 · 3 ≡ 183 · 3 (mod 10‬‬
‫)‪333333 = 3333 · 111333 ≡ 3 (mod 10‬‬
‫ומכאן שהספרה האחרונה היא ‪.3‬‬
‫תרגיל ‪) 1.20‬אם יש זמן(‪ .‬מצאו ‪ 0 ≤ x ∈ Z‬כך ש‪.61x ≡ 1 (mod 234)-‬‬
‫פתרון‪ .‬לפי הנתון‪ ,‬קיים ‪ k ∈ Z‬כך ש‪ .61x + 234k ≡ 1-‬ז”א ‪ 1‬הוא צירוף לינארי‬
‫)מינימלי במקרה זה( של ‪ 61‬ו‪ .234-‬לפי איפיון ממ”מ קיבלנו כי ‪ .(234, 61) = 1‬כלומר‬
‫‪ k, x‬הם המקדמים מן המשפט של איפיון הממ”מ כצירוף לינארי מזערי‪ .‬לפי תרגיל‬
‫קודם ‪ .1 = 6 · 234 − 23 · 61‬לכן )‪ ,x ≡ −23 (mod 234‬וכדי להבטיח כי ‪ x‬אינו שלילי‬
‫נבחר ‪.x = 211‬‬
‫‪5‬‬
‫משפט ‪) 1.21‬משפט השאריות הסיני(‪ .‬אם ‪ n, m‬זרים‪ ,‬אזי לכל ‪ a, b ∈ Z‬קיים ‪ x‬יחיד‬
‫עד כדי שקילות מודולו ‪ nm‬כך ש‪) x ≡ b (mod m) ,x ≡ a (mod n)-‬יחד!(‪.‬‬
‫הוכחה לא מלאה‪ .‬מפני ש‪ ,(n, m) = 1-‬אזי קיימים ‪ s, t ∈ Z‬כך ש‪ .sn + tm = 1-‬כדי‬
‫להוכיח קיום של ‪ x‬כמו במשפט נתבונן ב‪ .bsn + atm-‬מתקיים‬
‫)‪bsn + atm ≡ atm ≡ a · 1 ≡ a (mod n‬‬
‫)‪bsn + atm ≡ bsn ≡ b · 1 ≡ b (mod m‬‬
‫ולכן ‪ x = bsn + atm‬הוא פתרון אפשרי‪ .‬ברור כי גם ‪ x′ = x + kmn‬לכל ‪ k ∈ Z‬הוא‬
‫פתרון תקף‪.‬‬
‫הוכחת היחידות של ‪ x‬מודולו ‪ nm‬תהיה בתרגיל הבית‪.‬‬
‫דוגמה ‪ .1.22‬נמצא ‪ x ∈ Z‬כך ש‪ x ≡ 1 (mod 3)-‬וגם )‪ .x ≡ 2 (mod 5‬ידוע כי‬
‫‪ ,(5, 3) = 1‬ולכן ‪ .−1 · 5 + 2 · 3 = 1‬במקרה זה ‪ n = 5, m = 3‬וכן ‪,s = −1, t = 2‬‬
‫ולפי משפט השאריות הסיני אפשר לבחור את ‪ .x = 1 · (−5) + 2 · 6 = 7‬אכן מתקיים‬
‫)‪ 7 ≡ 1 (mod 3‬וגם )‪.7 ≡ 2 (mod 5‬‬
‫משפט השאריות הסיני הוא יותר כללי‪ .‬הנה גרסה שלו למערכת משוואות של‬
‫שקילות מודולו‪:‬‬
‫משפט ‪) 1.23‬אם יש זמן(‪ .‬תהא } ‪ {m1 , . . . , mk‬קבוצת מספרים טבעיים הזרים זה לזה‬
‫)כלומר כל זוג מספרים בקבוצה הוא זר(‪ .‬נסמן את מכפלתם ב‪ .m-‬בהנתן קבוצה‬
‫כלשהי של שאריות }‪ ,{ai (modmi ) : 1 ≤ i ≤ k‬קיימת שארית יחידה ‪ x‬מודולו ‪m‬‬
‫המהווה פתרון למערכת המשוואות‬
‫‪‬‬
‫‪‬‬
‫) ‪x ≡ a1 (mod m1‬‬
‫‪‬‬
‫‪‬‬
‫‪..‬‬
‫‪.‬‬
‫‪‬‬
‫‪‬‬
‫) ‪x ≡ a (mod m‬‬
‫‪k‬‬
‫‪k‬‬
‫דוגמה ‪ .1.24‬נמצא ‪ y ∈ Z‬כך ש‪-‬ש‪ y ≡ 2 (mod 5) ,y ≡ 1 (mod 3)-‬וגם ‪y ≡ 3‬‬
‫)‪ .(mod 7‬נשים לב שהפתרון ‪ y = 7‬מן הדוגמה הקודמת הוא נכון כדי כדי הוספה של‬
‫‪) 3 · 5 = 15‬כי )‪ 15 ≡ 0 (mod 3‬וגם )‪ .(15 ≡ 0 (mod 5‬לכן את שתי המשוואות ‪y ≡ 1‬‬
‫)‪ y ≡ 2 (mod 5) ,(mod 3‬ניתן להחליף במשוואה אחת )‪ .y ≡ 7 (mod 15‬נשים לב‬
‫כי ‪ (15, 7) = 1‬ולכן אפשר להשתמש במשפט השאריות הסיני בגרסה לזוג משוואות‪.‬‬
‫בדקו כי ‪ y = 52‬מהווה פתרון‪.‬‬
‫‪2‬‬
‫מבנים אלגבריים בסיסיים‬
‫בהתאם לשם הקורס‪ ,‬כעת נכיר כמה מבנים אלגבריים‪ .‬מבנה אלגברי שמכירים כבר‬
‫באלגברה לינארית הוא שדה‪ .‬אנו נגדיר כמה מבנים יותר ”פשוטים”‪ ,‬כשהחשוב שבהם‬
‫הוא חבורה‪ .‬במרבית הקורס נתרכז בחקר חבורות‪.‬‬
‫‪6‬‬
‫הגדרה ‪ .2.1‬תהי ‪ S‬קבוצה‪ .‬פעולה בינארית )‪ (binary operation‬על ‪ S‬היא פונקציה‬
‫דו־מקומית ‪ .∗ : S ×S → S‬עבור ‪ a, b ∈ S‬כמעט תמיד במקום לרשום )‪ ∗(a, b‬נשתמש‬
‫בסימון ‪ .a ∗ b‬מפני שתמונת הפונקציה ‪ a ∗ b‬שייכת ל‪ ,S-‬נאמר כי הפעולה היא סגורה‪.‬‬
‫הגדרה ‪ .2.2‬אגודה )או חבורה למחצה‪ (semigroup ,‬היא מערכת אלגברית )∗ ‪(S,‬‬
‫המורכבת מקבוצה לא ריקה ‪ S‬ומפעולה בינארית על ‪ S‬המקיימת קיבוציות )אסוציטיביות‪,‬‬
‫‪ .(associativity‬כלומר לכל ‪ a, b, c ∈ S‬מתקיים )‪.(a ∗ b) ∗ c = a ∗ (b ∗ c‬‬
‫דוגמה ‪ .2.3‬המערכת )‪ (N, +‬של מספרים טבעיים עם החיבור הרגיל היא אגודה‪.‬‬
‫דוגמה ‪ .2.4‬המערכת )‪ (Z, −‬אינה אגודה‪ ,‬מפני שפעולת החיסור אינה קיבוצית‪ .‬למשל‬
‫)‪.(5 − 2) − 1 ̸= 5 − (2 − 1‬‬
‫צורת רישום ‪ .2.5‬לעיתים נקצר ונאמר כי ‪ S‬היא אגודה מבלי להזכיר במפורש את‬
‫המערכת האלגברית‪ .‬במקרים רבים הפעולה תסומן כמו כפל‪ ,‬דהיינו ‪ ab‬או ‪,a · b‬‬
‫ובמקום לרשום מכפלה ‪ aa . . . a‬של ‪ n‬פעמים ‪ a‬נרשום ‪.an‬‬
‫הגדרה ‪ .2.6‬תהי )∗ ‪ (S,‬אגודה‪ .‬איבר ‪ e ∈ S‬נקרא איבר יחידה אם לכל ‪ a ∈ S‬מתקיים‬
‫‪.a ∗ e = e ∗ a = a‬‬
‫הגדרה ‪ .2.7‬מונואיד )‪ ,monoid‬או יחידון( )‪ (M, ∗, e‬הוא אגודה בעלת איבר יחידה ‪.e‬‬
‫כאשר הפעולה ואיבר היחידה ברורים מן ההקשר‪ ,‬פשוט נאמר כי ‪ M‬הוא מונואיד‪.‬‬
‫הערה ‪) 2.8‬בהרצאה(‪ .‬יהי )‪ (M, ∗, e‬מונואיד עם איבר יחידה ‪ .e‬הוכיחו כי איבר היחידה‬
‫הוא יחיד‪ .‬הרי אם ‪ e, f ∈ M‬הם איברי יחידה‪ ,‬אז מתקיים ‪.e = e ∗ f = f‬‬
‫הגדרה ‪ .2.9‬יהי )‪ (M, ∗, e‬מונואיד‪ .‬איבר ‪ a ∈ M‬יקרא הפיך משמאל אם קיים איבר‬
‫‪ b ∈ M‬כך ש‪ .ba = e-‬במקרה זה ‪ b‬יקרא הופכי שמאלי של ‪.a‬‬
‫באופן דומה‪ ,‬איבר ‪ a ∈ M‬יקרא הפיך מימין אם קיים איבר ‪ b ∈ M‬כך ש‪.ab = e-‬‬
‫במקרה זה ‪ b‬יקרא הופכי ימני של ‪.a‬‬
‫איבר יקרא הפיך אם קיים איבר ‪ b ∈ M‬כך ש‪ .ba = ab = e-‬במקרה זה ‪ b‬יקרה‬
‫הופכי של ‪.a‬‬
‫תרגיל ‪) 2.10‬בהרצאה(‪ .‬יהי ‪ a ∈ M‬איבר הפיך משמאל ומימין‪ .‬הראו ש‪ a-‬הפיך‬
‫וההופכי שלו הוא יחיד‪.‬‬
‫פתרון‪ .‬יהי ‪ b‬הופכי שמאלי כלשהו של ‪) a‬קיים כזה כי ‪ a‬הפיך משמאל(‪ ,‬ויהי ‪ c‬הופכי‬
‫ימני כלשהו של ‪) a‬הצדקה דומה(‪ .‬נראה כי ‪ b = c‬ונסיק שאיבר זה הוא הופכי של ‪.a‬‬
‫ודאו כי אתם יודעים להצדיק כל אחד מן המעברים הבאים‪:‬‬
‫‪c = e ∗ c = (b ∗ a) ∗ c = b ∗ (a ∗ c) = b ∗ e = b‬‬
‫לכן כל ההופכיים הימיניים וכל ההופכיים השמאליים של ‪ a‬שווים זה לזה‪ .‬מכאן גם‬
‫שההופכי הוא יחיד‪ ,‬ויסומן ‪.a−1‬‬
‫שימו לב שאם איבר הוא רק הפיך מימין ולא משמאל‪ ,‬אז יתכן שיש לו יותר מהופכי‬
‫ימני אחד )וכנ”ל בהיפוך הכיוונים(!‬
‫‪7‬‬
‫הגדרה ‪ .2.11‬חבורה )‪ (G, ∗, e) (group‬היא מונואיד שבו כל איבר הוא הפיך‪.‬‬
‫לפי ההגדרה לעיל על מנת להוכיח שמערכת אלגברית )∗ ‪ (G,‬היא חבורה צריך‬
‫להראות כי הפעולה ∗ היא סגורה‪ ,‬קיבוצית‪ ,‬שקיים איבר יחידה ושכל איבר הוא הפיך‪.‬‬
‫כמו כן מתקיים‪ :‬חבורה ⇐ מונואיד ⇐ אגודה‪.‬‬
‫דוגמה ‪ .2.12‬המערכת )‪ (Z, +‬היא חבורה שאיבר היחידה בה הוא ‪ .0‬בכתיב חיבורי‬
‫מקובל לסמן את האיבר ההופכי של ‪ a‬בסימון ‪ .−a‬כתיב זה מתלכד עם המושג המוכר‬
‫של מספר נגדי ביחס לחיבור‪.‬‬
‫דוגמה ‪ .2.13‬יהי ‪ F‬שדה )למשל ‪ R ,Q‬או ‪ .(C‬אזי )‪ (F, +, 0‬עם פעולת החיבור של‬
‫השדה היא חבורה‪ .‬באופן דומה גם )‪) (Mn,m (F ), +‬אוסף המטריצות בגודל ‪n × m‬‬
‫מעל ‪ (F‬עם פעולת חיבור מטריצות היא חבורה‪ .‬איבר היחידה הוא מטריצת האפס‪.‬‬
‫דוגמה ‪ .2.14‬יהי ‪ F‬שדה‪ .‬המערכת )· ‪ (F,‬עם פעולת הכפל של השדה היא מונואיד‬
‫שאינו חבורה )מי לא הפיך?(‪ .‬איבר היחידה הוא ‪.1‬‬
‫דוגמה ‪ .2.15‬יהי ‪ F‬שדה‪ .‬נסמן }‪ .F ∗ = F \ {0‬אזי )‪ (F ∗ , ·, 1‬היא חבורה‪ .‬לעומת‬
‫זאת‪ ,‬המערכת )· ‪ (Z∗ ,‬עם הכפל הרגיל של מספרים שלמים היא רק מונואיד )מי הם‬
‫האיברים ההפיכים בו?(‪.‬‬
‫דוגמה ‪ .2.16‬קבוצה בעלת איבר אחד ופעולה סגורה היא חבורה‪ .‬לחבורה זו קוראים‬
‫החבורה הטריוויאלית‪.‬‬
‫הגדרה ‪) 2.17‬חבורת האיברים ההפיכים(‪ .‬יהי ‪ M‬מונואיד ויהיו ‪ a, b ∈ M‬זוג איברים‪.‬‬
‫אם ‪ a, b‬הם הפיכים‪ ,‬אזי גם ‪ a · b‬הוא הפיך במונואיד‪ .‬אכן‪ ,‬האיבר ההופכי הוא‬
‫‪ .(a · b)−1 = b−1 · a−1‬לכן אוסף כל האיברים ההפיכים במונואיד מהווה קבוצה סגורה‬
‫ביחס לפעולה‪ .‬כמו כן האוסף הנ”ל מכיל את איבר היחידה‪ ,‬וכל איבר בו הוא הפיך‪.‬‬
‫מסקנה מיידית היא שאוסף האיברים ההפיכים במונואיד מהווה חבורה ביחס לפעולה‬
‫המצומצמת‪ .‬נסמן חבורה זו ב‪) U (M )-‬קיצור של ‪.(Units‬‬
‫הגדרה ‪ .2.18‬המערכת )· ‪ (Mn (R),‬של מטריצות ממשיות בגודל ‪ n×n‬עם כפל מטריצות‬
‫היא מונואיד‪ .‬לחבורת ההפיכים שלו‬
‫}‪U (Mn (R)) = GLn (R) = {A ∈ Mn (R) : det A ̸= 0‬‬
‫קוראים החבורה הלינארית הכללית )ממעלה ‪ (n‬מעל ‪.(General Linear group) R‬‬
‫הגדרה ‪ .2.19‬נאמר כי פעולה דו־מקומית ‪ ∗ : G × G → G‬היא אבלית )או חילופית‪,‬‬
‫‪ (commutative‬אם לכל שני איברים ‪ a, b ∈ G‬מתקיים ‪ .a ∗ b = b ∗ a‬אם )∗ ‪(G,‬‬
‫חבורה והפעולה היא אבלית‪ ,‬נאמר כי ‪ G‬היא חבורה אבלית )או חילופית(‪ .‬המושג‬
‫נקרא על שמו של נילס הנריק ָא ֶבּל )‪.(Niels Henrik Abel‬‬
‫דוגמה ‪ .2.20‬יהי ‪ F‬שדה‪ .‬החבורה )· ‪ (GLn (F ),‬אינה אבלית עבור ‪.n > 1‬‬
‫‪8‬‬
‫דוגמה ‪ .2.21‬מרחב וקטורי ‪ V‬יחד עם פעולת חיבור וקטורים הרגילה הוא חבורה אבלית‪.‬‬
‫הערה ‪ .2.22‬עבור קבוצה סופית אפשר להגדיר פעולה בעזרת לוח כפל‪ .‬למשל‪ ,‬אם‬
‫}‪ S = {a, b‬ונגדיר‬
‫‪∗ a b‬‬
‫‪a a a‬‬
‫‪b b b‬‬
‫אזי )∗ ‪ (S,‬היא אגודה כי הפעולה קיבוצית‪ ,‬אך היא אינה מונואיד כי אין בה איבר‬
‫יחידה‪ .‬נשים לב שהיא לא חילופית כי ‪ ,a ∗ b = a‬אבל ‪ .b ∗ a = b‬בבית תתבקשו למצוא‬
‫לוחות כפל עבור ‪ S‬כך שיתקבל מונואיד שאינו חבורה‪ ,‬שתתקבל חבורה וכו’‪.‬‬
‫הערה ‪) 2.23‬אם יש זמן(‪ .‬בקורס באלגברה לינארית כנראה ראיתם הגדרה של שדה‬
‫)‪ (F, +, ·, 0, 1‬הכוללת רשימה ארוכה של דרישות‪ .‬בעזרת ההגדרות שראינו נוכל לקצר‬
‫אותה‪ .‬נסמן }‪ .F ∗ = F \ {0‬נאמר כי ‪ F‬הוא שדה אם )‪ (F, +, 0‬היא חבורה חילופית‪,‬‬
‫)‪ (F ∗ , ·, 1‬היא חבורה חילופית וקיום חוק הפילוג )‪ ,distributive law‬לכל ‪a, b, c ∈ F‬‬
‫מתקיים ‪.(a(b + c) = ab + ac‬‬
‫תרגיל ‪ .2.24‬האם קיים מונואיד שיש בו איבר הפיך מימין שאינו הפיך משמאל?‬
‫פתרון‪ .‬כן‪ .‬נבנה מונואיד כזה‪ .‬תהא ‪ X‬קבוצה‪ .‬נסתכל על קבוצת ההעתקות מ‪X-‬‬
‫לעצמה המסומנת }‪ .X X = {f : X → X‬ביחס לפעולת ההרכבה זהו מונואיד‪ ,‬ואיבר‬
‫היחידה בו הוא העתקת הזהות‪.‬‬
‫ההפיכים משמאל הם הפונקציות החח”ע‪ .‬ההפיכים מימין הם הפונקציות על )להזכיר‬
‫את הטענות הרלוונטיות מבדידה(‪ .‬מה יקרה אם נבחר את ‪ X‬להיות סופית? )לעתיד‪:‬‬
‫לחבורה )◦ ‪ U (X X ,‬קוראים חבורת הסימטריה על ‪ X‬ומסמנים ‪ .SX‬אם = ‪X‬‬
‫}‪ {1, . . . , n‬מקובל לסמן את חבורת הסימטריה שלה בסימון ‪ ,Sn‬ולכן כל איבר הפיך‬
‫משמאל‪ .‬עבור ‪ n ≥ 3‬זו חבורה לא אבלית‪(.‬‬
‫אם ניקח למשל ‪ X = N‬קל למצוא פונקציה על שאינה חח”ע‪ .‬הפונקציה שנבחר‬
‫היא )‪ .d(n) = max(1, n − 1‬לפונקציה זו יש הופכי מימין‪ ,‬למשל ‪ ,u(n) = n + 1‬אבל‬
‫אין לה הפיך משמאל‪.‬‬
‫צורת רישום ‪ .2.25‬יהי ‪ n‬מספר טבעי‪ .‬נסמן את הכפולות שלו ב‪.nZ = {0, ±n, ±2n, . . . }-‬‬
‫למשל } ‪.4Z = {. . . , −12, −8, −4, 0, 4, 8, 12, . . .‬‬
‫דוגמה ‪ .2.26‬נסתכל על אוסף מחלקות השקילות מודולו ‪ .Zn = {[a] : a ∈ Z} ,n‬כזכור‬
‫חיבור וכפל מודולו ‪ n‬מוגדר היטב‪ .‬למשל ]‪ [a]+[b] = [a + b‬כאשר באגף שמאל הסימן‬
‫‪ +‬הוא פעולה בינארית הפועלת על אוסף מחלקות השקילות )‪ a‬הוא נציג של מחלקת‬
‫שקילות אחת ו‪ b-‬הוא נציג של מחלקת שקילות אחרת( ובאגף ימין זו פעולת החיבור‬
‫הרגילה של מספרים )שלאחריה מסתכלים על מחלקת השקילות שבה ‪ a + b‬נמצא(‪.‬‬
‫אפשר לראות כי )‪ (Zn , +‬היא חבורה אבלית‪ .‬נבחר נציגים למחלקות השקילות‬
‫}]‪ .Zn = {[0] , [1] , . . . , [n − 1‬איבר היחידה הוא ]‪) [0‬הרי ]‪[0] + [a] = [0 + a] = [a‬‬
‫לכל ]‪ .([a‬קיבוציות הפעולה והאבליות נובעת מקיבוציות והאבליות של פעולת החיבור‬
‫הרגילה‪ .‬האיבר ההופכי של ]‪ [a‬הוא ]‪.[n − a‬‬
‫‪9‬‬
‫מה ניתן לומר לגבי )· ‪ ?(Zn ,‬ישנה סגירות‪ ,‬ישנה קיבוציות וישנו איבר יחידה ]‪.[1‬‬
‫אך זו לא חבורה כי ל‪ [0]-‬אין הופכי‪ .‬נסמן }]‪ .Z∗n = Zn \ {[0‬האם )· ‪ (Z∗n ,‬חבורה?‬
‫∈ ]‪ ,[0‬ולכן‬
‫לא בהכרח‪ .‬למשל עבור ‪ Z∗6‬נקבל כי ]‪ .[2] [3] = [6] = [0‬לפי ההגדרה ‪/ Z∗n‬‬
‫)· ‪ (Z∗n ,‬אינה סגורה )כלומר אפילו לא אגודה(‪.‬‬
‫‪3‬‬
‫חבורת אוילר‬
‫דוגמה ‪ .3.1‬עדין ניתן להציל את המקרה של הכפל מודולו ‪ .n‬נגדיר את חבורת אוילר‬
‫)‪ (Euler‬להיות ) ‪ Un = U (Zn‬לגבי פעולת הכפל‪ .‬נבנה את לוח הכפל של ‪) Z6‬בהתעלם‬
‫מ‪ [0]-‬שתמיד יתן במכפלה ]‪:([0‬‬
‫‪5‬‬
‫‪5‬‬
‫‪4‬‬
‫‪3‬‬
‫‪2‬‬
‫‪1‬‬
‫‪4‬‬
‫‪4‬‬
‫‪2‬‬
‫‪0‬‬
‫‪4‬‬
‫‪2‬‬
‫‪3‬‬
‫‪3‬‬
‫‪0‬‬
‫‪3‬‬
‫‪0‬‬
‫‪3‬‬
‫‪2‬‬
‫‪2‬‬
‫‪4‬‬
‫‪0‬‬
‫‪2‬‬
‫‪4‬‬
‫‪1‬‬
‫‪1‬‬
‫‪2‬‬
‫‪3‬‬
‫‪4‬‬
‫‪5‬‬
‫·‬
‫‪1‬‬
‫‪2‬‬
‫‪3‬‬
‫‪4‬‬
‫‪5‬‬
‫האיברים ההפיכים הם אלו שמופיע עבורם ‪) 1‬הפעולה חילופית ולכן מספיק לבדוק רק‬
‫עמודות או רק שורות(‪ .‬כלומר }]‪ .U6 = {[1] , [5‬במקרה זה ]‪ [5‬הוא ההופכי של עצמו‪.‬‬
‫הערה ‪ .3.2‬אם ‪ p‬הוא מספר ראשוני‪ ,‬אז ‪) Up = Z∗p‬למה?(‪.‬‬
‫טענה ‪) 3.3‬הוכחה לבית(‪ .‬בדומה להערה האחרונה‪ ,‬נאפיין את האיברים ב‪.Un -‬‬
‫יהי ‪ .m ∈ Z‬אז ‪ [m] ∈ Un‬אם ורק אם ‪ .(n, m) = 1‬כלומר‪ ,‬ההפיכים במונואיד‬
‫)· ‪ (Zn ,‬הם כל האיברים הזרים ל‪.n-‬‬
‫דוגמה ‪.U12 = {1, 5, 7, 11} .3.4‬‬
‫דוגמה ‪ .3.5‬לא קיים ל‪ 5-‬הופכי כפלי ב‪ ,Z10 -‬שכן אחרת ‪ 5‬היה זר ל‪ 10-‬וזו סתירה‪.‬‬
‫טענה ‪) 3.6‬מההרצאה(‪ .‬יהי ‪ .m ∈ Z‬אז ‪ [m] ∈ Un‬אם ורק אם ‪ .(n, m) = 1‬כלומר‪,‬‬
‫ההפיכים במונואיד )· ‪ (Zn ,‬הם כל האיברים הזרים ל‪.n-‬‬
‫‪ 4‬תת־חבורות‬
‫הגדרה ‪ .4.1‬תהי ‪ G‬חבורה‪ .‬תת־קבוצה ‪ H ⊆ G‬היא תת־חבורה‪ ,‬אם היא מהווה חבורה‬
‫ביחס לפעולה המושרית מ‪.G-‬‬
‫דוגמה ‪ .4.2‬לכל חבורה ‪ G‬יש שתי תת־חבורות באופן מיידי‪) {e} ≤ G :‬הנקראת‬
‫תת־החבורה הטריוויאלית(‪ ,‬ו‪.G ≤ G-‬‬
‫דוגמה ‪ .4.3‬לכל ‪ .nZ ≤ Z ,n ∈ Z‬בהמשך נוכיח שאלו כל תת־החבורות של ‪.Z‬‬
‫‪10‬‬
‫דוגמה ‪) 4.4‬בתרגיל(‪ mZ ≤ nZ .‬אם ורק אם ‪.n|m‬‬
‫דוגמה ‪ (Zn , +) .4.5‬אינה תת־חבורה של )‪ – (Z, +‬כי ‪ Zn‬אינה מוכלת ב‪ :Z-‬האיברים‬
‫ב‪ Zn -‬הם מחלקות שקילות‪ ,‬ואילו האיברים ב‪ Z-‬הם מספרים‪.‬‬
‫דוגמה ‪ Un .4.6‬אינה תת־חבורה כפלית של )· ‪ – (Zn ,‬כי )· ‪ (Zn ,‬אינה חבורה‪.‬‬
‫דוגמה ‪ (GLn (R) , ·) .4.7‬אינה תת־חבורה של )‪ – (Mn (R) , +‬כי הפעולות בהן שונות‪.‬‬
‫טענה ‪) 4.8‬קריטריון מקוצר לתת־חבורה – מההרצאה(‪ .‬תהי ‪ H ⊆ G‬תת־קבוצה‪ .‬אזי‬
‫‪ H‬תת־חבורה של ‪ G‬אם ורק אם שני התנאים הבאים מתקיימים‪:‬‬
‫‪.e ∈ H .1‬‬
‫‪.h1 · h−1‬‬
‫‪ .2‬לכל ‪ ,h1 , h2 ∈ H‬גם ‪2 ∈ H‬‬
‫תרגיל ‪ .4.9‬יהי ‪ F‬שדה‪ .‬נגדיר‬
‫}‪SLn (F ) = {A ∈ GLn (F )|det A = 1‬‬
‫הוכיחו כי ) ‪ SLn (F ) ≤ GLn (F‬היא תת־חבורה‪ .‬קוראים לה החבורה הלינארית‬
‫המיוחדת מדרגה ‪.n‬‬
‫הוכחה‪ .‬ניעזר בקריטריון המקוצר לתת־חבורה‪.‬‬
‫‪ .1‬ברור כי ) ‪ ,In ∈ SLn (F‬כי ‪.det In = 1‬‬
‫‪ .2‬נניח ) ‪ .A, B ∈ SLn (F‬צ”ל ) ‪ .AB −1 ∈ SLn (F‬אכן‪,‬‬
‫(‬
‫)‬
‫‪det A‬‬
‫‪1‬‬
‫= ‪det AB −1 = det A det B −1‬‬
‫‪= =1‬‬
‫‪det B‬‬
‫‪1‬‬
‫ולכן ) ‪.AB −1 ∈ SLn (F‬‬
‫לפי הקריטריון המקוצר‪ SLn (F ) ,‬היא תת־חבורה של ) ‪.GLn (F‬‬
‫‪5‬‬
‫סדר של איבר וסדר של חבורה‬
‫הגדרה ‪ .5.1‬תהי ‪ G‬חבורה‪ .‬נגדיר את הסדר )‪ (order‬של ‪ G‬להיות עוצמתה כקבוצה‪.‬‬
‫במילים יותר גשמיות‪ ,‬כמה איברים יש בחבורה‪ .‬סימונים מקובלים‪ |G| :‬או )‪.Ord(G‬‬
‫צורת רישום ‪ .5.2‬בחבורה כפלית נסמן את החזקה החיובית ‪ an = aa . . . a‬לכפל‬
‫‪ n‬פעמים‪ .‬בחבורה חיבורית נסמן ‪ .na = a + · · · + a‬חזקות שליליות הן חזקות‬
‫חיוביות של ההופכי של ‪ .a‬מוסכם כי ‪.a0 = e‬‬
‫‪11‬‬
‫הגדרה ‪ .5.3‬תהי )‪ (G, ·, e‬חבורה ויהא איבר ‪ .g ∈ G‬הסדר של איבר הוא המספר‬
‫הטבעי ‪ n‬הקטן ביותר כך שמתקיים ‪ .g n = e‬אם אין ‪ n‬כזה‪ ,‬אומרים שהסדר של ‪g‬‬
‫הוא אינסוף‪ .‬בפרט‪ ,‬בכל חבורה הסדר של איבר היחידה הוא ‪ ,1‬וזהו האיבר היחיד‬
‫מסדר ‪ .1‬סימון מקובל ‪ o(g) = n‬ולפעמים |‪.|g‬‬
‫דוגמה ‪ .5.4‬בחבורה )‪.o (1) = o (5) = 6 ,o (3) = 2 ,o (2) = o (4) = 3 ,(Z6 , +‬‬
‫דוגמה ‪ .5.5‬נסתכל על החבורה )· ‪ .(U10 ,‬נזכור כי }‪) U10 = {1, 3, 7, 9‬כי אלו המספרים‬
‫הזרים ל‪ 10-‬וקטנים ממנו(‪ .‬נחשב את )‪:o (7‬‬
‫)‪72 = 49 ≡ 9 (mod 10‬‬
‫)‪73 = 7 · 72 ≡ 7 · 9 = 63 ≡ 3 (mod 10‬‬
‫)‪74 = 7 · 73 = 7 · 3 = 21 ≡ 1 (mod 10‬‬
‫ולכן ‪.o (7) = 4‬‬
‫‪ – (GL‬חבורת המטריצות ההפיכות מגודל ‪ 2×2‬מעל ‪.R‬‬
‫דוגמה ‪ .5.6‬נסתכל על))· ‪( 2 (R) ,‬‬
‫‪0‬‬
‫‪1‬‬
‫= ‪:b‬‬
‫נחשב את הסדר של‬
‫‪−1 −1‬‬
‫)‬
‫( )‬
‫()‬
‫(‬
‫‪−1 −1‬‬
‫‪0‬‬
‫‪1‬‬
‫‪0‬‬
‫‪1‬‬
‫‪2‬‬
‫‪̸= I‬‬
‫=‬
‫= ‪b‬‬
‫‪1‬‬
‫‪0‬‬
‫‪−1 −1‬‬
‫‪−1 −1‬‬
‫(‬
‫()‬
‫( )‬
‫)‬
‫‪0‬‬
‫‪1‬‬
‫‪−1 −1‬‬
‫‪1 0‬‬
‫‪3‬‬
‫‪2‬‬
‫= ‪b = b·b‬‬
‫=‬
‫‪=I‬‬
‫‪−1 −1‬‬
‫‪1‬‬
‫‪0‬‬
‫‪0 1‬‬
‫לכן ‪.o (b) = 3‬‬
‫תרגיל ‪ .5.7‬תהי ‪ G‬חבורה‪ .‬הוכיחו שלכל ‪.o (a) = o (a−1 ) ,a ∈ G‬‬
‫הוכחה‪ .‬נחלק לשני מקרים‪:‬‬
‫מקרה ‪.1‬‬
‫נניח ∞ < ‪ .o (a) = n‬לכן ‪ .an = e‬ראשית‪,‬‬
‫(‬
‫‪)n ⋆ ( )n‬‬
‫‪( )n‬‬
‫‪( )n‬‬
‫‪e = en = a−1 a = a−1 an = a−1 e = a−1‬‬
‫כאשר המעבר ⋆ מבוסס על כך ש‪ a-‬ו‪ a−1 -‬מתחלפים )באופן כללי‪(ab)n ̸= ,‬‬
‫‪n‬‬
‫‪ .(an bn‬הוכחנו ש‪ ,(a−1 ) = e-‬ולכן )‪.o (a−1 ) ≤ n = o (a‬‬
‫את אי‪-‬השוויון השני‪ .‬אם נחליף את ‪ a‬ב‪ ,a−1 -‬נקבל‬
‫כעת‪ ,‬צריך )להוכיח (‬
‫‪−1‬‬
‫) ‪< o (a−1‬‬
‫) ‪ .o (a) = o (a−1‬לכן יש שוויון‪.‬‬
‫מקרה ‪.2‬‬
‫נניח ∞ = )‪ ,o (a‬ונניח בשלילה ∞ < ) ‪ .o (a−1‬לפי המקרה הראשון‪,‬‬
‫∞ < ) ‪ ,o (a) = o (a−1‬וקיבלנו סתירה‪ .‬לכן ∞ < ) ‪.o (a−1‬‬
‫‪12‬‬
‫‪6‬‬
‫חבורות ציקליות‬
‫הגדרה ‪ .6.1‬תהי ‪ G‬חבורה‪ ,‬ויהי ‪ .a ∈ G‬תת־החבורה הנוצרת על ידי ‪ a‬היא תת־החבורה‬
‫ {‬
‫}‬
‫‪⟨a⟩ = ak k ∈ Z‬‬
‫דוגמה ‪ .6.2‬עבור ‪.⟨n⟩ = {kn|k ∈ Z} = nZ ,n ∈ Z‬‬
‫הגדרה ‪ .6.3‬תהי ‪ G‬חבורה ויהי איבר ‪ .a ∈ G‬אם ⟩‪ ,G = ⟨a‬אזי נאמר כי ”‪ G‬נוצרת‬
‫על ידי ‪ ”a‬ונקרא ל‪ G-‬חבורה ציקלית )מעגלית(‪.‬‬
‫דוגמה ‪ .6.4‬החבורה )‪ (Z, +‬נוצרת על ידי ‪ ,1‬שכן כל מספר ניתן להצגה ככפולה )כחזקה(‬
‫של ‪ .1‬שימו לב כי יוצר של חבורה ציקלית לא חייב להיות יחיד‪ ,‬למשל גם ‪ −1‬יוצר את‬
‫‪.Z‬‬
‫דוגמה ‪ .6.5‬החבורה ⟩‪ (Zn , +) = ⟨1‬היא ציקלית‪ .‬וודאו כי בחבורה )‪ (Z2 , +‬יש רק‬
‫יוצר אחד )נניח על ידי טבלת כפל(‪ .‬וודאו כי בחבורה )‪ (Z10 , +‬יש ארבעה יוצרים‪.‬‬
‫שניים די ברורים )‪ 1‬וגם ‪ ,(−1 ≡ 9‬האחרים )‪ (3, 7‬דורשים לבינתיים בדיקה ידנית‪.‬‬
‫הערה ‪ .6.6‬יהי ‪ .a ∈ G‬אזי |⟩‪ .o (a) = |⟨a‬במילים‪ ,‬הסדר של איבר הוא גודל‬
‫תת־החבורה שהוא יוצר‪.‬‬
‫טענה ‪ .6.7‬שימו לב כי הסדר של יוצר בחבורה ציקלית הוא סדר החבורה‪ .‬כלומר אנחנו‬
‫יודעים כי )‪ 5 ∈ (Z10 , +‬אינו יוצר כי הסדר שלו הוא | ‪ ,|5| = 2 < 10 = |Z10‬שהרי‬
‫)‪.5 + 5 ≡ 0 (mod 10‬‬
‫טענה ‪ .6.8‬כל חבורה ציקלית היא אבלית‪.‬‬
‫הוכחה‪ .‬תהי ‪ G‬חבורה ציקלית‪ ,‬ונניח כי ⟩‪ .G = ⟨a‬יהיו ‪ .g1 , g2 ∈ G‬צ”ל ‪.g1 g2 = g2 g1‬‬
‫‪ G‬ציקלית‪ ,‬ולכן קיימים ‪ i, j‬שעבורם ‪ g1 = ai‬ו‪ .g2 = aj -‬מכאן שמתקיים‬
‫‪g1 g2 = ai aj = ai+j = aj+i = aj ai = g2 g1‬‬
‫דוגמה ‪ .6.9‬לא כל חבורה אבלית היא ציקלית‪ .‬למשל‪ ,‬נסתכל על }‪.U8 = {1, 3, 5, 7‬‬
‫זו לא חבורה ציקלית‪ ,‬כי אין בחבורה הזו איבר מסדר ‪) 4‬כל האיברים שאינם ‪ 1‬הם‬
‫מסדר ‪ – 2‬בדקו(‪.‬‬
‫דוגמה ‪ .6.10‬קבוצת שורשי היחידה מסדר ‪ n‬מעל ‪ C‬היא‬
‫‬
‫}‬
‫{‬
‫ ‪2πk‬‬
‫‪n‬‬
‫‪k = 0, 1, . . . , n − 1‬‬
‫‪Ωn = {z ∈ C|z = 1} = cis‬‬
‫ ‪n‬‬
‫‪2π‬‬
‫זו תת־חבורה של ∗‪ .C‬יותר מכך‪ :‬אם נסמן‬
‫‪n‬‬
‫היא חבורה ציקלית‪.‬‬
‫‪13‬‬
‫‪ ,ωn = cis‬נקבל ⟩ ‪ ,Ωn = ⟨ωn‬כלומר ‪Ωn‬‬
‫טענה ‪ .6.11‬הוכיחו‪ :‬אם ‪ G‬ציקלית‪ ,‬אז כל תת־חבורה של ‪ G‬היא ציקלית‪.‬‬
‫הוכחה‪ .‬תהי ‪ H ≤ G‬תת־חבורה‪ .‬נסמן ⟩‪ .G = ⟨a‬כל האיברים ב‪ G-‬הם מהצורה ‪,ai‬‬
‫ולכן גם כל האיברים ב‪ H-‬הם מהצורה הזו‪.‬‬
‫‪s‬‬
‫‪s‬‬
‫יהי ‪ s ∈ N‬המספר המינימלי שעבורו ‪ .a ∈ H‬נרצה להוכיח ⟩ ‪ .H = ⟨a‬אכן‪,‬‬
‫יהי ‪ k ∈ N‬שעבורו ‪ .ak ∈ H‬לפי משפט החילוק עם שארית‪ ,‬קיימים ‪ q‬ו‪ r-‬שעבורם‬
‫‪ .0 ≤ r < s ,k = qs + r‬לכן‪,‬‬
‫‪ak = aqs+r = aqs · ar = (as )q · ar‬‬
‫במילים אחרות‪ .ar = ak · (as )−q ,‬אבל ‪ ,as , ak ∈ H‬ולכן גם ‪) ar ∈ H‬סגירות לכפל‬
‫ולהופכי(‪.‬‬
‫אם ‪ ,r ̸= 0‬קיבלנו סתירה למינימליות של ‪ – s‬כי ‪ ar ∈ H‬וגם ‪) 0 < r < s‬לפי‬
‫בחירת ‪ .(r‬לכן‪ .r = 0 ,‬כלומר‪ ,k = qs ,‬ומכאן ‪ .s|k‬לכן ⟩ ‪ ,ak ∈ ⟨as‬כדרוש‪.‬‬
‫מסקנה ‪ .6.12‬תת־החבורות של )‪ (Z, +‬הן בדיוק )‪ (nZ, +‬עבור }‪.n ∈ N ∪ {0‬‬
‫טענה ‪) 6.13‬מההרצאה(‪ .‬תהי ‪ G‬חבורה‪ ,‬ויהי ‪ .a ∈ G‬אם ‪ ,an = e‬אזי ‪.o (a) |n‬‬
‫תרגיל ‪ .6.14‬תהי ‪ G‬חבורה‪ ,‬ויהי ‪ .a ∈ G‬נניח ∞ < ‪ .o (a) = n‬הוכיחו שלכל ‪d ≤ n‬‬
‫טבעי‪,‬‬
‫)‪( d‬‬
‫‪n‬‬
‫)‪o (a‬‬
‫= ‪o a‬‬
‫=‬
‫)‪(d, n‬‬
‫))‪(d, o (a‬‬
‫הוכחה‪ .‬היתכנות‪ :‬נשים לב כי‬
‫‪n‬‬
‫)‪( d ) (d,n‬‬
‫‪d‬‬
‫‪a‬‬
‫‪= (an ) (d,n) = e‬‬
‫‪d‬‬
‫)הפעולות שעשינו חוקיות‪ ,‬כי ‪∈ Z‬‬
‫)‪(d, n‬‬
‫‪( d )t‬‬
‫‪dt‬‬
‫גם‬
‫לכן‪,‬‬
‫‪.n|dt‬‬
‫‪,6.13‬‬
‫טענה‬
‫לפי‬
‫‪.a‬‬
‫=‬
‫‪e‬‬
‫כלומר‬
‫‪,‬‬
‫‪a‬‬
‫מינימליות‪ :‬נניח ‪= e‬‬
‫(‬
‫)‬
‫‪n‬‬
‫‪d‬‬
‫‪n‬‬
‫‪dt‬‬
‫‪.‬‬
‫‪,‬‬
‫)שניהם מספרים שלמים – מדוע?(‪ .‬מצד שני‪= 1 ,‬‬
‫|‬
‫)‪(d, n) (d, n‬‬
‫)‪(d, n) (d, n‬‬
‫‪n‬‬
‫‪ ,‬כמו שרצינו‪.‬‬
‫לפי תרגיל שהוכחנו בתרגול הראשון‪|t ,‬‬
‫)‪(d, n‬‬
‫(‪.‬‬
‫תרגיל ‪) 6.15‬אם יש זמן(‪ .‬נגדיר ‪Ωn‬‬
‫∞‬
‫∪‬
‫= ∞‪ .Ω‬הוכיחו‪:‬‬
‫‪n=1‬‬
‫‪ Ω∞ .1‬היא תת־חבורה של ∗‪.C‬‬
‫‪ .2‬לכל ∞‪) o (x) < ∞ ,x ∈ Ω‬כלומר‪ :‬כל איבר ב‪ Ω∞ -‬הוא מסדר סופי(‪.‬‬
‫‪ Ω∞ .3‬אינה ציקלית‪.‬‬
‫‪14‬‬
‫לחבורה כזו‪ ,‬שבה כל איבר הוא מסדר סופי‪ ,‬קוראים חבורה מפותלת‪.‬‬
‫פתרון‪.‬‬
‫‪ .1‬ניעזר בקריטריון המקוצר‪ .‬יהיו ∞‪ .g1 , g2 ∈ Ω‬לכן קיימים ‪ m, n‬שעבורם ∈ ‪g1‬‬
‫‪ .g2 ∈ Ωn ,Ωm‬נכתוב‬
‫‪2πℓ‬‬
‫‪2πk‬‬
‫‪, g2 = cis‬‬
‫‪m‬‬
‫‪n‬‬
‫‪g1 = cis‬‬
‫לכן‬
‫(‬
‫‪)−1‬‬
‫)‬
‫(‬
‫)‬
‫(‬
‫‪2πℓ‬‬
‫‪2πk 2πℓ‬‬
‫‪2πk‬‬
‫‪2πk‬‬
‫‪2πℓ‬‬
‫‪= cis‬‬
‫‪cis‬‬
‫‪= cis‬‬
‫‪cis −‬‬
‫‪= cis‬‬
‫‪−‬‬
‫=‬
‫‪m‬‬
‫‪n‬‬
‫‪m‬‬
‫‪n‬‬
‫‪m‬‬
‫‪n‬‬
‫(‬
‫)‬
‫)‪2π (kn − ℓm‬‬
‫‪= cis‬‬
‫∞‪∈ Ωmn ⊆ Ω‬‬
‫‪mn‬‬
‫‪g1 g2−1‬‬
‫‪ .2‬לכל ∞‪ x ∈ Ω‬קיים ‪ n‬שעבורו ‪ ;x ∈ Ωn‬לכן‪.o (x) ≤ n ,‬‬
‫‪ .3‬נניח בשלילה ⟩‪ ;Ω∞ = ⟨a‬לכן בהכרח ‪ .o (a) = |Ω∞ | = ℵ0‬אבל זה סותר את‬
‫תוצאת סעיף ב’‪.‬‬
‫תרגיל ‪) 6.16‬אם יש זמן(‪ .‬תהי ‪ G‬חבורה ציקלית מסדר ‪ .n‬כמה איברים ב‪ G-‬יוצרים‬
‫את ‪?G‬‬
‫פתרון‪ .‬נניח כי ⟩‪ .G = ⟨a‬אזי‬
‫‪n‬‬
‫‪= n ⇐⇒ (k, n) = 1‬‬
‫)‪(k, n‬‬
‫⟩ ⟨‬
‫) (‬
‫⇒⇐ ‪G = ak ⇐⇒ o ak = n‬‬
‫לכן‪ ,‬מספר האיברים היוצרים את ‪ G‬הוא | ‪.|Un‬‬
‫‪7‬‬
‫מכפלה קרטזית של חבורות‬
‫הגדרה ‪ .7.1‬תהיינה )∗ ‪ (G,‬ו‪ (H, •)-‬חבורות‪ .‬ניזכר ממתמטיקה בדידה כי‬
‫}‪G × H = {(g, h)|g ∈ G, h ∈ H‬‬
‫נגדיר פעולה על ‪ G × H‬רכיב‪-‬רכיב‪ ,‬כלומר‪:‬‬
‫) ‪(g1 , h1 ) ⊙ (g2 , h2 ) = (g1 ∗ g2 , h1 • h2‬‬
‫טענה ‪ (G × H, ⊙) .7.2‬היא חבורה‪.‬‬
‫למשל‪ ,‬האיבר הניטרלי ב‪ G × H-‬הוא ) ‪.(eG , eH‬‬
‫‪15‬‬
‫דוגמה ‪ .7.3‬נסתכל על ‪ .U8 × Z3‬נדגים את הפעולה‪:‬‬
‫)‪(3, 2) ⊙ (5, 2) = (3 · 5, 2 + 2) = (15, 4) = (7, 1‬‬
‫)‪(5, 1) ⊙ (7, 2) = (5 · 7, 1 + 2) = (35, 3) = (3, 0‬‬
‫האיבר הניטרלי הוא )‪.(1, 0‬‬
‫תרגיל ‪ .7.4‬האם ‪ Zn × Zn‬ציקלית )עבור ‪?(n ≥ 2‬‬
‫פתרון‪ .‬לא! נוכיח שהסדר של כל איבר ‪ (a, b) ∈ Zn × Zn‬הוא לכל היותר ‪ :n‬אכן‪,‬‬
‫)‪(a, b)n = (a, b)⊙(a, b)⊙· · ·⊙(a, b) = (a + a + · · · + a, b + b + · · · + b) = (na, nb) = (0, 0‬‬
‫כיוון שהסדר הוא המספר המינימלי ‪ m‬שעבורו )‪ ,(a, b)m = (0, 0‬בהכרח ‪.m ≤ n‬‬
‫כלומר‪ ,‬הסדר של כל איבר ב‪ Zn × Zn -‬הוא לכל היותר ‪.n‬‬
‫כעת‪ ,‬נסיק כי החבורה הזו אינה ציקלית‪ :‬כזכור מבדידה‪ .|Zn × Zn | = n2 ,‬אילו‬
‫החבורה ‪ Zn × Zn‬הייתה ציקלית‪ ,‬היה בה איבר מסדר ‪ ;n2‬אך אין כזה‪ ,‬ולכן החבורה‬
‫אינה ציקלית‪.‬‬
‫הערה ‪ .7.5‬התרגיל הקודם אומר שמכפלה של חבורות ציקליות אינה בהכרח ציקלית‪.‬‬
‫לעומת זאת‪ ,‬מכפלה של חבורות אבליות תישאר אבלית )תוכיחו בבית(‪.‬‬
‫הערה ‪ .7.6‬מעכשיו‪ ,‬במקום לסמן את הפעולה של ‪ G × H‬ב‪ ,⊙-‬נסמן אותה · בשביל‬
‫הנוחות‪.‬‬
‫‪8‬‬
‫החבורה הסימטרית )על קצה המזלג(‬
‫הגדרה ‪ .8.1‬החבורה הסימטרית מדרגה ‪ n‬היא‬
‫}‪Sn = {σ : {1, 2, . . . , n} → {1, 2, . . . , n}|σ is bijective‬‬
‫זהו אוסף כל ההעתקות החח”ע ועל מהקבוצה }‪ {1, 2, . . . , n‬לעצמה‪ ,‬ובמילים אחרות –‬
‫אוסף כל שינויי הסדר של המספרים }‪ Sn .{1, 2, . . . , n‬היא חבורה‪ ,‬כאשר הפעולה‬
‫היא הרכבת פונקציות‪ .‬איבר היחידה הוא פונקציית הזהות‪ .‬כל איבר של ‪ Sn‬נקרא‬
‫תמורה‪.‬‬
‫הערה ‪) 8.2‬אם יש זמן(‪ .‬החבורה ‪ Sn‬היא בדיוק חבורת ההפיכים במונואיד ‪ X X‬עם‬
‫פעולת ההרכבה‪ ,‬כאשר }‪.X = {1, 2, . . . , n‬‬
‫דוגמה ‪ .8.3‬ניקח לדוגמה את ‪ .S3‬איבר ‪ σ ∈ S3‬הוא מהצורה ‪σ (2) = j ,σ (1) = i‬‬
‫ו‪ ,σ (3) = k-‬כאשר }‪ i, j, k ∈ {1, 2, 3‬שונים זה מזה‪ .‬נסמן בקיצור‬
‫(‬
‫)‬
‫‪1 2 3‬‬
‫=‪σ‬‬
‫‪i j k‬‬
‫נכתוב במפורש את האיברים ב‪:S3 -‬‬
‫‪16‬‬
‫)‬
‫‪.1‬‬
‫)‬
‫‪.2‬‬
‫)‬
‫‪.3‬‬
‫)‬
‫‪.4‬‬
‫)‬
‫‪.5‬‬
‫)‬
‫‪.6‬‬
‫‪2 3‬‬
‫‪2 3‬‬
‫‪2 3‬‬
‫‪1 3‬‬
‫‪2 3‬‬
‫‪3 1‬‬
‫‪2 3‬‬
‫‪1 2‬‬
‫‪2 3‬‬
‫‪2 1‬‬
‫‪2 3‬‬
‫‪3 2‬‬
‫(‬
‫‪1‬‬
‫= ‪.id‬‬
‫‪1‬‬
‫(‬
‫‪1‬‬
‫= ‪.τ‬‬
‫‪2‬‬
‫(‬
‫‪1‬‬
‫= ‪.σ‬‬
‫‪2‬‬
‫(‬
‫‪1‬‬
‫‪2‬‬
‫= ‪.σ = σ ◦ σ‬‬
‫‪3‬‬
‫(‬
‫‪1‬‬
‫= ‪.στ = σ ◦ τ‬‬
‫‪3‬‬
‫(‬
‫‪1‬‬
‫= ‪.τ σ = τ ◦ σ‬‬
‫‪1‬‬
‫נשים לב ש‪ S3 -‬אינה אבלית‪ ,‬כי ‪.στ ̸= τ σ‬‬
‫הערה ‪ .8.4‬נשים לב כי !‪ .|Sn | = n‬אכן‪ ,‬מספר האפשרויות לבחור את )‪ σ (1‬הוא ‪;n‬‬
‫אחר כך‪ ,‬מספר האפשרויות לבחור את )‪ σ (2‬הוא ‪ ;n − 1‬כך ממשיכים‪ ,‬עד שמספר‬
‫האפשרויות לבחור את )‪ σ (n‬הוא ‪ – 1‬האיבר האחרון שלא בחרנו‪ .‬בסך הכל‪|Sn | = ,‬‬
‫!‪.n · (n − 1) · · · · · 1 = n‬‬
‫הגדרה ‪ .8.5‬מחזור )או עגיל( ב‪ Sn -‬הוא תמורה המציינת מעגל אחד של החלפות של‬
‫מספרים שונים‪) a1 7→ a2 7→ a3 7→ . . . 7→ ak 7→ a1 :‬ושאר המספרים נשלחים לעצמם(‪.‬‬
‫כותבים את התמורה הזו בקיצור ) ‪ .(a1 a2 . . . ak‬האורך של המחזור ) ‪(a1 a2 . . . ak‬‬
‫הוא ‪.k‬‬
‫)‬
‫(‬
‫‪1 2 3 4 5‬‬
‫‪.‬‬
‫דוגמה ‪ .8.6‬ב‪ ,S5 -‬המחזור )‪ (4 5 2‬מציין את התמורה‬
‫‪1 4 3 5 2‬‬
‫משפט ‪ .8.7‬כל תמורה ניתנת לכתיבה באופן יחיד כהרכבת מחזורים זרים‪ ,‬כאשר הכוונה‬
‫ב”מחזורים זרים” היא מחזורים שאין לאף זוג מהם איבר משותף‪.‬‬
‫הערה ‪ .8.8‬שימו לב שמחזורים זרים מתחלפים זה עם זה )מדוע?(‪ ,‬ולכן חישובים עם‬
‫מחזורים יהיו לעיתים קלים יותר מאשר חישובים עם התמורה עצמה‪.‬‬
‫(‬
‫)‬
‫‪1 2 3 4 5 6 7‬‬
‫= ‪ .σ‬כדי‬
‫דוגמה ‪ .8.9‬נסתכל על התמורה הבאה ב‪:S7 -‬‬
‫‪4 7 3 1 5 2 6‬‬
‫לכתוב אותה כמכפלת מחזורים זרים‪ ,‬לוקחים מספר‪ ,‬ומתחילים לעבור על המחזור‬
‫המתחיל בו‪ .‬למשל‪:‬‬
‫‪1 7→ 4 7→ 1‬‬
‫‪17‬‬
‫אז בכתיבה על ידי מחזורים יהיה לנו את המחזור )‪ .(1 4‬כעת ממשיכים כך‪ ,‬ומתחילים‬
‫ממספר אחר‪:‬‬
‫‪2 7→ 7 7→ 6 7→ 2‬‬
‫אז נקבל את המחזור )‪ (2 7 6‬בכתיבה‪ .‬נשים לב ששאר המספרים הולכים לעצמם‪,‬‬
‫כלומר ‪ ,5 7→ 5 ,3 7→ 3‬ולכן‬
‫)‪σ = (1 4) (2 7 6‬‬
‫נחשב את ‪ .σ 2‬אפשר ללכת לפי ההגדרה‪ ,‬לעבור על כל מספר ולבדוק לאן ‪ σ 2‬תשלח‬
‫אותו; אבל‪ ,‬כיוון שמחזורים זרים מתחלפים‪ ,‬נקבל‬
‫)‪σ 2 = ((1 4) (2 7 6))2 = (1 4)2 (2 7 6)2 = (2 6 7‬‬
‫תרגיל ‪ .8.10‬יהי ‪ σ ∈ Sn‬מחזור מאורך ‪ .k‬מהו )‪?o (σ‬‬
‫פתרון‪ .‬נסמן ) ‪σ = (a1 a2 . . . ak‬נוכיח כי ‪ .o (σ) = k‬ראשית‪ ,‬ברור כי ‪ :σ k = id‬לכל‬
‫‪ ai‬מתקיים‬
‫‪k‬‬
‫‪k−1‬‬
‫‪σ (ai ) = σ‬‬
‫‪(ai+1 ) = · · · = σ (ai−1 ) = ai‬‬
‫ולכל ‪) σ k (m) = m ,m ̸= ai‬כי ‪.(σ (m) = m‬‬
‫נותר להוכיח מינימליות; אבל אם ‪ ,ℓ < k‬אפשר להשתכנע כי ‪̸= a1‬‬
‫כלומר ‪.σ ℓ ̸= id‬‬
‫‪,σ ℓ (a1 ) = aℓ+1‬‬
‫‪ 9‬מחלקות‬
‫הגדרה ‪ .9.1‬תהי ‪ G‬חבורה‪ ,‬ותהי ‪ H ≤ G‬תת־חבורה‪ .‬לכל ‪ ,g ∈ G‬נגדיר‪:‬‬
‫• מחלקה שמאלית – ‪.gH = {gh|h ∈ H} ⊆ G‬‬
‫• מחלקה ימנית – }‪.Hg = {hg|h ∈ H‬‬
‫את אוסף המחלקות השמאליות נסמן ‪.G/H‬‬
‫דוגמה ‪ .9.2‬ניקח את ‪ ,G = S3‬ונסתכל על תת־החבורה‬
‫})‪H = ⟨(1 2 3)⟩ = {id, (1 2 3) , (1 3 2‬‬
‫המחלקות השמאליות של ‪ H‬ב‪:G-‬‬
‫})‪{id, (1 2 3) , (1 3 2‬‬
‫})‪{(1 2) , (2 3) , (1 3‬‬
‫‪{(1 3) , (1 2) , (2 3)} = (1 2) H‬‬
‫‪{(2 3) , (1 3) , (1 2)} = (1 2) H‬‬
‫‪{(1 2 3) , (1 3 2) , id} = id H‬‬
‫‪{(1 3 2) , id, (1 2 3)} = id H‬‬
‫=‬
‫=‬
‫=‬
‫=‬
‫=‬
‫=‬
‫לכן‬
‫}‪S3 /H = {id H, (1 2) H‬‬
‫‪18‬‬
‫‪id H‬‬
‫‪(1 2) H‬‬
‫‪(1 3) H‬‬
‫‪(2 3) H‬‬
‫‪(1 2 3) H‬‬
‫‪(1 3 2) H‬‬
‫דוגמה ‪ .9.3‬ניקח את )‪ ,G = (Z, +‬ונסתכל על המחלקות השמאליות של ‪:H = 5Z‬‬
‫} ‪H = {. . . , −10, −5, 0, 5, 10, . . .‬‬
‫} ‪{. . . , −9, −4, 1, 6, 11, . . .‬‬
‫} ‪{. . . , −8, −3, 2, 7, 12, . . .‬‬
‫} ‪{. . . , −7, −2, 3, 8, 13, . . .‬‬
‫} ‪{. . . , −6, −1, 4, 9, 14, . . .‬‬
‫‪{. . . , −5, 0, 5, 10, 15, . . . } = H‬‬
‫‪1+H‬‬
‫‪2+H‬‬
‫=‬
‫=‬
‫=‬
‫=‬
‫=‬
‫=‬
‫=‬
‫=‬
‫‪0+H‬‬
‫‪1+H‬‬
‫‪2+H‬‬
‫‪3+H‬‬
‫‪4+H‬‬
‫‪5+H‬‬
‫‪6+H‬‬
‫‪7+H‬‬
‫וכן הלאה‪ .‬בסך הכל‪ ,‬יש חמש מחלקות שמאליות של ‪ 5Z‬ב‪ ,Z-‬וכן‬
‫}‪Z/5Z = {H, 1 + H, 2 + H, 3 + H, 4 + H‬‬
‫דוגמה ‪ .9.4‬ניקח את )‪ ,G = (Z8 , +‬ונסתכל על }‪ .H = ⟨2⟩ = {0, 2, 4, 6‬המחלקות‬
‫השמאליות הן‬
‫‪0 + H = H, 1 + H = {1, 3, 5, 7} , 2 + H = H‬‬
‫ובאופן כללי‪,‬‬
‫{‬
‫‪H,‬‬
‫= ‪a+H‬‬
‫‪1 + H,‬‬
‫)‪if a ≡ 0 (mod 2‬‬
‫)‪if a ≡ 1 (mod 2‬‬
‫∪‬
‫‪.G = H‬‬
‫נשים לב ש‪1 + H :‬‬
‫הערה ‪ .9.5‬כפי שניתן לראות מהדוגמאות שהצגנו‪ ,‬המחלקות השמאליות )או הימניות(‬
‫של ‪ H‬יוצרות חלוקה של ‪ .G‬נוסף על כך‪ ,‬יחס השוויון בין המחלקות הנוצרות ע”י שני‬
‫איברים ב ‪ G‬הינו יחס שקילות‪.‬‬
‫כלומר עבור ‪ a, b ∈ G‬ותת־חבורה ‪ ,H ≤ G‬יחס השוויון ‪ aH = bH‬הינו יחס‬
‫שקילות בין ‪ a‬ו ‪.b‬‬
‫נסכם זאת בעזרת המשפט הבא‪:‬‬
‫משפט ‪ .9.6‬תהי ‪ G‬חבורה‪ ,‬ותהי ‪ H ≤ G‬תת־חבורה‪ a, b ∈ G .‬אזי‬
‫‪ aH = bH .1‬אם ורק אם‪ ,b−1 a ∈ H :‬בפרט ‪a ∈ H⇐⇒ aH = H‬‬
‫‪ .2‬לכל שתי מחלקות ‪ g1 H‬ו‪ ,g2 H-‬מתקיים ‪ g1 H = g2 H‬או ∅ = ‪.g1 H ∩ g2 H‬‬
‫‪ .3‬מתקיים |‪.|aH| = |bH| = |H‬‬
‫‪ .4‬האיחוד של כל המחלקות הוא כל ‪gH = G ;G‬‬
‫∪‬
‫‪g∈G‬‬
‫‪19‬‬
‫‪ ,‬וזהו איחוד זר‪.‬‬
‫הוכחה‪ .‬נוכיח את ‪:1‬‬
‫)⇐(‪ :‬אם ‪ aH = bH‬אזי לכל ‪ .ah ∈ bH ,h ∈ H‬בפרט עבור איבר היחידה‬
‫‪ .a = ae ∈ bH‬מכאן נובע שקיים ‪ h0 ∈ H‬כך ש ‪,a = bh0 ∈ H‬‬
‫לכן בהכרח ‪.b−1 a = h0 ∈ H‬‬
‫)⇒(‪ :‬נניח ש‪ ,b−1 a ∈ H :‬אזי קיים ‪ ,h0 ∈ H‬כך ש‪ ,b−1 a = h0 :‬לכן‪.a = bh0 :‬‬
‫עתה‪ ,‬לכל ‪ h ∈ H‬מתקיים ש‪ ,ah = bh0 h ∈ bH :‬לכן‪ .aH ⊆ bH :‬אבל אם‬
‫‪ , b = ah−1‬ונקבל באותו אופן ש ‪.bH ⊆ aH‬‬
‫‪ ,a = bh0‬אזי ‪o‬‬
‫לכן בהכרח‪.bH = aH :‬‬
‫הערה ‪ .9.7‬קיימת התאמה חח”ע ועל בין המחלקות השמאליות }‪ {gH : g ∈ G‬לימניות‬
‫}‪.(Hg 7→ g −1 H) , {Hg : g ∈ G‬‬
‫{‬
‫}‬
‫= }‪gH 7→ (gH)−1 = (gh)−1 : h ∈ H = {h−1 g −1 : h ∈ H} = {kg −1 : k ∈ H‬‬
‫‪Hg −1‬‬
‫לכן מס’ המחלקות השמאליות = מספר המחלקות הימניות‪.‬‬
‫הגדרה ‪ .9.8‬נסמן את מספר המחלקות של ‪ H‬ב‪ G-‬בסימון ]‪ .[G : H‬מספר זה נקרא‬
‫האינדקס של ‪ H‬ב‪.G-‬‬
‫דוגמה ‪ .9.9‬על פי הדוגמאות שראינו‪:‬‬
‫‪[Z : 5Z] = 5 .1‬‬
‫‪[S3 : ⟨(1 2 3)⟩] = 2 .2‬‬
‫‪[Z8 : ⟨2⟩] = 2 .3‬‬
‫תרגיל ‪ .9.10‬מצאו חבורה ‪ G‬ותת־חבורה ‪ ,H ≤ G‬כך ש‪.[G : H] = ∞-‬‬
‫פתרון‪ .‬תהי )‪ G = (Q, +‬ותת־חבורה ‪.H = Z‬‬
‫ניקח שני שברים שונים מ ‪ Q‬בין ‪ 0‬ל ‪ ,α1 , α2 : 1‬ונתבונן במחלקות שאיברים אלו‬
‫יוצרים‪ .‬נקבל ש‪:‬‬
‫}‪{α1 , ±1 + α1 , ±2 + α1 , ...} = α1 H ̸= α2 H = {α2 , ±1 + α2 , ±2 + α2 , ...‬‬
‫ולכן‪,‬‬
‫מספר המחלקות של ‪ H‬ב‪ G-‬הוא לפחות כמספר המספרים ב ‪ Q‬בין ‪ 0‬ל ‪ 1‬שווה‬
‫∞‪.‬‬
‫משפט ‪) 9.11‬לגרנז’(‪ .‬תהי ‪ G‬חבורה‪ ,‬ותהי ‪ H ≤ G‬תת־חבורה‪ .‬אז |‪.|G| = [G : H]·|H‬‬
‫מסקנה ‪ .9.12‬עבור חבורה סופית‪ ,‬הסדר של תת־חבורה מחלק את הסדר של החבורה‪:‬‬
‫|‪|G‬‬
‫]‪= [G : H‬‬
‫|‪|H‬‬
‫בפרט‪ ,‬עבור ‪ |a| = |⟨a⟩| ,a ∈ G‬ו‪ |⟨a⟩| | |G|-‬כי ‪ .|⟨a⟩| ≤ G‬לכן הסדר של כל איבר‬
‫בחבורה מחלק את הסדר של החבורה‪ .‬במילים אחרות‪ ,‬לכל ‪ a ∈ G‬מתקיים ‪.a|G| = e‬‬
‫‪20‬‬
‫דוגמה ‪ .9.13‬עבור ‪ ,|Z10 | = 10‬הסדרים האפשריים של איברים ב ‪ Z10‬הם מהקבוצה‬
‫}‪.{1, 2, 5, 10‬‬
‫תרגיל ‪ .9.14‬האם לכל מספר ‪ m‬המחלק את סדר החבורה הסופית ‪ G‬בהכרח קיים‬
‫איבר מסדר ‪?m‬‬
‫פתרון‪ .‬לא בהכרח! דוגמה נגדית‪ :‬נבחן את החבורה ‪.Z4 × Z4‬‬
‫סדר החבורה הינו ‪ 16‬אבל לא קיים איבר מסדר ‪ .16‬אילו היה קיים איבר כזה‪,‬‬
‫אזי זו חבורה ציקלית‪ ,‬אבל הוכחנו שהחבורה ‪ Zn × Zn‬אינה ציקלית עבור ‪.n > 1‬‬
‫משפט ‪) 9.15‬משפט אוילר(‪ .‬פונקציית אוילר ‪ φ : N → N‬מוגדרת לפי | ‪.φ(n) = |Un‬‬
‫עבור ‪.aφ(n) = 1 (mod n) ,a ∈ Un‬‬
‫דוגמה ‪ ,(3, 10) = 1 .9.16‬לכן ‪ .3 ∈ U10‬מאחר ש‪ ,U10 = {1, 3, 7, 9}-‬אזי = )‪φ(10‬‬
‫‪.|U10 | = 4‬‬
‫אכן מתקיים‪.3φ(10) = 34 = 81 = 1 (mod 10) :‬‬
‫משפט ‪ .9.17‬המשפט הקטן של פרמה )כמקרה פרטי של משפט אוילר(‪:‬‬
‫עבור ‪ p‬ראשוני מתקיים ‪ ,|Up | = p − 1‬לכן לכל ‪ a ∈ Up‬מתקיים ש )‪,|a| | (p − 1‬‬
‫ובפרט )‪.ap−1 = 1 (mod p‬‬
‫תרגיל ‪ .9.18‬חשב את שתי הספרות האחרונות של המספר ‪.909121‬‬
‫פתרון‪ .‬נזכר ש ‪ mod n‬הינו יחס שקילות מכיוון ש‪ ,909 ≡ 9 (mod 100)-‬אזי נוכל לחשב‬
‫‪:9121‬‬
‫כיוון ש‪ ,(9, 100) = 1-‬אזי על פי משפט אוילר‪.9φ(100) = 940 = 1 (mod 100) :‬‬
‫מכאן ש‪9121 = (940 )3 · 9 ≡ 13 · 9 ≡ 9 (mod 100)-‬‬
‫דוגמה ‪ .9.19‬תהי ‪ G‬חבורה מסדר ‪ p‬ראשוני‪ .‬יהי ‪ .e ̸= g ∈ G‬לכן ‪.|g| > 1‬‬
‫מצד שני ‪ ,|g| | |G| = p‬לכן בהכרח ‪ ,|g| = p‬מה שאומר ש‪.G = ⟨g⟩ :‬‬
‫מאחר וזה נכון לכל ‪ ,e ̸= g ∈ G‬נסיק ש‪ G-‬נוצרת ע”י כל אחד מאיבריה שאינו‬
‫היחידה‪.‬‬
‫טענה ‪ .9.20‬תהי ⟩‪ G = ⟨x‬חבורה ציקלית מסדר ‪ n‬ויהי ‪ y = xd‬כאשר ‪ ,d > 0‬אזי‬
‫‪n‬‬
‫)‪) |y| = (d,n‬ראה תרגיל ‪ 6.14‬עבור ההוכחה‪(.‬‬
‫דוגמה ‪ ,(Z12 , +) .9.21‬חבורה ציקלית מסדר ‪ 12‬הנוצרת ע”י ‪.x = 1‬‬
‫‪n‬‬
‫‪12‬‬
‫)‪. (d,n‬‬
‫)‪= (8,12‬‬
‫‪= 12‬‬
‫אם ניקח ‪ ,y = x8 = 8‬אזי נקבל ‪= 3 :‬‬
‫‪4‬‬
‫מצד שני‪ ,‬על מנת לחשב את הסדר של ‪ ,y‬נבדוק מהי תת־החבורה הנוצרת ע”י ‪:y‬‬
‫)‪.⟨8⟩ = {0, 8, 4} ≤ (Z12 , +‬‬
‫ואכן ‪.|y| = |8| = | ⟨8⟩ | = 3‬‬
‫‪21‬‬
‫‪n‬‬
‫‪1‬‬
‫‪n‬‬
‫)‪(d,n‬‬
‫מסקנה ‪ .9.22‬בסימונים שלעיל‪ ,‬אם ‪ (n, d) = 1‬אזי ‪= n‬‬
‫⟩‪.G = ⟨y‬‬
‫מכאן נסיק שבחבורה ציקלית ‪ ,‬כל איבר שחזקתו זרה למספר איברי החבורה ‪-‬‬
‫יוצר את החבורה‪.‬‬
‫לכן מספר היוצרים בחבורה ציקלית מסדר ‪ n‬הוא כמספר המספרים השלמים הזרים‬
‫ל‪ .n-‬כלומר מספר היוצרים הוא בדיוק )‪) φ(n‬פונקציית אוילר(‪.‬‬
‫=‬
‫= |‪ .|y‬כלומר‬
‫טענה ‪ .9.23‬תהי ⟩‪ G = ⟨α‬ציקלית מסדר ‪ n‬ויהי ‪ .m|n‬אזי ל ‪ G‬יש תת־חבורה ציקלית‬
‫יחידה מסדר ‪.m‬‬
‫⟩ ‪⟨ n/m‬‬
‫‪ .H = α‬זוהי תת־חבורה מסדר ‪ m.‬תהי ‪ K‬תת־חבורה ציקלית‬
‫הוכחה‪ .‬נסמן‬
‫נוספת מסדר ‪ m‬ז”א‪ .K = ⟨β⟩ :‬נרצה להוכיח ש‪.K = H :‬‬
‫מאחר ש ‪ α‬יוצר של ‪ ,G‬קיים ‪ b ∈ Z‬כך ש‪ ,β = αb :‬לכן על פי הטענה הקודמת‪,‬‬
‫‪n‬‬
‫)‪.|β| = (n,b‬‬
‫‪n‬‬
‫‪n‬‬
‫)‪⇐ m = (n,b‬‬
‫אבל ‪⇐ |β| = m‬‬
‫‪ .(n, b) = m‬לפי תכונת ה ‪ gcd‬קיימים ‪ s, t ∈ Z‬כך‬
‫ש ‪ .(n, b) = sn + tb‬לכן‪:‬‬
‫‪ .αn/m = α(n,b) = αsn+tb = (αn )s (αb )t = 1 · β t ∈ K‬כלומר קיבלנו ש‪:‬‬
‫‪ ,αn/m ∈ K‬לכן ‪ ,H ⊆ K‬אבל על פי ההנחה |‪ ,|H| = |K‬לכן ‪ ,H = K‬כדרוש‪.‬‬
‫תרגיל ‪ .9.24‬כמה תת־חבורות לא טריוויאליות יש ב‪) ?Z30 -‬לא טריוויאלית פירושו לא‬
‫כולל את }‪ {0‬ואת ‪(Z30‬‬
‫על פי התרגיל‪ ,‬מאחר ומדובר בחבורה ציקלית‪ ,‬מס’ תת־החבורות הוא כמספר‬
‫המחלקים של המספר ‪ ,30‬כלומר‪.|{1, 2, 3, 5, 6, 10, 15, 30}| = 8 :‬‬
‫מאחר והסדרים ‪ 1‬ו‪ 30-‬מתאימים לתת־החבורות הטרוויאליות‪ ,‬נותרנו עם שש‬
‫תת־חבורות לא טריוויאליות‪.‬‬
‫‪10‬‬
‫חישוב פונקציית אוילר‬
‫לצורך פתרון התרגיל הבא נפתח נוסחה נוחה לחישוב )‪ ,φ (n‬כלומר‪ ,‬בהנתן מספר שלם‬
‫כלשהו‪ ,‬נוכל לחשב את מספר המספרים הקטנים ממנו בערך מוחלט וזרים לו‪.‬‬
‫על פי המשפט היסודי של האריתמטיקה‪ ,‬כל מספר שלם ניתן לפרק למכפלת חזקות‬
‫של מספרים ראשוניים )עד כדי סדר וסימן(‪ .‬כלומר‬
‫‪n = pk11 pk22 · · · ·pkmm‬‬
‫כעת נתבונן בנפרד בפונקציית אוילר של חזקה של מספר ראשוני כלשהו במכפלה‪,‬‬
‫שאותם קל לחשב‪:‬‬
‫)‬
‫(‬
‫)‪( k‬‬
‫‪1‬‬
‫‪k‬‬
‫‪k−1‬‬
‫‪k−1‬‬
‫‪k‬‬
‫‪φ p =p −p‬‬
‫‪=p‬‬
‫‪(p − 1) = p 1 −‬‬
‫‪p‬‬
‫‪22‬‬
‫ולכן‪ ,‬עבור מספר שלם כלשהו‪:‬‬
‫(‬
‫)‬
‫) ( ) (‬
‫) (‬
‫‪φ (n) = φ pk11 pk22 . . . pkmm = φ pk11 φ pk22 . . . φ pkmm‬‬
‫(‬
‫()‬
‫( )‬
‫)‬
‫‪1‬‬
‫‪1‬‬
‫‪1‬‬
‫‪k1 k2‬‬
‫‪km‬‬
‫‪= p1 p2 . . . pm 1 −‬‬
‫‪1−‬‬
‫‪... 1 −‬‬
‫‪p1‬‬
‫‪p2‬‬
‫‪pk‬‬
‫(‬
‫()‬
‫( )‬
‫)‬
‫‪1‬‬
‫‪1‬‬
‫‪1‬‬
‫‪=n· 1−‬‬
‫‪1−‬‬
‫‪... 1 −‬‬
‫‪p1‬‬
‫‪p2‬‬
‫‪pk‬‬
‫ולסיכום‬
‫(‬
‫()‬
‫( )‬
‫)‬
‫‪1‬‬
‫‪1‬‬
‫‪1‬‬
‫‪φ (n) = n · 1 −‬‬
‫‪1−‬‬
‫‪... 1 −‬‬
‫‪p1‬‬
‫‪p2‬‬
‫‪pk‬‬
‫דוגמה ‪ .10.1‬נחשב את )‪:φ (60‬‬
‫(‬
‫()‬
‫()‬
‫)‬
‫‪1‬‬
‫‪1‬‬
‫‪1‬‬
‫‪φ (60) = 60 · 1 −‬‬
‫‪1−‬‬
‫‪1−‬‬
‫‪= 16‬‬
‫‪2‬‬
‫‪3‬‬
‫‪5‬‬
‫תרגיל ‪ .10.2‬חשבו את שתי הספרות האחרונות של ‪.807327671999 + 2013‬‬
‫פתרון‪ .‬נפעיל ‪ mod100‬ונקבל‬
‫(‬
‫‪)50‬‬
‫‪807327671999 + 2013 ≡ 671999 + 13 = 6750·40−1 + 13 = 6740 · 67−1 + 13‬‬
‫(‬
‫‪)50‬‬
‫‪= 67φ(100) · 67−1 + 13 ≡ (1)50 · 67−1 + 13 = 67−1 + 13‬‬
‫כעת נותר למצוא את ההופכי של ‪ 67‬בחבורה ‪ 67) .U100‬זר ל‪ 100-‬ולכן נמצא‬
‫ב‪(U100 -‬‬
‫לצורך כך‪ ,‬נשתמש באלגוריתם של אוקלידס לצורך מציאת פתרון למשוואה ‪67x = 1‬‬
‫)‪.(mod 100‬‬
‫יש פתרון למשוואה אם”ם קיים ‪ k ∈ Z‬כך ש ‪. 100k + 67x = 1‬‬
‫נבעזרת אלגוריתם אוקלידס נמצא ביטוי של )‪ gcd (100, 67‬כצירוף לינארי של ‪67‬‬
‫ו‪. 100-‬‬
‫]‪(100, 67) = [100 = 1 · 67 + 33‬‬
‫]‪(67, 33) = [67 = 2 · 33 + 1‬‬
‫‪(33, 1) = 1‬‬
‫ומהצבה לאחור נקבל‪ ,1 = 67 − 2 · 33 = −2 · 100 + 3 · 67 :‬ולכן ‪ ,x = 3‬כלומר‬
‫ההופכי של ‪ 67‬הוא ‪.3‬‬
‫‪−1‬‬
‫לכן ‪ .67 + 13 = 3 + 13 = 16‬כלומר שתי הספרות האחרונות הם ‪.16‬‬
‫‪23‬‬
‫תרגיל ‪ .10.3‬הוכיחו את הטענה הבאה‪ :‬תהא ‪ G‬חבורה סופית‪ ,‬אזי ‪ G‬מסדר זוגי ⇔‬
‫קיים ב ‪ G‬איבר מסדר ‪.2‬‬
‫)⇒(‪ :‬על פי משפט לגרנז’‪ ,‬הסדר של איבר מחלק את סדר החבורה ולכן סדר‬
‫החבורה זוגי‪.‬‬
‫)⇐(‪ :‬לאיבר מסדר ‪ 2‬תכונה יחודית ‪ -‬הוא הופכי לעצמו‪ .‬נניח בשלילה שאין‬
‫אף איבר ב ‪ G‬מסדר שני‪ ,‬כלומר שאין אף איבר שהופכי לעצמו )למעט איבר היחידה‬
‫כמובן(‪.‬‬
‫אזי‪ ,‬ניתן לסדר את כל איברי החבורה ‪ -‬זוגות זוגות‪ ,‬כאשר כל איבר מזווג לאיבר‬
‫ההופכי לו‪ .‬ביחד עם איבר היחידה נקבל מספר אי זוגי של איברים ב ‪ G‬בסתירה‬
‫להנחה‪.‬‬
‫מסקנה ‪ .10.4‬לחבורה מסדר זוגי יש מספר אי זוגי של איברים מסדר ‪.2‬‬
‫‪11‬‬
‫תת־חבורה הנוצרת על ידי איברים‬
‫הגדרה ‪ .11.1‬תהי ‪ G‬חבורה ותהי ‪ A ⊆ G‬תת־קבוצה לא ריקה איברים ב ‪) G‬שימו לב‬
‫ש ‪ A‬אינה בהכרח תת־חבורה של ‪.(G‬‬
‫תת־החבורה נוצרת ע”י ‪ A‬הינה תת־החבורה המינימלית המכילה את ‪ A‬ונסמנה‬
‫⟩‪.⟨A‬‬
‫אם ⟩‪ G = ⟨A‬אז נאמר ש ‪ G‬נוצרת ע”י ‪.A‬‬
‫עבור קבוצה סופית של איברים‪ ,‬נכתוב ⟩ ‪.⟨x1 , ...., xk‬‬
‫נשים לב שעבור קבוצה סופית של יוצרים‪ ,‬הגדרה זו מהווה הכללה לכתיבה של‬
‫חבורה ציקלית הנוצרת ע”י איבר אחד‪.‬‬
‫דוגמה ‪ .11.2‬אם ניקח ‪ {2, 3} ⊆ Z‬אז ⟩‪ .H := ⟨2, 3‬נוכיח ש‪.H = Z-‬‬
‫‪ H‬תת־חבורה של ‪ Z‬ובפרט ‪ .H ⊆ Z‬נראה שגם ‪ ,Z ⊆ H‬ומזה נסיק שוויון‪.‬‬
‫כיוון ש‪ 2 ∈ H-‬אזי גם ‪ (−2) ∈ H‬ומכאן ש‪ .(−2) + 3 = 1 ∈ H-‬כלומר איבר‬
‫היחידה שהוא כידוע היוצר של כל ‪ ,Z‬מוכל ב ‪. H‬‬
‫לכן נקבל‪ .1 ∈ H ⇒ Z = ⟨1⟩ ⊆ H :‬כלומר ‪ , Z ⊆ H‬ומכאן נובע השוויון‬
‫‪.H = Z‬‬
‫דוגמה ‪ .11.3‬אם ניקח ‪ {4, 6} ⊆ Z‬אזי נקבל‪.⟨4, 6⟩ = {4n + 6m : m, n ∈ Z} :‬‬
‫נטען ש‪) ⟨4, 6⟩ = gcd (4, 6) · Z = 2Z-‬כלומר תת־חבורה של השלמים המכילה רק‬
‫את המספרים הזוגיים(‪.‬‬
‫נוכיח ע”י הכלה דו כיוונית‪.‬‬
‫)⊆(‪ :‬ברור ש ‪ 2|4m + 6n‬ולכן ‪.⟨4, 6⟩ ⊆ 2Z‬‬
‫)⊇(‪ :‬יהי ‪ .2k ∈ 2Z‬אזי ⟩‪ .2k = 4 (−k) + 6k ∈ ⟨4, 6‬לכן מתקיים גם‪2Z ⊆ :‬‬
‫⟩‪.⟨4, 6‬‬
‫דוגמה ‪ .11.4‬במקרה שהחבורה אבלית‪ ,‬קל יותר לתאר את תת־החבורה הנוצרת‪.‬‬
‫למשל אם ניקח שני יוצרים ‪ a, b ∈ G‬נקבל‪.⟨a, b⟩ = {ai bj : i, j ∈ Z} :‬‬
‫‪24‬‬
‫כלומר בזכות החילופיות‪ ,‬ניתן לסדר את כל ה‪-a-‬ים יחד וכל ה‪-b-‬ים יחד‪ .‬נדגים‬
‫לאיבר הנוצר על ידי ‪ a‬ו‪.abaaab−1 bbba−1 = a3 b3 :b-‬‬
‫באופן כללי‪ ,‬בחבורה אבלית מתקיים‪:‬‬
‫{‬
‫}‬
‫‪⟨a1 ...., an ⟩ = ak11 ....aknn : ∀1 ≤ i ≤ n, ki ∈ Z‬‬
‫דוגמה ‪ .11.5‬נוח לעיתים לחשוב על איברי ⟩‪ ⟨A‬בתור קבוצת מילים שניתן לכתוב‬
‫באמצעות האותיות בקבוצה )היוצרים ב ‪.(A‬‬
‫נסביר‪ :‬נגדיר את הא”ב שלנו להיות ‪ A ∪ A−1‬כאשר }‪.A−1 = {a−1 : a ∈ A‬‬
‫כעת‪ ,‬מילה היא סדרה סופית של אותיות מה‪-‬א”ב‪.‬‬
‫המילה הריקה מייצגת כאן את איבר היחידה ב ‪.G‬‬
‫‪12‬‬
‫החבורה הדיהדרלית‬
‫נציג חבורה חשובה נוספת שמקורה גאומטרי‪ :‬החבורה הדיהדרלית‪.‬‬
‫הגדרה ‪ .12.1‬עבור מספר טבעי ‪ ,n‬הקבוצה ‪ Dn‬של סיבובים ושיקופים המעתיקים מצולע‬
‫משוכלל בין ‪ n‬צלעות על עצמו‪ ,‬היא החבורה הדיהדרלית‪ ,‬יחד עם פעולת ההרכבה‪.‬‬
‫‪ 2π‬ו‪ τ -‬הוא שיקוף סביב ציר סימטריה כלשהו‪ ,‬אז‪:‬‬
‫אם ‪ σ‬הוא סיבוב ב‬
‫‪n‬‬
‫⟨‬
‫⟩‬
‫‪Dn = σ, τ : σ n = τ 2 = id, στ = τ σ n−1‬‬
‫צורת תיאור זו נקראת תיאור חבורה על ידי יוצרים ויחסים‪.‬‬
‫דוגמה ‪ .12.2‬החבורה ‪ D3‬כוללת איברים המייצגים את כל הקומבינציות של סיבוב של‬
‫‪ ,1200‬המסומן באות ‪ ,σ‬ושיקוף המסומן באות ‪ ,τ‬על משולש שווה צלעות‪.‬‬
‫⟨‬
‫⟩‬
‫‪D3 = σ, τ : σ 3 = τ 2 = id, στ = τ σ 2‬‬
‫כעת נתאר במפורש את כל איברי ‪D3‬‬
‫{‬
‫}‬
‫‪D3 = id, σ, σ 2 , τ, τ σ, τ σ 2‬‬
‫הערה ‪ .12.3‬שימו לב שאמנם האיבר ‪ στ‬לא מופיע בתאור ששת האיברים אך על פי‬
‫היחס שהוגדר ‪ ,στ = τ σ 2‬לכן האיבר נמצא בחבורה‪ ,‬אך מתואר בכתיבה שונה‪.‬‬
‫הערה ‪ .12.4‬בהמשך להערה הקודמת‪ ,‬נשים לב ש ‪ στ‬ו ‪ τ σ‬הם שני איברים שונים זה‬
‫מזה )גזור משולש שווה צלעות‪ ,‬סמן את קודקודיו‪ ,‬ואז‪ :‬פעם אחת שקף את המשולש‬
‫ואח”כ סובב‪ ,‬ובפעם השניה סובב ואח”כ שקף ותיווכח שהמצב הסופי שבו מונח המושלש‬
‫שונה בשני המקרים(‪.‬‬
‫כלומר‪ :‬החבורה ‪ D3‬אינה אבלית‪ ,‬ובאופן כללי‪ ,‬כל ‪ Dn‬אינה אבלית עבור ‪.n ≥ 3‬‬
‫הערה ‪ .12.5‬סדר החבורה ‪ D3‬הינו ‪ .6‬לכל ‪ ,n‬הסדר של ‪ Dn‬הינו ‪.2n‬‬
‫‪25‬‬
‫נושאים נוספים בחבורה הסימטרית‬
‫‪13‬‬
‫‪13.1‬‬
‫סדר של איברים בחבורה הסימטרית‬
‫נחזור לחקור את החבורה הסימטרית ‪.Sn‬‬
‫הערה ‪ .13.1‬תזכורת‪ :‬עבור מחזור ‪ σ‬מאורך ‪ k‬מתקיים‪.o (σ) = k :‬‬
‫טענה ‪) .13.2‬מופיעה כתרגיל בית בדף עבודה מס’ ‪(5‬‬
‫תהי ‪ G‬חבורה‪ .‬יהי ‪ a, b ∈ G‬כך ש ‪ ab = ba‬וגם ‪) ⟨a⟩ ∩ ⟨b⟩ = e‬כלומר החיתוך‬
‫בין תת־החבורה הציקלית הנוצרת ע”י ‪ a‬ותת־החבורה הציקלית הנוצרת ע”י ‪ b‬היא‬
‫טריוויאלית(‪ .‬אז‬
‫))‪o (ab) = lcm (o (a) , o (b‬‬
‫מסקנה ‪ .13.3‬סדר מכפלות מחזורים זרים ב ‪ Sn‬הוא ה ‪) lcm‬הכמ”מ( של סדרי המחזורים‪.‬‬
‫דוגמה ‪ .13.4‬הסדר של )‪ (123) (56‬הוא ‪ 6‬והסדר של )‪ (1234) (56‬הוא ‪.4‬‬
‫תרגיל ‪ .13.5‬מצאו תת־חבורה מסדר ‪ 45‬ב‪.S15 -‬‬
‫פתרון‪ .‬נמצא תמורה מסדר ‪ 45‬ב‪ .S15 -‬נתבונן באיבר‬
‫)‪σ = (1, 2, 3, 4, 5, 6, 7, 8, 9) (10, 11, 12, 13, 14‬‬
‫ונשים לב כי ‪.o (σ) = [9, 5] = 45‬‬
‫כעת‪ ,‬מכיוון שסדר האיבר שווה לסדר תת־החבורה שאיבר זה יוצר‪ ,‬נסיק שתת־החבורה‬
‫⟩‪ ⟨σ‬עונה על הדרוש‪.‬‬
‫שאלה ‪ .13.6‬האם קיים איבר מסדר ‪ 39‬ב‪?S15 -‬‬
‫פתרון‪ .‬לא‪ .‬וזאת מכיוון שאיבר מסדר ‪ 39‬לא יכול להתקבל כמכפלת מחזורים זרים ב‬
‫‪.S15‬‬
‫אמנם ניתן לקבל את הסדר ‪ 39‬כמכפלת מחזורים זרים‪ ,‬האחד מאורך ‪ 13‬והאחר‬
‫מאורך ‪ , 3‬אבל ‪ 13 + 3 = 16‬ולכן‪ ,‬זה בלתי אפשרי ב‪.S15 -‬‬
‫‪13.2‬‬
‫הצגת מחזור כמכפלת חילופים‬
‫הגדרה ‪ .13.7‬מחזור מסדר ‪ 2‬ב‪ Sn -‬נקרא חילוף‪.‬‬
‫טענה ‪ .13.8‬כל מחזור ) ‪ (a1 , a2 , ...., ar‬ניתן לרשום כמכפלת חילופים‬
‫) ‪(a1 , a2 , ...., ar ) = (a1 , a2 ) · (a2 , a3 ) · · · · · · (ar−1 , ar‬‬
‫לכן‪:‬‬
‫⟩‪Sn = ⟨(i, j) : 1 ≤ i, j ≤ n‬‬
‫‪26‬‬
‫תרגיל ‪ .13.9‬כמה מחזורים מאורך ‪ 2 ≤ r ≤ n‬יש בחבורה ‪?Sn‬‬
‫) ‪(n‬‬
‫פתרון‪ .‬זו שאלה קומבינטורית‪ .‬בוחרים ‪ r‬מספרים מתוך ‪ n‬ויש ‪ r‬אפשרויות כאלה‪.‬‬
‫כעת יש לסדר את ‪ r‬המספרים ב !‪ r‬דרכים שונות‪ .‬אבל ספרנו יותר מידי אפשרויות‪,‬‬
‫כי יש ‪ r‬מחזורים זהים‪ ,‬נסביר‪:‬‬
‫) ‪(a1 , ...., ar ) = (a2 , ..., ar , a1 ) = .... = (ar , a1 ..., ar−1‬‬
‫נחלק( את המספר הכולל ב‪ r-‬ונקבל מספר המחזורים מאורך ‪ r‬ב‪ Sn -‬הינו‪:‬‬
‫לכן )‬
‫‪n‬‬
‫!)‪. r · (r − 1‬‬
‫תרגיל ‪ .13.10‬מה הם הסדרים האפשריים לאיברי ‪?S4‬‬
‫פתרון‪ .‬ב‪ S4 -‬הסדרים האפשריים הם‪:‬‬
‫‪ .1‬סדר ‪ - 1‬רק איבר היחידה‪.‬‬
‫‪ .2‬סדר ‪ - 2‬חילופים )‪ (i, j‬או מכפלה של שני חילופים זרים‪ ,‬למשל )‪.(12) (34‬‬
‫‪ .3‬סדר ‪ - 3‬מחזורים מאורך ‪ ,3‬למשל )‪.(243‬‬
‫‪ .4‬סדר ‪ - 4‬מחזורים מאורך ‪ ,4‬למשל )‪.(2431‬‬
‫וזהו! כלומר הצלחנו למיין בצורה פשוטה ונוחה את כל הסדרים האפשריים ב‪.S4 -‬‬
‫תרגיל ‪ .13.11‬מה הם הסדרים האפשריים לאיברי ‪?S5‬‬
‫‪ .1‬סדר ‪ - 1‬רק איבר היחידה‪.‬‬
‫‪ .2‬סדר ‪ - 2‬חילופים )‪ (i, j‬או מכפלה של שני חילופים זרים‪.‬‬
‫‪ .3‬סדר ‪ - 3‬מחזורים מאורך ‪.3‬‬
‫‪ .4‬סדר ‪ - 4‬מחזורים מאורך ‪.4‬‬
‫‪ .5‬סדר ‪ - 5‬מחזורים מאורך ‪.5‬‬
‫‪ .6‬סדר ‪ - 6‬מכפלה של חילוף ומחזור מאורך ‪ ,3‬למשל )‪.(231) (54‬‬
‫וזהו! שימו לב שב‪ Sn -‬יש איברים מסדר שגדול מ‪ n-‬עבור ‪.n ≥ 5‬‬
‫‪27‬‬
‫‪13.3‬‬
‫סימן של תמורה וחבורת החילופין )חבורת התמורות הזוגיות(‬
‫הגדרה ‪ .13.12‬יהי ‪ σ‬מחזור מאורך ‪ ,k‬אזי הסימן שלו הוא‪:‬‬
‫‪sign (σ) = (−1)k−1‬‬
‫ועבור התמורות ‪ τ, σ ∈ Sn‬מתקיים‪:‬‬
‫) ‪sign (στ ) = sign (σ) sign (τ‬‬
‫תכונה זו מאפשרת לחשב את הסימן של כל תמורה ב‪.Sn -‬‬
‫נקרא לתמורה שסימנה ‪ 1‬בשם תמורה זוגית ולתמורה שסימנה ‪ 0‬בשם תמורה אי‬
‫זוגית‪.‬‬
‫דוגמה ‪) .13.13‬נקודה חשובה ומאוד מבלבלת(‬
‫‪ .1‬החילוף )‪ (35‬הוא תמורה אי זוגית‪.‬‬
‫‪ .2‬התמורה הריקה היא תמורה זוגית‪.‬‬
‫‪ .3‬מחזור מאורך אי זוגי הוא תמורה זוגית‪.‬‬
‫הגדרה ‪ .13.14‬חבורת החילופין )חבורת התמורות הזוגיות( ‪ An‬היא תת־החבורה הבאה‬
‫של ‪:Sn‬‬
‫}‪An = {σ ∈ Sn | sign (σ) = 1‬‬
‫הערה ‪ .13.15‬הסדר של ‪ An‬הינו‬
‫!‪n‬‬
‫‪2‬‬
‫= | ‪.|An‬‬
‫הגדרה ‪.A3 = {id, (123) , (132)} .13.16‬‬
‫נשים לב כי ⟩)‪ A3 = ⟨(123‬כלומר ‪ A3‬ציקלית‪.‬‬
‫‪14‬‬
‫שימוש בתורת החבורות‪ :‬אלגוריתם ‪RSA‬‬
‫נראה דוגמה להרצה של אלגוריתם ‪) RSA‬על שם רון ריבסט‪ ,‬עדי שמיר ולאונרד אדלמן(‬
‫הנלקחה מויקיפדיה‪ .‬אלגוריתם ‪ RSA‬מממש שיטה להצפנה אסימטרית המובססת על‬
‫רעיון המפתח הפומבי‪.‬‬
‫המטרה‪ :‬בוב מעוניין לשלוח לאליס הודעה באופן מוצפן‪.‬‬
‫יצירת המפתחות‪ :‬אליס בוחרת שני מספרים ראשוניים ‪ p, q‬באופן אקראי )בפועל מאוד‬
‫גדולים(‪ .‬היא מחשבת את המספרים ‪ n = pq‬ואת )‪.φ(n) = (p − 1) (q − 1‬‬
‫בנוסף היא בוחרת מספר ‪ e‬הזר ל‪ φ(n)-‬שנקרא המעריך להצפנה )בפועל = ‪65537‬‬
‫‪ 216+1‬או מספר די קטן אחר(‪ .‬היא מוצאת הופכי כפלי ‪ d‬של ‪ e‬בחבורה )‪Uφ(n‬‬
‫שיהווה את המפתח הסודי שלה‪ .‬כלומר היא מוצאת מספר המקיים ‪de ≡ 1‬‬
‫))‪ ,(mod φ(n‬למשל על ידי אלגוריתם אוקלידס המורחב‪ .‬זהו שלב שאין צורך‬
‫לחזור עליו‪.‬‬
‫‪28‬‬
‫הפצת המפתח הפומבי‪ :‬אליס שולחת באופן אמין‪ ,‬אך לא בהכרח מוצפן‪ ,‬את המפתח‬
‫הפומבי )‪ (n, e‬לבוב )או לעולם(‪ .‬את המפתח הסודי ‪ d‬היא שומרת בסוד לעצמה‪.‬‬
‫גם זהו שלב שאין צורך לחזור עליו‪.‬‬
‫הצפנה‪ :‬בוב ישלח הודעה ‪ M‬לאליס בצורת מספר ‪ m‬המקיים ‪ 0 ≤ m < n‬וגם‬
‫‪ .gcd(n, m) = 1‬כלומר יש רק ‪ φ(n) + 1‬סוגי הודעות שונות שבוב יכול לשלוח‪.‬‬
‫הוא ישלח את ההודעה המוצפנת )‪.c ≡ me (mod n‬‬
‫פענוח‪ :‬אליס תשחזר את ההודעה ‪ m‬בעזרת המפתח הסודי ‪m ≡ cd ≡ med ≡ m‬‬
‫)‪.(mod n‬‬
‫דוגמה ‪ .14.1‬נציג דוגמה עם מספרים קטנים מאוד‪ .‬אליס תבחר למשל את ‪p = 61‬‬
‫ואת ‪ .q = 53‬היא תחשב‬
‫‪φ(n) = (p − 1) (q − 1) = 3120‬‬
‫‪n = pq = 3233‬‬
‫היא תבחר מעריך הצפנה ‪ ,e = 17‬שאכן זר ל‪ .φ(n) = 3120-‬המפתח הסודי שלה הוא‬
‫)‪d ≡ e−1 ≡ 2753 (mod 3120‬‬
‫וכדי לסיים את שני השלבים הראשונים באלגוריתם היא תפרסם את המפתח הפומבי‬
‫שלה )‪.(n, e‬‬
‫נניח ובוב רוצה לשלוח את ההודעה ‪ m = 65‬לאליס‪ .‬הוא יחשב את ההודעה‬
‫המוצפנת‬
‫‪17‬‬
‫)‪c ≡ m ≡ 2790 (mod 3233‬‬
‫וישלח את ‪ c‬לאליס‪ .‬כעת אליס תפענח אותה על ידי חישוב‬
‫)‪m ≡ 27902753 ≡ 65 (mod 3233‬‬
‫החישובים בשלבי הביניים של חזקות מודולריות יכולים להעשות בשיטות יעילות‬
‫מאוד הנעזרות במשפט השאריות הסיני‪ ,‬או על ידי חישוב חזקה בעזרת ריבועים )שיטה‬
‫הנקראת גם העלאה בינארית בחזקה(‪ .‬למשל לחישוב ‪ m17‬נשים לב שבסיס בינארי‬
‫‪ ,17 = 100012‬ולכן במקום ‪ 17 − 1 = 16‬הכפלות מודלוריות נסתפק בחישוב‪:‬‬
‫)‪(mod 3233‬‬
‫‪m1 ≡ m · 1 ≡ 65‬‬
‫)‪m2 ≡ (m)2 ≡ 992 (mod 3233‬‬
‫‪( )2‬‬
‫)‪m4 ≡ m2 ≡ 1232 (mod 3233‬‬
‫‪( )2‬‬
‫)‪m8 ≡ m4 ≡ 1547 (mod 3233‬‬
‫‪( )2‬‬
‫)‪m16 ≡ m8 ≡ 789 (mod 3233‬‬
‫‪( )2‬‬
‫)‪m17 ≡ m m8 ≡ 2790 (mod 3233‬‬
‫‪29‬‬
‫נשים לב שכאשר כפלנו ב‪) m-‬שורה ראשונה ואחרונה( זה מקביל לסיביות הדלוקות‬
‫ב‪ ,100012 -‬ואילו כאשר העלנו בריבוע‪ ,‬זה מקביל למספר הסיביות )פחות ‪ .(1‬בקיצור‬
‫‪ ( k )2‬‬
‫⌋ ‪ m⌊ 2‬‬
‫‪ k‬זוגי‬
‫‪k‬‬
‫‪( k )2‬‬
‫= ‪m‬‬
‫⌋ ‪ m m⌊ 2‬‬
‫‪ k‬אי זוגי‬
‫כלומר כאשר נחשב ‪ mk‬עבור ‪ k‬כלשהו נוכל להסתפק ב‪ ⌊log2 k⌋-‬פעולות של העלאה‬
‫בריבוע ולכל היותר ב‪ ⌊log2 k⌋-‬הכפלות מודולריות‪ ,‬במקום ‪ k − 1‬הכפלות מודלוריות‬
‫ב‪ .m-‬בבית תדרשו לחישוב של ‪ 27902753‬בעזרת שיטה זו‪.‬‬
‫הערה ‪) 14.2‬אזהרה!(‪ .‬יש לדעת שלא כדאי להשתמש לצרכים חשובים בפונקציות‬
‫קריפטוגרפיות שמימשתם לבד‪ .‬ללא בחינה מדוקדקת על ידי מומחים בתחום לגבי‬
‫רמת בטיחות ונכונות הקוד‪ ,‬ישנן התקפות רבות שאפשר לנצל לגבי מימושים שכאלו‪,‬‬
‫כגון בחירת מפתחות לא ראויה‪ .‬בנוסף יש התקפות לגבי הפרוטוקול בו משתמשים כגון‬
‫התקפת אדם באמצע והתקפת ערוץ צדדי‪.‬‬
‫‪15‬‬
‫הומומורפיזמים‬
‫הגדרה ‪ .15.1‬תהינה )∗ ‪ (H, •) ,(G,‬חבורות‪ .‬העתקה ‪ f : G → H‬תקרא הומומורפיזם‬
‫של חבורות אם מתקיים‬
‫)‪f (x ∗ y) = f (x) • f (y‬‬
‫‪∀x, y ∈ G,‬‬
‫נכין מילון קצר לסוגים שונים של הומומורפיזמים‪:‬‬
‫‪ .1‬הומומורפיזם שהוא חח”ע נקרא מונומורפיזם או שיכון‪ .‬נאמר כי ‪ G‬משוכנת ב‪H-‬‬
‫אם קיים שיכון ‪.f : G ,→ H‬‬
‫‪ .2‬הומומורפיזם שהוא על נקרא אפימורפיזם‪ .‬נאמר כי ‪ H‬היא תמונה אפימורפית‬
‫של ‪ G‬אם קיים אפימורפיזם ‪.f : G H‬‬
‫‪ .3‬הומומורפיזם שהוא חח”ע ועל נקרא איזומורפיזם‪ .‬נאמר כי ‪ G‬ו‪ H-‬איזומורפיות‬
‫∼ ‪.G‬‬
‫אם קיים איזומורפיזם ‪ .f : G → H‬נסמן זאת ‪= H‬‬
‫‪ .4‬איזומורפיזם ‪ f : G → G‬נקרא אוטומורפיזם של ‪.G‬‬
‫‪ .5‬בכיתה נקצר את השמות של הומומורפיזם‪ ,‬מונומורפיזם‪ ,‬אפימורפיזם‪ ,‬איזומורפיזם‬
‫ואוטומורפיזם להומ’‪ ,‬מונו’‪ ,‬אפי’‪ ,‬איזו’ ואוטו’‪ ,‬בהתאמה‪.‬‬
‫הערה ‪ .15.2‬העתקה ‪ f : G → H‬היא איזומורפיזם אם ורק אם קיימת העתקה ‪g :‬‬
‫‪ H → G‬כך ש‪ f ◦ g = idH -‬וגם ‪.g ◦ f = idG‬‬
‫אפשר להוכיח )נסו!( שההעתקה ‪ g‬הזו היא הומומורפיזם בעצמה‪ .‬כלומר כדי‬
‫להוכיח שהומומורפיזם ‪ f‬הוא איזומורפיזם מספיק למצוא העתקה הפוכה ‪.g = f −1‬‬
‫אפשר גם לראות שאיזומורפיזם הוא יחס שקילות‪.‬‬
‫‪30‬‬
‫תרגיל ‪ .15.3‬הנה רשימה של כמה העתקות בין חבורות‪ .‬קבעו האם הן הומומורפיזמים‪,‬‬
‫ואם כן מהו סוגן‪:‬‬
‫‪ φ : R → R∗ .1‬המוגדרת לפי ‪ x 7→ ex‬היא מונומורפיזם‪ .‬מה היה קורה אם היינו‬
‫מחליפים למרוכבים?‬
‫‪ .2‬יהי ‪ F‬שדה‪ .‬אז ∗ ‪ det : GLn (F ) → F‬היא אפימורפיזם‪ .‬הרי‬
‫)‪det(AB) = det(A) det(B‬‬
‫וכדי להוכיח שההעתקה על אפשר להסתכל על מטריצה אלכסונית עם ערכים‬
‫)‪ (x, 1, . . . , 1‬באלכסון‪.‬‬
‫‪ φ : R → R∗ .3‬המוגדרת לפי ‪ x 7→ x‬אינה הומומורפיזם כלל‪.‬‬
‫‪ φ : Z2 → Ω2 .4‬המוגדרת לפי ‪ 1 7→ −1 ,0 7→ 1‬היא איזומורפיזם‪ .‬הראתם‬
‫בתרגיל בית שכל החבורות מסדר ‪ 2‬הן למעשה איזומורפיות‪.‬‬
‫העובדה שהעתקה ‪ f : G → H‬היא הומומורפיזם גוררת אחריה כמה תכונות מאוד‬
‫נוחות‪:‬‬
‫‪.f (eG ) = eH .1‬‬
‫‪ f (g n ) = f (g)n .2‬לכל ‪.n ∈ Z‬‬
‫‪ ,f (g −1 ) = f (g)−1 .3‬כמקרה פרטי של הסעיף הקודם‪.‬‬
‫‪ .4‬הגרעין של ‪ ,f‬כלומר } ‪ ,ker f = {g ∈ G : f (g) = eH‬הוא תת־חבורה נורמלית‬
‫של ‪) G‬בהמשך נסביר מה זה ”תת־חבורה נורמלית”(‪.‬‬
‫‪ .5‬התמונה של ‪ ,f‬כלומר }‪ ,im f = {f (g) : g ∈ G‬היא תת־חבורה של ‪.H‬‬
‫∼ ‪ ,G‬אז |‪.|G| = |H‬‬
‫‪ .6‬אם ‪= H‬‬
‫תרגיל ‪ .15.4‬יהי ‪ f : G → H‬הומומורפיזם‪ .‬הוכיחו כי לכל ‪ g ∈ G‬מסדר סופי מתקיים‬
‫)‪.o(f (g))|o(g‬‬
‫הוכחה‪ .‬נסמן )‪ .n = o(g‬לפי הגדרה ‪ .g n = eG‬נפעיל את ‪ f‬על המשוואה ונקבל‬
‫) ‪f (g n ) = f (g)n = eH = f (eG‬‬
‫ולכן ‪.o(f (g))|n‬‬
‫תרגיל ‪ .15.5‬האם כל שתי חבורות מסדר ‪ 4‬הן איזומורפיות?‬
‫‪31‬‬
‫פתרון‪ .‬לא! נבחר ‪ G = Z2 × Z2‬ואת ‪ .H = Z4‬נשים לב כי ב‪ H-‬יש איבר מסדר‬
‫‪ .4‬אילו היה איזומורפיזם ‪ ,f : G → H‬אז הסדר של האיבר מסדר ‪ 4‬היה מחלק את‬
‫הסדר של המקור שלו‪ .‬בחבורה ‪ G‬כל האיברים מסדר ‪ 1‬או ‪ ,2‬לכן הדבר לא יתכן‪,‬‬
‫ולכן החבורות לא איזומורפיות‪.‬‬
‫באופן כללי‪ ,‬איזומורפיזם שומר על סדר האיברים‪ ,‬ולכן בחבורות איזומורפיות‬
‫הרשימות של סדרי האיברים בחבורות‪ ,‬הן שוות‪.‬‬
‫טענה ‪) 15.6‬לבית(‪ .‬יהי ‪ f : G → H‬הומומורפיזם‪ .‬הוכיחו שאם ‪ G‬אבלית‪ ,‬אז ‪im f‬‬
‫∼ ‪ ,G‬אז ‪ G‬אבלית אם ורק אם ‪ H‬אבלית‪.‬‬
‫אבלית‪ .‬הסיקו שאם ‪= H‬‬
‫תרגיל ‪ .15.7‬יהי ‪ f : G → H‬הומומורפיזם‪ .‬הוכיחו שאם ‪ G‬ציקלית‪ ,‬אז ‪ im f‬ציקלית‪.‬‬
‫הוכחה‪ .‬נניח ⟩‪ .G = ⟨a‬נטען כי ⟩)‪ .im f = ⟨f (a‬יהי ‪ x ∈ im f‬איבר כלשהו‪ .‬לכן יש‬
‫איבר ‪ g ∈ G‬כך ש‪) f (g) = x-‬כי ‪ im f‬היא תמונה אפימורפית של ‪ .(G‬מפני ש‪G-‬‬
‫ציקלית קיים ‪ k ∈ Z‬כך ש‪ .g = ak -‬לכן‬
‫‪x = f (g) = f (ak ) = f (a)k‬‬
‫וקיבלנו כי ⟩)‪ ,x ∈ ⟨f (a‬כלומר כל איבר בתמונה הוא חזקה של )‪ .f (a‬הסיקו שכל‬
‫החבורות הציקליות מסדר מסוים הן איזומורפיות‪.‬‬
‫תרגיל ‪ .15.8‬האם קיים איזומורפיזם ‪?f : S3 → Z6‬‬
‫פתרון‪ .‬לא‪ ,‬כי ‪ S3‬לא אבלית ואילו ‪ Z6‬כן‪.‬‬
‫תרגיל ‪ .15.9‬האם קיים איזומורפיזם )‪?f : (Q+ , ·) → (Q, +‬‬
‫פתרון‪ .‬לא‪ .‬נניח בשלילה כי ‪ f‬הוא אכן איזומורפיזם‪ .‬לכן )‪.f (a2 ) = f (a) + f (a‬‬
‫נסמן )‪ ,c = f (3‬ונשים לב כי ‪ .c = 2c + 2c‬מפני ש‪ f -‬היא על‪ ,‬אז יש מקור ל‪ 2c -‬ונסמן‬
‫אותו ‪.f (x) = 2c‬‬
‫קיבלנו אפוא את המשוואה‬
‫)‪f (x2 ) = f (x) + f (x) = c = f (3‬‬
‫√‬
‫∈‪. 3‬‬
‫ומפני ש‪ f -‬היא חח”ע‪ ,‬קיבלנו ‪ .x2 = 3‬אך זו סתירה כי ‪/ Q‬‬
‫תרגיל ‪ .15.10‬האם קיים אפימורפיזם ‪ ?f : H → Z3 × Z3‬כאשר ∗‪?H = ⟨5⟩ ≤ R‬‬
‫פתרון‪ .‬לא‪ .‬נניח בשלילה שקיים ‪ f‬כזה‪ .‬מפני ש‪ H-‬היא ציקלית‪ ,‬אז גם ‪ im f‬היא‬
‫ציקלית‪ .‬אבל ‪ f‬היא על‪ ,‬ולכן נקבל כי ‪ .im f = Z3 × Z3‬אך זו סתירה כי החבורה‬
‫‪ Z3 × Z3‬אינה ציקלית‪.‬‬
‫תרגיל ‪ .15.11‬האם קיים מונומורפיזם ‪?f : GL2 (Q) → Q10‬‬
‫פתרון‪ .‬לא‪ .‬נניח בשלילה שקיים ‪ f‬כזה‪ .‬נתבונן בצמצום ‪ ,f : GL2 (Q) → im f‬שהוא‬
‫איזומורפיזם )להדגיש כי זהו אפימורפיזם ומפני ש‪ f -‬חח”ע‪ ,‬אז ‪ f‬היא איזומורפיזם(‪.‬‬
‫ידוע לנו כי ‪ ,im f ≤ Q10‬ולכן ‪ im f‬אבלית‪ .‬כלומר גם )‪ GL2 (Q‬אבלית‪ ,‬שזו סתירה‪.‬‬
‫‪32‬‬
‫מסקנה‪ .‬יתכנו ארבע הפרכות ברצף‪.‬‬
‫תרגיל ‪ .15.12‬מתי ההעתקה ‪ i : G → G‬המוגדרת לפי ‪ i(g) = g −1‬היא אוטומורפיזם?‬
‫פתרון‪ .‬ברור שההעתקה הזו מחבורה לעצמה היא חח”ע ועל‪ .‬כעת נשאר לבדוק שהיא‬
‫שומרת על הפעולה )כלומר הומומורפיזם(‪ .‬יהיו ‪ g, h ∈ G‬ונשים לב כי‬
‫)‪i(gh) = (gh)−1 = h−1 g −1 = i(h)i(g) = i(hg‬‬
‫וזה יתקיים אם ורק אם ‪ .gh = hg‬כלומר ‪ i‬היא אוטומורפיזם אם ורק אם ‪ G‬אבלית‪.‬‬
‫כהערת אגב‪ ,‬השם של ההעתקה נבחר כדי לסמן ‪.inversion‬‬
‫‪16‬‬
‫תת־חבורות נורמליות‬
‫הגדרה ‪ .16.1‬תת־חבורה ‪ H ≤ G‬נקראת תת־חבורה נורמלית אם לכל ‪ g ∈ G‬מתקיים‬
‫‪ .gH = Hg‬במקרה זה נסמן ‪.H ▹ G‬‬
‫משפט ‪ .16.2‬תהי תת־חבורה ‪ .H ≤ G‬התנאים הבאים שקולים‪:‬‬
‫‪.H ▹ G .1‬‬
‫‪ .2‬לכל ‪ g ∈ G‬מתקיים ‪.g −1 Hg = H‬‬
‫‪ .3‬לכל ‪ g ∈ G‬מתקיים ‪.g −1 Hg ⊆ H‬‬
‫‪ H .4‬היא גרעין של הומומורפיזם )שהטווח שלו הוא ‪.(G‬‬
‫הוכחה חלקית‪ .‬קל לראות כי סעיף ‪ 1‬שקול לסעיף ‪ .2‬ברור כי סעיף ‪ 2‬גורר את סעיף‬
‫‪ ,3‬ובכיוון השני נשים לב כי אם ‪ g −1 Hg ⊆ H‬וגם ‪ gHg −1 ⊆ H‬נקבל כי‬
‫‪H = gg −1 Hgg −1 ⊆ g −1 Hg ⊆ H‬‬
‫קל להוכיח שסעיף ‪ 4‬גורר את האחרים‪ ,‬ובכיוון השני יש צורך בהגדרת חבורות מנה‪.‬‬
‫דוגמה ‪ .16.3‬אם ‪ G‬חבורה אבלית‪ ,‬אז כל תת־החבורות שלה הן נורמליות‪ .‬הרי אם‬
‫‪ ,h ∈ H ≤ G‬אז ‪ .g −1 hg = h ∈ H‬ההפך לא נכון!‬
‫דוגמה ‪ .16.4‬מתקיים ) ‪ .SLn (F ) ▹ GLn (F‬אפשר לראות זאת לפי הצמדה‪ .‬יהי‬
‫) ‪ ,A ∈ SLn (F‬אז לכל ) ‪ g ∈ GLn (F‬מתקיים‬
‫‪det(g −1 Ag) = det(g −1 ) det(A) det(g) = det(g)−1 · 1 · det(g) = 1‬‬
‫ולכן ) ‪ .g −1 Ag ∈ SLn (F‬דרך אחרת להוכחה היא לשים לב כי ) ‪ SLn (F‬היא הגרעין‬
‫של ההומומורפיזם ∗ ‪.det : GLn (F ) → F‬‬
‫אתגר‪ :‬הוכיחו בעזרת דוגמה זו כי ‪.An ▹ Sn‬‬
‫‪33‬‬
‫דוגמה ‪ ⟨τ ⟩ ≤ D3 .16.5‬אינה נורמלית כי ‪.σ ⟨τ ⟩ ̸= ⟨τ ⟩ σ‬‬
‫טענה ‪ .16.6‬תהי ‪ H ≤ G‬תת־חבורה מאינדקס ‪ .2‬אזי ‪.H ▹ G‬‬
‫הוכחה‪ .‬אנו יודעים כי יש רק שתי מחלקות שמאליות של ‪ H‬בתוך ‪ ,G‬ורק שתי מחלקות‬
‫∈ ‪ ,a‬אז המחלקה השמאלית האחרת‬
‫ימניות‪ .‬אחת מן המחלקות היא ‪ .H‬אם איבר ‪/ H‬‬
‫היא ‪ ,aH‬והמחלקה הימנית האחרת היא ‪ .Ha‬מכיוון ש‪ G-‬היא איחוד של המחלקות‬
‫נקבל‬
‫‪H ∪ aH = G = H ∪ Ha‬‬
‫ומפני שהאיחוד בכל אגף הוא זר נקבל ‪.aH = Ha‬‬
‫מסקנה ‪ .16.7‬מתקיים ‪ ⟨σ⟩ ▹ Dn‬כי לפי משפט לגראנז’ ‪= 2‬‬
‫‪2n‬‬
‫‪n‬‬
‫= ]⟩‪.[Dn : ⟨σ‬‬
‫הערה ‪ .16.8‬אם ‪ K ≤ H ≤ G‬וגם ‪ ,K ▹ G‬אז בוודאי ‪ .K ▹ H‬ההפך לא נכון‪.‬‬
‫אם ‪ K ▹ H‬וגם ‪ ,H ▹ G‬אז לא בהכרח ‪ !K ▹ G‬למשל ‪ ⟨τ ⟩ ▹ ⟨τ, σ 2 ⟩ ▹ D4‬לפי‬
‫המסקנה הקודמת‪ ,‬אבל ראינו כי ⟩ ‪ ⟨τ‬היא לא נורמלית ב‪.D4 -‬‬
‫תרגיל ‪ .16.9‬תהי ‪ G‬חבורה‪ .‬יהיו ‪ H, N ≤ G‬תת־חבורות‪ .‬נגדיר מכפלה של תת־חבורות‬
‫להיות‬
‫} ‪HN = {hn : h ∈ H, n ∈ N‬‬
‫הוכיחו כי אם ‪ ,N ▹ G‬אז ‪ .HN ≤ G‬אם בנוסף ‪ ,H ▹ G‬אז ‪.HN ▹ G‬‬
‫פתרון‪ .‬חבורה היא סגורה להופכי‪ ,‬כלומר ‪ ,H −1 = H‬וסגורה למכפלה ולכן ‪.HH = H‬‬
‫מפני ש‪ N ▹ G-‬נקבל כי לכל ‪ h ∈ H‬מתקיים ‪ ,hN = N h‬ולכן ‪ .HN = N H‬שימו‬
‫לב שזה לא אומר שבהכרח ‪ !nh = hn‬אלא שקיימים ‪ n′ ∈ N‬וגם ‪ h′ ∈ H‬כך‬
‫ש‪.nh = h′ n′ -‬‬
‫נשים לב כי ∅ ≠ ‪ HN‬כי ‪ .e = e · e ∈ HN‬נוסיף הסבר )מיותר( עם האיברים של‬
‫תת־החבורות בשורה השנייה‪ ,‬שבו נניח ‪ hi ∈ H‬וגם ‪ .ni ∈ N‬נבדוק סגירות למכפלה‬
‫של ‪:HN‬‬
‫‪HN HN = HHN N = HN‬‬
‫‪h1 n1 h2 n2 = h1 h′2 n′1 n2 = h3 n3‬‬
‫וסגירות להופכי‬
‫‪(HN )−1 = N −1 H −1 = N H = HN‬‬
‫‪′ ′‬‬
‫‪−1‬‬
‫‪(h1 n1 )−1 = n−1‬‬
‫‪1 h1 = n 2 h2 = h2 n 2‬‬
‫ולכן ‪.HN ≤ G‬‬
‫אם בנוסף ‪ ,H ▹ G‬אז לכל ‪ g ∈ G‬מתקיים ‪ g Hg = H‬ולכן‬
‫(‬
‫()‬
‫)‬
‫‪g −1 HN g = g −1 Hgg −1 N g = g −1 Hg g −1 N g = HN‬‬
‫‪−1‬‬
‫ולכן ‪ .HN ▹ G‬מה קורה אם לא ‪ N‬ולא ‪ H‬נורמליות ב‪?G-‬‬
‫‪34‬‬
‫המ ְר ָכּז של חבורה ‪ G‬להיות‬
‫דוגמה ‪ .16.10‬הגדרנו בתרגיל בית את ֶ‬
‫}‪Z(G) = {g ∈ G : ∀h ∈ G, gh = hg‬‬
‫דהיינו זהו האוסף של כל האיברים ב‪ G-‬שמתחלפים עם כל איברי ‪ .G‬שימו לב שתמיד‬
‫‪ Z(G) ▹ G‬וכי )‪ Z(G‬אבלית‪ .‬האם תת־חבורה נורמלית היא בהכרח אבלית? כבר‬
‫ראינו שלא‪ ,‬למשל עבור )‪.SL2 (R) ▹ GL2 (R‬‬
‫‪17‬‬
‫חבורות מנה‬
‫נתבונן באוסף המחלקות השמאליות }‪ .G/H = {gH : g ∈ G‬אם )ורק אם( ‪H ▹ G‬‬
‫אפשר להגדיר על אוסף זה את הפעולה הבאה שיחד איתה נקבל חבורה‪:‬‬
‫‪(aH) (bH) = aHHb = aHb = abH‬‬
‫כאשר בשיוויונות בצדדים השתמשנו בנורמליות‪ .‬פעולה זו מוגדרת היטב‪ ,‬ואיבר היחידה‬
‫בחבורה זו הוא ‪ .eH = H‬החבורה ‪ G/H‬נקראת חבורת המנה של ‪ G‬ביחס ל‪,H-‬‬
‫ולעיתים נאמר ”‪ G‬מודולו ‪ .”H‬מקובל גם הסימון ‪.G/H‬‬
‫דוגמה ‪ Z .17.1‬היא חבורה ציקלית‪ ,‬ובפרט אבלית‪ .‬ברור כי ‪ .nZ ▹ Z‬נשים לב כי‬
‫}‪= {a + nZ : a ∈ Z} = {nZ, 1 + nZ, 2 + nZ, . . . , (n − 1) + nZ‬‬
‫‪Z/nZ‬‬
‫כלומר האיברים בחבורה זו הם מן הצורה ‪ k + nZ‬כאשר ‪ .0 ≤ k ≤ n − 1‬הפעולה‬
‫היא‬
‫‪(a + nZ) + (b + nZ) = (a + b) (mod n) + nZ‬‬
‫∼ ‪ Z/nZ‬לפי ההעתקה )‪.k + nZ 7→ k (mod n‬‬
‫אפשר לראות כי ‪= Zn‬‬
‫דוגמה ‪ .17.2‬לכל חבורה ‪ G‬יש שתי תת־חבורות טריוויאליות }‪ {e‬ו‪ ,G-‬ושתיהן נורמליות‪.‬‬
‫∼ ‪ .G/G‬דרך אחרת לראות זאת היא לפי ההומומורפיזם‬
‫ברור כי ‪ ,[G : G] = 1‬ולכן }‪= {e‬‬
‫הטריוויאלי ‪ f : G → G‬המוגדר לפי ‪ .g 7→ e‬ברור כי ‪.ker f = G‬‬
‫מה לגבי }‪ ?G/{e‬האיברים הם מן הצורה }‪ .g {e} = {g‬העתקת הזהות ‪id : G → G‬‬
‫היא איזומורפיזם‪ ,‬שהגרעין שלו הוא }‪ .{e‬אפשר גם לבנות איזומורפיזם ‪f : G/{e} → G‬‬
‫לפי ‪ .g {e} 7→ g‬ודאו שאתם מבינים למה זה אכן איזומורפיזם‪.‬‬
‫דוגמה ‪ .17.3‬תהי ׂ‪ ,G = R × R‬ונתבונן ב‪ .H = R × {0} ▹ G-‬האיברים בחבורת‬
‫המנה הם‬
‫}}‪G/H = {(a, b) + H : (a, b) ∈ G} = {R × {b‬‬
‫‪b∈R‬‬
‫כלומר אלו הם הישרים המקבילים לציר ה‪.x-‬‬
‫הערה ‪ .17.4‬עבור חבורה סופית ‪ G‬ותת־חבורה ‪ H ▹ G‬מתקיים כי‬
‫|‪|G‬‬
‫|‪|H‬‬
‫= ]‪|G/H | = [G : H‬‬
‫‪35‬‬
‫תרגיל ‪ .17.5‬תהי ‪ G‬חבורה )לאו דווקא סופית(‪ ,‬ותהי ‪ H ▹ G‬כך ש‪.[G : H] = n < ∞-‬‬
‫הוכיחו כי לכל ‪ a ∈ G‬מתקיים כי ‪.an ∈ H‬‬
‫פתרון‪ .‬נזכיר כי אחת מן המסקנות מלגראנז’ היא שבחבורה סופית ‪ K‬מתקיים לכל‬
‫‪ k ∈ K‬כי ‪ .k |K| = e‬יהי ‪ ,a ∈ G‬אזי ‪ .aH ∈ G/H‬ידוע לנו כי ‪ .|G/H| = n‬ולכן‬
‫‪an H = (aH)n = eG/H = H‬‬
‫כלומר קיבלנו ‪.an ∈ H‬‬
‫תרגיל ‪ .17.6‬תהי ‪ H ≤ G‬תת־חבורה מאינדקס ‪ .2‬הוכיחו כי ‪ G/H‬היא חבורה אבלית‪.‬‬
‫פתרון‪ .‬ראינו כבר שאם ‪ ,[G : H] = 2‬אז ‪ .H ▹ G‬כמו כן ‪.|G/H | = [G : H] = 2‬‬
‫החבורה היחידה מסדר ‪) 2‬שהוא ראשוני(‪ ,‬עד כדי איזומורפיזם‪ ,‬היא ‪ Z2‬שהיא אבלית‪.‬‬
‫לכן ‪ G/H‬היא חבורה אבלית‪.‬‬
‫תרגיל ‪ .17.7‬תהי ‪ G‬חבורה‪ ,‬ויהי ‪ T‬אוסף האיברים מסדר סופי ב‪ .G-‬בתרגיל בית‬
‫הראתם שאם ‪ G‬אבלית‪ ,‬אז ‪ .T ≤ G‬הוכיחו‪:‬‬
‫‪ .1‬אם ‪) T ≤ G‬למשל אם ‪ G‬אבלית(‪ ,‬אז ‪.T ▹ G‬‬
‫‪ .2‬בחבורת המנה ‪ G/T‬איבר היחידה הוא היחיד מסדר סופי‪.‬‬
‫פתרון‪ .‬נתחיל עם הסעיף הראשון‪ .‬יהי ‪ ,a ∈ T‬ונניח ‪ .o(a) = n‬לכל ‪ g ∈ G‬מתקיים כי‬
‫‪( −1 )n‬‬
‫‪g ag = g −1 agg −1 ag . . . g −1 ag = g −1 an g = e‬‬
‫ולכן ‪ .g −1 T g ⊆ T‬כלומר ‪.T ▹ G‬‬
‫עבור הסעיף השני‪ ,‬נניח בשלילה כי קיים איבר ‪ eG/T ̸= xT ∈ G/T‬מסדר סופי‬
‫∈ ‪ .x‬מתקיים ‪ ,(xT )n = T‬ונקבל‬
‫‪ .o(xT ) = n‬איבר היחידה הוא ‪ ,eG/T = T‬ולכן ‪/ T‬‬
‫‪nm‬‬
‫‪n m‬‬
‫כי ‪ .xn ∈ T‬אם ‪ xn‬מסדר סופי‪ ,‬אז קיים ‪ m‬כך ש‪ .(x ) = e-‬לכן ‪ ,x = e‬וקיבלנו‬
‫כי ‪ x ∈ T‬שזו סתירה‪.‬‬
‫חבורה סופית‪ ,‬אז ‪ ,T = G‬וכבר ראינו ‪ ,G ▹ G‬ואז‬
‫דוגמאות ל‪ :T ≤ G-‬אם ‪G‬‬
‫∪‬
‫∼ ‪ .G/T‬אם ∗‪ ,G = C‬אז ‪ .T = Ω∞ = n Ωn‬כלומר כל מספר מרוכב לא אפסי‬
‫}‪= {e‬‬
‫עם ערך מוחלט השונה מ‪ 1-‬הוא מסדר אינסופי‪.‬‬
‫‪18‬‬
‫משפטי האיזומורפיזם של נתר‬
‫משפט ‪) 18.1‬משפט האיזומורפיזם הראשון(‪ .‬יהי הומומורפיזם ‪ .f : G → H‬אז‬
‫∼‬
‫‪= im f‬‬
‫‪G/ker f‬‬
‫∼ ‪.G/ker φ‬‬
‫בפרט‪ ,‬יהי אפימורפיזם ‪ .φ : G → H‬אז ‪= H‬‬
‫‪36‬‬
‫תרגיל ‪ .18.2‬תהי ‪ ,G = R × R‬ותהי }‪ .H = {(x, y) ∈ R × R|y = 3x‬הוכיחו כי‬
‫∼ ‪.G/H‬‬
‫‪=R‬‬
‫הוכחה‪ .‬ראשית‪ ,‬נשים לב למשמעות הגיאומטרית‪ H :‬היא ישר עם שיפוע ‪ 3‬במישור‪.‬‬
‫נגדיר ‪ f : R × R → R‬לפי )‪ .f (x, y) = 3x( − y‬ודאו שזהו הומומורפיזם‪.‬‬
‫‪ f‬אפימורפיזם‪ ,‬כי ‪ .f x3 , 0 = x‬כמו כן‪,‬‬
‫‪ker f = {(x, y) ∈ R × R|f (x, y) = 0} = {(x, y) ∈ R × R|3x − y = 0} = H‬‬
‫לפי משפט האיזומורפיזם הראשון‪ ,‬נקבל את הדרוש‪.‬‬
‫∼ ‪.R/Z‬‬
‫תרגיל ‪ .18.3‬נסמן }‪ .T = {z ∈ C||z| = 1‬זו חבורה כפלית‪ .‬הוכיחו כי ‪= T‬‬
‫הוכחה‪ .‬נגדיר ‪ f : R → T‬לפי ‪ .f (x) = e2πix‬זהו הומומורפיזם‪ ,‬כי‬
‫)‪f (x + y) = e2πi(x+y) = e2πix+2πiy = e2πix · e2πiy = f (x) f (y‬‬
‫‪ f‬היא גם אפימורפיזם‪ ,‬כי כל ‪ z ∈ T‬ניתן לכתוב כ‪ e2πix -‬עבור ‪ x ∈ R‬כלשהו‪ .‬נחשב‬
‫את הגרעין‪:‬‬
‫‪ 2πix‬‬
‫{‬
‫}‬
‫‬
‫‪ker f = x ∈ R e‬‬
‫‪=1 =Z‬‬
‫לפי משפט האיזומורפיזם הראשון‪ ,‬נקבל‬
‫∼‬
‫‪=T‬‬
‫‪R/Z‬‬
‫תרגיל ‪ .18.4‬יהי הומומורפיזם ‪ .f : Z14 → D10‬מה יכול להיות ‪?ker f‬‬
‫פתרון‪ .‬נסמן ‪ .K = ker f‬מכיוון ש‪ ,K ▹ Z14 -‬אז ‪ .|K| | |Z14 | = 14‬לכן ∈ |‪|K‬‬
‫}‪ .{1, 2, 7, 14‬נבדוק עבור כל מקרה‪.‬‬
‫∼‬
‫‪Z‬‬
‫אם ‪ ,|K| = 1‬אז ‪ f‬הוא חח”ע וממשפט האיזומורפיזם הראשון נקבל ‪. 14/K = im f‬‬
‫∼ ‪ .Z14‬ידוע לנו כי ‪ im f ≤ D10‬ולכן ‪ .|im f | | |D10 | = 20‬אבל ‪ 14‬אינו‬
‫לכן ‪= im f‬‬
‫מחלק את ‪ ,20‬ולכן ‪.|K| ̸= 1‬‬
‫אם ‪ ,|K| = 2‬אז בדומה לחישוב הקודם נקבל‬
‫| ‪|Z14‬‬
‫‪=7‬‬
‫|‪|K‬‬
‫= | ‪|im f | = |Z14/K‬‬
‫ושוב מפני ש‪ 7-‬אינו מחלק את ‪ 20‬נסיק כי ‪.|K| ̸= 2‬‬
‫אם ‪ ,|K| = 7‬נראה כי קיים הומומורפיזם כזה‪ .‬ניקח תת־חבורה } ‪H = {id, τ‬‬
‫)כל תת־חבורה מסדר ‪ 2‬תתאים( של ‪ ,D10‬ונבנה אפימורפיזם ‪.Z14 → H ≤ D10‬‬
‫המספרים האי זוגיים ישלחו ל‪ ,τ -‬והזוגיים לאיבר היחידה‪ .‬כמו כן‪ ,‬כיוון שהגרעין הוא‬
‫∼ ‪.K‬‬
‫מסדר ראשוני‪ ,‬אז ‪= Z7‬‬
‫אם ‪ ,|K| = 14‬אז נקבל ‪ .K = Z14‬תוצאה זאת מתקבלת עבור ההומומורפיזם‬
‫הטריוויאלי‪.‬‬
‫‪37‬‬
‫תרגיל ‪ .18.5‬תהיינה ‪ G1‬ו‪ G2 -‬חבורות סופיות כך ש‪ .(|G1 | , |G2 |) = 1-‬מצאו את כל‬
‫ההומומורפיזמים ‪.f : G1 → G2‬‬
‫פתרון‪ .‬נניח כי ‪ f : G1 → G2‬הומומורפיזם‪ .‬לפי משפט האיזומורפיזם הראשון‪,‬‬
‫| ‪|G1‬‬
‫∼‬
‫| ‪= |G1/ker f | = |im f | ⇒ |im f | | |G1‬‬
‫⇒ ‪= im f‬‬
‫| ‪|ker f‬‬
‫‪G1/ker f‬‬
‫כמו כן‪ ,im f ≤ G2 ,‬ולכן‪ ,‬לפי משפט לגראנז’‪ .|im f | | |G2 | ,‬אבל ‪,(|G1 | , |G2 |) = 1‬‬
‫ולכן ‪ - |im f | = 1‬כלומר ‪ f‬היא ההומומורפיזם הטריוויאלי‪.‬‬
‫תרגיל ‪ .18.6‬מצאו את כל התמונות האפימורפיות של ‪) D4‬עד כדי איזומורפיזם(‪.‬‬
‫פתרון‪ .‬לפי משפט האיזומורפיזם הראשון‪ ,‬כל תמונה אפימורפית של ‪ D4‬איזומורפית‬
‫למנה ‪ ,D4/H‬עבור ‪ .H ▹ D4‬לכן מספיק לדעת מיהן כל תת‪-‬החבורות הנורמליות של‬
‫‪.D4‬‬
‫קודם כל‪ ,‬יש לנו את תת‪-‬החבורות הטריוויאליות ‪ ;{id} , D4 ▹ D4‬לכן‪ ,‬קיבלנו את‬
‫∼ ‪.D4/D4‬‬
‫∼ }‪ D4/{id‬ו‪= {id}-‬‬
‫התמונות האפימורפיות ‪= D4‬‬
‫כעת‪ ,‬אנו יודעים כי ‪ .Z (D4 ) = ⟨σ 2 ⟩ ▹ D4‬ננסה להבין מיהי ⟩ ‪ .D4/⟨σ2‬רעיון‬
‫לניחוש‪ :‬אנחנו יודעים‪ ,‬לפי לגראנז’‪ ,‬כי זו חבורה מסדר ‪ .4‬כמו כן‪ ,‬אפשר לבדוק שכל‬
‫איבר ⟩ ‪ x ∈ D4/⟨σ2‬מקיים ‪ .x2 = e‬לכן ננחש שזו ‪) Z2 × Z2‬ובהמשך נדע להגיד זאת‬
‫בלי למצוא איזומורפיזם ממש(‪ .‬נגדיר ‪ f : D4 → Z2 × Z2‬לפי )‪ .f (τ i σ j ) = (i, j‬קל‬
‫לבדוק שזהו אפימורפיזם עם גרעין ⟩ ‪ ,⟨σ 2‬ולכן‪ ,‬לפי משפט האיזומורפיזם הראשון‪,‬‬
‫∼‬
‫‪= Z2 × Z2‬‬
‫⟩ ‪D4/⟨σ 2‬‬
‫נשים לב כי ‪ ,⟨σ⟩ ▹ D4‬כי זו תת‪-‬חבורה מאינדקס ‪ .2‬אנחנו גם יודעים שכל‬
‫החבורות מסדר ‪ 2‬איזומורפיות זו לזו‪ ,‬ולכן‬
‫∼‬
‫‪= Z2‬‬
‫⟩‪D4/⟨σ‬‬
‫גם ‪ ⟨σ 2 , τ ⟩ , ⟨σ 2 , τ σ⟩ ▹ D4‬מאותו נימוק‪ ,‬וכן‬
‫∼‬
‫∼ ⟩‪= D4/⟨σ2 ,τ σ‬‬
‫‪= Z2‬‬
‫⟩ ‪D4/⟨σ 2 ,τ‬‬
‫צריך לבדוק האם יש עוד תת‪-‬חבורות נורמליות‪ .‬נזכור שבתרגיל הבית מצאתם‬
‫את כל תת‪-‬החבורות של ‪ .D4‬לפי הרשימה שהכנתם‪ ,‬קל לראות שכתבנו את כל תת‪-‬‬
‫החבורות מסדר ‪ ,4‬ואת ⟩ ‪ .⟨σ 2‬תת‪-‬החבורות היחידות שעוד לא הזכרנו הן מהצורה‬
‫} ‪ .⟨τ σ i ⟩ = {id, τ σ i‬כדי שהיא תהיה נורמלית‪ ,‬צריך להתקיים‬
‫) (‬
‫‪H ∋ τ τ σ i τ −1 = σ i τ = τ σ 4−i‬‬
‫לכן בהכרח ‪ .i = 2‬אבל אז‬
‫∈ ‪σ −1 = (στ ) σ = τ σ −1 σ = τ‬‬
‫‪/H‬‬
‫)‬
‫‪2‬‬
‫(‬
‫‪σ τσ‬‬
‫ולכן ‪ .H ̸▹ D4‬מכאן שכתבנו את כל תת‪-‬החבורות הנורמליות של ‪ ,D4‬ולכן כל‬
‫התמונות האפימורפיות של ‪ D4‬הן ‪.{id} , Z2 , Z2 × Z2 , D4‬‬
‫‪38‬‬
‫תרגיל ‪ .18.7‬תהי ‪ G‬חבורה‪ .‬הוכיחו‪ :‬אם )‪ G/Z(G‬היא ציקלית‪ ,‬אזי ‪ G‬אבלית‪.‬‬
‫הוכחה‪ G/Z(G) .‬ציקלית‪ ,‬ולכן קיים ‪ a ∈ G‬שעבורו ⟩)‪ .G/Z(G) = ⟨aZ (G‬כמו כן‪ ,‬אנחנו‬
‫יודעים כי‬
‫∪‬
‫=‪G‬‬
‫)‪gZ (G‬‬
‫‪g∈G‬‬
‫)כי כל חבורה היא איחוד המחלקות של תת‪-‬חבורה(‪ .‬כעת‪ ,gZ (G) ∈ G/Z(G) ,‬ולכן‬
‫קיים ‪ i‬שעבורו‬
‫‪i‬‬
‫‪i‬‬
‫)‪gZ (G) = (aZ (G)) = a Z (G‬‬
‫)לפי הציקליות(‪ .‬אם כן‪ ,‬מתקיים‬
‫)‪ai Z (G‬‬
‫∪‬
‫=‪G‬‬
‫‪i∈Z‬‬
‫כעת נראה ש‪ G-‬אבלית‪ .‬יהיו ‪ .g, h ∈ G‬לכן קיימים ‪ i, j ∈ Z‬שעבורם‬
‫)‪g ∈ ai Z (G) , h ∈ aj Z (G‬‬
‫כלומר קיימים )‪ g ′ , h′ ∈ Z (G‬שעבורם ‪ g = ai g ′‬ו‪ .h = aj h′ -‬לכן‪,‬‬
‫‪gh = ai g ′ aj h′ = ai aj g ′ h′ = aj ai h′ g ′ = aj h′ ai g ′ = hg‬‬
‫הוכחנו שלכל ‪ g, h ∈ G‬מתקיים ‪ ,gh = hg‬ולכן ‪ G‬אבלית‪.‬‬
‫מסקנה ‪ .18.8‬במבט לאחור‪ ,‬כיוון ש‪ G-‬אבלית‪ ,‬מתקיים ‪ ,Z (G) = G‬ומכאן ש‪-‬‬
‫}‪ .G/Z(G) = {e‬כלומר‪ ,‬אם )‪ G/Z(G‬ציקלית‪ ,‬אזי היא טריוויאלית‪.‬‬
‫הגדרה ‪ .18.9‬תהי ‪ G‬חבורה‪ ,‬ויהי ‪ .a ∈ G‬אוטומורפיזם ההצמדה ב‪ a-‬הוא האוטומורפיזם‬
‫‪ γa : G → G‬המוגדר על ידי ‪ .γa (g) = aga−1‬נסמן‬
‫}‪Inn (G) = {γa |a ∈ G‬‬
‫החבורה הזו נקראת חבורת האוטומורפיזמים הפנימיים של ‪.G‬‬
‫תרגיל ‪ .18.10‬הוכיחו כי ‪ ,γa ◦ γb = γab‬וכי ‪ .γa−1 = γa−1‬הסיקו כי )‪ Inn (G‬היא חבורה‬
‫עם פעולת ההרכבה‪.‬‬
‫הוכחה‪ .‬לכל ‪ g ∈ G‬מתקיים‬
‫(‬
‫)‬
‫)‪(γa ◦ γb ) (g) = γa (γb (g)) = a bgb−1 a−1 = (ab) g (ab)−1 = γab (g‬‬
‫לכן הוכחנו את החלק הראשון‪ .‬נשים לב כי ‪ ,γe = idG‬ולכן‬
‫‪γa ◦ γa−1 = γaa−1 = γe = idG‬‬
‫‪⇒ γa−1 = γa−1‬‬
‫‪γa−1 ◦ γa = γa−1 a = γe = idG‬‬
‫‪39‬‬
‫{‬
‫תרגיל ‪ .18.11‬הוכיחו כי לכל חבורה ‪,G‬‬
‫∼‬
‫)‪= Inn (G‬‬
‫)‪G/Z(G‬‬
‫הוכחה‪ .‬נגדיר )‪ f : G → Inn (G‬לפי ‪ .f (g) = γg‬זהו הומומורפיזם‪ ,‬לפי התרגיל‬
‫שהוכחנו‪ .‬מובן שהוא על )לפי הגדרת )‪ .(Inn (G‬נחשב את הגרעין‪:‬‬
‫= }‪ker f = {g ∈ G|γg = idG } = {g ∈ G|∀h ∈ G : γg (h) = h‬‬
‫‬
‫{‬
‫}‬
‫)‪= g ∈ G∀h ∈ G : ghg −1 = h = {g ∈ G|∀h ∈ G : gh = hg} = Z (G‬‬
‫לפי משפט האיזומורפיזם הראשון‪ ,‬נקבל‬
‫∼‬
‫)‪= Inn (G‬‬
‫)‪G/Z(G‬‬
‫‪ 19‬הצמדות‬
‫הגדרה ‪ .19.1‬תהי ‪ G‬חבורה‪ .‬אומרים שאיברים ‪ g‬ו‪ h-‬צמודים‪ ,‬אם קיים ‪ a ∈ G‬שעבורו‬
‫‪ .h = aga−1‬זה מגדיר יחס שקילות על ‪ ,G‬שבו מחלקת השקילות של כל איבר נקראת‬
‫מחלקת הצמידות שלו‪.‬‬
‫דוגמה ‪ .19.2‬בחבורה אבלית ‪ ,G‬אין שני איברים שונים הצמודים זה לזה; נניח כי ‪ g‬ו‪h-‬‬
‫צמודים‪ .‬לכן‪ ,‬קיים ‪ a ∈ G‬שעבורו‬
‫‪h = aga−1 = gaa−1 = g‬‬
‫באופן כללי‪ ,‬אם ‪ G‬חבורה כלשהי אזי )‪ g ∈ Z (G‬אם ורק אם מחלקת הצמידות של ‪g‬‬
‫היא }‪.{g‬‬
‫תרגיל ‪ .19.3‬תהי ‪ G‬חבורה‪ ,‬ויהי ‪ g ∈ G‬מסדר סופי ‪ .n‬הוכיחו‪:‬‬
‫‪ .1‬אם ‪ h ∈ G‬צמוד ל‪ ,g-‬אזי ‪.o (h) = n‬‬
‫‪ .2‬אם אין עוד איברים ב‪ G-‬מסדר ‪ ,n‬אזי )‪.g ∈ Z (G‬‬
‫הוכחה‪.‬‬
‫‪ g .1‬ו‪ h-‬צמודים‪ ,‬ולכן קיים ‪ a ∈ G‬שעבורו ‪ .h = aga−1‬נשים לב כי‬
‫(‬
‫‪)n‬‬
‫‪hn = aga−1 = aga−1 aga−1 . . . aga−1 = ag n a−1 = aa−1 = e‬‬
‫‪{z‬‬
‫}‬
‫|‬
‫‪n times‬‬
‫זה מוכיח ש‪ .o (h) ≤ n-‬מצד שני‪ ,‬אם ‪ ,o (h) = m‬אזי‬
‫(‬
‫‪)m‬‬
‫‪g m = a−1 ha = a−1 hm a = e‬‬
‫ולכן ‪ .o (g) = n ≤ m‬בסך הכל‪.o (h) = m = n ,‬‬
‫‪40‬‬
‫‪ .2‬יהי ‪ .h ∈ G‬לפי הסעיף הראשון‪ .o (hgh−1 ) = n ,‬אבל נתון ש‪ g-‬הוא האיבר‬
‫היחיד מסדר ‪ n‬ב‪ ,G-‬ולכן ‪ .hgh−1 = g‬נכפול ב‪ h-‬מימין‪ ,‬ונקבל ש‪.hg = gh-‬‬
‫הוכחנו שלכל ‪ h ∈ G‬מתקיים ‪ ,hg = gh‬ולכן )‪.g ∈ Z (G‬‬
‫הערה ‪ .19.4‬הכיוון ההפוך בכל סעיף אינו נכון ‪ -‬למשל‪ ,‬אפשר לקחת את ‪o (1) = .Z4‬‬
‫‪ ,o (3) = 4‬אבל הם לא צמודים; כמו כן‪ ,‬שניהם במרכז‪ ,‬ולכל אחד מהם יש איבר אחר‬
‫מאותו סדר‪.‬‬
‫דוגמה ‪ .19.5‬בחבורה ‪ ,D3‬האיבר ‪ σ‬צמוד לאיבר‬
‫‪τ στ −1 = τ στ = σ 2‬‬
‫אין עוד איברים צמודים להם‪ ,‬כי אין עוד איברים מסדר ‪ 3‬ב‪.D3 -‬‬
‫תרגיל ‪ .19.6‬תהי ‪ ,σ ∈ Sn‬ויהי מחזור ‪ .(a1 , a2 , . . . , ak ) ∈ Sn‬הוכיחו כי‬
‫)) ‪σ (a1 , a2 , . . . , ak ) σ −1 = (σ (a1 ) , σ (a2 ) , . . . , σ (ak‬‬
‫הוכחה‪ .‬נראה שהתמורות האלו פועלות באותו אופן על }‪ .{1, 2, . . . , n‬ראשית‪ ,‬נניח כי‬
‫) ‪ m = σ (ai‬עבור איזשהו ‪ .1 ≤ i ≤ k‬התמורה באגף ימין תשלח את ‪ m‬ל‪.σ (ai+1 )-‬‬
‫נסתכל מה קורה באגף שמאל‪:‬‬
‫(‬
‫)‬
‫(‬
‫(‬
‫))‬
‫= )) ‪σ (a1 , a2 , . . . , ak ) σ −1 (m) = σ (a1 , a2 , . . . , ak ) σ −1 (σ (ai‬‬
‫) ‪= σ ((a1 , a2 , . . . , ak ) (ai )) = σ (ai+1‬‬
‫ולכן התמורות פועלות אותו דבר על ) ‪ .σ (a1 ) , . . . , σ (ak‬כעת נניח כי ‪ m‬אינו מהצורה‬
‫) ‪ σ (ai‬לאף ‪ ;1 ≤ i ≤ k‬לכן התמורה באגף ימין תשלח אותו לעצמו‪ .‬לגבי אגף שמאל‪:‬‬
‫נשים לב כי ‪ σ −1 (m) ̸= ai‬לכל ‪ ,i‬ולכן‬
‫(‬
‫)‬
‫(‬
‫(‬
‫))‬
‫(‬
‫)‬
‫‪σ (a1 , a2 , . . . , ak ) σ −1 (m) = σ (a1 , a2 , . . . , ak ) σ −1 (m) = σ σ −1 (m) = m‬‬
‫מכאן ששתי התמורות הדרושות שוות‪.‬‬
‫תרגיל ‪ .19.7‬נתונות ב‪ S6 -‬התמורות )‪ σ = (1, 3) (4, 5, 6) ,a = (1, 5, 3, 6‬ו‪τ =-‬‬
‫)‪ .(2, 4, 5‬חשבו את‪:‬‬
‫‪.σaσ −1 .1‬‬
‫‪.τ aτ −1 .2‬‬
‫פתרון‪ .‬לפי הנוסחה הנ”ל‪,‬‬
‫)‪σaσ −1 = (3, 6, 1, 4‬‬
‫)‪τ aτ −1 = (1, 2, 3, 6‬‬
‫‪41‬‬
‫מסקנה ‪) 19.8‬לבית(‪.Sn = ⟨(1, 2) , (1, 2, . . . , n)⟩ .‬‬
‫הגדרה ‪ .19.9‬תהי ‪ σ ∈ Sn‬תמורה‪ .‬נפרק אותה למכפלה של מחזורים זרים = ‪σ‬‬
‫‪ .σ1 σ2 . . . σk‬נניח כי האורך של ‪ σi‬הוא ‪ ,ri‬וכי ‪ .r1 ≥ r2 ≥ · · · ≥ rk‬נגדיר את מבנה‬
‫המחזורים של ‪ σ‬להיות ה‪-k-‬יה הסדורה ) ‪.(r1 , r2 , . . . , rk‬‬
‫דוגמה ‪ .19.10‬מבנה המחזורים של )‪ (1, 2, 3) (5, 6‬הוא )‪ ;(3, 2‬מבנה המחזורים של‬
‫)‪ (1, 5) (4, 2, 3‬גם הוא )‪ ;(3, 2‬מבנה המחזורים של )‪ (1, 2, 3, 4) (5, 6) (7, 8‬הוא )‪.(4, 2, 2‬‬
‫מסקנה ‪ .19.11‬שתי תמורות צמודות ב‪ Sn -‬אם ורק אם יש להן אותו מבנה מחזורים‪.‬‬
‫למשל‪ ,‬התמורה )‪ (1, 2, 3) (5, 6‬צמודה ל‪ (4, 2, 3) (1, 5)-‬ב‪ ,S8 -‬אבל הן לא צמודות‬
‫לתמורה )‪ (1, 2, 3, 4) (5, 6) (7, 8‬ב‪.S8 -‬‬
‫הוכחה‪) .‬אם יש זמן; אם אין זמן – לעבור רק על הרעיון(‬
‫⇐ תהיינה ‪ σ, τ ∈ Sn‬שתי תמורות צמודות ב‪ .Sn -‬נכתוב ‪ .τ = πσπ‬נניח כי‬
‫‪ σ = σ1 σ2 . . . σk‬הפירוק של ‪ σ‬למכפלה של מחזורים זרים; לכן‬
‫(‬
‫()‬
‫( )‬
‫)‬
‫‪τ = πσπ −1 = πσ1 σ2 . . . σk π −1 = πσ1 π −1 πσ2 π −1 . . . πσk π −1‬‬
‫‪−1‬‬
‫לפי התרגיל הקודם‪ ,‬כל תמורה מהצורה ‪ πσi π −1‬היא מחזור; כמו כן‪ ,‬קל לבדוק כי כל‬
‫שני מחזורים שונים כאלו זרים זה לזה )כי ‪ σ1 , σ2 , . . . , σk‬זרים זה לזה(‪ .‬לכן‪ ,‬קיבלנו‬
‫פירוק של ‪ τ‬למכפלה של מחזורים זרים‪ ,‬וכל אחד מהמחזורים האלו הוא מאותו האורך‬
‫של המחזורים ב‪ .σ-‬מכאן נובע של‪ σ-‬ול‪ τ -‬אותו מבנה מחזורים‪.‬‬
‫⇒ תהיינה ‪ σ, τ ∈ Sn‬עם אותו מבנה מחזורים‪ .‬נסמן ‪,σ = σ1 σ2 . . . σk‬‬
‫‪ ,τ = τ1 τ2 . . . τk‬כאשר ) ‪ σi = (ai,1 , ai,2 , . . . , ai,mi‬ו‪,τi = (bi,1 , bi,2 , . . . , bi,mi )-‬‬
‫‪ σ1 , σ2 , . . . , σk‬הם מחזורים זרים וגם ‪ τ1 , . . . , τk‬הם מחזורים זרים‪ .‬נגדיר תמורה‬
‫‪ π‬כך‪ ,π (ai,j ) = bi,j :‬וכל שאר האיברים נשלחים לעצמם‪ .‬נשים לב כי‬
‫= )) ‪πσi π −1 = π (ai,1 , ai,2 , . . . , ai,mi ) π −1 = (π (ai,1 ) , π (ai,2 ) , . . . , π (ai,mi‬‬
‫‪= (bi,1 , bi,2 , . . . , bi,mi ) = τi‬‬
‫ולכן‬
‫(‬
‫()‬
‫( )‬
‫)‬
‫‪πσπ −1 = πσ1 σ2 . . . σk π −1 = πσ1 π −1 πσ2 π −1 . . . πσk π −1 = τ1 τ2 . . . τk = τ‬‬
‫מכאן ש‪ σ-‬ו‪ τ -‬צמודות ב‪.Sn -‬‬
‫מסקנה ‪ .19.12‬הוכיחו כי }‪ Z (Sn ) = {id‬לכל ‪.n ≥ 3‬‬
‫הוכחה‪ .‬תהי ) ‪ ,a ∈ Z (Sn‬ונניח בשלילה כי ‪ .a ̸= id‬תהי ‪ a ̸= b ∈ Sn‬תמורה שונה‬
‫מ‪ a-‬עם אותו מבנה מחזורים כמו של ‪ .a‬לפי התרגיל שפתרנו‪ ,‬קיימת ‪ σ ∈ Sn‬שעבורה‬
‫‪ .σaσ −1 = b‬אבל ) ‪ ,a ∈ Z (Sn‬ולכן נקבל‬
‫‪b = σaσ −1 = aσσ −1 = a‬‬
‫בסתירה לבחירה של ‪ .b‬לכן בהכרח ‪ ,a = id‬כלומר }‪.Z (Sn ) = {id‬‬
‫‪42‬‬
‫הגדרה ‪ .19.13‬חלוקה של ‪ n‬היא סדרה לא עולה של מספרים טבעיים ≥ · · · ≥ ‪n1‬‬
‫‪ nk > 0‬כך ש‪ .n = n1 + · · · + nk -‬את מספר החלוקות של ‪ n‬מסמנים )‪.ρ (n‬‬
‫מסקנה ‪ .19.14‬מספר מחלקות הצמידות ב‪ Sn -‬הוא )‪.ρ (n‬‬
‫תרגיל ‪ .19.15‬כמה מחלקות צמידות יש ב‪?S5 -‬‬
‫פתרון‪ .‬ניעזר במסקנה האחרונה‪ ,‬ונכתוב את ‪ 5‬כסכומים של מספרים טבעיים‪:‬‬
‫‪5‬‬
‫‪4+1‬‬
‫‪3+2‬‬
‫‪3+1+1‬‬
‫‪2+2+1‬‬
‫‪2+1+1+1‬‬
‫‪1+1+1+1+1‬‬
‫=‬
‫=‬
‫=‬
‫=‬
‫=‬
‫=‬
‫=‬
‫‪5‬‬
‫‪5‬‬
‫‪5‬‬
‫‪5‬‬
‫‪5‬‬
‫‪5‬‬
‫‪5‬‬
‫ולכן ‪.ρ (5) = 7‬‬
‫תרגיל ‪ .19.16‬יהיו ‪ ,σ, τ ∈ An‬ונניח של‪ σ-‬ול‪ τ -‬אותו מבנה מחזורים‪ .‬האם ‪ σ‬ו‪τ -‬‬
‫צמודות ב‪?An -‬‬
‫פתרון‪ .‬לא! למשל‪ ,‬ניקח ‪ .n = 3‬אנחנו יודעים כי ‪ A3‬היא חבורה מגודל ‪ ,3‬ולכן היא‬
‫ציקלית‪ ,‬ובפרט אבלית‪ .‬לפי הדוגמה שראינו בתחילת התרגול‪ ,‬נקבל כי כל איבר ב‪A3 -‬‬
‫צמוד רק לעצמו‪ .‬בפרט‪ (1, 2, 3) , (1, 3, 2) ∈ A3 ,‬אינם צמודים ב‪ .A3 -‬אבל הם צמודים‬
‫ב‪ ,S3 -‬כי יש להם אותו מבנה מחזורים‪.‬‬
‫המ ַר ֵכּז‬
‫הגדרה ‪) 19.17‬מתרגילי הבית(‪ .‬תהי ‪ G‬חבורה‪ .‬עבור איבר ‪ a ∈ G‬נגדיר את ְ‬
‫של ‪ a‬להיות‬
‫}‪CG (a) = {g ∈ G|ga = ag‬‬
‫תרגיל ‪ .19.18‬מצאו את )‪ CS5 (σ‬עבור )‪.σ = (1, 2, 5‬‬
‫פתרון‪ .‬במילים אחרות‪ ,‬צריך למצוא את התמורות המתחלפות עם ‪ .σ‬תמורה ‪ τ‬מתחלפת‬
‫עם ‪ σ‬אם ורק אם ‪ τ σ = στ‬אם ורק אם ‪ .τ στ −1 = σ‬לכן‪ ,‬צריך למצוא אילו תמורות‬
‫משאירות את ‪ σ‬במקום כשמצמידים בהן‪ .‬יש שני סוגים של תמורות כאלו‪:‬‬
‫‪ .1‬תמורות שזרות ל‪ - σ-‬יש רק אחת כזו‪ ,‬והיא )‪.(3, 4‬‬
‫‪ .2‬תמורות שמזיזות את ‪ σ‬במעגל ‪ (1, 2, 5) ,id -‬ו‪.(1, 5, 2)-‬‬
‫כמובן‪ ,‬כל מכפלה של תמורות המתחלפות עם ‪ σ‬גם הוא מתחלף עם ‪ ,σ‬ולכן מקבלים‬
‫שהרשימה המלאה היא‬
‫})‪{id, (3, 4) , (1, 2, 5) , (1, 2, 5) (3, 4) , (1, 5, 2) , (1, 5, 2) (3, 4‬‬
‫‪43‬‬