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
Owner confidence rating: Low Entry average rating: No information on entry rating
abelian extension (Definition)

Let $K$ be a Galois extension of $F$ The extension is said to be an abelian extension if the Galois group ${Gal$(K/F)$}$ is abelian.

Examples: $\mathbb{Q}(\sqrt{2})/\mathbb{Q}$ has Galois group $\mathbb{Z}/2\mathbb{Z}$ so $\mathbb{Q}(\sqrt{2})/\mathbb{Q}$ is an abelian extension.

Let $\zeta_n$ be a primitive nth root of unity. Then $\mathbb{Q}(\zeta_n)/\mathbb{Q}$ has Galois group $(\mathbb{Z}/n\mathbb{Z})^*$ (the group of units of $\mathbb{Z}/n\mathbb{Z}$ so $\mathbb{Q}(\zeta_n)/\mathbb{Q}$ is abelian.




"abelian extension" is owned by scanez. [ full author list (2) | owner history (2) ]
(view preamble | get metadata)

View style:

See Also: Kronecker-Weber theorem, Kummer theory


Attachments:
Kronecker-Weber theorem (Theorem) by alozano
characterization of abelian extensions of exponent n (Theorem) by rm50
Log in to rate this entry.
(view current ratings)

Cross-references: group of units, abelian, Galois group, extension, Galois extension
There are 7 references to this entry.

This is version 2 of abelian extension, born on 2002-11-15, modified 2006-04-30.
Object id is 3599, canonical name is AbelianExtension.
Accessed 3903 times total.

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

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)