חוג ריבועי - היסטוריית גרסאות

Uzi: /* חישוב חוגי מנה */

2019-07-04T08:32:03Z

חישוב חוגי מנה

→ הגרסה הקודמת		גרסה מ־08:32, 4 ביולי 2019
שורה 10:		שורה 10:

	נחשב את המנה <math>\ \mathbb{Z}[\frac{1+\sqrt{-11}}{2}]/\langle \frac{13+7\sqrt{-11}}{2}\rangle</math>. כאן חשוב עוד יותר להחליף שמות ולסמן <math>\ x = \frac{1+\sqrt{-11}}{2}</math>, כאשר <math>\ x^2-x+3=0</math>. מכיוון ש-<math>\ \frac{13+7\sqrt{-11}}{2} = 3+7x</math>, אנחנו מחשבים את המנה		נחשב את המנה <math>\ \mathbb{Z}[\frac{1+\sqrt{-11}}{2}]/\langle \frac{13+7\sqrt{-11}}{2}\rangle</math>. כאן חשוב עוד יותר להחליף שמות ולסמן <math>\ x = \frac{1+\sqrt{-11}}{2}</math>, כאשר <math>\ x^2-x+3=0</math>. מכיוון ש-<math>\ \frac{13+7\sqrt{-11}}{2} = 3+7x</math>, אנחנו מחשבים את המנה
	<math>\ \mathbb{Z}[x]/\langle x^2-x+3 = 3+7x ~~= 0~~\rangle</math>. הנורמה של 3+7x היא 177=3*59, ומכיוון שהנורמה היא (כמובן) כפולה של 3+7x, האידיאל מכיל את 177. זה אומר שהמנה שווה ל-<math>\ \mathbb{Z}_{177}[x]/\langle x^2-x+3 = 3+7x ~~= 0~~\rangle</math>! בחוג הזה 7 הוא הפיך, ואפשר לפתור את המשוואה: <math>\ 0 \equiv 76(3+7x) = 51+x</math>, כלומר x=-51. הצבת ערך זה מאפסת (שלא במפתיע) את התנאי הריבועי, ולכן חוג המנה הוא <math>\ \mathbb{Z}_{177} \cong \mathbb{Z}_3 \times \mathbb{Z}_{59}</math>.		<math>\ \mathbb{Z}[x]/\langle x^2-x+3, \ 3+7x\rangle</math>. הנורמה של 3+7x היא 177=3*59, ומכיוון שהנורמה היא (כמובן) כפולה של 3+7x, האידיאל מכיל את 177. זה אומר שהמנה שווה ל-<math>\ \mathbb{Z}_{177}[x]/\langle x^2-x+3,\ 3+7x\rangle</math>! בחוג הזה 7 הוא הפיך, ואפשר לפתור את המשוואה: <math>\ 0 \equiv 76(3+7x) = 51+x</math>, כלומר x=-51. הצבת ערך זה מאפסת (שלא במפתיע) את התנאי הריבועי, ולכן חוג המנה הוא <math>\ \mathbb{Z}_{177} \cong \mathbb{Z}_3 \times \mathbb{Z}_{59}</math>.

Uzi: /* חישוב חוגי מנה */

2019-07-04T08:31:15Z

חישוב חוגי מנה

→ הגרסה הקודמת		גרסה מ־08:31, 4 ביולי 2019
שורה 10:		שורה 10:

	נחשב את המנה <math>\ \mathbb{Z}[\frac{1+\sqrt{-11}}{2}]/\langle \frac{13+7\sqrt{-11}}{2}\rangle</math>. כאן חשוב עוד יותר להחליף שמות ולסמן <math>\ x = \frac{1+\sqrt{-11}}{2}</math>, כאשר <math>\ x^2-x+3=0</math>. מכיוון ש-<math>\ \frac{13+7\sqrt{-11}}{2} = 3+7x</math>, אנחנו מחשבים את המנה		נחשב את המנה <math>\ \mathbb{Z}[\frac{1+\sqrt{-11}}{2}]/\langle \frac{13+7\sqrt{-11}}{2}\rangle</math>. כאן חשוב עוד יותר להחליף שמות ולסמן <math>\ x = \frac{1+\sqrt{-11}}{2}</math>, כאשר <math>\ x^2-x+3=0</math>. מכיוון ש-<math>\ \frac{13+7\sqrt{-11}}{2} = 3+7x</math>, אנחנו מחשבים את המנה
	<math>\ \mathbb{Z}[x]/\langle x^2-x+3 = 3+7x = 0\rangle</math>. הנורמה של 3+7x היא 177=3*59, ומכיוון שהנורמה היא (כמובן) כפולה של 3+7x, האידיאל מכיל את 177. זה אומר שהמנה שווה ל-<math>\ \mathbb{Z}_{177}[x]/\langle x^2-x+3 = 3+7x = 0\rangle</math>! בחוג הזה 7 הוא הפיך, ואפשר לפתור את המשוואה: <math>\ 0 \equiv 76(3+7x) = 51+x</math>, כלומר x=-51. הצבת ערך זה מאפסת (שלא במפתיע) את התנאי הריבועי, ולכן חוג המנה הוא <math>\ \mathbb{Z}_{177} \cong \mathbb{Z}_3 \times \mathbb{Z}_{59}~~\rangle~~</math>.		<math>\ \mathbb{Z}[x]/\langle x^2-x+3 = 3+7x = 0\rangle</math>. הנורמה של 3+7x היא 177=3*59, ומכיוון שהנורמה היא (כמובן) כפולה של 3+7x, האידיאל מכיל את 177. זה אומר שהמנה שווה ל-<math>\ \mathbb{Z}_{177}[x]/\langle x^2-x+3 = 3+7x = 0\rangle</math>! בחוג הזה 7 הוא הפיך, ואפשר לפתור את המשוואה: <math>\ 0 \equiv 76(3+7x) = 51+x</math>, כלומר x=-51. הצבת ערך זה מאפסת (שלא במפתיע) את התנאי הריבועי, ולכן חוג המנה הוא <math>\ \mathbb{Z}_{177} \cong \mathbb{Z}_3 \times \mathbb{Z}_{59}</math>.

Uzi: /* חישוב חוגי מנה */

2019-07-04T08:30:51Z

חישוב חוגי מנה

→ הגרסה הקודמת		גרסה מ־08:30, 4 ביולי 2019
שורה 10:		שורה 10:

	נחשב את המנה <math>\ \mathbb{Z}[\frac{1+\sqrt{-11}}{2}]/\langle \frac{13+7\sqrt{-11}}{2}\rangle</math>. כאן חשוב עוד יותר להחליף שמות ולסמן <math>\ x = \frac{1+\sqrt{-11}}{2}</math>, כאשר <math>\ x^2-x+3=0</math>. מכיוון ש-<math>\ \frac{13+7\sqrt{-11}}{2} = 3+7x</math>, אנחנו מחשבים את המנה		נחשב את המנה <math>\ \mathbb{Z}[\frac{1+\sqrt{-11}}{2}]/\langle \frac{13+7\sqrt{-11}}{2}\rangle</math>. כאן חשוב עוד יותר להחליף שמות ולסמן <math>\ x = \frac{1+\sqrt{-11}}{2}</math>, כאשר <math>\ x^2-x+3=0</math>. מכיוון ש-<math>\ \frac{13+7\sqrt{-11}}{2} = 3+7x</math>, אנחנו מחשבים את המנה
	<math>\ \mathbb{Z}[x]/\langle x^2-x+3 = 3+7x = 0\~~frac{~~</math>. הנורמה של 3+7x היא 177=3*59, ומכיוון שהנורמה היא (כמובן) כפולה של 3+7x, האידיאל מכיל את 177. זה אומר שהמנה שווה ל-<math>\ \mathbb{Z}_{177}[x]/\langle x^2-x+3 = 3+7x = 0\~~frac{~~</math>! בחוג הזה 7 הוא הפיך, ואפשר לפתור את המשוואה: <math>\ 0 \equiv 76(3+7x) = 51+x</math>, כלומר x=-51. הצבת ערך זה מאפסת (שלא במפתיע) את התנאי הריבועי, ולכן חוג המנה הוא <math>\ \mathbb{Z}_{177} \cong \mathbb{Z}_3 \times \mathbb{Z}_{59}\~~frac{~~</math>.		<math>\ \mathbb{Z}[x]/\langle x^2-x+3 = 3+7x = 0\rangle</math>. הנורמה של 3+7x היא 177=3*59, ומכיוון שהנורמה היא (כמובן) כפולה של 3+7x, האידיאל מכיל את 177. זה אומר שהמנה שווה ל-<math>\ \mathbb{Z}_{177}[x]/\langle x^2-x+3 = 3+7x = 0\rangle</math>! בחוג הזה 7 הוא הפיך, ואפשר לפתור את המשוואה: <math>\ 0 \equiv 76(3+7x) = 51+x</math>, כלומר x=-51. הצבת ערך זה מאפסת (שלא במפתיע) את התנאי הריבועי, ולכן חוג המנה הוא <math>\ \mathbb{Z}_{177} \cong \mathbb{Z}_3 \times \mathbb{Z}_{59}\rangle</math>.

Uzi ב־08:08, 4 ביולי 2019

2019-07-04T08:08:25Z

→ הגרסה הקודמת		גרסה מ־08:08, 4 ביולי 2019
שורה 8:		שורה 8:
	=== חישוב חוגי מנה ===		=== חישוב חוגי מנה ===
	נחשב את <math>\ \mathbb{Z}[\sqrt{10}]/\langle 4-\sqrt{10}\rangle</math>. כדי לוודא שלא תשתחל פנימה טעות בסימן של השורש, נחליף אותו בשם משתנה ונכתוב את החוג המקורי כמנה <math>\ \mathbb{Z}[t]/\langle t^2-10\rangle</math>, ואת חוג המנה המבוקש כמנה <math>\ \mathbb{Z}[t]/\langle t^2-10, 4-t\rangle</math>. מכיוון שבחוג המנה הזה t=4, מתברר ש-<math>0 \equiv t^2-10 \equiv 4^2-10 = -6</math>, כלומר המנה היא <math>\ \mathbb{Z}_6[t]/\langle t^2-10, 4-t\rangle = \mathbb{Z}_6</math>.		נחשב את <math>\ \mathbb{Z}[\sqrt{10}]/\langle 4-\sqrt{10}\rangle</math>. כדי לוודא שלא תשתחל פנימה טעות בסימן של השורש, נחליף אותו בשם משתנה ונכתוב את החוג המקורי כמנה <math>\ \mathbb{Z}[t]/\langle t^2-10\rangle</math>, ואת חוג המנה המבוקש כמנה <math>\ \mathbb{Z}[t]/\langle t^2-10, 4-t\rangle</math>. מכיוון שבחוג המנה הזה t=4, מתברר ש-<math>0 \equiv t^2-10 \equiv 4^2-10 = -6</math>, כלומר המנה היא <math>\ \mathbb{Z}_6[t]/\langle t^2-10, 4-t\rangle = \mathbb{Z}_6</math>.

			נחשב את המנה <math>\ \mathbb{Z}[\frac{1+\sqrt{-11}}{2}]/\langle \frac{13+7\sqrt{-11}}{2}\rangle</math>. כאן חשוב עוד יותר להחליף שמות ולסמן <math>\ x = \frac{1+\sqrt{-11}}{2}</math>, כאשר <math>\ x^2-x+3=0</math>. מכיוון ש-<math>\ \frac{13+7\sqrt{-11}}{2} = 3+7x</math>, אנחנו מחשבים את המנה
			<math>\ \mathbb{Z}[x]/\langle x^2-x+3 = 3+7x = 0\frac{</math>. הנורמה של 3+7x היא 177=3*59, ומכיוון שהנורמה היא (כמובן) כפולה של 3+7x, האידיאל מכיל את 177. זה אומר שהמנה שווה ל-<math>\ \mathbb{Z}_{177}[x]/\langle x^2-x+3 = 3+7x = 0\frac{</math>! בחוג הזה 7 הוא הפיך, ואפשר לפתור את המשוואה: <math>\ 0 \equiv 76(3+7x) = 51+x</math>, כלומר x=-51. הצבת ערך זה מאפסת (שלא במפתיע) את התנאי הריבועי, ולכן חוג המנה הוא <math>\ \mathbb{Z}_{177} \cong \mathbb{Z}_3 \times \mathbb{Z}_{59}\frac{</math>.

Uzi ב־07:57, 4 ביולי 2019

2019-07-04T07:57:48Z

→ הגרסה הקודמת		גרסה מ־07:57, 4 ביולי 2019
שורה 3:		שורה 3:
	עבור שלם D [[חופשי מריבועים]] (כלומר שאין לו מחלק ריבועי), נסמן <math>\ {\mathcal{O}}_D = \begin{cases}\mathbb{Z}[\sqrt{D}] & D \equiv 2,3 \pmod{4} \\		עבור שלם D [[חופשי מריבועים]] (כלומר שאין לו מחלק ריבועי), נסמן <math>\ {\mathcal{O}}_D = \begin{cases}\mathbb{Z}[\sqrt{D}] & D \equiv 2,3 \pmod{4} \\
	\mathbb{Z}[\frac{1+\sqrt{D}}{2}] & D \equiv 1 \pmod{4} \end{cases}</math>. החוג <math>\ \mathcal{O}_D</math> הוא "הסגור השלם" של חוג השלמים בשדה <math>\ \mathbb{Q}[\sqrt{D}]</math>. כל תחום שלמות ריבועי הוא תת-חוג של חוג מהצורה הזו.		\mathbb{Z}[\frac{1+\sqrt{D}}{2}] & D \equiv 1 \pmod{4} \end{cases}</math>. החוג <math>\ \mathcal{O}_D</math> הוא "הסגור השלם" של חוג השלמים בשדה <math>\ \mathbb{Q}[\sqrt{D}]</math>. כל תחום שלמות ריבועי הוא תת-חוג של חוג מהצורה הזו.

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

			=== חישוב חוגי מנה ===
			נחשב את <math>\ \mathbb{Z}[\sqrt{10}]/\langle 4-\sqrt{10}\rangle</math>. כדי לוודא שלא תשתחל פנימה טעות בסימן של השורש, נחליף אותו בשם משתנה ונכתוב את החוג המקורי כמנה <math>\ \mathbb{Z}[t]/\langle t^2-10\rangle</math>, ואת חוג המנה המבוקש כמנה <math>\ \mathbb{Z}[t]/\langle t^2-10, 4-t\rangle</math>. מכיוון שבחוג המנה הזה t=4, מתברר ש-<math>0 \equiv t^2-10 \equiv 4^2-10 = -6</math>, כלומר המנה היא <math>\ \mathbb{Z}_6[t]/\langle t^2-10, 4-t\rangle = \mathbb{Z}_6</math>.

Uzi ב־07:52, 4 ביולי 2019

2019-07-04T07:52:56Z

→ הגרסה הקודמת		גרסה מ־07:52, 4 ביולי 2019
שורה 1:		שורה 1:
	'''חוג ריבועי''' הוא חוג שבו כל איבר מקיים משוואה ממעלה שניה מעל השלמים.		'''חוג ריבועי''' הוא חוג שבו כל איבר מקיים משוואה ממעלה שניה מעל השלמים.

	עבור שלם D [[חופשי מריבועים]] (כלומר שאין לו מחלק ריבועי), נסמן <math>\ {\mathcal{O}}_D = \begin{cases}\mathbb{Z}[\sqrt{D}] & D \equiv 1,2 \pmod{4} \\		עבור שלם D [[חופשי מריבועים]] (כלומר שאין לו מחלק ריבועי), נסמן <math>\ {\mathcal{O}}_D = \begin{cases}\mathbb{Z}[\sqrt{D}] & D \equiv 2,3 \pmod{4} \\
	\mathbb{Z}[\frac{1+\sqrt{D}}{2}] & D \equiv 3 \pmod{4} \end{cases}</math>. החוג <math>\ \mathcal{O}_D</math> הוא "הסגור השלם" של חוג השלמים בשדה <math>\ \mathbb{Q}[\sqrt{D}]</math>. כל ~~חוג~~ ריבועי הוא תת-חוג של חוג מהצורה הזו.		\mathbb{Z}[\frac{1+\sqrt{D}}{2}] & D \equiv 1 \pmod{4} \end{cases}</math>. החוג <math>\ \mathcal{O}_D</math> הוא "הסגור השלם" של חוג השלמים בשדה <math>\ \mathbb{Q}[\sqrt{D}]</math>. כל תחום שלמות ריבועי הוא תת-חוג של חוג מהצורה הזו.

Uzi: יצירת דף עם התוכן "'''חוג ריבועי''' הוא חוג שבו כל איבר מקיים משוואה ממעלה שניה מעל השלמים. עבור שלם D חופשי מ..."

2019-07-04T07:51:56Z

יצירת דף עם התוכן "'''חוג ריבועי''' הוא חוג שבו כל איבר מקיים משוואה ממעלה שניה מעל השלמים. עבור שלם D חופשי מ..."

דף חדש

'''חוג ריבועי''' הוא חוג שבו כל איבר מקיים משוואה ממעלה שניה מעל השלמים.

עבור שלם D [[חופשי מריבועים]] (כלומר שאין לו מחלק ריבועי), נסמן <math>\ {\mathcal{O}}_D = \begin{cases}\mathbb{Z}[\sqrt{D}] & D \equiv 1,2 \pmod{4} \\
\mathbb{Z}[\frac{1+\sqrt{D}}{2}] & D \equiv 3 \pmod{4} \end{cases}</math>. החוג <math>\ \mathcal{O}_D</math> הוא "הסגור השלם" של חוג השלמים בשדה <math>\ \mathbb{Q}[\sqrt{D}]</math>. כל חוג ריבועי הוא תת-חוג של חוג מהצורה הזו.