Lemma 1
Tag 0154, permanent. Cite it as [Bourbaki, Tag 0154].
Lie Groups and Lie Algebras, chapter VIII, § 8. Symmetric invariants
Let be a subgroup of that generates the vector space , and an integer . Then pr(exp ) generates the vector space .
By Algebra, Chap. I, §8, no. 2, Prop. 2, any product of elements of is a -linear combination of elements of the form where . But ! pr(exp ). Q.E.D.
By transport of structure, every automorphism of V defines automorphisms of the algebras and ; this gives linear representations of on and .
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
- Algebra, Chap. I, §8, no. 2, Prop. 2 not in this corpus