Professional Documents
Culture Documents
Mebius Lecture
Mebius Lecture
חבורות
סימונים :1יהא .m ∈ Z+
• נגדיר:
}Zm = {i ∈ Z : 0 ≤ i < m
}Z∗m = {i ∈ Zm : gcd (i, m) = 1
קבוצה Gשעליה מוגדרת פעולה ◦ תקרא חבורה אם מתקיימות התכונות הגדרה :2
הבאות:
.∀a, b ∈ G a ◦ b ∈ G .1סגירות תחת ◦ :
).∀a, b, c ∈ G (a ◦ b) ◦ c = a ◦ (b ◦ c .2אסוציאטיביות:
.∃e ∈ G ∀a ∈ G e◦a=a◦e=a .3קיום איבר יחידה:
.∀a ∈ G ∃a−1 ∈ G a ◦ a−1 = a−1 ◦ a = e .4קיום הופכי:
סימון :4עבור חבורה סופית ,Gנסמן ב־ ) O(Gאת סדר החבורה ) Gמספר האיברים
ב־ .(G
טענות :6
• איבר היחידה בכל חבורה הוא יחיד.
• לכל a ∈ Gקיים הופכי יחיד ב־ .G
1
מבוא לתורת הצפינה ־ חורף תשע״ט 31/10/18
a0 = e
)an = a ◦ a(n−1
)a−n = a−1 ◦ a−(n−1
הגדרה :8תהא )◦ (G,חבורה ויהא .a ∈ Gנאמר כי ל־ aיש סדר סופי ב־ Gאם
קיים n ∈ Z+כך ש־ .an = eבמקרה זה ,ה־ nהמינימלי שעבורו זה מתקיים נקרא
הסדר של aב־ Gומסומן ).O (a
משפט :9תהי Gחבורה סופית .אזי לכל a ∈ Gיש סדר סופי ב־.G
. an = e ⇐⇒ k|n משפט :10יהי aאיבר בעל סדר kבחבורה כלשהי ,Gאז:
m
= ) .O(ak )gcd(m,k משפט :11תהי Gחבורה ,ויהי .a ∈ Gאם ,O(a) = mאז
• ,gcd(m, n) = 1
2
מבוא לתורת הצפינה ־ חורף תשע״ט 31/10/18
משפט :16תהי )◦ (G,חבורה ,ותהי Hתת־קבוצה לא ריקה של .Gאם לכל a, b ∈ H
מתקיים ,a ◦ b−1 ∈ Hאזי Hתת־חבורה של .G
משפט :17תהי )◦ (G,חבורה ,ותהי Hתת־קבוצה סופית ולא ריקה של .Gאם H
סגורה תחת הפעולה ◦ ,אזי Hתת־חבורה של .G
3