חבורה סדורה – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
שורה 7:
== טיפוסים של חבורות סדורות ==
* חבורה היא '''ניתנת לדו-סידור''' (biorderable) אם יש עליה יחס סדר ליניארי כזה שאם <math>a < b</math> אז לכל <math>c</math> מתקיים <math>ca < cb</math> וגם <math>ac < bc</math>. (תכונה זו נשמרת תחת הרחבה מרכזית בתת-חבורה חסרת פיתול).
* חבורה היא '''בעלת אינדקסים מקומית''' (locally indicable) אם לכל תת-חבורה נוצרת סופית שלה יש הטלה על [[החבורה הציקלית האינסופית]]. כל חבורה הניתנת לדו-סידור היא בעלת אינדקסים מקומית. כל חבורה בעלת אינדקסים מקומית, ניתנת לסידור (אבל לא בהכרח לדו-סידור). כל [[חבורה אמנבילית]] ניתנת לסידור היא בעלת אינדקסים מקומית. <!-- משפט של Witte-Morris -->
* חבורה ניתנת לסידור היא '''בעלת שורשים יחידים''' (אם <math>\ x^n=y^n</math> אז <math>\ x=y</math>).
* חבורה מקיימת את '''תכונת המכפלה היחידה''' אם לכל שתי תת-קבוצות לא ריקות <math>A,B</math> יש במכפלה <math>AB</math> איבר הניתן להצגה כ-<math>ab</math> באופן יחיד. כל חבורה ניתנת לסידור היא בעלת תכונת המכפלה היחידה, וההפך אינו נכון.
| |||