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: Very high Entry average rating: No information on entry rating
biquadratic extension (Definition)

A biquadratic extension of a field $ F$ is a Galois extension $ K$ of $ F$ such that $ \operatorname{Gal} (K/F)$ is isomorphic to the Klein 4-group. It receives its name from the fact that any such $ K$ is the compositum of two distinct quadratic extensions of $ F$. The name can be somewhat misleading, however, since biquadratic extensions of $ F$ have exactly three distinct subfields that are quadratic extensions of $ F$. This is easily seen to be true by the fact that the Klein 4-group has exactly three distinct subgroups of order 2.

Note that, if $ \alpha, \beta \in F$, then $ F(\sqrt{\alpha}, \sqrt{\beta})$ is a biquadratic extension of $ F$ if and only if none of $ \alpha$, $ \beta$, and $ \alpha \beta$ are squares in $ F$.



"biquadratic extension" is owned by Wkbj79.
(view preamble)

View style:

See Also: biquadratic field, biquadratic equation


Attachments:
Galois group of a biquadratic extension (Theorem) by rm50
Log in to rate this entry.
(view current ratings)

Cross-references: squares, subgroups, subfields, quadratic extensions, compositum, Klein 4-group, isomorphic, Galois extension, field
There are 4 references to this entry.

This is version 4 of biquadratic extension, born on 2006-06-02, modified 2007-05-30.
Object id is 7948, canonical name is BiquadraticExtension.
Accessed 1263 times total.

Classification:
AMS MSC11R16 (Number theory :: Algebraic number theory: global fields :: Cubic and quartic extensions)

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

No messages.

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