|
| |
|
| A242873号 |
| 复数二次场的绝对判别式，具有3类群类型（3,3）、3主型（4443）、IPAD[（3,3,3，3）^3，（3,9）]和至少3个未知长度的Hilbert 3类场塔。 |
|
8
|
|
|
|
3896, 6583, 23428, 25447, 27355, 27991, 36276, 37219, 37540, 39819, 41063
(列表；图表；参考；听；历史；文本；内部格式)
|
|
|
|
抵消
|
1,1
|
|
|
评论
|
对于所有这些判别式，三塔群的偏析是非平衡群SmallGroup（729,45），因此塔必须在有限阶段终止与否都是完全开放的。因此，这些判别法是未来研究的首要挑战之一。
这些字段的特征是其3-主体化类型（传输核类型，TKT）（4443），H.4，或等效的传输目标类型（TTT）[（3,3,3）^3，（3,9）]（Boston，Bush，Hajir称为IPAD）。后者用于MAGMA PROG。TKT（4443）不是置换，包含换位，并且没有固定点-丹尼尔·康斯坦丁·迈耶2014年9月22日
|
|
|
参考文献
|
D.C.Mayer，余类图上第二p-类群的分布，J.Théor。Nombres Bordeaux波尔多葡萄酒25（2）（2013），401-456。
|
|
|
链接
|
N.Boston、M.R.Bush、F.Hajir、，虚二次域p类塔的启发式算法，arXiv:11111.4679[math.NT]，2011年。
|
|
|
示例
|
最小的术语3896已经抵制了所有试图确定其希尔伯特3级田地塔长度的尝试。
|
|
|
黄体脂酮素
|
（岩浆）
对于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:=[最大顺序（x）：sF中的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:=假；结束条件：；结束；如果（真eq g）和（3 eq e），则d，“，”；结束条件：；结束条件：；结束条件：；结束；
|
|
|
交叉参考
|
|
|
|
关键词
|
坚硬的,非n
|
|
|
作者
|
|
|
|
扩展
|
|
|
|
状态
|
经核准的
|
| |
|
|
