לדלג לתוכן

מבנים אלגבריים/חבורות/תכונות בסיסיות

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

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

יחידות[עריכה]

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


טענה 1: יחידות האיבר הנייטרלי

בהינתן חבורה , האיבר הנייטרלי הוא יחיד.

הוכחה: נניח בשלילה שקיים איבר נייטרלי נוסף אזי לפי תכונות הנייטרלי מתקיים:

מכאן, אם קיים איבר נייטרלי נוסף אזי הוא שווה לאיבר נייטרלי אחר ולכן האיבר הנייטרלי הוא יחיד.


הסבר מעברים:
(1) הוא איבר נייטרלי
(2) הוא איבר נייטרלי



טענה 2: יחידות הנגדי

בחבורה , לכל הנגדי של הוא יחיד.

הוכחה: יהי . נניח כעת שקיימים לאיבר זה שני נגדיים . אזי מתקיים:

מכאן, אם קיימים לאיבר שני נגדיים אז הם שווים, ומכאן הטענה.


הסבר מעברים:
(1) איבר נייטרלי לחיבור
(2) איבר נגדי של
(3) אסוציאטיביות של חיבור
(4) איבר נגדי של
(5) איבר נייטרלי לחיבור

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


טענה 3:

אם קיים איבר כך שמתקיים , אזי מתקיים .

הוכחה: {{{1}}}

צמצום ופתרון משוואות בחבורה[עריכה]

הטענות הבאות נועדו בעיקר כדי לעזור לנו בפעולות "אלגבריות" שונות על ביטויים שהאיברים והפעולה בהם שייכים לחבורה כלשהיא.


טענה 4: צמצום משמאל

תהי חבורה. אם מתקיים אזי מתקיים .

הוכחה:


הסבר מעברים:
(1) תכונות של איבר נייטרלי
(2) תכונות של איבר נגדי
(3) אסוציאטיביות
(4) נתון
(5) אסוציאטיביות
(6) תכונות של איבר נגדי
(7) תכונות של איבר נייטרלי

באופן אנלוגי, הקורא יוכל להוכיח בעצמו את הטענה הבאה:

טענה 4': צמצום מימין

תהי חבורה. אם מתקיים אזי מתקיים .

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


טענה 5: הנגדי של הנגדי

בחבורה לכל מתקיים .

הוכחה:

ואז, לפי צמצום משמאל מתקיים:

הסבר מעברים:
(1) תכונות של איבר נגדי
(2) תכונות של איבר נגדי


טענה 6:

לכל מתקיים .

הוכחה:

ומכאן, לפי יחידות הנגדי מתקיים:

הסבר מעברים:
(1) אסוציאטיביות
(2) אסוציאטיביות
(3) תכונות של איבר נגדי
(4) תכונות של איבר נייטרלי
(5) תכונות של איבר נגדי


פעולות איטרטיביות[עריכה]

בחלק זה נשתמש בהגדרה הבאה:

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

הוכחת הטענות הבאות יושארו לקורא בתור התרגיל: (את רובן אפשר להוכיח בקלות בעזרת אינדוקציה)


טענה 7:

אם חבורה אבלית אזי לכל ולכל מתקיים .


טענה 8:

לכל ולכל מתקיים .


טענה 9:

לכל מתקיים .


טענה 10:

לכל ולכל מתקיים .


הפרק הקודם:
חבורות
תכונות בסיסיות הפרק הבא:
חבורות חשובות