PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Viewing Version 3 of 'finite extension'
[ view 'finite extension' | back to history ]

Title of object: finite extension
Canonical Name: FiniteExtension
Type: Definition

Created on: 2001-11-08 01:28:04-05
Modified on: 2002-05-26 02:04:03-04

Creator: drini
Modifier: drini
Author: drini

Classification: msc:12F05
Keywords: Galois Theory, Field

Revision comment (for changes between this and next version):

Changes for correction #1410 ('synonym').

Preamble:

\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
\usepackage{graphicx}
\usepackage{xypic}
Content:

Let $K$ an extension field of $F$. We say that $K$ is a \emph{finite extension} if
$[K:F]$ is finite. That is, $K$ is a finite dimensional space over $F$.
An important result on finte extensions establishes that any finite extension is also an algebraic extension.