אלגברה (מבנה אלגברי)

במתמטיקה, **אלגברה מעל חוג** היא מודול מעל חוג חילופי ופעולה בינארית ("כפל")  ביליניארית בין שני איברים שהופכת את המודול לחוג.

## הגדרה פורמלית
אלגברה היא מבנה אלגברי הכולל חוג A ותת-חוג C, כך ש-C מוכל במרכז של A. הגדרה שקולה: כאשר C חוג קומוטטיבי, חוג A המהווה מודול מעל C, ומקיים  \alpha (xy)=(\alpha x)y=x(\alpha y) לכל x,y \in A  וסקלר \alpha \in C, נקרא "אלגברה מעל C" (לעיתים גם "C - אלגברה").

הדוגמה החשובה ביותר היא כאשר C הוא שדה (ואז המודולים מעל C הם מרחבים וקטוריים); מרחב וקטורי מעל שדה C הוא אלגברה, אם מוגדרת בו פעולת כפל ההופכת אותו לחוג (עם יחידה). במקרה כזה הממד של האלגברה הוא הממד שלה כמרחב וקטורי.

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

## אסוציאטיביות

בדומה להגדרה של חוג, האלגברה A היא 'אסוציאטיבית' אם x(yz)=(xy)z לכל x,y,z \in A. לרוב כוללים את דרישת האסוציאטיביות בהגדרה של אלגברה, ואז מגדירים בנפרד מבנה כללי יותר, אלגברה לא אסוציאטיבית, ללא האקסיומה הזו; כך אנו נוהגים בוויקיפדיה. מחברים אחרים אינם דורשים מאלגברה אסוציאטיביות, ואז משתמשים במונח 'אלגברה אסוציאטיבית' עבור אלגברות שכן מקיימות את תכונת האסוציאטיביות.

בלי קשר להנחת האסוציאטיביות, החוג  A הוא **אלגברה <math>A</math> מעל <math>C</math>** אם \alpha(xy)=(\alpha x)y=x(\alpha y) לכל x,y \in A, \alpha \in C.

## קבועי המבנה

נניח ש-A נפרשת כמודול על ידי איברים e_1,e_2,.... אז כדי להגדיר את הכפל ב-A, מספיק להגדיר את המכפלה e_i \star e_j = \sum_k \beta_{i,j}^k e_k (כאשר \beta_{i,j}^k \in C). הקבועים  \beta_{i,j}^k\in C נקראים **קבועי המבנה** של A. אם A הוא מודול חופשי (וזה תמיד כך אם C שדה), אז אפשר לתרגם תכונות מסוימות של האלגברה (למשל: אסוציאטיביות) למשוואות על קבועי המבנה; כך אפשר לראות את כל האלגברות האסוציאטיביות מממד \ n מעל שדה נתון כיריעה אלגברית מעל השדה.

## דוגמאות

* כל חוג הוא אלגברה מעל \ \mathbb{Z}  או מנה סופית שלו.
* אם K/F הרחבה של שדות (ראו תורת גלואה), אז K הוא אלגברה מעל F.
* אוסף המטריצות הריבועיות בגודל n\times n מעל שדה (או חוג) C מהוות אלגברה מעל C, כשהמכפלה היא המכפלה הרגילה של מטריצות.
* חוג הפולינומים C[x] הוא אלגברה מעל C.
* המרחב האוקלידי התלת-ממדי מהווה אלגברה מעל המספרים הממשיים כאשר המכפלה הווקטורית היא המכפלה.

## קבוצת יוצרים ואלגברות אפיניות

כל תת קבוצה S \subset A יוצרת את ה**תת-אלגברה** C[S], שאבריה מתקבלים מאברי S על ידי חיבור, חיסור, כפל, וכפל בסקלרים מ-C (זוהי תת-האלגברה הקטנה ביותר של A המכילה את \ S). אם קיימת קבוצה סופית S כך ש-C[S] = A, אז A **נוצרת סופית** או אפינית.

## איברים אלגבריים ושלמים

כאשר A אלגברה קומוטטיבית, אפשר לחקור את המבנה של האלגברה על ידי סיווג האיברים בהתאם לתכונות שלהם מעל C. כך איבר a\in A הוא 'אלגברי' אם הוא מקיים משוואה פולינומית עם מקדמים מ-C, ו'אלגברי שלם' (או סתם 'שלם') אם הוא מקיים משוואה כזו שהמקדם המוביל שלה הוא \ 1. איברים שאינם אלגבריים נקראים **איברים טרנסצנדנטיים**; הטרמינולוגיה הזו מכלילה את הדוגמה של המספרים המרוכבים כאלגברה מעל השלמים (ראו מספר טרנסצנדנטי). אם R אלגברה מעל C שכל איבריה שלמים, אומרים ש-R/C היא **הרחבה שלמה**.

משפט: אלגברה אפינית שהיא שדה מוכרחה להיות אלגברית (ואז היא בעלת ממד סופי). 

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

## תורת המבנה

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

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

המשפט היסודי של ודרברן קובע שאם A אלגברה מממד סופי מעל שדה מושלם F (ובפרט, מעל שדה סגור אלגברית), אז יש ל-A תת-אלגברה A' איזומורפית ל-A/J(A), וקיים פירוק לסכום ישר של מרחבים וקטוריים (אבל לא של חוגים), A=A'\oplus J(A).

## ראו גם
* אלגברה לא אסוציאטיבית

קטגוריה:מבנים אלגבריים