:(לא מתרגל) לא, אפשר להפריך זאת עם דוגמא של חבורה חופשית.
::נכון, אפשר להפריך עם חבורות חופשיות (אפילו שעדין לא הגדרנו אותן). ראו קובץ הערות מסמסטר קיץ תשע"א: [[מדיה: remarks.pdf|הערות]]. נסה לחשוב על דוגמה עם חבורות שכבר ראינו. שים לב שודאי שמדובר בחבורות אינסופיות. רמז: איחוד שרשרת של חבורות שכבר ראינו.
== מבנה המבחן ==
כבר ידוע מבנה המבחן (כמה שאלות, מקסימום נקודות אפשרי, האם תהיה שאלה של הוכחת משפט שלמדנו..)?