|
|
A242864号 |
| 具有(3,3)型三类群和精确长度为2的希尔伯特三类场塔的复二次场的绝对判别式。 |
|
6
|
|
|
4027, 8751, 12131, 19187, 19651, 20276, 20568, 21224, 22711, 24340, 24904, 26139, 26760, 28031, 28759, 31639, 31999, 32968, 34088, 34507, 35367, 36807, 40299, 40692, 41015, 41583, 41671, 42423, 43192, 43307, 44004
(列表;图表;参考;听;历史;文本;内部格式)
|
|
|
抵消
|
1,1
|
|
评论
|
对于所有这些判别式,三塔群的元贝拉化是两个舒尔-西格玛群SmallGroup(243,5)或SmallGroup中的一个,因此塔必须在第二阶段终止。
Scholz和Taussky对n=1进行了非常深入的讨论。
这些字段的特征是其3个主体化类型(转移核类型,TKT)(2241)和D.10。(4224)、D.5或等效的传输目标类型(TTT)[(3,3,3)、(3,9)^3]。[(3,3,3)^2,(3,9)^2](Boston,Bush,Hajir称为IPAD)。后者用于MAGMA PROG,它通过类组结构实质上构成了原理化算法。Daniel Constantin Mayer,2014年9月23日
|
|
链接
|
N.Boston、M.R.Bush、F.Hajir、,虚二次域p类塔的启发式算法,数学。Ann.(2013),预印本:arXiv:1111.4679v1[math.NT],2011。
D.C.Mayer,基于类组结构的原理化算法,J.Théor。Nombres Bordeaux(2014),预印本:arXiv:1403.3839v1[math.NT],2014年。
|
|
黄体脂酮素
|
(岩浆)
对于d:=2到10^5,执行a:=false;如果(3 eq d mod 4)和IsSquarefree(d),则a:=真;结束条件:;如果(0 eq d mod 4),则r:=d div 4;如果IsSquarefree(r)和((2 eq r mod 4)或(1 eq r mode 4)),则a:=true;结束条件:;结束条件:;如果(真eq a),则K:=二次域(-d);C、 mC:=类别组(K);如果([3,3]eq pPrimaryInvariants(C,3)),则E:=AbelianExtension(mC);sS:=子群(C:Quot:=[3]);sA:=[AbelianExtension(Inverse(mQ)*mC),其中Q,mQ:=quo<C|x` subsuble>:x];sN:=[sA中的NumberField(x):x];sF:=[AbsoluteField(x):x in sN];sM:=[sF中的最大顺序(x):x];sM:=[OptimizedRepresentation(x):x in sF];sA:=[NumberField(定义多项式(x)):sM中的x];sO:=[简化(LLL(最大顺序(x))):x在sA]中];删除sA、sN、sF、sM;g:=真;e:=0;对于[1..#sO]中的j,做CO:=类组(sO[j]);如果(3 eq Valuation(#CO,3)),则如果([3,3,3]eq pPrimaryInvariants(CO,3;结束条件:;否则g:=假;结束条件:;结束;如果(真方程g)和((1方程e)或(2方程e)),则d,“,”;结束条件:;结束条件:;结束条件:;结束;
|
|
交叉参考
|
|
|
关键词
|
坚硬的,非n
|
|
作者
|
|
|
状态
|
经核准的
|
|
|
|