הלמה של אוקלידס

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

הלמה נקראת על שמו של המתמטיקאי היווני בן המאה ה-3 לפנה"ס אוקלידס, שהלמה מופיעה כמשפט ה-30 בכרך השביעי של ספרו יסודות.

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

המשפט אינו בהכרח נכון כאשר המחלק הוא מספר פריק. 4 מחלק את המכפלה , אבל לא מחלק את 2 או את 6.

המשפט וההוכחה
המשפט. אם  ראשוני ו- אז  או .

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

המשפט ההפוך
משפט. אם  מקיים שלכל  ו- כך ש-, מתקיים  או , אזי  ראשוני.

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

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

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

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

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

אוקלידס

מספרים ראשוניים
תחומי שלמות
אוקלידס