הצגת המקור של הדף "מבנים אלגבריים/חבורות/הומומורפיזמים/תרגילים"

{{מבנים אלגבריים}}
תרגילים אלה נועדו לחזרה על החומר בפרק [[מבנים אלגבריים/חבורות/הומומורפיזמים|הומומורפיזמים של חבורות]]. '''אין חשיבות לסדר התרגילים'''.

==תרגיל 1==
יהיו <math>\ (X,\cdot , 1_X),\quad (Y,+,0_Y) </math> חבורות. הוכח או הפרך את הטענות הבאות:
*<math>\ o(X)=o(Y)\Leftarrow X\cong Y </math>
*<math>\ o(X)=o(Y) \Rightarrow X\cong Y </math>
==תרגיל 2==
הוכח: אם <math>\ X\cong Y </math> ו<math>\ Z\cong W </math> , אזי, <math>\ X\times Z\cong W\times Y </math>.
==תרגיל 3==
הוכח: אם <math>\ X </math> ניתנת לשיכון ב<math>\ Y </math> ו<math>\ Z </math> ניתנת לשיכון ב<math>\ X </math>, אזי

<math>\ Z </math> ניתנת לשיכון ב<math>\ Y </math>.
{{מבנים אלגבריים|מוגבל}}