שדה (מבנה אלגברי) – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
מ שוחזר מעריכות של 132.73.200.213 (שיחה) לעריכה האחרונה של 132.72.69.105 |
|||
שורה 29:
== תות-שדות ==
תת-קבוצה של שדה F נקראת '''תות שדה''' אם היא שדה בזכות עצמה, כאשר מצמצמים אליה את פעולות החיבור והכפל. במלים אחרות, קבוצה כזו צריכה להכיל את אברי האפס והיחידה של F, ולהיות סגורה לחיבור, לכפל וגם לפעולות של לקיחת הנגדי או ההפכי.
אם P הוא תת-שדה של F, אז F הוא [[מרחב וקטורי]] מעל P, ולכן יש לו ממד. כאשר הממד הזה סופי, F מוכרח להיות אלגברי מעל P. במקרה זה, כדי שתת-קבוצה F המכילה את P וסגורה לחיבור וחיסור תהיה תת-שדה, מספיק שהיא סגורה לכפל.
| |||