בתשובה לעוזי ו., 11/09/02 16:19
האלגברה המופשטת היא לא המקום 90900
לחפש בו תבניות.
לא כל אחד מסכים האם חוג צריך להיות קומוטטיבי, או עם יחידה, למשל.
הכל לפי הנוחות. כל עוד אתה יודע מה ההגדרה תחתה אתה עובד, הכל בסיידר.
האלגברה המופשטת היא לא המקום? 90914
סליחה על השאלה הטפשית, אבל למה אלגברה מופשטת היא לא המקום לחפש בו תבניות?

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

-------------------------------

התגובה, במסגרת מלחמתי בפוסט-מודרניזם: לפחות במתמטיקה אין "נרטיב אלטרנטיבי".
האלגברה המופשטת היא לא המקום? 90916
כוונתי היא שגם שם נוהגים לפי נורמות שמשתנות עם קבוצות שונות.

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

המוסכמה היום היא דווקא שחוג הוא "חוג עם יחידה" (ראה ספריהם של Lam, Rowen, McConnel, Pierce).

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

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

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