Corollary

Tag 06VX, permanent. Cite it as [Bourbaki, Tag 06VX].

— For $A$ to be a regular $K$ -algebra it is necessary and sufficient that its field of fractions should be a regular extension of $K$ .

The condition is necessary by Prop. 4 and sufficient by Prop. 3, a).

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.