Definition 1

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

Lie Groups and Lie Algebras, chapter VI, § 3. Exponential invariants

Let $x = \sum_{p \in P} x_p e^p$ be an element of $A[P]$ . The set S of $p \in P$ such that $x_p \neq 0$ is called the support of x and the set X of maximal elements of S is called the maximal support of x. A term $x_p e^p$ with $p \in X$ is then called a maximal term of x.

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

Cited by

Proposition 2, § 3
Lemma 6, § 7

Cites

Nothing.