שינויים
/* תשובות לשאלות מהתרגול */
'''תשובה:'''
כן. אפשר למשל לקחת <math>R=F[x],S=F[x,y]</math>. נדע להוכיח את הטענה הזו בהמשך הקורס (ואז אוסיף לפה את רעיון ההוכחה): שני החוגים <math>R</math> ו-<math>S</math> שכתבנו הם תחומי פריקות יחידה. לכן המונואידים הכפליים שלהם איזומורפיים למכפלה ישרה של <math>\mathbb{N}\cup\{0\}</math>, לפי כמות האיברים האי-פריקים בכל אחד מהחוגים. אבל בשניהם יש אותה עוצמה של איברים אי-פריקים, לכן המונואידים הכפליים איזומורפיים.
השאלה הזו נהיית מעניינת יותר אם עוברים לחוגים בלי יחידה. שם אין לנו מיון מלא של כל החוגים ההמילטוניים ללא יחידה, אבל יש עבודות בנושא.
==חומר נוסף==
