Bourbaki

Proposition 4

Tag 0AT0, permanent. Cite it as [Bourbaki, Tag 0AT0].

Lie Groups and Lie Algebras, chapter V, § 5. Invariants in the symmetric algebra

With the assumptions and notation of Th. 3, assume that K is of characteristic ≠2\neq 2. Then −1∈G-1 \in G if and only if the characteristic degrees k1,…,klk_1, \ldots, k_l of R are all even.

Let ff be the automorphism of the algebra S that extends the automorphism −1-1 of V. Then f(z)=(−1)deg⁡zzf(z) = (-1)^{\deg z} z for all homogeneous zz in S. Thus, if −1∈G-1 \in G, every homogeneous element of odd degree of R is zero, and the kik_i are all even. Conversely, if the kik_i are all even, every element of R is invariant under ff, and Galois theory shows that −1∈G-1 \in G.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Cites

Transcribed from the printed volume. Not translated.