'''1. לא אמרתי ש-H אינסופית, אמרתי שהיא בנויה באופן אינסופי, היא כל האייברים מהצורה <math>1,1+1,1+1+1,...</math> כשמשמעות ה-3 נקודות היא ''וכן הלאה'', נראה שהם מתלכדים לכדיי p אייברים. כמו <math>\{1\}=\{1,1,1\}=\{1,1,1,...\}</math>, כשהכוונה בקבוצה האחרונה היא קבוצה של אינסוף אחדים, אך ניתן להוכיח שהיא סופית מגודל 1. היא לא אינסופית, אבל היא בנויה באופן אינסופי.
1. התכוונתי שאם הייתי מעתיק את הפתרון, לא הייתי מנסה להפליל את עצמי ע"י שאלת שאלות, פשוט הייתי מעתיק וזהו.
2. אני לא מצליח להבין כיצד הדוגמה שהבאת שונה מהדוגמה שהבאתי על 9 איברים ב Z7. גם זה שדה של 9 איברים אבל המאפיין הוא 7. וגם כאן 8 שונה מ 1 ו9 שונה מ 2 (הם שווים רק מעל Z7), בדיוק כמו a ו b בדוגמה שהבאת. אבל עדיין מה שעשית הוא לקחת איבר מ Z7 ולרשום אותו בצורה אחרת, לא הוספתי שום איבר חדש (ואני גם לא יכול, כי מן הסתם הוא ירשם בצורה כלשהי ע"י אברי Z7). ההיגיון שלי יכול אולי לקבל את ההשערה שזה עובד לא ב Zp, אבל כרגע ב Zp אני לא מצליח לשכנע את עצמי שזה אכן כך.
'''2.הנקודה לגבי שאלתך המקורית היא שב-F ''לא פחות'' מ-p אייברים ''שונים, ללא חזרות''. למשל בדוגמא שהעלתי למטה, ניתן לבנות תת שדה של 0 ו-1 עבור השדה מגודל 4. כלומר: F מגודל 4 וממאפיין 2. H נבנת כמו בשאלה, ע"י 1 של F, והיא גם ממאפיין 2 וגם מגודל 2.