*אני חושב שיש לי מושג למה: באחד התרגילים התבקשנו להוכיח שבשדה עם מאפיין 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)
(לא מתרגל) חשבתי על זה ובהנחה שהמאפיין סופי ופריק, אפשר להוכיח שקיים מאפיין ראשוני קטן יותר לאותו שדה. כשאחזור אני אפרט את ההוכחה שלי.