שינויים
/* שאלה לגבי המושג "מוגדר היטב" */ פסקה חדשה
מי האיברים של <math>H</math> ???
== שאלה לגבי המושג "מוגדר היטב" ==
בהינתן חבורה <math>G</math> ותת חבורה <math>H</math> , מגדירים את חבורת המנה
<math>G\H</math> שהיא אוסף הקוסטים השמאליים של <math>H</math> ב-<math>G</math>.
כעת, רוצים להגדיר פעולה על האיברים באוסף הזה (שהאיברים האלה הם למעשה קבוצות).
בחרו להגדיר את הפעולה כך: עבור שניי איברים בחבורת המנה: <math>g1H,g2H</math> מגדירים פעולה באופן הבא:
<math>(g1H)(g2H)g1g2H</math>.
כעת שואלים הם הכפל הזה מוגדר היטב.
יש לי כמה שאלות:
1. לא הבנתי מה זה אומר בכלל המושג "מוגדר היטב".
2. באילו מצבים צריך לבדוק האם פעולה "מוגדרת היטב".
3. למה חשוב לבדוק האם פעולה "מוגדרת היטב".
4. מבחינה טכנית, איך בודקים האם פעולה מוגדרת היטב? למשל בשאלה הספציפית הזו, איך אני בודק אם הפעולה מוגדרת היטב?
אודה על העזרה.
