חבורת אוילר – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
SieBot (שיחה | תרומות)
אין תקציר עריכה
שורה 3:
חבורת אוילר מסדר n כוללת, על-פי ההגדרה, את המספרים השלמים מתוך <math>\{ 1,2,\dots,n\}</math> שהם [[מספרים זרים|זרים]] ל- n, עם פעולת הכפל [[חשבון מודולרי|מודולו]] n. מקובל לסמן חבורה זו באותיות <math>\ U_n</math> או <math>\ Euler(n)</math>. השימוש במלה 'סד"ר בהקשר זה, למרות שהוא מקובל, עשוי להטעות: בחבורת אוילר מסדר n יש <math>\ \phi(n)</math> אברים, כאשר <math>\ \phi</math> היא [[פונקציית אוילר]]. מנקודת מבט זו, משפט אוילר הוא [[משפט לגראנז' (תורת החבורות)|משפט לגראנז']] המיושם לחבורת אוילר.
 
לדוגמה, חבורת אוילר מסדר 15 כוללת את המספרים <math>\ U_{15}=\{1,2,4,7,8,10,11,13,14\}</math>. קיומה של החבורה מבוסס על עובדה שהייתה ידועה כבר ל[[אוקלידס]] ומופיעה בספרו "[[יסודות (ספר)|יסודות]]": אם a ו- b שני מספרים הזרים ל- n, אז גם המכפלה ab זרה ל- n. במלים אחרות, הקבוצה <math>\ U_n</math> סגורה לכפל. בנוסף לזה, אם a זר ל- n אז [[מחלק משותף מקסימלי|אלגוריתם אוקלידס המוכלל]] מאפשר למצוא מספרים שלמים <math>\ u,v</math> כך ש- <math>\ ua+vn=1</math>, ובחישוב מודולו n מתקבל ש- u הוא ההפכי של a; מכאן שהקבוצה כוללת, עבור כל איבר שלה, גם איבר הפכי - ולכן היא חבורה.
 
חבורת אוילר מאגדת את התכונות הבסיסיות של החישוב בשאריות מודולו n, ואין פלא שהיא מופיעה תדיר בשימושים של תורת המספרים; לדוגמה, בשיטת ההצפנה [[RSA]].