חבורה סדורה – הבדלי גרסאות

'''חבורה סדורה''' (משמאל) היא [[חבורה (מבנה אלגברי)|חבורה]] שמוגדר עליה [[יחס סדר ליניארי]], באופן כזה שאם <math>a < b</math> אז גם <math>ca < cb</math>. חבורה היא '''ניתנת לסידור''' אם אפשר להגדיר עליה סדר ההופך אותה לחבורה סדורה. חבורה ניתנת לסידור משמאל אם ורק אם היא ניתנת לסידור מימין.

 

 

== טיפוסים של חבורות סדורות ==