מבנים אלגבריים/חבורות/תכונות בסיסיות
בפרק זה נתמקד בכמה תכונות בסיסיות של החבורה שנובעות ישירות מההגדרה שלה. תכונות אלו ישמשו אותנו בהמשך כשנחקור את המבנה של החבורה יותר לעומק. למען הפשטות, נשתמש בסעיף זה בסימונים של חבורה חיבורית, את האנאלוגיה למקרה של חבורה כיפלית ניתן לעשות בקלות בעזרת הסימונים שראינו בפרק הקודם.
יחידותעריכה
הטענה הבאה, למרות שנראית לנו מאוד אינטואטיבית וכמעט ברורה מאליה דורשת הוכחה. הרבה דברים שנראים לנו מאוד אינטואטיביים והגיוניים בפרק זה לאו דווקא יהיו נכונים, ולכן אנו נדאג להוכיח הכל בזהירות ובבהירות תוך כדי הסתמכות על האקסיומות של החבורה.
טענה 1: יחידות האיבר הנייטראלי בהינתן חבורה , האיבר הנייטרלי, , הוא יחיד. |
הוכחה: נניח בשלילה שקיים איבר נייטרלי נוסף אזי לפי תכונות הנייטרלי מתקיים:
מכאן, אם קיים איבר נייטראלי נוסף אזי הוא שווה לאיבר נייטראלי אחר ולכן האיבר הנייטראלי הוא יחיד.
הסבר מעברים:
(1) הוא איבר נייטראלי
(2) הוא איבר נייטראלי
טענה 2: יחידות הנגדי בחבורה , לכל הנגדי של הוא יחיד. |
הוכחה: יהי נניח כעת שקיימים לאיבר זה שני נגדיים אזי, מתקיים:
מכאן, אם קיימים לאיבר שני נגדיים אז הם שווים, ומכאן הטענה.
הסבר מעברים:
(1) איבר ניטרלי לחיבור
(2) איבר נגדי של
(3) אסוציאטיביות של חיבור
(4) הוא הנגדי של
(5) האיבר ניטרלי לחיבור
כפי שנאמר גם בסעיף ההקדמה לפרק זה, את הנגדי היחידי של איבר נסמן מעתה ואילך ב .
טענה 3: אם קיים איבר כך שמתקיים , אזי מתקיים . |
הוכחה: יהי המקיים את התכונה לעיל. לפי אקסיומות החבורה, קיים לו איבר נגדי ומתקיים:
הסבר מעברים:
(1) תכונות של איבר ניטרלי
(2) אקסיומת האיבר הנגדי
(3) אסוציאטיביות
(4) נתון
(5) תכונה של איבר נגדי
צמצום ופתרון משוואות בחבורהעריכה
הטענות הבאות נועדו בעיקר כדי לעזור לנו בפעולות "אלגבריות" שונות על ביטויים שהאיברים והפעולה בהם שייכים לחבורה כלשהי.
טענה 4: צמצום משמאל תהי חבורה. אם מתקיים אזי מתקיים . |
הוכחה:
הסבר מעברים:
(1) תכונות של איבר נייטרלי
(2) תכונות של איבר נגדי
(3) אסוציאטיביות
(4) נתון
(5) אסוציאטיביות
(6) תכונות של איבר נגדי
(7) תכונות של איבר נייטרלי
באופן אנאלוגי, הקורא יוכל להוכיח בעצמו את הטענה הבאה:
טענה 4': צמצום מימין תהי חבורה. אם מתקיים אזי מתקיים . |
הסיבה שיש צורך בטענה 4' היא שחבורה כללית היא לאו דווקא קומוטטיבית (כפי שראינו בדוגמאות בסעיף הקודם) ובמקרים כאלו צמצום משמאל לא יגרור צמצום מימין.
טענה 5: הנגדי של הנגדי בחבורה לכל מתקיים |
הוכחה:
ואז, לפי צמצום משמאל מתקיים:
הסבר מעברים:
(1) תכונות של איבר נגדי
(2) תכונות של איבר נגדי
טענה 6: לכל מתקיים . |
הוכחה:
ומכאן, לפי יחידות הנגדי מתקיים:
הסבר מעברים:
(1) אסוציאטיביות
(2) אסוציאטיביות
(3) תכונות של איבר נגדי
(4) תכונות של איבר נייטראלי
(5) תכונות של איבר נגדי
פעולות איטרטיביותעריכה
בחלק זה נשתמש בהגדרה הבאה:
בצורה זו, הגדרנו כפל של מספר שלם באיברי החבורה. באופן אנאלוגי נוכל להעביר כתיב זה לכתיב של חבורה כפלית כאשר שם יסומן .
הוכחת הטענות הבאות יושארו לקורא בתור התרגיל: (את רובן אפשר להוכיח בקלות בעזרת אינדוקציה)
טענה 7: אם חבורה אבאלית אזי לכל ולכל מתקיים . |
טענה 8: לכל ולכל מתקיים . |
טענה 9: לכל מתקיים . |
טענה 10: לכל ולכל מתקיים . |
הפרק הקודם: חבורות |
תכונות בסיסיות | הפרק הבא: חבורות חשובות |