Remark
Tag 0A4I, permanent. Cite it as [Bourbaki, Tag 0A4I].
Lie Groups and Lie Algebras, chapter II, § 4. Central filtrations
Let be a decreasing sequence of subgroups of . It is a decreasing filtration in the sense of Commutative Algebra, Chapter III, § 2, no. 1, Definition 1. For every integer and all in the interval of , we write , in particular . It is immediate that we thus obtain a real filtration on ; such a filtration will be called an integral filtration. Hence decreasing filtrations in the sense of Commutative Algebra, Chapter III, § 2, can be identified with integral filtrations.
Let be an algebra; a real filtration on the additive group of is called compatible with the algebra structure if for in and for . If the filtration is exhaustive, is a fundamental system of neighbourhoods of 0 under the topology on which is compatible with the algebra structure. Let be a unital algebra; a real filtration on the additive group of is called compatible with the unital algebra structure if it is compatible with the algebra structure and .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
- *Commutative Algebra*, Chapter III, § 2 not yet on this site: AC III
- *Commutative Algebra*, Chapter III, § 2, no. 1, Definition 1 not yet on this site: AC III