## You are here

Homebiquadratic extension

## Primary tabs

# biquadratic extension

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$.

Related:

BiquadraticField, BiquadraticEquation2

Type of Math Object:

Definition

Major Section:

Reference

## Mathematics Subject Classification

11R16*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