תורת המספרים. שאלה
ראשית השאלה מדברת על 2 ההגדרות הבאות:
1.
a1,...,an היא "מערכת מלאה" של שאריות מודולו n אם a1,..,an שקולים מודולו n ל- zz 0,1,...,n-1 zz בסדר כלשהו.
למשל: 7,6,8 זו מערכת מלאה של שאריות מודולו 3 כי: 7 משאיר שארית 1 בחלוקה ב-3, 6 משאיר שארית 0 בחלוקה ב-3 ו-8 משאיר שארית 2 בחלוקה ב-3.
2. קבוצת מספרים שלמים R תיקרא "מערכת מצומצמת" של שאריות מודולו מודולו n אם מתקיים 3 תנאים:
a. לכל איבר r in R מתקיים: r,n) = 1) .
b. הקבוצה R מכילה (phi(n איברים. (phi הכוונה לפונקציית אוילר.)
c. לא קיימים שניי איברים ב-R ששקולים מודולו n.
כעת לשאלה:
א'. אם zz A = {a1,..,am} zz מערכת מלאה. alpha, beta in Z ו- alpha,n) = 1), אזי: zz B = {alpha*a1 + beta,...,alpha*am + beta} zz מערכת מלאה.
ב'. שאלה 2 בלינק הבא: http://u.math.biu.ac.il/~reznikov/courses/problems2014-Fall.pdf
לא ברור לי אם מדובר שם על מערכת מצומצמת או לא. אם מישהו יודע, אשמח להסבר.
לגבי סעיף א', ניסיתי כך:
נניח בשלילה ש-B לא מערכת מלאה.
לכן קיימים שניי איברים ב-B עבורם מתקיים: zz alpha*ai + beta = alpha*aj + beta (mod m) zz
נחסיר beta משניי האגפים ונקבל: (alpha*ai = alpha*aj (mod m האם אפשר לחלק את שניי האגפים ב-alpha, ולקבל: (ai = aj (mod m
ולהגיד שזו סתירה לכך ש-A מערכת מלאה?
האם זו הוכחה נכונה?
לגבי ב' (שאלה 2 מהלינק), אשמח לעזרה.
תודה!
ראשית השאלה מדברת על 2 ההגדרות הבאות:
1.
a1,...,an היא "מערכת מלאה" של שאריות מודולו n אם a1,..,an שקולים מודולו n ל- zz 0,1,...,n-1 zz בסדר כלשהו.
למשל: 7,6,8 זו מערכת מלאה של שאריות מודולו 3 כי: 7 משאיר שארית 1 בחלוקה ב-3, 6 משאיר שארית 0 בחלוקה ב-3 ו-8 משאיר שארית 2 בחלוקה ב-3.
2. קבוצת מספרים שלמים R תיקרא "מערכת מצומצמת" של שאריות מודולו מודולו n אם מתקיים 3 תנאים:
a. לכל איבר r in R מתקיים: r,n) = 1) .
b. הקבוצה R מכילה (phi(n איברים. (phi הכוונה לפונקציית אוילר.)
c. לא קיימים שניי איברים ב-R ששקולים מודולו n.
כעת לשאלה:
א'. אם zz A = {a1,..,am} zz מערכת מלאה. alpha, beta in Z ו- alpha,n) = 1), אזי: zz B = {alpha*a1 + beta,...,alpha*am + beta} zz מערכת מלאה.
ב'. שאלה 2 בלינק הבא: http://u.math.biu.ac.il/~reznikov/courses/problems2014-Fall.pdf
לא ברור לי אם מדובר שם על מערכת מצומצמת או לא. אם מישהו יודע, אשמח להסבר.
לגבי סעיף א', ניסיתי כך:
נניח בשלילה ש-B לא מערכת מלאה.
לכן קיימים שניי איברים ב-B עבורם מתקיים: zz alpha*ai + beta = alpha*aj + beta (mod m) zz
נחסיר beta משניי האגפים ונקבל: (alpha*ai = alpha*aj (mod m האם אפשר לחלק את שניי האגפים ב-alpha, ולקבל: (ai = aj (mod m
ולהגיד שזו סתירה לכך ש-A מערכת מלאה?
האם זו הוכחה נכונה?
לגבי ב' (שאלה 2 מהלינק), אשמח לעזרה.
תודה!