显示找到的2个结果中的1-2个。
第页1
11, 13, 23, 25, 37, 47, 49, 59, 61, 71, 73, 83, 97, 107, 109, 121, 131, 157, 167, 169, 179, 181, 191, 193, 227, 229, 239, 241, 251, 263, 277, 289, 311, 313, 337, 347, 349, 359, 361, 373, 383, 397, 409, 419, 421, 431, 433, 443, 457, 467, 479, 491, 503, 529, 541, 563
评论
奇数素数幂q,使得F_q中的3^((q-1)/2)=1。
素数幂q使得x^2-3在F_q[x]中分裂为不同的线性因子。
包含模12等于1或11的素数的幂,以及模12等于5或7的素数偶幂。
例子
49是一个项,因为F_49=F_7(i)中的3=-4=(+-2i)^2。
黄体脂酮素
(PARI)是A365313(n)=i素数(n)&&(n%12==1|n%12==11)
7, 9, 17, 23, 25, 31, 41, 47, 49, 71, 73, 79, 81, 89, 97, 103, 113, 121, 127, 137, 151, 167, 169, 191, 193, 199, 223, 233, 239, 241, 257, 263, 271, 281, 289, 311, 313, 337, 343, 353, 359, 361, 367, 383, 401, 409, 431, 433, 439, 449, 457, 463, 479, 487, 503, 521, 529
评论
模8等于1或7的素数幂q。
奇素数q的幂,使得F_ q中的2^((q-1)/2)=1。
素数幂q使得x^2-2在F_q[x]中分裂成不同的线性因子。
包含模8等于1或7的素数的幂,以及模8等于3或5的素数偶幂。
命题1:假设q不是2的幂,gcd(a,q)=1,那么a是F_q中的平方当且仅当Jacobi符号Jacobi(a,q)=1时。
证明:a是正方形当且仅当a ^((q-1)/2)==1(mod p)。我们有一个^((q-1)/2)=(a^(p-1)/2))^。写q=p^e,然后根据定义,我们有Jacobi(a,q)=Jacobi^{e-1}_{i=0}(p^i-1)总是偶数,这是显而易见的。
一个简单的推论是,如果q是一个平方,那么每个整数与q的互素在F_q中总是一个平方(因为在这种情况下Jacobi(A,q)=1)。事实上,由于F_q是F_{sqrt(q)}的唯一二次扩张,因此F_{sqlt(q){中系数的每一个二次多项式都在F_q中分裂。
命题2:假设a==1(mod 4),gcd(a,q)=1,那么x^2-x-(a-1)/4在F_q[x]中分裂为不同的线性因子,当且仅当Jacobi(q,a)=1(或Kronecker(a,q)=1)。
证明:命题1处理q为奇数的情况。对于偶数q,我们有x^2-x-(a-1)/4=x^2+x+1,它在F_q[x]上可约当且仅当q是2的偶幂。
例子
9是一个项,因为F_9=F_3(i)中的2=-1=(+-i)^2。
黄体脂酮素
(PARI)是A366526(n)=i素数(n)&&(n%8==1||n%8==7)
搜索在0.005秒内完成
查找|欢迎光临|维基|注册|音乐|地块2|演示|索引|浏览|网络摄像头
贡献新序列。或评论|格式|样式表|变换|超级搜索|最近
OEIS社区|维护人OEIS基金会。
许可协议、使用条款、隐私政策。.
上次修改时间:2024年9月23日14:54 EDT。包含376178个序列。(在oeis4上运行。)
|