בתשובה להאייל האלמוני, 01/07/05 14:27
מדד אפשרי 313263
Principal Ideal Domain או "תחום אידיאלים ראשיים". תחום שלמות שבו כל האידיאלים נוצרים על-ידי איבר אחד, כמו למשל חוג השלמים או החוג של הפולינומים במקדמים רציונליים (אבל לא כמו חוג השלמים שסיפחו לו את שורש 6, או חוג הפולינומים במקדמים שלמים).

מצד שני, זה יכול להיות גם משהו אחר.
מדד אפשרי 313271
תודה.:)
מה זה "חוג השלמים ש*סיפחו* לו שורש 6"? פשוט השלמים וגם שורש 6?
מדד אפשרי 313282
וגם כל מה שאפשר לעשות משני אלה על-ידי חיבור, חיסור וכפל; מקבלים מספרים כמו 4-5a ו- 2+14a, כאשר a הוא השורש של 6.
מדד אפשרי 313284
כן, כמובן. לזה התכוונתי.
מדד אפשרי 313300
אה, פולינומים, כמובן.

(אני מניחה שאין אפשרות להסביר את זה להדיוטות מתימטיים בפחות מחמישה עמודים).
מדד אפשרי 313312
אני מוכן לנסות בחמש שורות (ארוכות) ‏1.

"חוג" הוא קבוצה של מספרים‏1, שסגורה לפעולות החיבור והחיסור ולפעולת הכפל. למשל, אוסף כל המספרים השלמים הוא חוג; אבל אוסף המספרים החיוביים לא (לא סגור לחיסור) ואוסף האי-זוגיים גם לא (לא סגור לחיבור).
כשרצו להכליל את התכונות של מספרים טבעיים לחוגים אחרים, שמו לב שבמקום המספר 9 (למשל) אפשר לחשוב על כל המספרים שמתחלקים ב- 9. זהו "המספר האידיאלי" שמתאים למספר הרגיל 9. מספר אידיאלי (שהוא כאמור קבוצה של מספרים) מקיים את התכונות שאנחנו דורשים מחוג (סכום ומכפלה של מספרים המתחלקים ב- 9 גם הם מתחלקים ב- 9). יתרה מזו, אם מכפילים מספר שמתחלק ב- 9 בסתם מספר, התוצאה עדיין מתחלקת ב- 9. קבוצה שמקיימת את התכונות האלה (סגורה לחיבור וחיסור, וגם לכפל במספר כלשהו) נקראת "אידיאל".
במספרים השלמים, מתברר שכל אידיאל הוא בעצם "מספר אידיאלי" (כלומר, יש באידיאל איבר שמחלק את כל האיברים האחרים באידיאל). חוג עם התכונה השימושית הזו נקרא "תחום אידיאלים ראשיים" (PID). אלו הם החוגים שבהם לכל שני מספרים יש "מחלק משותף מקסימלי".
יש חוגים שבהם זה לא כך. למשל, בחוג שנוצר על-ידי סיפוח שורש 6 (שנסמן ב- a) לשלמים, יש אידיאל שאיננו מספר אידיאלי: אוסף המספרים מהצורה n+ma כאשר n,m שלמים ו- n זוגי - הוא סגור לחיבור וחיסור וכפל במספר כלשהו, אבל אין אף מספר שמחלק את כל המספרים האלה.
(זה היה מבוא לתורת החוגים ולתורת המספרים האלגברית, שניים במחיר אחד).

1 במחיר של ויתור מסויים על כלליות ההגדרות
מדד אפשרי 313331
נראה לי שרק עכשיו אני מתחיל להבין למה קוראים לאידיאל אידיאל. תודה!
מדד אפשרי 313334
למתקדמים אפשר לספר שהאחראי להמצאה הזו (של מספרים אידיאליים) הוא Kummer, שהתאכזב מן הכשלון של Lame בהוכחת משפט פרמה. Lame הסתמך על פירוק לראשוניים בחוגי מספרים, למרות שבדרך כלל התכונה הזו (שנכונה בכל PID) אינה מתקיימת‏1.
להצעה לעבור לאידיאלים במקום מספרים היו פירות מיידיים: דדקינד הוכיח שבכל "חוג שלמים" יש פירוק יחיד ל*אידיאלים* ראשוניים (חוגים עם התכונה הזו נקראים היום "חוגי דדקינד").

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

אי-פריק: לא מתפרק למכפלה באופן לא טריוויאלי ( = כששני הגורמים אינם "יחידות", או "הפיכים").

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

אם מספחים, למשל, את שורש מינוס חמש לשלמים (נקרא לו z), אז

6 = 2*3 = (1+z)(1-z)

2 הוא אי-פריק, והוא מחלק את המכפלה שם בצד ימין, אבל לא את אף אחד מהגורמים שלה. לכן הוא אי-פריק שאינו ראשוני. כאן רואים גם איך התופעה הזו יוצרת פריקות לא חד-ערכית: 6 מתפרק לגורמים אי-פריקים בשתי דרכים שונות בחוג הזה.
מדד אפשרי 313448
תודה. אפשר לומר שקיבלתי איזה תובנה אימפרסיוניסטית מסוימת.:)
מדד אפשרי 313659
לפי ההסבר הזה יש לי הרגשה שהעברית קצת מקלקלת את השורה, וה ideal בא בכלל מ idea, כלומר "מספר רעיוני". אחד הפירושים של המילה, לפי מרים, הוא: existing as an archetypal idea. אני סמוך ובטוח שעוזי יכול למצוא ביטוי ארמי טוב יותר מ"אידיאל" לבטא את האבטיפוסיות המתבקשת.
מדד אפשרי 313382
סלח לי אבי כי אני קצת אהבלה - נתקעתי כבר בשורה הראשונה. מה זאת אומרת "סגור לחיבור וחיסור"?
מדד אפשרי 313386
קבוצת מספרים היא סגורה לחיבור אם התוצאה של חיבור כל זוג איברים בה עדיין שייך לקבוצה. באופן דומה מוגדרת סגירות לכפל, או לכל פעולה אחרת.

דוגמאות:

- קבוצת כל המספרים השלמים היא סגורה לחיבור (סכום כל שני מספרים שלמים הוא שלם)
- קבוצת כל המספרים החיוביים היא סגורה לכפל (מכפלת כל שני מספרים חיוביים הוא חיובי)
- קבוצת כל המספרים השלמים *אינה* סגורה לחילוק (2/3 זה לא מספר שלם)
מדד אפשרי 313392
אה... תודה.
אני חוזרת לטקסט של עוזי (עד ה-bumper הבא).
מדד אפשרי 313395
אז האם אפשר לומר ש-‏9 הוא המספר האידיאלי של האידיאל של 9? (ניסוח קצת צולע ובכל זאת).
אם הבנתי נכון, האם גם 2 הוא מספר אידיאלי?
מדד אפשרי 313578
כן, כל מספר הוא "מספר אידיאלי" של האידיאל של עצמו. במתמטית קוראים לזה "יוצר" של האידיאל ("כל המספרים שמתחלקים ב- 2" זה אידיאל; 2 הוא יוצר של האידיאל הזה. גם מינוס 2).
מדד אפשרי 313652
תודה על ההסבר.
מדד אפשרי 313393
רצית הסבר על מה זה פולינומים, או מה זה PID?

אני אלך על החלק הקל. פולינום הוא ביטוי שמתקבל ממספרים‏1 וממשתנים (כמו x, y וכו') ע"י חיבור, חיסור וכפל. למשל 2x, או x+3y, או

(u+v)^3 - 2uv + (v+u+1)(v-u).

הסימן ^ זה חזקה; u^3 זה u בשלישית.

השאלה היותר מעניינת היא, את מי זה מעניין. ולמה.

1 ההוא מההודעה של עוזי
מדד אפשרי 313397
תודה גם לך. ובאמת, רק עכשיו אני שמה לב שאדון מתימטיקאי פה בכלל שכח להסביר את החלק הכי קל.
תתביש לך. 313304
במקום לספר לאנשים את האמת, כדי שיוכלו להתגונן, אתה מפיץ דיסאינפורמציה.
תתביש לך. 313436
זה לא שהוא רוצה להפיץ דיסאינפורמציה, הוא פשוט בחור מנומס שנמנע מקללות.
מדד אפשרי 313520
נכון, גם הסבתא שלי באופסייד, וגם צ'רנוחה באופסייד. שניהם באופסייד: http://www.jashaw.com/pid/tutorial/

חזרה לעמוד הראשי המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים