חוג ויט

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

לאידיאל הראשי IF של חוג ויט WF, הכולל את התבניות מממד זוגי, והחזקות שלו, חשיבות רבה בתורת המבנה. השערת מילנור מקשרת את המנות <math>\ I^nF/I^{n+1}F</math> לתורת K. תורת השדות הסדורים מספקת מידע על אידיאל הפיתול של חוג ויט.

המונח נקרא על שמו של המתמטיקאי ארנסט ויט, שעסק רבות בתורת התבניות הריבועיות.

==תבניות ריבועיות==
אם לא נאמר אחרת במפורש, <math> F</math> הוא שדה ממאפיין שונה מ-2. 

תבנית ריבועית מעל <math> F</math> היא הפונקציה <math>\ q(x) = b(x,x)</math>, כאשר <math>\ b : V \times V \rightarrow F</math> היא תבנית ביליניארית על מרחב (מממד סופי) V. מרחב וקטורי יחד עם תבנית ריבועית נקרא מרחב ריבועי <math>(V,q)</math>. מרחב ריבועי נקרא אנאיזוטרופי, אם <math>q(x)=0</math> רק ל-<math>x=0</math>. בחירת בסיס למרחב V מאפשרת להציג את התבנית כפולינום הומוגני מדרגה 2. יתרה מזאת, במאפיין שונה מ-2 ניתן לבחור הצגה אלכסונית - <math>q(x)=a_1 x_1^2+...+a_n x_n^2</math>, ואז מסמנים <math>q=\langle a_1,...,a_n \rangle</math>. 

המרחב הריבועי הדו־ממדי <math>q=\langle 1,-1 \rangle</math> נקרא מישור היפרבולי, ומסומן <math>\mathbb{H}</math>. סכומים של עותקים שלו נקראים מרחב היפרבולי. לפי משפט, כל מרחב ריבועי <math>(V,q)</math> אפשר להציג בצורה - <math>V=0 \perp \mathbb{H}^m \perp V'</math> - חלק רדיקלי, חלק היפרבולי וחלק אנאיזוטרופי (לפרטים המלאים ראו בערך תבנית ריבועית).

משפט הצמצום של ויט קובע כי אם <math>V \perp \mathbb{H}^m \cong V' \perp \mathbb{H}^m</math> אז <math>V \cong V'</math>, ולכן החלק האנאיזוטרופי של מרחב מוגדר היטב.

==הגדרה==
שני מרחבים ריבועיים <math>V,V'</math> נקראים שקולים לפי ויט אם יש להם אותו חלק אנאיזוטרופי, כלומר אם יש <math>n \ge 0</math> כך ש-<math>\mathbb{H}^n \perp V \cong V'</math>. מחלקת השקילות של כל מרחב אנאיזוטרופי V היא <math>[V]=\{ V \perp \mathbb{H}^n, n \ge 0 \}</math>.

חוג ויט של השדה, המסומן <math>W(F)</math>, הוא החוג בו:
* האיברים הם מחלקות השקילות של היחס הנ"ל.
* החיבור הוא סכום ישר של מרחבים. מפורשות - <math>[\langle a_1,...,a_n \rangle] \perp [\langle b_1,...,b_m \rangle]=[\langle a_1,...,a_n,b_1,...,b_m \rangle]</math>. איבר האפס הוא המחלקה של מישור היפרבולי. 
* הכפל הוא מכפלה טנזורית של מרחבים ריבועיים. מפורשות, <math>[\langle a_1,...,a_n \rangle] \otimes [\langle b_1,...,b_m \rangle]=[\langle ...a_i b_j...\rangle]</math>. איבר היחידה הוא <math>[\langle 1 \rangle]</math>.

פעולות אלו מוגדרות היטב, והופכות את <math>W(F)</math> לחוג קומוטיבי.

כחבורה חיבורית, חוג ויט נוצר על ידי האיברים מהצורה <math>\langle a \rangle</math>. שתי תבניות כאלה הן שקולות אם ורק אם הסקלרים המגדירים אותן שקולים עד כדי ריבועים, כלומר שייכות לאותה מחלקה ב-<math> F^{\times}/F^</math>.

==דוגמאות==
* חוג ויט של שדה סגור אלגברית הוא <math>\mathbb{Z}/2\mathbb{Z}</math>, זאת משום ש-<math>\langle 1 \rangle \cong \langle -1 \rangle</math>, כלומר <math>\langle 1,1 \rangle=0</math>. בפרט, <math>W(\mathbb{C})=\mathbb{Z}/2 \mathbb{Z}</math>.
* חוג ויט של שדה סגור ממשית הוא <math>\mathbb{Z}</math>. ניתן לבנות איזומורפיזם מפורש, על ידי סימן סילבסטר (ראו בפירוט בהמשך). בפרט, <math>W(\mathbb{R})=\mathbb{Z}</math>.
* לשדה סופי מסדר <math>q</math> (כאמור ממאפיין שונה מ-2) חוג ויט התלוי בהתחלקות הסדר ב-4:
:* אם <math>q \equiv 3 \pmod{4}</math> אז <math>W(F)=\mathbb{Z}/4 \mathbb{Z}</math>.
:* אם <math>q \equiv 1 \pmod{4}</math> אז <math>W(F)=(\mathbb{Z}/2 \mathbb{Z})[t]/(t-1)^2</math>

==העתקת הצמצום==
תהי <math>K/F</math> הרחבת שדות. כל תבנית ריבועית מעל <math>F</math> היא גם תבנית מעל <math>K</math>.

פורמלית, העתקת הצמצום (restriction map) היא ההעתקה <math>res_{K/F}:W(F) \rightarrow W(K)</math> המוגדרת על ידי <math>res_{K/F}[(V,q)]=[(V \otimes K,q_{K})]</math>, כאשר <math>q_{K}(v \otimes a)=a^2q(v)</math>. נסמן בקיצור <math>q_{K}=res_{K/F}(q)</math>; זהו הומומורפיזם של חוגים. כלומר, שיכון של שדות עובר להומומורפיזם של חוגים, ההופך בשפה קטגורית את ההתאמה של שדה לחוג ויט שלו לפונקטור בין קטגוריית השדות לקטגוריית החוגים הקומוטטיביים.

העתקת הצמצום יכולה להעביר תבנית אנאיזוטרופית לתבנית איזוטרופית ואף לתבנית היפרבולית. כעת נראה מהן תכונות ההעתקה.

כל הרחבת שדות ניתן לפרק ל מרכיב טרנסצנדנטי ומרכיב אלגברי מהצורה <math>F \subseteq F_1 \subseteq K</math>. בנוגע לחלק הטרנסצנדנטי מתקיים:

משפט: אם <math>F_1/ F</math> הרחבה טרנסצנדנטית, אז <math>res_{F_1/F}</math> מהווה שיכון חוגים (כלומר, היא חד-חד-ערכית).

בנוגע לחלק האלגברי, התאוריה מעט מסובכת יותר ותלויה בזוגיות ממד ההרחבה.

משפט: הגרעין של העתקת הצמצום של הרחבה ריבועית <math>K = F_1[\delta]</math> הוא האידיאל הנוצר על ידי <math>\langle \langle \delta ^2 \rangle \rangle=\langle 1,-\delta ^2 \rangle </math>, כאשר <math>\langle \langle \cdot \rangle \rangle</math> היא תבנית פיסטר.

כלומר, מתקבלת סדרה מדויקת: <math>W(F_1)\overset{\_ \cdot \langle \langle \delta^2 \rangle \rangle}{\longrightarrow}W(F_1)\overset{res_{K/F_1}}{\longrightarrow}W(K)</math>. כדי להשלים את הסדרה וכך ללמוד על תמונת העתקת הצמצום, מגדירים את העתקת הטרנספר - נגדיר <math>s:K \rightarrow F_1</math> על ידי <math>s(1)=0, s(\delta)=1</math>, ונגדיר <math>s_{*}: W(K) \rightarrow W(F_1)</math> על ידי <math>s_*(q)(x)=s(q(x))</math>. מתקבלת הסדרה המדויקת: 
<math>W(F_1)\overset{\_ \cdot \langle \langle \delta^2 \rangle \rangle}{\longrightarrow}W(F_1)\overset{res_{K/F_1}}{\longrightarrow}W(K) \overset{s_*}{\longrightarrow}W(F_1) </math>, ולכן התבנית <math>[q] \in W(K)</math> היא צמצום של תבנית מ-<math>W(F_1)</math> אם ורק אם <math>s(q)</math> היפרבולית.

בממד אי זוגי מתקיים:

משפט שפרינגר: אם <math>F_1/ F</math> הרחבה ממד אי זוגי, אז אם התבנית <math>q</math> אנאיזוטרופית מעל <math>F</math>, כך גם <math>q_{K}</math>. בפרט, <math>res_{K / F_1}</math> חד-חד-ערכית.

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

פורמלית, אם <math>dim:W(F) \rightarrow \mathbb{Z}/2 \mathbb{Z}</math> מתאימה לכל מרחב ריבועי את זוגיות הממד שלו, מסמנים <math>I(F)=ker(dim)</math>. כלומר, <math>I(F)</math> הוא אוסף מחלקות השקילות של תבניות מסדר זוגי. זוגיות הממד מודולו 2 מוגדרת היטב, משום שכל מישור היפרבולי הוא מממד זוגי. האידיאל <math>I(F)</math> נוצר על ידי כל התבניות מהצורה <math><a,b></math>, או מהצורה <math>\langle 1,\frac{b}{a}\rangle =\langle 1,-c \rangle=\langle \langle c \rangle \rangle</math>, כאשר <math>\langle \langle \cdot \rangle \rangle</math> היא תבנית פיסטר.

כעת, מגדירים <math>\forall n \ge 2: I^n(F)= I^{n-1}(F) \cdot I</math>. הם נוצרים על ידי מכפלת <math>n</math> תבניות פיסטר דו-ממדיות, כלומר מהצורה <math>\langle \langle c_1,...,c_n\rangle \rangle:=\langle \langle c_1\rangle \rangle \otimes ... \otimes \langle \langle c_n \rangle \rangle</math>.

אנו מתעניינים בשרשרת האידיאלים <math>W({ F })\supseteq I(F)\supseteq { I }^{ 2 }(F)\supseteq ...</math> והמנות שלהם. נסקור את מבנה המנות <math>I^n(F) / I^{n+1}(F)</math> עבור <math>n</math> קטן, ונציג את האינווריאנטים הראשונים. בתת-הנושא הבא נראה את התורה הכללית.

=== האינווריאנט האפס ===
כאמור לעיל, ההעתקה <math>dim:W(F) \rightarrow \mathbb{Z}/2 \mathbb{Z}</math> הממפה מרחב אל זוגיות הממד שלו מוגדרת היטב, מהווה הומומורפיזם ובעלת גרעין <math>I(F)</math>, ולכן לפי משפט נתר הראשון מתקיים <math>W(F)/I(F) \cong \mathbb{Z} / 2\mathbb{Z}</math>. אפשר גם להוכיח כי <math>\mathbb{Z} / 2 \mathbb{Z}</math> מתקבלת כמנה של חוג ויט רק על ידי <math>I(F)</math>.

המנות הראשוניות של חוג ויט הן כולן ציקליות (כלומר מנות של חוג השלמים).

=== האינווריאנט הראשון ===
כעת נרצה להבין מהי המנה <math>I(F)/I^2(F)</math>.

הדטרמיננטה של מרחב ריבועי היא הדרמיננטה של המטריצה המייצגת שלו, המוגדרת עד כדי ריבועים, כלומר במרחב <math>F^{\times}/F^{\times^2}</math>. עם זאת, היא לא מוגדרת היטב על מחלקות בחוג ויט, כי <math>det(\mathbb{H})=-1</math>. לכן, מגדירים את הדיסקרימיננטה - <math>disc: I(F) \rightarrow F^{\times}/F^{\times^2}</math>, המוגדרת היטב ובעלת גרעין <math>I^2(F)</math>, ולכן מהווה איזומורפיזם
<math>\overline{disc}: I(F)/ I^2(F) { \xrightarrow { { { { _{ \sim } } } } } } F^{\times}/F^{\times^2}</math>.

מבנה המנה <math>F^{\times}/F^{\times^2}</math> מעיד גם על היותו של חוג ויט נותרי - <math>W(F)</math> נותרי אם ורק אם המנה <math>F^{\times}/F^{\times^2}</math> סופית.

=== האינווריאנט השני ===
המנה <math> I^2(F)/ I^3(F)</math> והאינווריאנט השני מעט מסובכים יותר.

ניזכר כי אלגברת קליפורד של מרחב ריבועי היא <math>C(V,q)=F[v_1,...,v_n|v_i v_j= -v_j v_i, v_i^2=q(v)]</math> (ובקיצור <math>C(q)</math>)כאשר הממד זוגי היא מהווה אלגברה פשוטה מרכזית מעל שדה הבסיס, ולכן משרה מחלקת שקילות בחבורת בראואר. במילים אחרות, מקבלים העתקה <math>\gamma : I(F) \rightarrow Br(F)</math>, הנתונה על ידי <math>[q] \mapsto [C(q)]</math>. ההעתקה מוגדרת היטב, משום שלכל תבנית ממד זוגי מתקיימת הזהות <math>C(q \perp q') \cong C(q) \otimes C(\langle \langle disc(q)\rangle \rangle \cdot q')</math>, ובפרט <math>C(q \perp \mathbb{H}) \cong C(q)</math>. כעת, כאמור לעיל, <math>disc</math> אדישה לתבניות מ-<math>I^2(F)</math>, ולכן צמצום ההעתקה <math>\gamma : I^2(F) \rightarrow Br(F)</math> מהווה הומומורפיזם. אפשר להוכיח כי היא משרה איזומורפיזם 
<math>\overline{\gamma}: I^2(F)/ I^3(F) { \xrightarrow { { { { _{ \sim } } } } } } _2 Br(F)</math>, כאשר <math>_2 Br(F)</math> היא חבורת בראואר מפיתול 2.

== האינווריאנטים הגבוהים ותורת K==
כעת נציג את התורה הכללית ואת מבנה המנות <math>I^n(F) / I^{n+1}(F)</math> הקשורה לתורת K.

לכל חוג <math>R</math> מותאמת חבורה אבלית <math>K_n(R)</math>, הנקראת חבורת <math>K</math> ה-<math>n</math>ית של מילנור. זוהי החבורה האבלית החופשית בסמלים <math>\{a_1,...,a_n\}</math>, יחד עם היחסים:
* <math>(a_1,...,a_i a_{i'},...a_n)=(a_1,...,a_i ,...a_n)+(a_1,...,a_{i'},...a_n)</math>
* <math>(...a,..,1-a,...)=0</math>.

נסמן <math>k_n(F) \cong K_n(F) / 2 K_n(F)</math>.

כעת, השערת מילנור טוענת כי <math> I^n(F) / I^{n+1}(F) \cong k_n(F)</math>. העתקת האיזומורפיזם היא
<math>f_n : k_n(F) \rightarrow I^n(F) / I^{n+1}(F)</math>, הנתונה על ידי <math>f_n(a_1,...,a_n)=\langle \langle a_1,...,a_n\rangle \rangle</math>, כאשר <math>\langle \langle \cdot \rangle \rangle</math> היא תבנית פיסטר.

קל לראות את קיום הטענה ל<math>n=0,1</math>:
<math>K_0(F)</math> היא החבורה הנוצרת על ידי הסמל הריק <math>()</math>, ולכן היא בדיוק <math>K_0(F)=\mathbb{Z}</math>.
<math>K_1(F)</math> היא החבורה הנוצרת על ידי הסמל <math>\{ a \}</math>, עם היחס <math>{aa'}={a}+{a'}</math>, והיא בדיוק <math>K_1(F) = F^{\times}</math>.

טיעונים יותר מסובכים מראים כי גם במקרה <math>n=2</math> ההגדרות מסתדרות (ראו בקריאה נוספת לפרטים מדויקים).

==חוג ויט ושדות סדורים==
תורת השדות הסדורים קשורה הדוקות לחוג ויט.

שדה סדור הוא שדה בו ניתן להציב קבוצת חיוביים <math>P</math> הסגורה לחיבור וכפל, ו-<math>F^\times = P \cup -P</math>. כל שדה סדור הוא ממאפיין אפס. שדה סדור הוא אוקלידי אם כל איבר חיובי בו הוא ריבוע של איבר אחר. שדה הוא סגור ממשית אם הוא אוקלידי ולכל פולינום ממעלה אי זוגית בו יש שורש.

שדה נקרא ניתן לסידור אם ניתן להגדיר עליו סדר. לפי משפט ארטין-שרייר, שדה ניתן לסידור אם ורק אם <math>-1</math> איננו סכום של ריבועים, ולכל איבר <math>a</math> שאינו סכום של ריבועים יש סדר בו <math>a<0</math>. שדה הוא פיתגורי אם כל ריבוע איבר בו הוא סכום של שני ריבועים.

===סימן סילבסטר===
כעת, יהי <math>F</math> שדה סדור עם סדר <math>\alpha</math>. ההעתקה <math>sign_\alpha : W(F) \rightarrow \mathbb{Z}</math>, הנקראת סימן סילבסטר, היא ההעתקה הממפה תבנית <math>q=\langle a_1,...,a_n \rangle</math> למספר האיברים החיוביים פחות השליליים בה. ההעתקה מוגדרת היטב לפי משפט ההתמדה של סילבסטר, ומהווה אפימורפיזם חוגים. אם השדה אוקלידי (ובפרט שדה סגור ממשית) ההעתקה מהווה איזומורפיזם חוגים.

===בשדות פיתגוריים===
בשדות פיתגוריים מקבלים תורת מבנה מפורשת, המתחלקת לשדה סדור ושדה לא סדור:

משפט: התכונות הבאות שקולות עבור שדה <math>F</math>:
* <math>F</math> פיתגורי ולא ניתן לסידור.
* <math>F</math> סגור לריבועים.
* <math>W(F)=\mathbb{Z}/2\mathbb{Z}</math>.

בפרט אפשר לשים לב שיש 2-פיתול בחוג ויט.

משפט: התכונות הבאות שקולות עבור שדה <math>F</math>:
* <math>F</math> פיתגורי וניתן לסידור.
* <math>W(F)</math> חסר פיתול.
* <math>W(F)</math> חסר 2-פיתול.

===מרחב הסידורים===
מרחב הסידורים של השדה הוא אוסף כל הסידורים שלו, המסומן <math>\mathbb{O}_F</math>. מתקיימת ההתאמה הבאה:

משפט: ישנה התאמה חד-חד-ערכית בין סידורים של שדה לאידיאלים ראשוניים של חוג ויט הלא מכילים את 2.

מפורשות, בהינתן אידיאל כנ"ל, נגדיר קבוצת חיוביים: <math>Pos = \{a \in F : \langle \langle a\rangle \rangle \in P\}</math>. בכיוון ההפוך, בהינתן קבוצת חיוביים <math>Pos \subseteq F ^ \times</math>, מגדירים את <math>P</math> להיות האידיאל הנוצר על ידי תבניות פיסטר של איברים מ-<math>Pos</math>.

את מרחב הסידורים ניתן לאפיין כך: <math>\mathbb{O}_F=\{ f:F^{ \times }\rightarrow \{ \pm 1\} :kerf\quad is\quad closed\quad under\quad +\} </math>. הוא משוכן באופן טבעי במרחב <math>\{ \pm 1 \} ^ {F^\times}</math>, עליו מוגדרת טופולוגיה - מכפלת טיכונוף, כאשר על <math>\{ \pm 1 \}</math> טופולוגיה דיסקרטית. <math>\mathbb{O}_F</math> מקבל את טפולוגיית תת-המרחב. מתקבל כך מרחב בוליאני, כלומר מרחב האוסדורף, בלתי קשיר לחלוטין וקומפקטי לפי משפט טיכונוף.

ל-<math>\mathbb{O}_F</math> יש את תת הבסיס המורכב מהקבוצות הפתוחות והסגורות <math>H_a=\{ f:F^\times \rightarrow \{\pm 1\} : f(a)=1 \}</math>.

כעת, מגדירים את הסימן הגלובלי כפונקציה <math>c: W(F) \rightarrow Maps(\mathbb{O}_F,\mathbb{Z})</math>, על ידי <math>c([q])=\{ \alpha \mapsto sign_\alpha (q) \}</math>. ניתן להוכיח כי תמונת המיפוי מוכלת באוסף הפונקציות הרציפות, כלומר <math>c: W(F) \rightarrow C(\mathbb{O}_F,\mathbb{Z})</math>. ההעתקה מהווה הומומורפיזם, עם גרעין <math>_{2^\infty}W(F)</math> - הוא קבוצת ה-<math>2^\infty</math>-פיתול של <math>W(F)</math>, 
ובעלת קו-גרעין המהווה אף הוא קבוצה בעלת 2-פיתול.

== ייצוגים על ידי יוצרים ויחסים ==

השערת מילנור שנסקרה לעיל מספקת יצוג באמצעות יוצרים ויחסים לכל המנות <math>\ I^nF/I^{n+1}F</math>. עבור ערכים נמוכים של n ידוע יצוג כזה גם לאידיאלים <math>\ I^nF</math> עצמם
* חוג ויט <math>W F</math> נוצר על ידי ה(מחלקות של ה)תבניות הביליניאריות החד-ממדיות <math>\ \langle a\rangle</math> (לכל a שונה מאפס), עם היחסים <math>\ \langle 1\rangle + \langle -1\rangle = 0</math>, <math>\ \langle ab^2 \rangle = \langle a\rangle</math>, ו-<math>\ \langle a\rangle + \langle b\rangle = \langle a+b\rangle + \langle ab(a+b)\rangle</math> המתארים את החלק האדיטיבי, והיחס <math>\ \langle a\rangle\langle b\rangle = \langle ab\rangle</math> המגדיר את פעולת הכפל. 
* האידיאל היסודי <math>\ I^1F</math> נוצר על ידי תבניות פיסטר <math>\ \langle \langle a \rangle \rangle</math> (לכל <math>\ a \neq 0</math>) עם היחסים <math>\ \ \langle \langle 1 \rangle \rangle = 0</math>, <math>\ \langle\langle ab^2 \rangle\rangle = \langle\langle a\rangle\rangle</math> ו-<math>\ \langle \langle a \rangle \rangle + \ \langle \langle b \rangle \rangle = \ \langle \langle a+b \rangle \rangle + \ \langle \langle ab(a+b) \rangle \rangle</math> כל אימת ש-<math>\ a+b \neq 0</math>. 
* ריבוע האידיאל היסודי, <math>\ I^2F</math> נוצר כחבורה חיבורית על ידי התבניות <math>\ \langle \langle a,b \rangle \rangle</math> (לכל <math>\ a,b \neq 0</math>) עם היחסים <math>\ \ \langle \langle 1,1 \rangle \rangle = 0</math>; <math>\ \langle \langle a,b \rangle \rangle = \langle \langle c,d \rangle \rangle</math> אם התבניות איזוטרופיות; ו-<math>\ \langle \langle ab,c \rangle \rangle + \ \langle \langle a,b \rangle \rangle = \ \langle \langle a,bc \rangle \rangle + \ \langle \langle b,c \rangle \rangle</math>.

== מודול ויט במאפיין 2 ==

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

המודול של ויט, <math>\ I_q(F)</math>, הוא חבורת גרותנדיק של המונויד של התבניות ה*ריבועיות* הלא-מנוונות מממד זוגי, מודולו המרחבים ההיפרבוליים. המודול נוצר על ידי ה(מחלקות של ה)תבניות הדו-ממדיות <math>\ [a,b]</math> (המייצגות את התבניות <math>\ q(x_1,x_2) = ax_1^2+x_1x_2+bx_2^2</math>). כחבורה אבלית, הוא מוגדר על ידי היחסים <math>\ [a,b]+[a,c] = [a,b+c]</math>, <math>\ [a,bc^2] = [ac^2,b]</math> ו-<math>\ [a,ac^2+c] = 0</math>. פעולת הכפל בסקלר מושרית על ידי המכפלה הטנזורית של תבניות, ואפשר להגדיר אותה גם על ידי הפעולה של יוצרים על יוצרים, <math>\ \langle c \rangle [a,b] = [ca,c^{-1}b]</math>. מודול ויט נוצר, כמודול מעל חוג ויט, על ידי תבניות פיסטר הריבועיות <math>\ \langle \langle a ]] = [1,a]</math>. 

על המודול של ויט מוגדר אינווריאנט ארף , לפי <math>\ \operatorname{Arf}([a_1,b_1]\perp \cdots \perp [a_n,b_n]) = \sum a_i b_i \in F / \wp{F}</math>, כאשר <math>\ \wp{F} = \{c^2+c : c \in F\}</math>. הגרעין של אינווריאנט ארף הוא <math>\ I_q^2(F) = I(F)\cdot I_q(F)</math>. ייצוג של <math>\ I^2_qF</math> עם היוצרים <math>\ a,b = a \otimes ab\rangle\rangle</math> נתון על ידי היחסים הבאים: הסמל בי-אדיטיבי וסימטרי; 
<math>\ [[a,1 = 0</math>;
<math>\ a,bc^2 = ac^2,b</math>;
<math>\ a,ac^2 = a,c</math>
[http://www.raunvis.hi.is/reports/2006/RH-18-2006.pdf]. באופן כללי מסמנים <math>\ I_q^n(F) = I(F)^{n-1}I_q(F)</math>.

==ראו גם==
* תבנית ריבועית
* תבנית פיסטר
* תורת האינווריאנטים
* תורת K
* שדה סדור

==לקריאה נוספת==
* עוזי וישנה, [http://u.math.biu.ac.il/~vishne/courses/88912/QuadraticFormsH.pdf מבוא לתבניות ריבועיות], 2014.
* Pete L. Clark, [http://math.uga.edu/~pete/quadraticforms2.pdf Quadratic forms over fields II: Structure of the Witt Ring]

ויט
ויט
ויט