|
|
A091727号 |
| Z[sqrt(-5)]素理想的范数。 |
|
13
|
|
|
2、3、5、7、23、29、41、43、47、61、67、83、89、101、103、107、109、121、127、149、163、167、169、181、223、227、229、241、263、269、281、283、289、307、347、349、361、367、383、389、401、409、421、443、449、461、463、467、487
(列表;图表;参考;听;历史;文本;内部格式)
|
|
|
抵消
|
1,1
|
|
评论
|
由与1,2,3,5,7,9(mod 20)同余的素数以及所有其他素数的平方组成。
环R中非零理想I的范数定义为商环R/I的大小。
请注意,Z[sqrt(-5)]的类号为2。
对于素数p==1,9(mod 20),在Z[sqrt(-5)]中有两个具有范数p的不同理想,即(x+y*sqrt)(-5))和(x-y*squart(-5)),其中(x,y)是x^2+5*y^2=p的解。
对于p==3,7(mod 20),也有两个具有范数p的不同理想,即(p,x+y*sqrt(-5))和(p,x-y*squrt(-50; (2,1+sqrt(-5))和(sqrt)分别是范数为2和5的唯一理想。
对于p==11,13,17,19(mod 20),(p)是范数为p^2的唯一理想。(结束)
|
|
参考文献
|
大卫·A·考克斯,《x^2+ny^2形式的素数》,威利,1989年。
A.Frohlich和M.J.Taylor,《代数数论》,剑桥大学出版社,1991年。
|
|
链接
|
|
|
例子
|
让我成为理想I的标准,那么:
|(2,1+平方(-5))|=2;
|(3,2+sqrt(-5))|=|(3,2-sqrt)|=3;
|(平方码(-5))|=5;
|(7,1+3*sqrt(-5))|=|(7,1-3*sqert(-5);
|(23,22+3*sqrt(-5))|=|(23,22-3*sqrt(-5))|=23;
|(3+2*sqrt(-5))|=|(3-2*sqrt(-5);
|(6+平方码(-5))|=|(6-sqrt(-5)。(结束)
|
|
黄体脂酮素
|
(PARI)是A091727(n)={my(ms=[1,2,3,5,7,9],p,e=isprimepower(n,&p));如果(!e||e>2,0,bitxor(e-1,!vecsearch(ms,p%20));}\\Antti Karttunen公司2020年2月24日
|
|
交叉参考
|
|
|
关键字
|
容易的,非n
|
|
作者
|
|
|
扩展
|
|
|
状态
|
经核准的
|
|
|
|