לדלג לתוכן

אלגברה מופשטת על כוס קפה/חוגים1

מתוך ויקיספר, אוסף הספרים והמדריכים החופשי

חוגים (Rings)

[עריכה]

מאפיין של חוג

[עריכה]

במתמטיקה, המאפיין (או המציין) של חוג[1] , אשר מסומן לעתים קרובות כ- , מוגדר כמספר הפעמים הקטן ביותר, המהווה מספר טבעי, בו משתמשים באיבר היחידה הכפלי () של החוג, כך שסכום כל האיברים הללו (סכום ה- -ים) - יהיה שווה לאיבר היחידה החיבורי ().

אם סכום ה- -ים המחוברים אינו שווה לעולם ל- , נאמר שהשדה בעל מאפיין אפס.

כלומר:
נגדיר: - מספר טבעי, המציין את המספר הקטן ביותר של פעולות חיבור של איבר היחידה הכפלי (). כלומר: (מספר ה- -ים הקטן ביותר (המינימלי)).
עבור פעולת החיבור הבאה, מאפיין השדה, , הוא מספר הפעמים (המספר המינימלי של -ים) שיש לחבר, כך שסכום זה (סכום ה- -ים) - יהיה שווה לאפס ().

מקרה זה תקף, אם קיים מספר טבעי כלשהו, המקיים את המשוואה לעיל. במקרה שלא קיים כזה, אזי (מאפיין החוג, , שווה אפס ())[3].

כמו כן, מאפיין של חוג כלשהו יכול להוות את האקספוננט של החבורה החיבורית (אדיטיבית) שלו. כלומר: המספר הטבעי הקטן ביותר (המינימלי), המקיים את פעולת החיבור הבאה:

עבור כל איבר השייך לחוג.

גם מקרה זה תקף, אם קיים מספר טבעי כלשהו, המקיים את המשוואה לעיל. במקרה שלא קיים כזה, אזי (מאפיין החוג, , שווה אפס ()).

מאפיין (אלגברה) - הערך מתוך ויקיפדיה

[עריכה]

המאפיין (או המציין) של שדה הוא המספר הטבעי הקטן ביותר השווה לאפס בשדה. ביתר פירוט, המספרים הם איברים של השדה, ויש שתי אפשרויות: או שכולם שונים זה מזה, ואז אומרים שהשדה בעל מאפיין אפס, או שלא, ואז המאפיין הוא המספר הקטן ביותר של 1-ים שיש לחבר כדי לקבל 0. במקרה זה המאפיין הוא מספר ראשוני (משום שאין מחלקי אפס בשדה).

דוגמאות

[עריכה]

שדה המספרים הרציונליים וכל ההרחבות שלו, כמו המספרים הממשיים והמספרים המרוכבים הם בעלי מאפיין אפס. שדה סופי אינו יכול להיות בעל מאפיין אפס.

בשדה ממאפיין מתקיים השוויון , כלומר שהעלאה בחזקת p היא איזומורפיזם מהשדה אל עצמו. הומומורפיזם זה הוא תמיד חד-חד-ערכי, ומגדיר שיכון של השדה לתוך עצמו (שהוא על אם השדה סופי, ראו האוטומורפיזם של פרובניוס).

הכללות

[עריכה]

אפשר להגדיר מאפיין של חוג עם יחידה R באותה דרך בה מגדירים מאפיין של שדה. ההעתקה מ- לסכום של פעמים 1, מהווה הומומורפיזם מחוג השלמים ל- R, שהגרעין שלו הוא האידאל הנוצר על ידי המאפיין. לדוגמה, לכל מערכות המספרים יש מאפיין אפס.

המאפיין של תחום שלמות הוא תמיד אפס או מספר ראשוני, אבל לכל מספר טבעי n קיים חוג בעל מאפיין n: חוג המנה .

אפשר להגדיר מאפיין גם עבור חוג בלי יחידה: המאפיין של R הוא המספר המינימלי n כך שסכום n פעמים שווה לאפס עבור כל איבר בחוג. המאפיין שווה לאקספוננט של החוג כחבורה קומוטטיבית.

ראו גם

[עריכה]

במקרים רבים מפתחים תאוריות מתמטיות תוך כדי הנחות על המאפיין של השדה. למשל, בגאומטריה אלגברית ובתחומים רבים באנליזה מקובל לעבוד מעל שדה סגור אלגברית ממאפיין אפס. התאוריה של תבניות ריבועיות מסתבכת מעט במאפיין 2. בתורת גלואה הרחבות של שדות ממאפיין אפס הן תמיד ספרביליות, בעוד שהרחבות של שדות ממאפיין חיובי אינן בהכרח כאלה (ראו הרחבות ציקליות של שדות).

הערות שוליים

[עריכה]
  1. ^ באנגלית: Ring.
  2. ^ באנגלית: Identity of a ring ; Multiplicative Identity of a ring ; Unit Ring ; Ring with Identity.
  3. ^ הגדרה זו מבלבלת. עבור הקורא המתחיל, נדמה שאין הגיון בחיבור המספר פעמים, בציפייה לקבל בסופו של התהליך.
    יש להבין, כי המספר מציין את איבר היחידה הכפלי של החוג[2], ולא בהכרח .
    לפרטים נוספים אודות איבר היחידה הכפלי, אנא לחץ כאן.