Em có đọc bổ đề sau: Cho $K$ là trường có số phần tử khác 2, ma trận $A\epsilon M_n(K)$, $P\epsilon GL_n(K)$(tập cac ma trận khả nghịch). Khi đó, tồn tại ma trận $C\epsilon GL_n(K)$ để 2 ma trận $A-C$ và $C+P$ khả nghịch.
Chứng minh: Không mất tính tổng quát, giả sử $P=I_n$ (vì tích của 2 ma trận khả nghịch cũng khả nghịch).
.........................................................
Anh, chị cho em hỏi tại sao có dòng giải thích" vì tích của 2 ma trận khả nghịch cũng khả nghịch", em không hiểu giải thích này, nhớ anh, chị giải thích giúp em. Em xin cảm ơn.
- DOTOANNANG và ecomax thích