Corollary 3
Tag 04OJ, permanent. Cite it as [Bourbaki, Tag 04OJ].
Commutative Algebra, chapter V, § 1. Notion of an integral element
Let be an integrally closed graded domain. Then, for every integer , the ring (Chapter III, § 1, no. 3) is an integrally closed domain.
Let be the set of homogeneous elements of and let be a homogeneous element of integral over and hence over ; as , belongs to by hypothesis; as its degree is divisible by , it belongs to and it then follows from Corollary 1 that is integrally closed.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.