## You are here

Homeseparable

## Primary tabs

# separable

An irreducible polynomial $f\in F[x]$ with coefficients in a field $F$ is separable if $f$ factors into distinct linear factors over a splitting field $K$ of $f$.

A polynomial $g$ with coefficients in $F$ is separable if each irreducible factor of $g$ in $F[x]$ is a separable polynomial.

An algebraic field extension $K/F$ is separable if, for each $a\in K$, the minimal polynomial of $a$ over $F$ is separable. When $F$ has characteristic zero, every algebraic extension of $F$ is separable; examples of inseparable extensions include the quotient field $K(u)[t]/(t^{p}-u)$ over the field $K(u)$ of rational functions in one variable, where $K$ has characteristic $p>0$.

More generally, an arbitrary field extension $K/F$ is defined to be separable if every finitely generated intermediate field extension $L/F$ has a transcendence basis $S\subset L$ such that $L$ is a separable algebraic extension of $F(S)$.

## Mathematics Subject Classification

12F10*no label found*11R32

*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