请输入您要查询的字词:

 

单词 UnramifiedExtensionsAndClassNumberDivisibility
释义

unramified extensions and class number divisibility


The following is a corollary of the existence of the Hilbert class fieldMathworldPlanetmath.

Corollary 1.

Let K be a number fieldMathworldPlanetmath, hK is its class numberMathworldPlanetmathPlanetmath and let p be a prime. Then K has an everywhere unramified Galois extensionMathworldPlanetmath of degree p if and only if hK is divisible by p.

Proof.

Let K be a number field and let H be the Hilbert class field of K. Then:

|Gal(H/K)|=[H:K]=hK.

Let p be a prime numberMathworldPlanetmath. Suppose that there exists a Galois extension F/K, such that [F:K]=p and F/K is everywhere unramified. Notice that any Galois extension of prime degree is abelianMathworldPlanetmath (because any group of prime degree p is abelian, isomorphicPlanetmathPlanetmathPlanetmath to /p). Since H is the maximal abelian unramified extensionPlanetmathPlanetmathPlanetmathPlanetmath of K the following inclusions occur:

KFH

Moreover,

hK=[H:K]=[H:F][F:K]=[H:F]p.

Therefore p divides hK.

Next we prove the remaining direction. Suppose that p divides hK=|Gal(H/K)|. Since G=Gal(H/K) is an abelian group (isomorphic to the class group of K) there exists a normal subgroupMathworldPlanetmath J of G such that |G/J|=p. Let F=HJ be the fixed field by the subgroupMathworldPlanetmathPlanetmath J, which is, by the main theorem of Galois theoryMathworldPlanetmath, a Galois extension of K. This field satisfies [F:K]=p and, since F is included in H, the extension F/K is abelian and everywhere unramified, as claimed.∎

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 8:32:27