תוכן עניינים
תרגילים אלה נועדו לחזרה על החומר בפרק הומומורפיזמים של חבורות. אין חשיבות לסדר התרגילים.
יהיו ( X , ⋅ , 1 X ) , ( Y , + , 0 Y ) {\displaystyle \ (X,\cdot ,1_{X}),\quad (Y,+,0_{Y})} חבורות. הוכח או הפרך את הטענות הבאות:
הוכח: אם X ≅ Y {\displaystyle \ X\cong Y} ו Z ≅ W {\displaystyle \ Z\cong W} , אזי, X × Z ≅ W × Y {\displaystyle \ X\times Z\cong W\times Y} .
הוכח: אם X {\displaystyle \ X} ניתנת לשיכון ב Y {\displaystyle \ Y} ו Z {\displaystyle \ Z} ניתנת לשיכון ב X {\displaystyle \ X} , אזי
Z {\displaystyle \ Z} ניתנת לשיכון ב Y {\displaystyle \ Y} .