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 and be elements of D; there exists an element of such that if and only if and 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 of such that ; for every polynomial P of K[X], we have , and, in particular, we have if and and only if . Consequently, and have the same minimal polynomial over K (V, §3, No. 1, p. 16, Theorem 1).
Conversely, suppose that and have the same minimal polynomial. By loc. cit., there exists a K-isomorphism from to such that , and is a field. By Corollary 2 extends to an inner automorphism of D, and we therefore have .
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