אם כן, למה? מה הנימוק למעבר הזה?
:הנימוק הא שאפשר למצוא איזומורפיזם מפורש. באופן כללי אם <math>G \cong G'</math>, אז <math>H \times G \cong H \times G'</math>.
ושאלה נוספת..
איך מוכיחים ש- <math>\mathbb{Z}_{5}X\mathbb{Z}_{16}</math> ו <math>\mathbb{Z}_{8}X\mathbb{Z}_{16}</math> לא איזומורפיות?
:הן לא איזמורפיות מפני שהסדר שלהן שונה. אולי התכוונת למספרים אחרים?
== האם מרכז C)g^n( הינו תת חבורה של מרכז C(g) ? ==