מונואיד (מבנה אלגברי) – הבדלי גרסאות

==מונואידים עם צמצום==

 

 

השיכון ההדוק ביותר הוא ב"חבורת שברים", היינו כזו שכל איבר שלה הוא מהצורה <math>\ a^{-1}b</math>, כאשר a,b שייכים למונואיד; שיכון כזה קיים אם ורק אם המונואיד מקיים את [[תנאי אור]] (Ore's condition): לכל a,b יש איברים x,y כך ש- xa=yb. מונואיד עם צמצום המקיים איזושהי זהות פולינומית (בפרט: מונואיד קומוטטיבי עם צמצום), או שיש לו [[גידול (אלגברה)|גידול]] פולינומי, מקיים את תנאי אור.