Bourbaki

Corollary

Tag 015I, permanent. Cite it as [Bourbaki, Tag 015I].

Lie Groups and Lie Algebras, chapter VIII, § 8. Symmetric invariants

The group Aut0(a)_0(\mathfrak{a}) is open and closed in Aut(a\mathfrak{a}) in the Zariski topology.

Prop. 6 shows that Aut0(a)_0(\mathfrak{a}) is closed. Let k‾\overline{k} be an algebraic closure of kk. The group Aut(a⊗k‾\mathfrak{a}\otimes \overline{k})//Aut0(a⊗k‾)_0(\mathfrak{a}\otimes \overline{k}) is finite (§5, no. 3, Cor. 1 of Prop. 5); a fortiori, the group Aut(a\mathfrak{a})//Aut0(a)_0(\mathfrak{a}) is finite. Since the cosets of Aut(a\mathfrak{a}) in Aut(a\mathfrak{a}) are closed, it follows that Aut0(a)_0(\mathfrak{a}) is open in Aut(a\mathfrak{a}).

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

Transcribed from the printed volume. Not translated.