编辑
提出
阿洛伊斯·海因茨：另请参见：签名（11,1）。。。
a（n）=11*a（n-1）+a（n-2）。_- _Mike Speciner，2024年8月20日
迈克·斯佩纳：添加了基于fib（k*n）=lucas（k）*fib（k*（n-1））-（-1）^k*fib（k*（n-2））的公式
a（n）=11*a（n-1）+a（n-2）。 _迈克 Speciner公司_, 八月 20 2024
a（n）=11*a（n-1）+a（n-2）。
经核准的
序列包括2, 这个下列的: 2, 积极的 权力 属于 与1模4同余的素数，以及正方形 这个 积极的 即使 权力 与3模4同余的素数。
迈克·斯佩纳：再次修改评论。希望现在它是明确的。
乔格·阿恩特：如我所说，“素数平方等于3模4”是有误导性的；而是说“素数的偶数指数与3模4同余的幂”？
GF（p^n）的乘法群是o=p^n-1阶循环的。对于p=2，1=-1，所以1是-1的平方根。否则，-1的阶数是2，因此-1的任何平方根的阶数都是4。所以，要有-1的平方根，o mod 4必须是0，即p^n mod 4=1。如果g是群的生成器，那么g^（o/4）是-1的平方根。p^n mod 4=1当且仅当p mod 4=1或p mod 4=3且n为偶数。
对称差A000079号（2的幂）和A085759号（素数幂等于1模4）。
罗伯特·P·麦肯：我认为需要添加这些有限字段的几个示例，以确认此序列并使其有意义？
迈克·斯佩纳：GF（p^n）的乘法群的阶为p^n-1。如果p=1模4，则该顺序是4的倍数，而如果p=3模4则只有当n为偶数时，该顺序才是4的整数倍。如果p=2，1=-1，那么-1总是一个正方形；否则-1的阶数是2，所以它的平方根必须是4，它必须除以字段的乘法阶数。因此，当-1不是正方形时，即当p=3模4且n是奇数时，它位于x^2+1的分裂域中，即GF（p^（2n））。也许可以参见A008784以了解GF（p）案例。由此很容易看出，GF（p）或GF（p^2）的平方根都是-1，因此任何字段扩展都有-1的平方根。
迈克·斯佩纳：也许我应该提到，有限域的乘法群是循环的，这意味着1对任何划分群阶的k都有第k个根。
（Python）
(蟒蛇)从itertools导入计数
