מספר אלגברי – הבדלי גרסאות
מ שוחזר מעריכה של 87.69.34.47 (שיחה) לעריכה האחרונה של 132.66.235.186 |
|||
שורה 12: | שורה 12: | ||
==שלמים אלגבריים== |
==שלמים אלגבריים== |
||
מספר (מרוכב) המהווה שורש של פולינום |
מספר (מרוכב) המהווה שורש של [[פולינום מתוקן]] בעל מקדמים שלמים, נקרא '''שלם אלגברי'''. השלמים האלגבריים סגורים לחיבור ולכפל, ועל כן מהווים [[חוג (מבנה אלגברי)|חוג]]. השם '''שלמים אלגברים''' מגיע מן העובדה שמספר רציונלי הוא שלם אלגברי [[אם ורק אם]] הוא שלם (במובן הרגיל), ובנוסף מכך שקיימת הקבלה בין השלמים האלגברים ב[[שדה (מבנה אלגברי)|שדה]] לבין המספרים השלמים. |
||
<br />[[תורת המספרים האלגברית]], העוסקת בתכונות של מספרים כאלה (ובאופן כללי יותר בחוגי שלמים בשדות |
<br />[[תורת המספרים האלגברית]], העוסקת בתכונות של מספרים כאלה (ובאופן כללי יותר בחוגי שלמים בשדות מממד סופי מעל [[שדה המספרים הרציונליים]]) היא הכללה של [[תורת המספרים]] הקלאסית. |
||
==הכללה== |
==הכללה== |
גרסה מ־12:00, 18 בספטמבר 2009
מספר אלגברי הוא מספר מרוכב המהווה שורש של פולינום בעל מקדמים רציונליים. בפרט, כל מספר רציונלי q הוא אלגברי, משום שהוא פותר את המשוואה . מספר (מרוכב) שאינו אלגברי נקרא מספר טרנסצנדנטי.
אוסף כל המספרים האלגבריים מהווה שדה, הנקרא שדה המספרים האלגבריים. אוסף המספרים האלגבריים הוא בן מנייה, בעוד שהמשלים לו אינו בן מנייה. במובן זה ישנם הרבה יותר מספרים שאינם אלגבריים מאשר מספרים אלגבריים, למרות שבאופן מעשי קשה ביותר להוכיח שמספר נתון (כגון פאי או e) אינו אלגברי.
דוגמאות.
- הוא מספר אלגברי - הוא מאפס את הפולינום .
- הוא מספר אלגברי - הוא מאפס את הפולינום .
- המספרים e, פאי ו- אינם אלגבריים.
ההגדרה המובאת כאן מסתפקת בכך שמספר אלגברי יהיה שורש לפולינום בעל מקדמים רציונליים. הגדרה מקובלת אחרת דורשת שהמספר יהיה שורש לפולינום בעל מקדמים שלמים. שתי ההגדרות שקולות זו לזו, משום שפולינום במקדמים רציונליים אפשר להפוך לפולינום במקדמים שלמים על ידי כפל בגורם משותף. את ההגדרה הראשונה אפשר להכליל למושג איבר אלגברי בהרחבה כללית של שדות; אחרי הכל, מספר אלגברי אינו אלא איבר אלגברי של שדה המספרים המרוכבים מעל שדה המספרים הרציונליים. באופן דומה, ההגדרה השנייה הולמת אם חושבים על שדה המספרים המרוכבים כאלגברה מעל חוג המספרים השלמים: האיברים האלגבריים בהרחבה זו הם בדיוק המספרים האלגבריים.
שלמים אלגבריים
מספר (מרוכב) המהווה שורש של פולינום מתוקן בעל מקדמים שלמים, נקרא שלם אלגברי. השלמים האלגבריים סגורים לחיבור ולכפל, ועל כן מהווים חוג. השם שלמים אלגברים מגיע מן העובדה שמספר רציונלי הוא שלם אלגברי אם ורק אם הוא שלם (במובן הרגיל), ובנוסף מכך שקיימת הקבלה בין השלמים האלגברים בשדה לבין המספרים השלמים.
תורת המספרים האלגברית, העוסקת בתכונות של מספרים כאלה (ובאופן כללי יותר בחוגי שלמים בשדות מממד סופי מעל שדה המספרים הרציונליים) היא הכללה של תורת המספרים הקלאסית.
הכללה
על אברים אלגבריים בהרחבה של שדות, או באופן כללי יותר באלגברה (מבנה אלגברי), ראו שם, ובערך אלגבריות.
ראו גם
מערכות מספרים | ||
---|---|---|
מספרים | המספרים הטבעיים (מערכת פאנו) • חוג המספרים השלמים (מספרים חיוביים ושליליים, מספר שלם) • שדה המספרים הרציונליים (מספר רציונלי, מספר אי-רציונלי) • שדה המספרים הממשיים (הישר הממשי, מספר ממשי) • שדה המספרים המרוכבים (המישור המרוכב, מספר מרוכב, מספר מדומה) | |
הרחבות של חוג המספרים השלמים | חוג השלמים של גאוס • חוג השלמים האלגבריים • חוג השלמים של אייזנשטיין | |
הרחבות של שדה המספרים הרציונליים | שדה מספרים • שדה המספרים הניתנים לבנייה • שדה המספרים האלגבריים (מספר אלגברי, מספר טרנסצנדנטי) • שדה המספרים ה-p-אדיים (מספר p-אדי) • שדה ציקלוטומי | |
מעבר למרוכבים | אלגברת קווטרניונים (אלגברת הקווטרניונים של המילטון ) • אלגברת אוקטוניונים (אלגברת האוקטוניונים של קיילי ) • אלגברות קיילי-דיקסון |