isomorphism 을 보이는 거니까, 어떤 사상 phi : m_2,2 (F) -> F^2 x F^2 가 존재해서 그 사상이 전단사고 phi(u+v)=phi(u)+phi(v), phi(cv)=c phi(v) 임을 보이면 되는 것 같은데요,


이 phi를

phi ({{a,b},{c,d}}) = ((a,b), (c,d))

로 하고, +랑 상수곱 연산을 그냥 m_2,2 (F), F^2 x F^2 에서 우리가 흔히 주는 방법대로 주었을 때 위 성질들이 성립함을 보이면 되는 건가요?

먼가 '사실상 같음'을 보이라는 문제는 잔뜩 나오는데 책에서 증명하는 실례를 잘 안 보여주니까 헷갈려요... 솔루션도 없고요,, ㅠㅠ


글고 R은 R-Vector space C의 R-Subspace이고, C-Vector space C의 C-Subspace는 아닌 거 맞죠?