Proposition 3

Étiquette 0E8U, permanente. À citer comme [Bourbaki, Tag 0E8U].

Lie Groups and Lie Algebras, chapter VI, § 3. Invariants exponentiels

Pour tout $p \in P \cap \overline{C}$ , soit $x_p$ un élément de $A[P]^{\mathrm{w}}$ ayant pour unique terme maximal $e^p$ . La famille $(x_p)_{p \in P \cap \overline{C}}$ est une base du A-module $A[P]^{\mathrm{w}}$ .

Démontrons tout d’abord un lemme :

Bourbaki place la démonstration juste après l’énoncé : ce qui précède est l’énoncé avec sa démonstration.

Cité par

Rien.

Cite

Rien.