לדלג לתוכן
שינוי מצב סרגל צד
Math-Wiki
חיפוש
יצירת חשבון
כלים אישיים
יצירת חשבון
כניסה לחשבון
דפים לעורכים שלא נכנסו לחשבון
מידע נוסף
שיחה
תרומות
ניווט
עמוד ראשי
שינויים אחרונים
העלאת קובץ
כלים
דפים המקושרים לכאן
שינויים בדפים המקושרים
דפים מיוחדים
מידע על הדף
עריכת הדף "
88-112 לינארית 1 תיכוניסטים קיץ תשעא/ארכיון 1
" (פסקה)
דף
שיחה
עברית
קריאה
עריכה
גרסאות קודמות
עוד
קריאה
עריכה
גרסאות קודמות
אזהרה:
אינכם מחוברים לחשבון. כתובת ה־IP שלכם תוצג בפומבי אם תבצעו עריכות כלשהן. אם
תיכנסו לחשבון
או
תיצרו חשבון
, העריכות שלכם תיוחסנה לשם המשתמש שלכם ותקבלו גם יתרונות אחרים.
בדיקת אנטי־ספאם.
אין
למלא שדה זה!
== וגם למרות שזה לא בשיעורים == אם משהו יכול להסביר מדוע כשCHAR שונה מ0 אז CHAR(F( הוא ראשוני תודה תשובה: (לא מתרגל), אנסה לענות לשאלתך, ושוב, איני מתרגל אז קח את זה בערבון מוגבל. char=מאפיין, המאפיין הוא בעצם כמה פעמים אני צריך להוסיף 1 על מנת להגיע לאפס. לדוגמא: בשדה z5 על מנת להגיע לאפס אני צריך להוסיף את הספרה 1 חמש פעמים: 1+1+1+1+1=0. תנסה ותראה שכל תוספת של 5 תיתן לך את האפס. ולכן המאפיין הוא 5. וזה תופס כמובן לכל מספר ראשוני אחר. אנחנו נקבל שהמאפיין שווה לאפס במידה ומדובר במספר אינסופי של איברי הקבוצה. למשל בקבוצת הרציונליים, ככל שנוסיף אחדות רק נתרחק מהאפס.ולכן המאפיין הוא- אפס. יש מצב שהניסוח קצת לוקה, אבל זה הרעיון... :אני כן מתרגל. התשובה לא מסבירה מדוע '''בכל שדה''' המאפיין הוא ראשוני, אלא רק למה הוא כזה במקרה של השדות שלמדנו. כמדומני שהוכחתם מדוע מאפיין הוא תמיד ראשוני בהרצאה (אני לא מתחמק מהשאלה, אני פשוט לא בטוח שאני יודע בעצמי). --[[משתמש:ארז שיינר|ארז שיינר]] 20:38, 18 ביולי 2011 (IDT) אתה צודק הוכחנו בהרצאה ועכשיו לשאלה אם המאפיין לא יהיה ראישוני אז יהיו מחלקי אפס בשדה *אני חושב שיש לי מושג למה: באחד התרגילים התבקשנו להוכיח שבשדה עם מאפיין p ישנו תת שדה שאיזומורפי (בעל אותן תכונות) ל Zp. בהוכחה* אני לא השתמשתי בעובדה ש p ראשוני. אז אם '''נניח''' שלשדה F יש מאפיין פריק n, אזי קיים תת שדה בF שאיזומורפי למבנה Zn. וכמובן Zn יש מחלקי אפס ולכן ב F יש מחלקי אפס. (סתירה להנחה, <math>\neg A \rightarrow F</math> ולכן המאפיין חייב להיות ראשוני) (*תסתכל על הקבוצה <math>\{1, 1+1, 1+1+1,... (p-1)1, p\cdot 1\}</math> ותוכיח שהחיבור והכפל שלה זהים לשל Zp) בפרט, אני רואה שמספיק(זה חלק מהפעולה שהיה צריך לעשות קודם) להוכיח שעבור כל m,n טבעיים מתקיים <math>(m\cdot n)\cdot 1 = (m \cdot 1)(n \cdot 1)</math> לכן אם המאפיין הוא m*n אז או שאחד מהגורמים שווה 0, וזה אומר שקיים מאפיין קטן יותר (סתירה), או שקיימים מחלקי 0 (סתירה) ולכן המאפיין לא יכול להיות פריק. --[[משתמש:Ohadklein|Ohadklein]] 18:09, 20 ביולי 2011 (IDT) (לא מתרגל) חשבתי על זה ובהנחה שהמאפיין סופי ופריק, אפשר להוכיח שקיים מאפיין ראשוני קטן יותר לאותו שדה. כשאחזור אני אפרט את ההוכחה שלי.
תקציר:
לתשומת לבך: תורמים אחרים עשויים לערוך או אף להסיר את תרומתך ל־Math-Wiki. אם אינך רוצה שעבודתך תהיה זמינה לעריכה על־ידי אחרים, אין לפרסם אותה פה.
כמו־כן, שמירת העריכה משמעה הבטחה שכתבת את הטקסט הזה בעצמך, או העתקת אותו ממקור שאינו מוגן בזכויות יוצרים (אפשר לעיין בדף
Math-Wiki:זכויות יוצרים
לפרטים נוספים).
אין לעשות שימוש בחומר המוגן בזכויות יוצרים ללא רשות!
ביטול
עזרה בעריכה
(נפתח בחלון חדש)