Example

Tag 0095, permanent. Cite it as [Bourbaki, Tag 0095].

Algebra, VIII, p. 136, § 8. Semisimple Rings

Let G be a finite group and K a commutative field. $*$ We will see further on (VIII, p. 401, Corollary 1) that the algebra K[G] of the group G over the field K is a semisimple ring if and only if the characteristic exponent of K is prime to the order of $G.*$

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

Nothing.

Cites

VIII, p. 401, Corollary 1