<?xml version="1.0" encoding="UTF-8"?>

<record version="4" id="9192">
 <title>expressible</title>
 <name>Expressible</name>
 <created>2007-04-14 21:26:19</created>
 <modified>2007-04-14 23:59:26</modified>
 <type>Definition</type>
<parent id="1329">radical extension</parent>
 <creator id="1863" name="Wkbj79"/>
 <author id="1863" name="Wkbj79"/>
 <classification>
	<category scheme="msc" code="12F10"/>
	<category scheme="msc" code="12F05"/>
 </classification>
 <defines>
	<concept>inexpressible</concept>
 </defines>
 <preamble>\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}

\usepackage{psfrag}
\usepackage{graphicx}
\usepackage{amsthm}
\usepackage{xypic}
</preamble>
 <content>Let $F$ be a field and $\alpha$ be \PMlinkname{algebraic}{AlgebraicElement} over $F$.  Then $\alpha$ is \emph{expressible} over $F$ if $F(\alpha)/F$ is a radical extension.  On the other hand, $\alpha$ is \emph{inexpressible} over $F$ if $F(\alpha)/F$ is not a radical extension.</content>
</record>
