חבורת בראואר

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

## מבוא והגדרה פורמלית
**[[אלגברה פשוטה מרכזית]]** (Central simple algebra) מעל שדה \mathbb{F} היא אלגברה פשוטה סוף ממדית שמרכזה הוא השדה \mathbb{F}. **אלגברת חילוק מרכזית** (Central division algebra)  היא אלגברה פשוטה מרכזית עם חילוק.

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

נאמר ששתי אלגברות פשוטות מרכזיות {R}_{1},{R}_{2} הן **שקולות בראואר** אם לשתיהן אותה אלגברה בסיסית. נסמן זאת {R}_{1} {\sim }_{Br} {R}_{2}. בשקילות, {R}_{1} {\sim }_{Br} {R}_{2} כאשר קיימים n_1,n_2 כך ש-M_{n_1}({R}_{1}) \cong M_{n_2}({R}_{2}. קל לבדוק שזהו אכן יחס שקילות, ואת המחלקה של  אלגברה פשוטה מרכזית R נסמן על ידי [R]. למשל, מתקיים [\mathbb{F}]=\. הגרעין שלה נקרא **חבורת בראואר היחסית** (relative Brauer group), המסומנת Br(\mathbb{L}/ \mathbb{F}). אם [R] \in Br(\mathbb{L}/ \mathbb{F}) אז R \otimes \mathbb{L} {\sim}_{Br} \mathbb{L}, ובמקרה זה \mathbb{L} נקרא **שדה מפצל** של האלגברה R.

הסגור האלגברי \overline { \mathbb{F} } של \mathbb{F} תמיד שדה מפצל של כל \mathbb{F}-אלגברה R, ולכן קיים מספר טבעי n כך ש-R{\otimes}_{\mathbb{F}} (\overline{\mathbb{F}}) {\sim}_{Br}  {M}_{n}(\overline{\mathbb{F}}) , ולכן ממדו הוא {n}^{2}. המספר n נקרא ה**דרגה** של R, ומסמנים n=deg(R). ה**אינדקס** של R={M}_{t}(D) הוא הדרגה של D מעל \mathbb{F}, מסומן ind(R), ומתקיים deg(R)= t \cdot ind(R).

לתת-שדות מקסימליים של האלגברה מקום מרכזי בתאוריה:

**משפט**:שדה \mathbb{L} מפצל את R אם ורק אם \mathbb{L} תת-שדה מקסימלי של איזושהי אלגברה R' השקולה ל-R בחבורה.

ה**אקספוננט** של אלגברה R הוא הסדר של [R] \in Br(\mathbb{F}), ומסומן exp(R). תמיד מתקיים exp(R)|deg(R),exp(R)|ind(R), וכל ראשוני המחלק את ind(R) מחלק את exp(R). בפרט, חבורת בראואר היא חבורה מפותלת, כלומר חבורה בה לכל איבר סדר סופי.

לכל מספר m, מגדירים את החבורה {Br(\mathbb{F})}_{m} להיות תת-החבורה המכילה את כל האלגברות מאקספוננט המחלק את m. אם gcd([\mathbb{L}: \mathbb{F}],m)=1 העתקת הצמצמום מ-{Br(\mathbb{F})}_{m} ל-{Br(\mathbb{L})}_{m} היא שיכון.

## חבורת בראואר וקוהומולוגיה
### חבורת הקוהומולוגיה הראשונה
דרך הגדרה שקולה לחבורת בראואר היא בעזרת חבורת הקוהומולוגיה הראשונה של החבורה הליניארית הכללית ה**פרויקטיבית** - 
{PGL}_{n}(\mathbb{K})={GL}_{n}(\mathbb{K})/Z({GL}_{n}(\mathbb{K})).

תהי \mathbb{K} / \mathbb{F} הרחבת שדות עם חבורת גלואה G=Gal(\mathbb{K} / \mathbb{F}).

נסמן בCSA_{\mathbb{K}}(n) את ה\mathbb{F}-אלגברות הפשוטות המרכזיות מדרגה n המתפצלות על ידי \mathbb{K} (עד כדי איזומורפיזם). ישנה פעולה CSA_{\mathbb{K}}(m) \times CSA_{\mathbb{K}}(n) \rightarrow CSA_{\mathbb{K}}(mn)  הנתונה על ידי המכפלה טנזורית, היות ששדה פיצול של שתי אלגברות הוא גם שדה פיצול של המכפלה הטנזורית שלהן.

יחס השקילות ***שקולים בראואר*** שהוצג לעיל הוא יחס על \bigcup _{ n \in \mathbb{N} } { {CSA}_{\mathbb{K}}(n)} , ואוסף מחלקות השקילות הוא בדיוק חבורת בראואר היחסית Br(\mathbb{K} / \mathbb{F}), וחבורת בראואר היא \bigcup_{\mathbb{K}} {Br(\mathbb{K}/\mathbb{F})}, כאשר האיחוד הוא על כל הרחבות הגלואה הסופיות.

כעת, נצטט את המשפט החשוב הבא:

*משפט*: יש התאמה חד-חד-ערכית: {CSA}_{n}(\mathbb{K}) \leftrightarrow {H}^{1}(G,{PGL}_{n}(\mathbb{K})).

ממשפט זה יחד עם הפעולה CSA_{\mathbb{K}}(m) \times CSA_{\mathbb{K}}(n) \rightarrow CSA_{\mathbb{K}}(mn)  לעיל, נובע שיש פעולה מתאימה 
{ \lambda  }_{ mn }:{CSA}_{\mathbb{K}}(n) \times {H}^{1}(G,{PGL}_{m}(\mathbb{K})) \rightarrow {H}^{1}(G,{PGL}_{mn}(\mathbb{K})).

*משפט*: { \lambda  }_{ mn } חד-חד-ערכיות.

כלומר, אפשר לשכן חבורות קוהומולוגיה כנ"ל, ולכן נגדיר {H}^{1}(G,{PGL}_{\infty}(\mathbb{K}))=\bigcup_{n \in \mathbb{N}}  {{H}^{1}(G,{PGL}_{\infty}(\mathbb{K}))}, כאשר האיחוד הוא על כל הרחבות הגלואה \mathbb{K} המוכלות בתוך סגור ספרבילי של \mathbb{F}.

המשפט המרכזי הוא:

***משפט***: Br(\mathbb{K} / \mathbb{F}) \cong {H}^{1}(G,{PGL}_{\infty}(\mathbb{K})) ו- Br(\mathbb{F}) \cong {H}^{1}(\mathbb{F},{PGL}_{\infty}).

## ראו גם
*אלגברה פשוטה מרכזית
*אלגברת אזומיה

## לקריאה נוספת

*Graduate Algebra: Noncommutative View, Louis Halle Rowen, AMS, 447-461



*Central Simple Algebras and Galois Cohomology, Gille and Szamuely, 29-33



*The Brauer group is Torsion, David J. Saltman ,AMS ,1981


## קישורים חיצוניים
* 

קטגוריה:תורת החוגים
קטגוריה:תורת החבורות