חבורה סדורה
ויקיפדיה האנציקלופדיה encyclopedia
חבורה סדורה (משמאל) היא חבורה שמוגדר עליה יחס סדר ליניארי, באופן כזה שאם אז גם . חבורה היא ניתנת לסידור אם אפשר להגדיר עליה סדר ההופך אותה לחבורה סדורה. חבורה ניתנת לסידור משמאל אם ורק אם היא ניתנת לסידור מימין.
כל חבורה סדורה היא חבורה חסרת פיתול. כל חבורה אבלית חסרת פיתול ניתן לסדר. כל חבורת-קשר (חבורה יסודית של המשלים של קשר) ניתן לסדר.
המושג "חבורה סדורה" עשוי להתייחס גם לחבורה עם סדר חלקי (הנשמר תחת כפל מאחד או משני הצדדים). אחת המחלקות החשובות מסוג זה היא של חבורות שהסדר עליהן מהווה סריג (אנ').