Page "Conjugate element (field theory)" Paragraph 7
from
Wikipedia
Given then a normal extension L of K, with automorphism group Aut ( L / K ) = G, and containing α, any element g ( α ) for g in G will be a conjugate of α, since the automorphism g sends roots of p to roots of p. Conversely any conjugate β of α is of this form: in other words, G acts transitively on the conjugates.
This follows as K ( α ) is K-isomorphic to K ( β ) by irreducibility of the minimal polynomial, and any isomorphism of fields F and F that maps polynomial p to p can be extended to an isomorphism of the splitting fields of p over F and p over F, respectively.
Page 1 of 1.
1.895 seconds.