שינויים

ה[[מאפיין]] של שדה סופי הוא מספר ראשוני, p. השדה מכיל [[תת-שדה ראשוני]] שהוא איזומורפי ל-<math>\ \mathbb{Z}_p</math>. השדה הוא [[מרחב וקטורי]] מעל תת-השדה הזה, ומכיוון שיש לו [[ממד]] סופי, הוא איזומורפי *בתור מרחב וקטורי* ל-<math>\ \ mathbb{Z}_p^n</math> (התאור הזה קובע את פעולת החיבור, ולכן גם את המבנה כחבורה חיבורית, אבל לא את פעולת הכפל). מכאן שהגודל של שדה סופי הוא חזקה של ראשוני p.