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

מתוך המכלול, האנציקלופדיה היהודית
(הופנה מהדף החבורה הדיהדרלית)
קפיצה לניווט קפיצה לחיפוש

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

הגדרה

חבורה דיהדרלית נוצרת על ידי שני איברים, "איבר שיקוף" (שבדרך כלל מסומן כ-s), ו"איבר סיבוב" (שבדרך כלל מסומן כ-r) שבעצם מהווה "סיבוב" המצולע רדיאנים בכיוון מוגדר (עם או נגד כיוון השעון). באופן פורמלי, החבורה הדיהדרלית של מצולע משוכלל מסדר n מוגדרת על ידי ההצגה: כאשר e הוא איבר היחידה של החבורה.

דוגמאות

  • שלט עצור הוא מצולע משוכלל מסדר 8 (מתומן) עם כיתוב. אם נגדיר את שיקוף השלט כאיבר s, וסיבוב של השלט 45 מעלות נגד כיוון השעון כ-r, נקבל את החבורה הדיהדרלית . בתרשים, השורה הראשונה מתקבלת מהפעלת איבר הסיבוב r על השלט, והשורה השנייה מתקבלת מהפעלת איבר הסיבוב r על שיקוף השלט (האיבר s).
פעולת איברי החבורה על שלט עצור.

תכונות

  • לכל חבורה דיהדרלית יש (לכל הפחות) שתי תתי-חבורות (לא טריוויאליות) ציקליות הנוצרות על ידי האיברים s ו-r, שסדריהן יהיו, בהתאמה, 2 ו-n.
  • מספר האיברים של חבורה דיהדרלית של מצולע משוכלל בעל n צלעות הוא 2n.
  • מספר תת-החבורות של חבורה דיהדרלית מסדר 2n הוא (d(n) + σ(n, כאשר (d(n הוא מספר המחלקים החיוביים של n ו-(σ(n היא פונקציית סכום המחלקים שלו. תוצאה זו נובעת ישירות מתיאור המבנה הכללי של חבורה דיהדרלית: הסדר של כל תת-חבורה מחלק את 2n (לפי משפט לגראנז'), ולכל מחלק m של n ניתן למנות עותק אחד של חבורה ציקלית ℤm (הנוצרת על ידי איבר הסיבוב ), ועוד n/m תת-חבורות דיהדרליות מטיפוס , הנוצרות כל אחת באמצעות סיפוח איבר שיקוף מהצורה לחבורה הציקלית ℤm, כאשר .
  • לכל חבורה דיהדרלית יש תת-חבורה נורמלית הנוצרת על ידי האיבר r (מכיון שהיא מאינדקס 2).
  • חבורה דיהדרלית היא מכפלה חצי ישרה של החבורה הציקלית מסדר n והחבורה הציקלית מסדר 2, כאשר האוטומורפיזם המותאם ל-1 הוא אוטומורפיזם ההיפוך.
  • עבור n=2 מתקבלת חבורת הארבעה של קליין, ועבור n=3 מתקבלת חבורת התמורות S3.

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

Postscript-viewer-blue.svg ערך מורחב – החבורה הדיהדרלית האינסופית

אחת ההכללות האפשריות לחבורה דיהדרלית למקרה האינסופי, היא החבורה הדיהדרלית האינסופית, בה לסיבוב סדר אינסופי: .

חבורה זו מייצגת מספר תופעות גאומטריות מעניינות.

ראו גם

קישורים חיצוניים

ויקישיתוף מדיה וקבצים בנושא חבורה דיהדרלית בוויקישיתוף
  • חבורה דיהדרלית, באתר MathWorld (באנגלית)   המזהה לא מולא ולא נמצא בוויקינתונים, נא למלא את הפרמטר.
P mathematics.svg ערך זה הוא קצרמר בנושא מתמטיקה. אתם מוזמנים לתרום למכלול ולהרחיב אותו.
Logo hamichlol 3.png
הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0