חוג מטריצות

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

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

המרכז של חוג מטריצות שווה לאוסף המטריצות הסקלריות מהצורה ${\displaystyle cI}$ כאשר ${\displaystyle c}$ שייך למרכז של חוג המקדמים, כלומר ${\displaystyle Z(M_{n}(R))\cong Z(R)}$. החבורה הליניארית הפרויקטיבית מוגדרת להיות המנה של חוג מטריצות (ובאופן כללי יותר, חוג אנדומורפיזמים) מעל המרכז שלה, ולה יש חשיבות רבה בגאומטריה אלגברית.

חוג המטריצות (מסדר ${\displaystyle n>1}$) תמיד בעל מחלקי אפס.

יש התאמה מלאה בין האידיאלים של חוג המקדמים לבין האידיאלים של חוג המטריצות: כל אידיאל של חוג המטריצות הוא מהצורה ${\displaystyle M_{n}(A)}$ כאשר ${\displaystyle A}$ אידיאל בחוג המקדמים, וחוג המנה ביחס לאידיאל זה הוא ${\displaystyle M_{n}(R)/M_{n}(A)\cong M_{n}(R/A)}$. ביתר כלליות, חוג מטריצות תמיד שקול מוריטה לחוג המקדמים.

חוג המטריצות מסדר ${\displaystyle n\times n}$ איזומורפי לחוג האנדומורפיזמים של המודול החופשי ${\displaystyle R^{n}}$. באופן כללי יותר, מתקיים ${\displaystyle \operatorname {End} (M^{n})\cong M_{n}(\operatorname {End} (M)))}$ לכל מודול שמאלי מעל החוג.

לעיתים דרושות דרכים להוכיח שחוג מסוים הוא חוג מטריצות.

בכל חוג מטריצות יש יחידות מטריצות ${\displaystyle e_{ij}}$ (${\displaystyle i,j=1,\dots ,n}$), המקיימות את שתי התכונות הבאות:

• ${\displaystyle e_{ij}e_{k\ell }=\delta _{jk}e_{i\ell }}$,
• ${\displaystyle e_{11}+\cdots +e_{nn}=I}$, כאשר ${\displaystyle I}$ הוא איבר היחידה של חוג המטריצות.

יחידות המטריצות מתחלפות עם אברי חוג המקדמים. כיוון שאפשר להציג כל איבר בחוג המטריצות (באופן יחיד) כסכום ${\displaystyle \sum a_{ij}e_{ij}}$, עם ${\displaystyle a_{ij}\in R}$, נוסחאות אלה מגדירות את חוג המטריצות.

למעשה, כל חוג ${\displaystyle T}$ שיש בו מערכת של יחידות מטריצות ${\displaystyle \{\epsilon _{ij}\}_{i,j=1}^{n}}$, איזומורפי לחוג מטריצות מעל תת-החוג (בלי יחידה) ${\displaystyle R=\epsilon _{11}T\epsilon _{11}}$. האיזומורפיזם הוא ${\displaystyle t\mapsto \sum _{i=1}^{n}{(\epsilon _{1i}t\epsilon _{j1})e_{ij}}}$.

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

בפרט, אם ${\displaystyle F}$ שדה סגור אלגברית, כל אלגברה פשוטה מממד סופי מעל ${\displaystyle F}$ היא אלגברת מטריצות, משום שאין אלגברה עם חילוק מעל שדה סגור אלגברית.

חוג ${\displaystyle R}$ הוא פשוט למחצה אם ורק אם כל חוגי המטריצות מעליו פשוטים למחצה. מפורשות, תת-מודול פשוט (כלומר אידיאל שמאלי מינימלי) של ${\displaystyle M_{n}(R)}$ הוא קבוצת מטריצות עם איברים לא אפס רק בעמודה מסוימת, שבה האיברים נלקחים מתת-מודול פשוט של ${\displaystyle R}$.

רדיקל ג'ייקובסון של מטריצות שווה למטריצות מעל הרדיקל: ${\displaystyle \operatorname {Jac} (M_{n}(R))=M_{n}(\operatorname {Jac} (R))}$, ובפרט חוג הוא פרימיטיבי למחצה אם ורק אם על חוג מטריצות מעליו פרימיטיבי למחצה.

• חוג האנדומורפיזמים
• שקילות מוריטה