שדה הילברטי

מתוך ויקיפדיה, האנציקלופדיה החופשית
קפיצה אל: ניווט, חיפוש

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

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

ההגדרה[עריכת קוד מקור | עריכה]

פולינומים בכמה משתנים[עריכת קוד מקור | עריכה]

פולינום במשתנה אחד מתפרק לגורמים אם אפשר לכתוב אותו כמכפלה של פולינומים שאינם סקלרים; אחרת הוא אי-פריק. אותן הגדרות חלות גם על פולינומים בכל מספר של משתנים. לדוגמה, \ X^2-Y^2 פריק, ואילו \ X^2-Y הוא אי-פריק.

איפריקות והצבות[עריכת קוד מקור | עריכה]

אם \ f(X,T) הוא פולינום בשני משתנים מעל שדה \ k המתפרק לגורמים \ f(X,T)=g(X,T)\cdot h(X,T), אז לכל הצבה של ערך \ t \in k במשתנה \ T, גם הפולינום \ f(X,t) מתפרק למכפלה \ f(X,t)=g(X,t) \cdot h(X,t).

באופן כללי, ייתכן שהפולינום \ f(X,T) פריק, ובכל זאת \ f(X,t) אי-פריק, משום שהצבת \ T=t הופכת את אחד הגורמים לסקלר. כך למשל \ f(X,T)=(1+TX)X פריק, ואילו \ f(X,0)=X אי-פריק. תופעה כזו אפשרית רק למספר סופי של הצבות, ולכן, אם הפולינום \ f(X,t) אי-פריק לאינסוף ערכים של \ t, אז גם הפולינום \ f(X,T) אי-פריק.

מאידך, לא תמיד אפשר לזהות אי-פריקות של פולינום באמצעות הצבות. לדוגמה, הפולינום \ X^2-(T^2+1) אי-פריק, בעוד שמעל שדה המספרים הממשיים כל הפולינומים \ X^2-(t^2+1) (עבור \ t \in \mathbb{R}) הם פריקים. בשדה הילברטי, אם \ f(X,T) אי-פריק, אז יש הצבות \ t \in T כך שגם \ f(X,t) אי-פריק.

ההגדרה המדויקת כללית יותר, ומכלילה תכונה זו לכמה משתנים.

הגדרה[עריכת קוד מקור | עריכה]

נניח שפולינום \ f במשתנים \ X_1,\dots,X_n ו- \ T_1,\dots,T_m מעל שדה \ k הוא אי-פריק. אומרים שהאיברים \ t_1,\dots,t_m\in k מעידים על אי-הפריקות, אם לאחר ההצבה, הפולינום \ f(X_1,\dots,X_n, t_1,\dots,t_m) אי-פריק.

השדה \ k הוא הילברטי אם לכל מערכת סופית של פולינומים אי-פריקים \ f_1,\dots,f_s במשתנים \ X_1,\dots,X_n ו- \ T_1,\dots,T_m, ולכל פולינום \ g(T_1,\dots,T_m) \neq 0, יש הצבה \ T_i=t_i המקיימת \ g(t_1,\dots,t_m) \neq 0, ומעידה על אי-הפריקות של כל הפולינומים \ f_j.

לתכונת ההילברטיות הגדרות שקולות רבות. למשל, די לדרוש שלכל פולינום אי-פריק f במשתנים X ו-T תהייה הצבה T=t המעידה על אי-הפריקות של f.

שדות הילברטיים[עריכת קוד מקור | עריכה]

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

לעומת זאת, שדה המספרים הממשיים (או כל שדה פיתגורי) אינו הילברטי לפי הדוגמה שניתנה לעיל. גם השדות הסופייםמאפיין \ p) אינם הילברטיים, משום שהפולינום האי-פריק \ X^p-T מתפצל לגורמים לינאריים בכל הצבה של ערך במקום \ T. שדות מהצורה \ F(\!(t)\!) אינם הילברטיים.

ראו גם[עריכת קוד מקור | עריכה]

מקורות[עריכת קוד מקור | עריכה]

  • Schinzel, "Polynomials, with special regard to reducibility", Enc. Math. Appl. 77, 2000; section 4.4.