Exercise 13, § 14
Tag 00HO, permanent. Cite it as [Bourbaki, Tag 00HO].
Algebra, VIII, p. 272
Let D be a field, V a left vector space over D, A the ring End(V), and an automorphism of A. Prove that there exist an automorphism of D and a bijective mapping that is semilinear with respect to (II, §1, No. 13, p. 223) such that we have for every . (Let be the A-module with additive group V and external law defined by ; deduce from Proposition 4 of VIII, p. 50 an A-isomorphism . Then, observe that is equal to the bicommutant of the D-module V, that is, to D.)
Solution
No solution has been written yet.