Example 3
Tag 0038, permanent. Cite it as [Bourbaki, Tag 0038].
Algebra, VIII, p. 45, § 3. Simple Modules
Let K be a field, V a nonzero right vector space over the field K, and A a subring of the ring End containing the endomorphisms of V of finite rank (for example, A = End). Let us prove that V is a simple A-module: let W be a nonzero A-submodule of V and a nonzero element of W; there exists a linear form on V such that (II, §7, No. 5, p. 300, Theorem 6). For every in V, the mapping , which is linear of rank , belongs to A; we therefore have , hence a fortiori W = V, which proves that V is a simple A-module.
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Cites
- II, §7, No. 5, p. 300, Theorem 6 not in this corpus