Proposition 1
Tag 05IH, permanent. Cite it as [Bourbaki, Tag 05IH].
Algebra, chapter I, § 9. Fields
Let be a field. For every subset of , the centralizer (§ 8, no. 5, Example 3) of is a subfield of .
We know (loc. cit.) that is a subring of . On the other hand, if is permutable with , so is (I, § 2, no. 3, Proposition 5) and hence contains the inverse of every non-zero element of .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.