שינויים
/* תרגיל 3 שאלה 4 */ פסקה חדשה
תוקן. תודה
== תרגיל 3 שאלה 4 ==
לא כל-כך ברור לי הקונספט של '''הוכחה''' בהקשר שמופיע בשאלה.
בסעיף א.- מעצם ההגדרה, לשדה סופי יש מאפיין חיובי, ושדה בעל מאפיין חיובי הוא בהכרח סופי.
האם הדרך להוכיח זאת היא ליצור פעולה של חיבור איברי יחידה במספר הולך וגדל (כמו הקבוצה בסעיף ב) ולהראות שקיים n כלשהו כך שמחיבור n איברי יחידה בהכרח נקבל 0 (שזוהי הגדרת מאפיין)?
בסעיף ב.- לכל שדה סופי בעל מאפיין p, יש תת-שדה Zp. למיטב הבנתי יוצא מזה, לפי הגדרת תת-שדה, שהפעולות של שדה סופי זהות לפעולות של מודול המאפיין שלו מעל השלמים.
מתוך זה נובע כי כל תת-שדה של שדה סופי הוא בעל פעולות זהות לאלו של ZcharF.
מה הכוונה ב'''להראות''' שאלו הן הפעולות של תת-השדה?
אגב, יש משפט לגבי יחידות של שדה? כלומר, האם שני שדות, שיש להם את אותם איברי היחידה והאפס, אותן פעולות החיבור והכפל, ואותו הגודל, הם בהכרח אותו השדה?
