%I#12 2016年12月22日12:01:24

%S 1,0，-1，-4，-6，-11，-13，-20，-20，-29，-23，-34，-14，-27,23,8120103341，

%电话32281479317951772379637717841781415978159493230332272，

%电话：650086497513047713044226147826144152354752350810477561047715

%N a（N）=2^（楼层（N-1）/2）-N*（N-1。

%C具有非平凡中心的代数群的本质维数的下界。

%C见定理1.13，第4页。a的本质维数ed a（相对于L）是a的所有定义字段的超越度tr deg_k k的最小值。假设k是一个不等于2的特征字段，sqrt（-1）是k的元素。如果n不能被4整除，则a（n）<=ed Spin_n<=2^（floor（（n-1）/2））。如果n可以被4整除，那么a（n）+1<=ed Spin_n<=2^（floor（n-1）/2））+1。

%H G.C.Greubel，n表，n=1..1000时的a（n）</a>

%H Patrick Brosnan、Zinovy Reichstein、Angelo Vistoli，<a href=“http://arXiv.org/abs/math/0701903“>基本维度和代数堆栈，arXiv:math/0701903[math.AG]，2007。

%H<a href=“/index/Rec#order_05”>具有常系数的线性重复出现的索引条目，签名（3，-1，-5,6，-2）。

%F来自R.J.Mathar_，2009年9月27日：（开始）

%F a（n）=3*a（n-1）-a（n-2）-5*a（n-3）+6*a（4-4）-2*a（n-5）。

%传真：x*（-1-4*x^3+x^4+3*x）/（2*x^2-1）*（1-x）^3）。（结束）

%t线性递归[｛3，-1，-5，6，-2｝，｛1，0，-1，-4，-6｝，50]（*_G.C.Greubel_，2016年12月21日*）

%o（PARI）Vec（x*（-1-4*x^3+x^4+3*x）/（2*x^2-1）*（1-x）^3）+o（x^50））\\_G.C.Greubel_，2016年12月21日

%K放松，签名

%O 1,4型

%A _Jonathan Vos Post，2009年7月27日

%E由N.J.A.Sloane编辑（但未检查），2009年8月1日