## You are here

Homepurely inseparable

## Primary tabs

# purely inseparable

Let $F$ be a field of characteristic $p>0$ and let $\alpha$ be an element which is algebraic over $F$. Then $\alpha$ is said to be *purely inseparable* over $F$ if $\alpha^{{p^{n}}}\in F$ for some $n\geq 0$.

An algebraic field extension $K/F$ is *purely inseparable* if each element of $K$ is purely inseparable over $F$.

Purely inseparable extensions have the following property: if $K/F$ is purely inseparable, and $A$ is an algebraic closure of $F$ which contains $K$, then any homomorphism $K\to A$ which fixes $F$ necessarily fixes $K$.

Let $K/F$ be an arbitrary algebraic extension. Then there is an intermediate field $E$ such that $K/E$ is purely inseparable, and $E/F$ is separable.

###### Example.

Let $s$ be an indeterminate, and let $K=\mathbb{F}_{3}(s)$ where $\mathbb{F}_{3}$ is the finite field with $3$ elements. Let $F=\mathbb{F}_{3}(s^{6})$. Then $K/F$ is neither separable, nor purely inseparable. Let $E=\mathbb{F}_{3}(s^{3})$. Then $E/F$ is separable, and $K/E$ is purely inseparable.

## Mathematics Subject Classification

12F15*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff
- Corrections