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

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

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

הלמות האלה נותרות נכונות אם מחליפים את חוג המספרים השלמים  בתחום פריקות יחידה  כלשהו (ואת שדה המספרים הרציונליים בשדה המנות של ).
באופן כללי יותר בלמות 1 ו- 2 אפשר להחליף את   בתחום gcd כלשהוא. גם את למה 3 אפשר להכליל לתחום gcd באופן הבא:
 אם  הוא  תחום gcd  אז חוג הפולינומים מעל   מעל   הוא תחום פריקות יחידה.

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

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

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

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

הוכחה מעל חוג השלמים
יהיו  פולינומים פרימיטייביים. אם יש למקדמי המכפלה גורם משותף שאינו הפיך, אז יש להם גורם משותף ראשוני, p. נקבל שבחוג הפולינומים מעליו  מתקיים השיוויון fg=0. אולם זהו חוג פולינומים מעל שדה, ולכן הוא תחום שלמות, ומכאן ש  או . לכן לפחות אחד הפולינומים אינו פרימיטיבי.

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

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

גאוס

פולינומים
הוכחות
קרל פרידריך גאוס