Bourbaki

Exercise 18, § 6

Tag 02FL, permanent. Cite it as [Bourbaki, Tag 02FL].

Spectral Theories, I, p. 182

Let AA be a star algebra of countable type. There exists a sequence (en)n∈N(e_n)_{n\in\mathbf{N}} in A+A_+ such that the associated elementary filter (TG, I, p. 42, def. 7) is an increasing approximate unit of A.

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.