מרכז (תורת החוגים) – הבדלי גרסאות

מתוך ויקיפדיה, האנציקלופדיה החופשית
תוכן שנמחק תוכן שנוסף
בקיצור
אין תקציר עריכה
שורה 2: שורה 2:


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

==תכונות==
#כל חוג הינו [[אלגברה (מבנה אלגברי)|אלגברה]] מעל המרכז שלו.


[[קטגוריה:תורת החוגים]]
[[קטגוריה:תורת החוגים]]

גרסה מ־10:17, 23 באוקטובר 2008

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

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