|
|
A247691型 |
| 具有(3,3)型三类群的复二次域的绝对判别式,其第二个三类群位于余类树外的余类图G(3,2)的零星部分。 |
|
0
|
|
|
3896, 4027, 6583, 8751, 12067, 12131, 19187, 19651, 20276, 20568, 21224, 22711, 23428, 24340, 24904, 25447, 26139, 26760, 27355, 27991, 28031, 28759, 31639, 31999, 32968, 34088, 34507, 35367, 36276, 36807, 37219, 37540, 39819, 40299, 40692, 41015, 41063, 41583, 41671, 42423, 43192
(列表;图表;参考;听;历史;文本;内部格式)
|
|
|
抵消
|
1,1
|
|
评论
|
这些字段的特征要么是其3主成分类型(转移核类型,TKT)(2143)、G.19、(2241)、D.10、(4224)、D.5、(4443)、H.4,要么是其转移目标类型(TTTs)[(3,9)^4]、[(3,1,3)、(3,九)^3]、[(3,3,3)^2、(3,19)^2]、[3,3,3)^3、(3,9)](Boston、Bush、Hajir称为IPAD)。后者用于MAGMA PROG,它通过类组结构实质上构成了原理化算法。
|
|
链接
|
N.Boston、M.R.Bush、F.Hajir、,虚二次域p类塔的启发式算法,arXiv:11111.4679[math.NT],2011,数学。Ann.(2013)。
D.C.Mayer,数域的第二个p类群,arXiv:1403.3899[math.NT],2014;《国际数论杂志》第8期(2012年),第2期,471-505页。
D.C.Mayer,metabelian p群的转移,arXiv:1403.3896[math.GR],2014年;莫纳什。数学。166(3-4)(2012),467-495。
D.C.Mayer,余类图上第二p-类群的分布,arXiv:1403.3833[math.NT],2014;J.Théor。Nombres Bordeaux波尔多葡萄酒25(2)(2013),401-456。
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:=真;对于[1..#sO]中的j,做CO:=类组(sO[j]);如果不是(3 eq估价(#CO,3)),则g:=假;结束条件:;结束;如果(真等式g),则d,“,”;结束条件:;结束条件:;结束条件:;结束;
|
|
交叉参考
|
|
|
关键词
|
坚硬的,非n
|
|
作者
|
|
|
状态
|
经核准的
|
|
|
|