Bourbaki

Example 2

Tag 00AD, permanent. Cite it as [Bourbaki, Tag 00AD].

Algebra, VIII, p. 154, § 9. Radical

Let K be a commutative field and E the algebra K[[Xi]]i∈IK[[X_i]]_{i\in I} of formal power series in the variables XiX_i with coefficients in K. By the previous example and Example 4 of VIII, p. 26, the radical of E consists of the formal power series with constant term zero. Observe that the ring E is an integral domain and that its radical is not reduced to 0, even though E is a subring of its field of fractions, which is without radical.

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

Cites

Transcribed from the printed edition, 2023, Springer Nature. Not translated.