שיחת משתמש:Nimrod

תרגיל 1, 4.ג'

צ"ל $A\cap \bigcup_{i=1}^n B_i = \bigcup_{i=1}^n (A\cap B_i)$ ואח"כ אתה משתמש בזה פעמיים (כדי להראות ש: $\bigcup_{i=1}^n A_i \cap \bigcup_{j=1}^m B_j' = \bigcup_{i=1}^n(A_i \cap \bigcup_{j=1}^m B_j') = \bigcup_{i=1}^n \bigcup_{j=1}^m (A_i \cap B_j')$). -אור שחף, שיחה, 19:01, 26 ביולי 2010 (IDT)

תרגיל 1, 2.8א

אתה רוצה להראות ש-$\frac{1}{a+b\sqrt{p}} \in \mathbb{F}[\sqrt{p}]$. מתקיים: $\frac{1}{a+b\sqrt{p}} = \frac{a-b\sqrt{p}}{a^2-b^2 p}$. מכיוון ש-$a^2-b^2 p \in \mathbb{F}$ הטענה נכונה. -אור שחף, שיחה, 18:46, 27 ביולי 2010 (IDT)

$\left(a^2-b^2 p\right)^{-1} \in \mathbb{F} \subset \mathbb{F}[\sqrt{p}]$ ולכן $\frac{a}{a^2-b^2 p} \in \mathbb{F} \and \frac{-b}{a^2-b^2 p} \in \mathbb{F}$. לפי הגדרת $\mathbb{F}[\sqrt{p}]$ ולפי דיסטריביוטיביות (שאותה צ"ל, זה קל) נובע ש-$\frac{a-b\sqrt{p}}{a^2-b^2 p} \in \mathbb{F}[\sqrt{p}]$ ואז, לפי $x^2-y^2=(x+y)(x-y)$ (צ"ל), $\frac{x}{x}=1$ ואסוציאטיביות (צ"ל) מתקיים $\frac{a-b\sqrt{p}}{a^2-b^2 p} = \frac{1}{a+b\sqrt{p}} \in \mathbb{F}[\sqrt{p}]$. -אור שחף, שיחה, 19:44, 27 ביולי 2010 (IDT)