‫משימה ‪9‬‬ ‫אלגברה לי ארית ‪ - 1‬החוג לה דסת תוכ ה‬

‫פתרו ות‬
‫את הפעולות הבאות ‪:‬‬ ‫‪ .1‬הגדר ו בקבוצה ‪N‬‬
‫)‪a * b = a + b + 2 ( 2‬‬ ‫) ‪a * b = a + b - 2 (1‬‬

‫)‪a  b  3 b 3  a 3 ( 4‬‬ ‫) ‪a * b = a 2 + b 2 (3‬‬

‫גדית‪:‬‬ ‫אי ה פ ימית‪ ,‬דוגמה‬ ‫א( )‪a  b  a  b  2 (1‬‬
‫‪a  b  1  ‬‬ ‫‪ , a‬אבל‬ ‫‪ 1  , b  0  ‬‬
‫היא פ ימית‪ :‬ברור שאם‬ ‫)‪a  b  a  b  2 (2‬‬
‫‪a b  ‬‬ ‫‪ , a  ,‬אז‬ ‫‪b‬‬
‫היא פ ימית‪.‬‬ ‫)‪ (3‬בדומה‪a  b  a 2  b2 ,‬‬

‫גדית‪:‬‬ ‫אי ה פ ימית‪ ,‬דוגמה‬ ‫) ‪a  b  3 b 3  a 3 (4‬‬

‫‪a b  3 9  ‬‬ ‫‪ , a‬אבל‬ ‫‪ 2  , b  1  ‬‬

‫אילו ביו הפעולות הפ ימיות ה ''ל הן קומוטטיביות ?‬ ‫ב(‬

‫‪a, b  ‬‬ ‫היא קומוטטיבית‪ :‬אכן‪ ,‬לכל‬ ‫) ‪a  b  a  b  2 (2‬‬
‫‪a b  a  b  2 b  a  2  ba‬‬ ‫מתקיים‪:‬‬

‫היא קומוטטיבית‪.‬‬ ‫‪a  b  a 2  b2‬‬ ‫בדומה‪,‬‬ ‫)‪( 4‬‬

‫אילו ביו הפעולות הפ ימיות ה ''ל הן אסוציאטיביות ?‬ ‫ג(‬
‫‪a, b, c  ‬‬ ‫היא אסוציאטיבית‪ :‬אכן‪ ,‬לכל‬ ‫)‪a  b  a  b  2 (2‬‬

‫‪a  b  c  a  b  2  c ‬‬
‫‪ a  b  2  c  2  a  b  c  4‬‬ ‫מתקיים‪:‬‬

‫‪a  b  c   a  b  c  2  ‬‬
‫וגם‪ a   b  c  2   2  a  b  c  4 :‬‬

‫אי ה אסוציאטיביות‪ ,‬דוגמה גדית‪:‬‬ ‫‪a  b  a 2  b2‬‬ ‫הפעולה‬ ‫)‪( 3‬‬

 ‫‪1   2  3   1   2 2  32   1  13  1 2  13 2  170‬‬
‫אבל‬

‫‪1  2   3  12  22   3  5  3  5 2  3 2  34‬‬

‫‪:‬‬ ‫בקבוצה ‪‬‬ ‫‪ .2‬גדיר את הפעולה הבאה‬
‫‪a  b  3a b‬‬ ‫‪2‬‬

‫הפעולה היא פ ימית באופן שקוף‪ .‬אבל‪ ,‬היא אי ה אסוציאטיבית‪ .‬דוגמה גדית‪:‬‬

‫‪ 1 2   3   3  1‬‬
‫‪2‬‬
‫‪‬‬
‫‪ 2  3  6  3  3  6  3  324‬‬
‫‪2‬‬

‫‪1  2  3   1   3  2 2  3   1   36   3  12  36  108‬‬
‫אי ו אגודה ‪.‬‬ ‫‪  , ‬‬ ‫לכן המב ה‬
‫‪---------------------------------------------------------------------‬‬
‫‪ .3‬הגדר ו את הפעולה הבאה ב‪ -‬‬
‫‪:‬‬
‫‪ab  a  b  5‬‬
‫מתקבל‬ ‫‪ ( a‬עבור כל ‪ a ,b ‬מתקיים ‪ a  b  ,‬כי המספר ‪a  b‬‬
‫וחיסור של מספרים שלמים; דהיי ו ‪ ,‬הפעולה היא פ ימית ‪.‬‬ ‫חיבור‬ ‫על יד‬
‫מתקיים‬ ‫‪a ,b,c ‬‬ ‫‪ ( b‬עבור כל‬

‫‪ a  b  c   a  b  5  c ‬‬

‫‪  a  b  5   c  5  a  b  c  10‬‬
‫‪a   b  c   a  b  c  5  ‬‬
‫‪ a   b  c  5   5  a  b  c  10‬‬ ‫וגם‪:‬‬

‫דהיי ו ‪ ,‬הפעולה היא אסוציאטיבית‬

‫מתקיים‬‫יטרלי ‪ . e  5‬אכן ‪ ,‬לכל ‪a‬‬ ‫‪ ( c‬קיים איבר‬
‫‪ae  a  a     a‬‬
‫וגם ‪e  a  5  a  5  a  5  a‬‬
‫הוא מו ואיד‪.‬‬ ‫מסק ה‪ :‬המב ה ‪  , ‬‬
‫‪--------------------------------------------------------------------------------------------------------‬‬
‫‪2‬‬ ‫‪ .4‬הגדר ו את הפעולה הבאה ב‪-‬‬

‫‪ x  a  xb  a y‬‬

‫‪  *   ‬‬ ‫‪‬‬
‫‪ y  b   yb‬‬ ‫‪‬‬
  x  a
  ,   
2
‫ כי עבור כל‬,‫א ( ברור שהפעולה היא פ ימית‬
 y b 
 xb  a y 
 
2
.‫וכיח שהפעולה היא אסוציאטיבית‬ . :‫קבל‬
 yb 
 x 1   x2   x3 
       :‫לכל‬
2
:‫מתקיים‬ ,‫אכן‬
 y1  ,  y2  ,  y3 

  x1   x2    x3   x1 y2  x2 y1   x3 
   *   *     * 
y y
  1  2   3  y y y
1 2   y3 
  x1 y2  x2 y1  y3  y1 y2 x3   x1 y2 y3  x2 y1 y3  y1 y2 x3 
   
 y y
1 2 3y   y y y
1 2 3 
:‫וגם‬
 x1    x2   x3    x1   x2 y3  x3 y2 
  *   *       *  
y y y
 1   2  3   1  y y y
2 3 
 x1 y2 y3  y1  x2 y3  x3 y2    x1 y2 y3  x2 y1 y3  y1 y2 x3 
  
 y y y
1 2 3   y1 y2 y3 
 x1    x2   x3     x1   x2    x3 
  *    *        *    *   ,‫כלומר‬
 y1    y2   y3     y1   y2    y3 
 x 0 
  
2
‫ לכל‬:‫ אכן‬.‫הוא האיבר ה יטרלי‬   -‫קל לראות ש‬
 y  1
 x  0   x 1  y 0   x 
  *     
y 1
     y  1   y
:‫מתקיים‬

 0   x   0  y  1 x   x 
  *     
1
    y 1  y   y
:‫וגם‬

. ‫הוא מו ואיד‬ ( 2 , * ) ‫ מב ה‬,‫לכן‬

-----------------------------------------------------------------------------------------
  x  a
  ,     ‫ לכל‬:‫ אכן‬. ‫קומוטטיבית‬
2
‫ב( הפעולה היא‬
 y b 
 x  a  xb  a y
 *    
 y  b   yb 
:‫וגם‬

a  x   a y  xb 
  *    
b   y   by 
 x  a a  x 
  *     *   :‫כלומר‬
 y b  b   y
...........................................................................................................................

0 
‫הוא האיבר‬  
 1
-‫ הוכח ו ש‬. ‫אי ו חבורה‬ (  2 , * ) ‫ברור שהמו ואיד‬ ,‫ג( קודם כל‬

.‫ה יטרלי‬
0 
.‫אי ו הפיך‬   -‫וכיח ש‬
0 
 x 0 
    ‫ אזי קיים‬.‫הפיך‬
2
  -‫ ש‬,‫ בדרך השלילה‬,‫יח‬ :‫הוכחה‬
 y 0 
 x  0  0 
*
:‫ אבל‬.    
 
    1 
y 0 -‫כך ש‬

 x   0   x0  y0   0   0 
*
,  y  0
      
     y0  0  1
0 
.‫ כ דרש‬,‫אי ו הפיך‬   -‫ מכאן ש‬.‫ הגע ו לסתירה‬,‫כלומר‬
0 
a
  
2
.‫אי ו הפיך‬ ‫ כל איבר מן הצורה‬, ‫באופן כללי יותר‬
0 
:‫ההוכחה היא דומה לקודמת‬
  x a
    ‫ אזי קיים‬.‫הפיך‬
2
  -‫ ש‬,‫ בדרך השלילה‬,‫יח‬ :‫הוכחה‬
 y 0 
 x   a  0 
*
:‫ אבל‬.    
 
    1 
y 0 -‫כך ש‬

 x   a   x0  ya   ya   0 
*
,   
      
y 0
     y0  0  1 
a
.‫ כ דרש‬,‫אי ו הפיך‬   -‫ מכאן ש‬.‫ הגע ו לסתירה‬,‫כלומר‬
0 
.............................................................................................................................
a
b  0 -‫ כזה ש‬   
2
.‫הוא הפיך‬ ‫אבל כל איבר‬
b 
 a 2 
a  b   2
:   . 1 
b 
‫בצע את הפעולה בי ו לבין‬
 : ‫ תבו ן בעבר‬:‫הוכחה‬
 b 

 a 

  a 
 
b2  *  a    
 
b2 
b  a 1 
b  0   
 
1   b   b  1 
 
 b   
 b 
:‫ קבל באופן מידי גם‬,‫כיוון שהפעולה היא קומוטטיבית‬

 a 
 a    b2   0 
 *  
b 
  1  1 
 b 
 a 2 
a  b   2
,   ‫הוא האיבר ההופכי של‬  1  -‫ הוכח ו ש‬,:‫כלומר‬
b   b 
 a
.‫ כזה הוא הפיך‬ 
  2 ‫ לכן כל‬. b  0 -‫בה חה ש‬
b 
---------------------------------------------------------------------------------

‫ כי‬,‫ ברור באופן שקוף שהפעולה היא פ ימית‬:‫( פ ימיות‬1) ( ‫ א‬.5

 x   a   xa 
  *    
2

 y   b   xb  y 
.‫ וכיח שהיא אסוציאטיבית‬:‫( אסוציאטיביות‬2)

 x 1   x2   x3 
       :‫לכל‬
2
:‫מתקיים‬ ,‫אכן‬
 y1  ,  y2  ,  y3 
  x1   x2    x3   x1 x2   x3 
   *   *     * 
  y1   y2    y3  x y
 1 2  y1   y3 

 x1 x2 x3 
 
 x1 x2 y3  x1 y2  y1 
:‫וגם‬

 x1    x2   x3    x1   x2 x3 
  *   *       *  
 y1    y2   y3    y1   x2 y3  y2 
 x1 x2 x3   x1 x2 x3 
  
x  x
 1 2 3 y  y 2   y x x y
1  1 2 3  x y
1 2  y1
,‫כלומר‬

 x1    x2   x3     x1   x2    x3 
  *    *        *   * 
 y1    y2   y3     y1   y2    y3 
 x 1
    ‫ לכל‬:‫ אכן‬.‫ הוא האיבר ה יטרלי‬ 0  -‫ קל לראות ש‬:‫( האיבר ה יטרלי‬3)
2

 y  
 x  1   x 1   x 
  *     
y 0
     x  0  y   y
:‫מתקיים‬
  1   x   1 x   x 
  *     
0 y
     1  y  0   y
:‫וגם‬

. ‫ ( הוא מו ואיד‬R 2 , * ) ‫ מב ה‬:‫מסק ה‬

...........................................................................................

0 
  
2
.‫אי ו הפיך‬ ‫ב ( כל איבר מן הצורה‬
b

 x 0 
    ‫ אזי קיים‬.‫הפיך‬
2
  -‫ ש‬,‫ בדרך השלילה‬,‫יח‬ :‫הוכחה‬
 y b
 x  0  0 
*
:‫ אבל‬.  y   b 
 
    1 
-‫כך ש‬

 x   0   x0  0  1
*
,   
  
    
 y   b   xb  y   xb  y   0 
0 
    -‫ מכאן ש‬.‫ הגע ו לסתירה‬,‫כלומר‬
2
.‫ כ דרש‬,‫אי ו הפיך‬
b

0 
.‫אי ו הפיך‬   ,‫ לדוגמה‬. ‫ ( אי ו חבורה‬R 2 , * ) ‫ המב ה‬:‫טע ה‬
0 
 x 0 
    ‫ אזי קיים‬.‫הפיך‬
2
  -‫ ש‬,‫ בדרך השלילה‬,‫יח‬ :‫הוכחה‬
 y 0 
 x  0  1 
*
:‫ אבל‬.  y   0 
 
    0 
-‫כך ש‬

 x  0   x 0  0  1 
*
,   
       
y 0
     x  0  y   y  0 
 ‫‪0 ‬‬
‫אי ו הפיך‪ ,‬כ דרש‪.‬‬ ‫כלומר‪ ,‬הגע ו לסתירה‪ .‬מכאן ש‪  -‬‬
‫‪0 ‬‬
‫ג ( הפעולה אי ה קומוטטיבית ‪ .‬דוגמה גדית‪:‬‬

‫‪1   3   1 3   3 ‬‬
‫‪  *   ‬‬ ‫‪  ‬‬
‫‪2‬‬ ‫‪4‬‬
‫‪    ‬‬ ‫‪1‬‬ ‫‪‬‬ ‫‪4‬‬ ‫‪‬‬ ‫‪2‬‬ ‫‪  6‬‬
‫‪ 3  1   3 1   3 ‬‬
‫‪  *   ‬‬ ‫‪  ‬‬
‫‪4‬‬ ‫‪2‬‬
‫‪    ‬‬ ‫‪3‬‬ ‫‪‬‬ ‫‪2‬‬ ‫‪‬‬ ‫‪4‬‬ ‫‪  10 ‬‬
‫אבל‪:‬‬

‫‪.............................................................................................‬‬
‫‪a0‬‬ ‫‪ .6‬לפי ת אי התרגיל‪ ( D ,  ) ,‬אגודה קומוטטיבית‪ ,‬וקיים איבר‬
‫השייך ל‪ D -‬בעל התכו ה הבאה‪:‬‬
‫)‪(1‬‬ ‫עבור כל ‪ b‬השייך ל‪ D -‬קיים ‪ x  D‬כך ש‪x  a0 = b -‬‬
‫כך ש‪-‬‬ ‫‪x0  D‬‬ ‫קבל‪ :‬קיים‬ ‫‪, a0‬‬ ‫בפרט‪ ,‬אם ציב במקום ‪ b‬את‬
‫)‪(2‬‬ ‫‪x0  a0  a0‬‬
‫הוא איבר יטרלי‪ .‬אכן‪ ,‬יהי ‪ b  D‬שרירותי‪ .‬אזי ‪,‬‬ ‫‪x0‬‬ ‫וכיח ש‪-‬‬
‫לפי)‪ (1‬ו‪ , (2) -‬תוך שימוש באסוציאטיביות וקומוטטיביות‪ ,‬קבל‪:‬‬

‫‪b  x0   x  a0   x0  x   a0  x0  ‬‬
‫‪ x   x0  a0   x  a 0  b‬‬
‫כיוון שהפעולה היא קומוטטיבית‪ ,‬קבל גם‪. x0  b  b :‬‬
‫הוכח ו שב‪ ( D ,  ) -‬יש איבר יטרלי‪ ,‬לכן ) ‪ ( D , ‬מו ואיד‪.‬‬

‫‪.‬‬ ‫‪x A‬‬ ‫עבור כל‬ ‫‪x* x=e‬‬ ‫‪ .7‬תון‪ ( A , * ) :‬מו ואיד כך ש‪-‬‬

‫מתקיים‪:‬‬ ‫לכל ‪x A‬‬ ‫הוא הפיך‪ ,‬ויתירה מזאת ‪,‬‬ ‫‪A‬‬ ‫מכאן ובע שכל איבר ב‪-‬‬

‫מתקיים ‪ , a  b  A‬קבל‪ ,‬בפרט‪,‬‬ ‫‪ . x 1  x‬כיוון שלכל ‪a , b  A‬‬

‫את השוויו ים הבאים‪:‬‬

 ‫‪a  b‬‬
‫‪1‬‬
‫)‪(1‬‬ ‫‪b 1  b‬‬ ‫‪,‬‬ ‫‪a 1  a‬‬ ‫‪,‬‬ ‫‪ a b‬‬
‫יחד עם זה‪ ,‬בהתאם לתכו ות כלליות של איברים הפיכים במו ואיד‪ ,‬קבל גם‬
‫את השוויון הבא‪:‬‬

‫‪a  b‬‬
‫‪1‬‬
‫)‪( 2‬‬ ‫‪ b  1  a 1‬‬
‫מתקיים‪:‬‬ ‫מ וסחאות )‪ (1‬ו‪ (2) -‬קבל שלכל ‪a , b  A‬‬

‫‪a  b   a  b   b  1  a 1  b  a‬‬
‫‪1‬‬

‫כלומר‪ ,‬הפעולה היא קומוטטיבית‪.‬‬