שורש יחידה

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

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

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

שורשי היחידה בשדה המספרים המרוכבים

שורשי היחידה מסדר 3

בין המספרים המרוכבים יש בדיוק שורשי יחידה שונים מסדר  : המספרים

הם נמצאים על מעגל היחידה, והנקודות המתאימות להם במישור המרוכב מתארות מצולע משוכלל בעל צלעות. למשל, שורשי היחידה מסדר 3 הם ושורשי היחידה מסדר 4 הם .

אנליזת פורייה דיסקרטית

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

אורתוגונליות

מנוסחת הסכום עולה מערכת יחסים אורתוגונליים: עבור מתקיים:

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

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

לפי משפט של צ'בוטרב, כל תת־מטריצה של מטריצת ונדרמונט היא הפיכה.

בשדה כללי

כאמור לעיל, בכל שדה ישנם לכל היותר שורשי יחידה, וזאת מפני שהם מהווים שורשים של הפולינום .

בשדה ממאפיין אפס (ובאופן כללי יותר, כאשר המאפיין זר ל־) אפשר לספח לשדה שורשי יחידה, וזוהי הרחבה ספרבילית. אם השדה ממאפיין ו־ כאשר זר ל־ , אז יש בסגור האלגברי שלו בדיוק שורשי יחידה מסדר .

שורשי היחידה מסדר מרכיבים חבורה ציקלית, שסדרה שווה למספר השורשים בשדה.

מעל הרציונליים

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


הערך באדיבות ויקיפדיה העברית, קרדיט,
רשימת התורמים
רישיון cc-by-sa 3.0