代数的整数論 015
■ このスレッドは過去ログ倉庫に格納されています
0208Kummer ◆g2BU0D6YN2
2009/11/07(土) 10:06:50E を実数体 R 上の n 次元線型空間とする。
T(1, 1)(E) は標準的に Hom(E, E) に同型である。
証明
過去スレ014の288から明らかであるが、ここでは別証を述べる。
T(1, 1)(E) = L(E^*, E; R) である。
L(E^*, E; R) は標準的に Hom(E, Hom(E^*, R)) に同型である。
Hom(E^*, R) = E と見なせるから
L(E^*, E; R) は標準的に Hom(E, E) に同型である。
証明終
■ このスレッドは過去ログ倉庫に格納されています