Proposition 5
Tag 04N8, permanent. Cite it as [Bourbaki, Tag 04N8].
Commutative Algebra, chapter V, § 1. Notion of an integral element
Let be a ring and and two (commutative)A-algebras. If is integral over , is integral over .
Consider any element of , where the belong to and the to ; as and the are integral over (Proposition 2), so is .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
- Corollary, § 1
- Corollary, § 1
- Proposition 12, § 1
- Proposition 19, § 1
- Proposition 4, § 2
- Theorem 2, § 2