Bourbaki

Corollary 3

Tag 00GU, permanent. Cite it as [Bourbaki, Tag 00GU].

Algebra, VIII, p. 257, § 14. Central Simple Algebras

Let D be a field of finite degree over K with center K. Every element of D is algebraic over K. Let xx and yy be elements of D; there exists an element aa of D∗D^* such that y=axa−1y=axa^{-1} if and only if xx and yy have the same minimal polynomial over K.

The first assertion follows from Corollary 1 of V, §3, No. 1, p. 17.

Suppose that there exists an element aa of D∗D^* such that y=axa−1y=axa^{-1}; for every polynomial P of K[X], we have P(y)=aP(x)a−1P(y) =aP(x)a^{-1}, and, in particular, we have P(x)=0P(x) = 0 if and and only if P(y)=0P(y) = 0. Consequently, xx and yy have the same minimal polynomial over K (V, §3, No. 1, p. 16, Theorem 1).

Conversely, suppose that xx and yy have the same minimal polynomial. By loc. cit., there exists a K-isomorphism uu from K[x]K[x] to K[y]K[y] such that u(x)=yu(x) =y, and K[x]K[x] is a field. By Corollary 2,u,u extends to an inner automorphism θ:z↦aza−1\theta :z\mapsto aza^{-1} of D, and we therefore have y=θ(x)=axa−1y=\theta (x) =axa^{-1}.

Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

  • V, §3, No. 1, p. 16, Theorem 1 not in this corpus
  • Corollary 1 of V, §3, No. 1, p. 17 not in this corpus
  • Corollary 2
Transcribed from the printed edition, 2023, Springer Nature. Not translated.