algebraic conjugatesAlgebraicConjugates2003-10-02 16:50:112006-07-24 20:41:58Definition% this is the default PlanetMath preamble. as your knowledge
% of TeX increases, you will probably want to edit this, but
% it should be fine as is for beginners.
% almost certainly you want these
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{amsthm}
% used for TeXing text within eps files
%\usepackage{psfrag}
% need this for including graphics (\includegraphics)
%\usepackage{graphicx}
% for neatly defining theorems and propositions
%\usepackage{amsthm}
% making logically defined graphics
%\usepackage{xypic}
% there are many more packages, add them here as you need them
% define commands here
\newcommand{\mc}{\mathcal}
\newcommand{\mb}{\mathbb}
\newcommand{\mf}{\mathfrak}
\newcommand{\ol}{\overline}
\newcommand{\ra}{\rightarrow}
\newcommand{\la}{\leftarrow}
\newcommand{\La}{\Leftarrow}
\newcommand{\Ra}{\Rightarrow}
\newcommand{\nor}{\vartriangleleft}
\newcommand{\Gal}{\text{Gal}}
\newcommand{\GL}{\text{GL}}
\newcommand{\Z}{\mb{Z}}
\newcommand{\R}{\mb{R}}
\newcommand{\Q}{\mb{Q}}
\newcommand{\C}{\mb{C}}
\newcommand{\<}{\langle}
\renewcommand{\>}{\rangle}Let $L$ be an algebraic extension of a field $K$, and let $\alpha_1\in L$ be algebraic over $K$. Then $\alpha_1$ is the root of a minimal polynomial $f(x)\in K[x]$. Denote the other roots of $f(x)$ in $L$ by $\alpha_2$, $\alpha_3, \ldots, \alpha_n$. These (along with $\alpha_1$ itself) are the \emph{algebraic conjugates} of $\alpha_1$ and any two are said to be \emph{algebraically conjugate}.
The notion of algebraic conjugacy is a special case of group conjugacy in the case where the group in question is the Galois group of the above minimal polynomial, viewed as acting on the roots of said polynomial.