== 5.3.11 ==
הכוונה היא לחבורה שנוצרת על ידי הקבוצה <math>\{g^2:g\in G \}</math>. זאת אומרת אוסך כל המכפלות הסופיות מהצורה <math>a^2_{1}\dots a^2_{k}, a_i\in G </math>. אין צורך להוכיח זאת במפורש בתרגיל אבל תבדקו עם עצמכם שאתם מבינים מדוע זו חבורה בכלל. עליכם להראות שחבורה זו נורמלית.