הלמה של גאוס (פולינומים)

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

1. המכפלה של שני פולינומים פרימיטיביים (כלומר, פולינומים שלמקדמים שלהם אין גורם משותף) מעל השלמים היא גם פרימיטיבית.
2. פולינום אי פריק מעל השלמים הוא אי פריק גם מעל הרציונליים.
3. חוג הפולינומים במקדמים שלמים $\ Z[x]$ הוא תחום פריקות יחידה.

הלמות האלה נותרות נכונות אם מחליפים את חוג המספרים השלמים $\mathbb {Z}$ בתחום פריקות יחידה $D$ כלשהו (ואת שדה המספרים הרציונליים בשדה המנות של $D$). באופן כללי יותר בלמות 1 ו- 2 אפשר להחליף את $\mathbb {Z}$ בתחום gcd כלשהוא. גם את למה 3 אפשר להכליל לתחום gcd באופן הבא:

• אם $D$ הוא תחום gcd אז חוג הפולינומים מעל $D[x]$ מעל $D$ הוא תחום פריקות יחידה.

מטענה זאת נובע באינדוקציה שחוג הפולינומים במספר משתנים מעל תחום פריקות יחידה הוא תחום פריקות יחידה, ובפרט חוג הפולינומים מעל שדה במספר משתנים וחוג הפולינומים מעל $\mathbb {Z}$ במספר משתנים הם תחומי פריקות יחידה.

מסקנה מיידית מלמה 2 היא הטענה הידועה כבר מימי קדם, הקובעת כי שורש ריבועי של כל מספר טבעי $n$ שאינו מספר ריבועי הוא מספר אי רציונלי; אם הפולינום $x^{2}-n$ אינו מתפרק לגורמים ליניאריים מעל חוג השלמים, אז הוא גם לא מתפרק לגורמים ליניאריים מעל שדה השברים שלו, קרי שדה הרציונליים.

הוכחה

קל למדי להסיק את הלמה השלישית מהשניה ואת השניה מהראשונה.

הוכחה ללמה הראשונה

הוכחה מעל חוג השלמים

יהיו $\ f(x),g(x)\in \mathbb {Z} [t]$ פולינומים פרימיטייביים. אם יש למקדמי המכפלה גורם משותף שאינו הפיך, אז יש להם גורם משותף ראשוני, p. נקבל שבחוג הפולינומים מעליו $\ (\mathbb {Z} /p\mathbb {Z} )[x]$ מתקיים השיוויון fg=0. אולם זהו חוג פולינומים מעל שדה, ולכן הוא תחום שלמות, ומכאן ש $f=0$ או $g=0$. לכן לפחות אחד הפולינומים אינו פרימיטיבי.

המקרה הכללי

ההוכחה עבור הוא תחום פריקות יחידה כללי (או באופן כללי יותר עבור תחום gcd) דומה מאוד רק שבסוף צריך להשתמש בטענה הבאה:

• חוג הפולינומים מעל תחום שלמות הוא תחום שלמות.

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

• הלמה של גאוס, באתר MathWorld (באנגלית)