|
||||
|
||||
סליחה על השאלה הטפשית, אבל למה אלגברה מופשטת היא לא המקום לחפש בו תבניות? כל אחד (שמבין משהו בנושא) מסכים שחוג לא צריך להיות קומוטטיבי. אם רוצים שהוא יהיה, אפשר להניח שהוא כזה. אותו דבר לגבי יחידה. ------------------------------- התגובה, במסגרת מלחמתי בפוסט-מודרניזם: לפחות במתמטיקה אין "נרטיב אלטרנטיבי". |
|
||||
|
||||
כוונתי היא שגם שם נוהגים לפי נורמות שמשתנות עם קבוצות שונות. עבור מתמטיקאי שמתעסק במודולים מעל חוגים, בהקשר הקטגורי, אין טעם להתייחס לחוגים ללא יחידה, לכן הוא מגדיר את החוגים שלו לכאלה שיש בהם גם יחידה. בטקסטים מוקדמים יותר באלגברה מופשטת היה כל סופר מתייחס לעניין בדרכו שלו. בסופו של דבר, כנראה שהחליטו לא לבקש יחידה, דווקא, אבל כל זה לא משנה, ברגע שנהיר לכל המדיינים באיזו הגדרה מדובר. |
|
||||
|
||||
אם טענתך היא שיש ספרים בהם "חוג" מוגדר כאובייקט עם יחידה ויש ספרים שבהם זה לא כך, אז נכון. המוסכמה היום היא דווקא שחוג הוא "חוג עם יחידה" (ראה ספריהם של Lam, Rowen, McConnel, Pierce). בסופו של דבר זו מתמטיקה, אז כמובן שזה לא ממש חשוב איך קוראים לאובייקט, אלא רק מה התכונות שלו - בדיוק כמו עם הוירוס המקורי (מהדיון ההוא). |
חזרה לעמוד הראשי |
מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים | |
RSS מאמרים | כתבו למערכת | אודות האתר | טרם התעדכנת | ארכיון | חיפוש | עזרה | תנאי שימוש | © כל הזכויות שמורות |