# <math>T,S</math> הפיכות אמ"מ ההרכבה <math>ST</math> הפיכה. במקרה זה מתקיים <math>(ST)^{-1} =T^{-1}S^{-1}</math>
# אם ה"ל <math>L_A(v)=Av</math> הפיכה אז ההופכית היא <math>L_{A^{-1}}</math>
=== איזומורפיזם ===
'''הגדרה''' ה"ל <math>T:V\to W</math> תקרא
# מונומורפיזם אם <math>T</math> חח"ע
# אפימורפיזם אם <math>T</math> על
# איזומורפיזם אם <math>T</math> חח"ע ועל (כלומר הפיכה). במקרה זה נאמר ש <math>V</math> ו <math>W</math> איזומורפים ונסמן <math>V\cong W</math>
'''הערה:''' <math>\cong</math> מתנהג כמו יחס שקילות. כלומר
#<math>\forall V : V\cong V</math>
#<math>V\cong W \Rightarrow W\cong V</math>
#<math>V_1\cong V_2 \land V_2 \cong V_3 \Rightarrow V_1\cong V_3</math>
דוגמא: <math>T:\mathbb{F}^{m\times n} \to \mathbb{F}^{n\times m}</math> המוגדרת <math>T(A)=A^t</math> היא איזומורפיזם.