Corollary

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

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

Let A be an integral domain, K its field of fractions and $G$ a locally finite group of operators on A. Then $G$ operates on K and $K^G$ is the field of fractions of $A^G$ .

A $- \{0\}$ is stable under $G$ .

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

Cited by

Nothing.

Cites

Nothing.