שדה (מבנה אלגברי) – הבדלי גרסאות

== תת-שדות ==

 

 

אם <math>P</math> הוא תת-שדה של <math>F</math>, אז <math>F</math> הוא [[מרחב וקטורי]] מעל <math>P</math>, ולכן יש לו ממד. כאשר הממד הזה סופי, <math>F</math> מוכרח להיות אלגברי מעל <math>P</math>. במקרה זה, כדי שתת-קבוצה <math>F</math> המכילה את <math>P</math> וסגורה לחיבור וחיסור תהיה תת-שדה, מספיק שהיא סגורה לכפל.