登录
OEIS由OEIS基金会的许多慷慨捐赠者.

 


247689英镑
具有3类群类型(3,3)和3主型(2241)的复二次域的绝对判别式。
2
4027, 8751, 19651, 21224, 22711, 24904, 26139, 28031, 28759, 34088, 36807, 40299, 40692, 41015, 42423, 43192, 44004, 45835, 46587, 48052, 49128, 49812, 50739, 50855, 51995, 55247, 55271, 55623, 70244, 72435, 77144, 78708, 81867, 85199, 87503, 87727, 88447, 91471, 91860, 92712, 94420, 95155, 97555, 98795, 99707, 99939
抵消
1,1
评论
这些字段的特征要么是它们的3-主体化类型(传输核类型,TKT)(2241),D.10,要么是它们等效的传输目标类型(TTT)[(3,3,3),(3,9)^3](Boston,Bush,Hajir称为IPAD)。后者用于MAGMA PROG,本质上通过类组结构构成了原理化算法。TKT(2241)有一个固定点,不是排列。
对于所有这些判别式,三塔群是metabelian Schur sigma-group SmallGroup(243,5),希尔伯特三级场塔终止于第二阶段。
Scholz和Taussky对4027进行了深入的讨论。
链接
N.Boston、M.R.Bush、F.Hajir、,虚二次域p类塔的启发式算法,数学。Ann.(2013),预印本:arXiv:11111.4679v1[math.NT],2011,数学。Ann.(2013)。
D.C.Mayer,基于类组结构的原理化算法,J.Théor。Nombres Bordeaux(2014),预印本:arXiv:1403.3839v1[math.NT],2014年。
D.C.Mayer,余类图上第二p-类群的分布,J.Théor。Nombres Bordeaux波尔多葡萄酒25(2)(2013),401-456。
A.Scholz和O.Taussky,kubischen Klassenkörper图片社ZahlköerperJ.Reine Angew著。数学。171 (1934), 19-41.
黄体脂酮素
(岩浆)
对于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:=阿贝连扩展(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当量估值(#CO,3)),则如果([3,3,3]当量pPrimaryInvariants(CO,3)),则e:=e+1;结束条件:;否则g:=假;结束条件:;结束;如果(真eq g)和(1 eq e),则d,“,”;结束条件:;结束条件:;结束条件:;结束;
交叉参考
囊性纤维变性。A242862号,A242863号,A242864号(超序列),以及A247690型,A242873号(不相交序列)。
关键词
坚硬的,非n
作者
状态
经核准的

查找|欢迎光临|维基|注册|音乐|地块2|Demos公司|索引|浏览|网络摄像头
贡献新序列。或评论|格式|样式表|变换|超级搜索|最近
OEIS社区|维护人OEIS基金会。

许可协议、使用条款、隐私政策。.

上次修改时间:美国东部夏令时2024年9月20日18:47。包含376075个序列。(在oeis4上运行。)