PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
radical extension (Definition)

A radical tower is a field extension $ L/F$ which has a filtration

$\displaystyle F = L_0 \subset L_1 \subset \cdots \subset L_n = L $
where for each $ i$, $ 0 \leq i < n$, there exists an element $ \alpha_i \in L_{i+1}$ and a natural number $ n_i$ such that $ L_{i+1} = L_i(\alpha_i)$ and $ \alpha_i^{n_i} \in L_i$.

A radical extension is a field extension $ K/F$ for which there exists a radical tower $ L/F$ with $ L \supset K$. The notion of radical extension coincides with the informal concept of solving for the roots of a polynomial by radicals, in the sense that a polynomial over $ K$ is solvable by radicals if and only if its splitting field is a radical extension of $ F$.



"radical extension" is owned by djao.
(view preamble)

View style:

Other names:  radical tower

Attachments:
casus irreducibilis (Theorem) by pahio
expressible (Definition) by Wkbj79
Log in to rate this entry.
(view current ratings)

Cross-references: splitting field, solvable by radicals, radicals, polynomial, roots, natural number, filtration, field extension
There are 7 references to this entry.

This is version 3 of radical extension, born on 2002-01-05, modified 2004-01-09.
Object id is 1329, canonical name is RadicalExtension.
Accessed 4633 times total.

Classification:
AMS MSC12F10 (Field theory and polynomials :: Field extensions :: Separable extensions, Galois theory)

Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)