אלגברה מופשטת – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
Ptbotgourou (שיחה | תרומות)
מ בוט מוסיף: mt:Alġebra astratta
ברוקולי (שיחה | תרומות)
מאין תקציר עריכה
שורה 1:
'''אלגברה מופשטת''' היא ענף של ה[[אלגברה]] שבמסגרתו מוגדרים ונחקרים [[מבנה אלגברי|מבנים אלגבריים]] כגון [[שדה (אלגברהמבנה אלגברי)|שדות]], [[חבורה (מבנה אלגברי)|חבורות]] ו[[חוג (אלגברה)|חוגים]]. הענף נקרא כך כדי להבדילו מ[[אלגברה יסודית|האלגברה הבסיסית]], הנלמדת בבתי ספר, שעוסקת במניפולציות טכניות של ביטויים ונוסחאות מתמטיות במספרים [[מספר ממשי|ממשיים]] ו[[מספר מרוכב|מרוכבים]].
 
מבחינה היסטורית, המבנים הנחקרים באלגברה מופשטת צצו לרוב לראשונה בתחומים אחרים, ובמסגרת האלגברה זכו ל[[אקסיומה|אקסיומטיזציה]] מדויקת, ותכונותיהם נלמדו לעומק.
 
היתרון שבשיטת עבודה זו, הוא היכולת להשיג תוצאות כלליות, שיהיו תקפות למקרים רבים, על ידי התייחסות למספר תכונות בסיסיות המשותפות לכל אותם מקרים, תוך הזנחת המידע שאינו חיוני. לדוגמה, התהליך שבו נבנים [[מספר רציונלי|המספרים הרציונליים]] מתוך [[מספר שלם|המספרים השלמים]] הוא למעשה מקרה פרטי לבנייה של [[שדה (אלגברה)|שדה]] מתוך [[חוג (אלגברה)|חוג]], ולכן ניתן לחזור עליו לכל חוג שמקיים מספר תכונות נפוצות.
 
שם התחום מגיע מההפשטה שמתבצעת לעצמים הנחקרים במסגרתו - רוב תכונותיהם מוזנחות, ומתייחסים אך ורק למספר תכונות בסיסיות - "אקסיומות", שמהן מופק המידע על העצמים. לאחר מכן, כל עצם מתמטי שניתן להוכיח כי הוא מקיים את האקסיומות, יקיים את כל התכונות שנמצא שנובעות מאותן אקסיומות.