Corollary 3

Tag 04N3, permanent. Cite it as [Bourbaki, Tag 04N3].

Commutative Algebra, chapter V, § 1. Notion of an integral element

Let $A$ be a ring, $B$ a (commutative) $A$ -algebra and $C$ a (not necessarily commutative) $B$ -algebra. If $C$ is integral over $A$ , $C$ is integral over $B$ .

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

Cited by

Nothing.

Cites

Nothing.