חזור לתיקייה: שיעורי בית

גליון 1

חיפוש בתיקיה
Ctrl K
לחץ כאן או הקש Ctrl K כדי לחפש בכל התיקיה
  • תרגיל 1
  • תרגיל 2
  • תרגיל 3

גליון 1

01040134

אלגברה מודרנית ח'

רשימות הרצאה לקריאה בשבת

גליון 1

הופק מתוך תקיית התואר של שקד

uni-folder.vercel.app

תרגיל 1

תרגיל (1)

הוכיחו כי קיימים ∞\infty∞ מספרים ראשוניים מהצורה 4n+34n+34n+3 (כאשר n=0,1,2,…n=0,1,2,\dotsn=0,1,2,…)

הוכחה:
נניח בשלילה כי קיים מספר סופי של ראשוניים מהצורה 4n+34n+34n+3. אזי, הקבוצה A={p=4n+3∣n∈Z,   ראשוניp}A=\left\{ p=4n+3 \mid n \in \mathbb{Z},\;\R{\text{ ראשוני}}p \right\}A={p=4n+3∣n∈Z, ראשוניp} סופית. כלומר, קיים L∈ZL \in \mathbb{Z}L∈Z כך ש-∣A∣=L|A|=L∣A∣=L. נסמן את האיברים בקבוצה: p1,p2,…,pLp_{1},p_{2},\dots,p_{L}p1​,p2​,…,pL​.
נגדיר n=4p1p2⋯pL−1n=4p_{1}p_{2}\cdots p_{L}-1n=4p1​p2​⋯pL​−1. מכיוון ש-n>max⁡An> \max An>maxA מתקיים כי nnn אינו ראשוני. המספר אינו זוגי שכן 4p1p2⋯pL4p_{1}p_{2}\cdots p_{L}4p1​p2​⋯pL​ זוגי. לכן, 2∤n2 \nmid n2∤n.
לכן, כל גורם שלו הוא אי זוגי, או במילים אחרות, כל גורם שלו הוא מהצורה 4k+14k+14k+1 או 4k+34k+34k+3.
נניח כעת כי כל הגורמים של nnn הם מהצורה 4n+14n+14n+1. נטען טענת עזר: כל מספר המורכב רק מגורמים של 4n+14n+14n+1 יהיה בתצורת 4n+14n+14n+1 ונוכיח באינדוקציה.
בסיס: עבור k=1k=1k=1 מתקיים (4n+1)1=4n+1(4n+1)^1=4n+1(4n+1)1=4n+1 שהינו מספר מהתצורה 4n+14n+14n+1.
צעד: נניח כי עבור k≥1k\geq 1k≥1 מתקיים ש-(4n+1)k(4n+1)^k(4n+1)k הינו מספר מהתצורה 4n+14n+14n+1 ונראה כי זה מתקיים עבור k+1k+1k+1.
נסמן: (4n+1)k=4m+1(4n+1)^k=4m+1(4n+1)k=4m+1 ואז:

(4n+1)k+1 ⁣= ⁣(4n+1)k(4n+1) ⁣= ⁣(4m+1)(4n+1) ⁣=42nm+4n+4m+1=4(4nm+n+m)+1(4n+1)^{k+1}\!=\!(4n+1)^k(4n+1)\!=\!(4m+1)(4n+1)\!=4^2nm+4n+4m+1=4(4nm+n+m)+1(4n+1)k+1=(4n+1)k(4n+1)=(4m+1)(4n+1)=42nm+4n+4m+1=4(4nm+n+m)+1

לכן, מכיוון ש-nnn הוא במבנה 4n+34n+34n+3 קיים לו גורם ראשוני מהתצורה 4n+34n+34n+3. לכן, קיים 1≤i≤L1\leq i\leq L1≤i≤L כך ש-pi∣4p1p2⋯pL−1p_{i} \mid 4p_{1}p_{2}\cdots p_{L}-1pi​∣4p1​p2​⋯pL​−1.
בנוסף, נשים לב כי pi∣4p1p2⋯pLp_{i}\mid 4p_{1}p_{2}\cdots p_{L}pi​∣4p1​p2​⋯pL​ ולכן, לפי לינאריות החלוקה, pi∣(4p1p2⋯pL−1−1(4p2p2⋯pL))=1p_{i}\mid (4p_{1}p_{2}\cdots p_{L}-1-1(4p_{2}p_{2}\cdots p_{L}))=1pi​∣(4p1​p2​⋯pL​−1−1(4p2​p2​⋯pL​))=1 בסתירה לכך ש-pi>1p_{i}>1pi​>1 ולכן לא מחלק אותו.
לכן, קיימים ∞\infty∞ ראשוניים מהצורה 4n+34n+34n+3.
∎

תרגיל 2

תרגיל (2 [א])

יהיו a,b∈Za,b \in \mathbb{Z}a,b∈Z ונתון כי (a,b)=d(a,b)=d(a,b)=d. הוכיחו כי (ad,bd)=1\left( \frac{a}{d}, \frac{b}{d} \right)=1(da​,db​)=1.

הוכחה:
נתון כי (a,b)=d(a,b)=d(a,b)=d ולכן d∣ad \mid ad∣a וגם d∣bd \mid bd∣b. לכן, קיימים k,m∈Zk,m \in \mathbb{Z}k,m∈Z כך ש-a=dka=dka=dk וגם b=dmb=dmb=dm.
לכן, bd=m⋅1\frac{b}{d}=m\cdot 1db​=m⋅1 ולכן, לפי הגדרה, 1∣bd1 \mid \frac{b}{d}1∣db​. בנוסף, ad=k⋅1\frac{a}{d}=k\cdot 1da​=k⋅1 ולכן, 1∣ad1 \mid \frac{a}{d}1∣da​. לכן, 111 מחלק משותף של ad\frac{a}{d}da​ ו-bd\frac{b}{d}db​.
נניח כי קיים 1≠e∈N1\neq e \in \mathbb{N}1=e∈N כך ש-e∣ad∧e∣bde \mid \frac{a}{d}\land e \mid \frac{b}{d}e∣da​∧e∣db​. כלומר, קיימים k1,k2∈Zk_{1},k_{2} \in \mathbb{Z}k1​,k2​∈Z כך ש-ad=ek1\frac{a}{d}=ek_{1}da​=ek1​ ו-bd=ek2\frac{b}{d}=ek_{2}db​=ek2​. אזי b=ek2db=ek_{2}db=ek2​d ו-a=ek1da=ek_{1}da=ek1​d.
נשים לב כי ed∣aed \mid aed∣a וגם ed∣bed \mid bed∣b ובנוסף, מכיוון ש-e,d∈Ne,d \in \mathbb{N}e,d∈N אזי ed>max⁡{e,d}ed>\max\left\{ e,d \right\}ed>max{e,d} ולכן, ddd אינו הממ"גב של a,ba,ba,b בסתירה לכך ש-(a,b)=d(a,b)=d(a,b)=d.
לכן, לכל e∈Ze \in \mathbb{Z}e∈Z כך ש-e∣a∧e∣be \mid a \land e \mid be∣a∧e∣b מתקיים 1∣e1 \mid e1∣e.
לכן, לפי הגדרה, (ad,bd)=1\left( \frac{a}{d}, \frac{b}{d} \right)=1(da​,db​)=1.
∎

תרגיל (2 [ב])

יהיו a,b∈Za,b \in \mathbb{Z}a,b∈Z כך ש-a,ba,ba,b זרים.
הוכיחו כי (a+b,a−b)=1(a+b,a-b)=1(a+b,a−b)=1 או (a+b,a−b)=2(a+b,a-b)=2(a+b,a−b)=2.

הוכחה:
נסמן d=(a+b,a−b)d=(a+b,a-b)d=(a+b,a−b). קיומו מובטח לפי משפט. לפי הגדרה, d∣a+bd \mid a+bd∣a+b וגם d∣a−bd \mid a-bd∣a−b. כלומר, קיימים c1,c2∈Zc_{1},c_{2} \in \mathbb{Z}c1​,c2​∈Z כך שמתקיים: a−b=dc1a-b=dc_{1}a−b=dc1​ ו-a+b=dc2a+b=dc_{2}a+b=dc2​.

2a=d(c1+c2)2b=d(c1−c2)\begin{align*} 2a=d(c_{1}+c_{2}) \qquad 2b=d(c_{1}-c_{2}) \end{align*}2a=d(c1​+c2​)2b=d(c1​−c2​)​

לפי הנ"ל מתקיים כי d∣2ad \mid 2ad∣2a וגם d∣2bd \mid 2bd∣2b ולכן, לפי הגדרת ה-gcdgcdgcd מתקיים d∣(2a,2b)d \mid (2a,2b)d∣(2a,2b). לפי משפט d∣2(a,b)d \mid 2(a,b)d∣2(a,b).
נתון כי a,ba,ba,b זרים. כלומר, (a,b)=1(a,b)=1(a,b)=1. לכן, d∣2d \mid 2d∣2. כלומר, קיים k∈Zk \in \mathbb{Z}k∈Z כך ש-2=dk2=dk2=dk.

  • אם d=1d=1d=1 אז k=2k=2k=2 וסיימנו.
  • אם d=2d=2d=2 אז k=1k=1k=1 וסיימנו.
  • אם d>2d>2d>2 אז k<1k<1k<1 ובנוסף, מכיוון ש-d>0d>0d>0 ו-2>02>02>0 מתקיים כי k>0k>0k>0 בסתירה לכך ש-k∈Zk \in \mathbb{Z}k∈Z.

לכן, (a+b,a−b)=1(a+b,a-b)=1(a+b,a−b)=1 או (a+b,a−b)=2(a+b,a-b)=2(a+b,a−b)=2.
∎

תרגיל 3

תרגיל (3 [א])

יהיו a,b∈Za,b \in \mathbb{Z}a,b∈Z ו-n∈Nn\in \mathbb{N}n∈N. הוכיחו כי למשוואה b=ax+nyb=ax+nyb=ax+ny יש פתרון שלם (a,n)∣b  ⟺  (a,n)\mid b\iff(a,n)∣b⟺.

הוכחה:
:  ⟸  :\impliedby:⟸ קיימים x,y∈Zx,y \in \mathbb{Z}x,y∈Z כך ש-b=ax+nyb=ax+nyb=ax+ny. לפי משפט, קיים d∈Zd \in \mathbb{Z}d∈Z יחיד כך ש-(a,n)=d(a,n)=d(a,n)=d.
לפי הגדרת ממג"ב מתקיים כי (a,n)∣x(a,n)\mid x(a,n)∣x וגם (a,n)∣n(a,n)\mid n(a,n)∣n. לכן, לפי תכונות חלוקה: (a,n)∣ax+ny=b(a,n)\mid ax+ny=b(a,n)∣ax+ny=b.
:  ⟹  :\implies:⟹ נתון כי (a,n)∣b(a,n)\mid b(a,n)∣b. לכן, לפי הגדרה, קיים q∈Zq \in \mathbb{Z}q∈Z כך ש-b=q(a,n)b=q(a,n)b=q(a,n). לפי זהות בזו, קיימים x0,y0∈Zx_{0},y_{0}\in \mathbb{Z}x0​,y0​∈Z כך ש-b=q(ax0+ny0)b=q(ax_{0}+ny_{0})b=q(ax0​+ny0​).
נסמן x=qx0,y=qy0x=qx_{0},y=qy_{0}x=qx0​,y=qy0​ ואז: b=ax+nyb=ax+nyb=ax+ny כנדרש.
∎

תרגיל (3 [ב])

יהיו a,b∈Za,b \in \mathbb{Z}a,b∈Z ו-n∈Nn \in \mathbb{N}n∈N. הוכיחו כי למשוואה ax≡b ⁣ ⁣ ⁣(mod  n)ax\equiv b\pmod{n}ax≡b(modn) יש פתרון (a,n)∣b  ⟺  (a,n)\mid b\iff(a,n)∣b⟺.

הוכחה:
לפי הגדרת מודלו מתקיים כי:

ax≡b ⁣ ⁣ ⁣(mod  n)  ⟺  ∃m∈Z:  ax=b+mnax\equiv b\pmod{n}\iff \exists m \in \mathbb{Z}:\;ax=b+mnax≡b(modn)⟺∃m∈Z:ax=b+mn

נסמן y=−m∈Zy=-m \in \mathbb{Z}y=−m∈Z ואז:

ax≡b ⁣ ⁣ ⁣(mod  n)  ⟺  ∃y∈Z:  ax+yn=bax\equiv b\pmod{n}\iff \exists y \in \mathbb{Z}:\;ax+yn=bax≡b(modn)⟺∃y∈Z:ax+yn=b

לפי סעיף א':

ax≡b ⁣ ⁣ ⁣(mod  n)  ⟺  ax+yn=b  ⟺  (a,n)∣bax\equiv b\pmod{n}\iff ax+yn=b \iff (a,n)\mid bax≡b(modn)⟺ax+yn=b⟺(a,n)∣b

∎