nLab separable field extension

Redirected from "separable extension".

Contents

Definition

A polynomial PP over a field KK is separable if all its irreducible factors have distinct roots over the algebraic closure K¯\bar{K} of KK.

An extension KLK\subset L of fields is separable if every element xLx\in L is a root of a separable polynomial over KK.

Properties

Every finite separable field extension is an étale morphism of rings.

If KLMK\subset L\subset M are fields and KMK\subset M is separable, then LML\subset M is also separable.

Last revised on December 9, 2013 at 05:55:15. See the history of this page for a list of all contributions to it.