חוג פולינומים

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

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

הגדרה
יהי  חוג  חילופי נתון. ניתן להגדיר את חוג הפולינומים  בשתי הגדרות שקולות:

פולינומים
ההגדרה הטבעית והישירה לחוג זה היא הקבוצה שמכילה את כל הפולינומים במשתנה בלתי תלוי x:
.

פעולת החיבור מוגדרת רכיב-רכיב, כלומר אם  אזי . 

כך למשל  .

פעולת הכפל מוגדרת על ידי היחסים  וחוק הפילוג. 

כך למשל .

איבר האפס הוא הפולינום בו כל המקדמים הם האפס של החוג.

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

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

פעולת החיבור - מתבצעת רכיב רכיב, כלומר: 

פעולת הכפל - נובעת מחוקי קונבולוציה, כלומר האיבר ה- במכפלה  הוא .

איבר האפס הוא סדרת אפסים, כלומר .

 אם לחוג המקורי יש איבר יחידה, אזי גם לחוג הפולינומים ישנה יחידה - .

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

שקילות ההגדרות
ניתן להראות כי שתי ההגדרות הנ"ל שקולות, על ידי איזומורפיזם בין שני המבנים, הנתון על ידי 
.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

התכונה החשובה של חוג זה היא, שבהינתן שדה , אזי  אף הוא שדה. כלומר, זהו שדה שמכיל את חוג הפולינומים.

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

לשדה זה קוראים שדה הפונקציות הרציונליות ב- משתנים.

חוגי מנה 
לחוגי מנה של חוגי פולינומים יש חשיבות רבה.

במשתנה אחד, כאמור, תחום שלמות הוא שדה אם ורק אם חוג הפולינומים שלו הוא תחום ראשי. במקרה זה, כל חוג מנה מקבל את הצורה . חוג זה הוא שדה אם ורק אם הפולינום  היוצר את האידיאל הוא אי-פריק. כך אפשר לייצר את השדות סופיים מכל סדר (שהוא חזקת ראשוני) -- אם בוחרים   שדה השאריות מודולו p, מספיק למצוא פולינום אי-פריק מסדר מסוים k, ואז חוג המנה יהיה שדה מסדר . פולינום כזה אכן קיים לכל ראשוני ולכל סדר שהוא.

בנוסף, חוגי מנה כנ"ל מהווים הרחבת שדות בה לפולינום יש שורש, והוא .

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

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

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

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

חבורת האוטומורפיזמים 

כל האוטומורפיזמים של חוג הפולינומים במשתנה אחד מעל שדה הם אפיניים. חבורת האוטומורפיזמים של חוג הפולינומים בשני משתנים היא מכפלת היתוך של האוטומורפיזמים האפיניים והאוטומורפיזמים השומרים על אחד המשתנים (החבורה נוצרת על ידי אוטומורפיזם ההחלפה, והאוטומורפיזמים השומרים על משתנה מסוים; ההוכחה במאפיין אפס ניתנה על ידי Jung, ומעל שדה כללי על ידי Van der Kulk). חבורת האוטומורפיזמים בשלושה משתנים או יותר כוללת גם אוטומורפיזמים "פרועים" (Anick conjecture).

ראו גם השערת היעקוביאן.

חבורת האוטומורפיזמים של חוג הפולינומים קרובה לזו של האלגברה החופשית באותו מספר של משתנים. בעניין זה הוכיח Dicks שההתאמה x,y-->f,g מגדירה אוטומורפיזם של האלגברה החופשית בשני המשתנים x,y אם ורק אם [f,g] הוא כפולה בסקלר של [x,y].

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

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

תורת החוגים
פולינומים