可除的四元数代数上多项式环的Grbner基(英文)

设F是一个特征不等于2的域,A是F上的一个可除代数。本文研究了A上多项式环A[x1,x2,…,xn]中理想是有限生成的,以及它的Gr bner基;也表明F[x1,x2,…,xn]中有限子集G是F[x1,x2,…,xn]的Gr bner基当且仅当G是A[x1,x2,…,xn]中的Gr bner基。     

Grobner基的一个应用

固定一个项序,利用Buchberger算法求多项式环S=C[x1,x2,…,xn]上的理想I的Grbner基.根据S上任意多项式f（x1,x2,…,xn）用Grobner基表示时其余项唯一的特点,将其应用到求解多项式方程组问题.实例展示用Grobner基可证明一个联立方程式是无解的.     

保持理想的Gr(o)bner基的同态映射的一个有效判定方法

设Θ是k[x1,x2,……,xn]上的自同态映射,＞,＞′分别是有理项序.本文刻划具有下列性质的同态映射Θ对任意Grobner基G(关于项序＞),GoΘ仍是Grobner基(关于项序＞')并且较好地解决了Hong的问题1[1].     

保持理想的Grbner基的同态映射的一个有效判定方法

设Θ是k[x_1,x_2,…,x_n]上的自同态映射,>,>’分别是有理项序。本文刻划具有下列性质的同态映射Θ:对任意Grobner基G(关于项序>),G o Θ仍是Grobner基(关于项序>’),并且较好地解决了Hong的问题1。     

杨学枝猜想21的完善和初等证法

杨学枝老师在文[1]中提出的猜想21如下: 设xi∈-R,i=1,2,…,n,记s1=η∑xi=1,sn-1=x2x3…xn+x1x3…xn+…+x1x2…xn-1,sn=x1x2…xn,则 sn1-(n-1)n-1 s1 sn-1+n2[(n-1)n-1-nn-2]Sn≥0,① 当且仅当x1=x2-…=xn时取等号. 笔者探究发现①式取等号成立的充要条件应该是:x1=x2=…=xn,或x1=x2=…=xn-1,xn=0.     

一个新颖不等式的对偶结果

杨克昌、陈培德两老师在贵刊文[1]给出如下:定理1　设0≤d≤2,xi>0,1≤i≤n,则max1≤i≤n{xi}(x1 (1 d)x2 … (1 (n-1)d)xn)≥(n-1)d 22n(x1 x2 … xn)2等号成立当且仅当x1=x2=…=xn.笔者读后深感此不等式很奇妙,并思之此定理有其对偶的形式,即有定理2　设0≤d≤2,xi>0,1≤i≤n,则min1≤i≤n{xi}(x1 (1 d)x2 … (1 (n-1)d)xn)≤(n-1)d 22n(x1 x2 … xn)2(1)等号成立当且仅当x1=x2=…=xn.证明的方法同文[1]证　视(1)式左边减去右边所得的差为d的函数,记作g(d).显见g(d)是一个线性函数.所以为证g(d)在整个区间[0,2]上非正,只要证g(d)在区间端…     

一个多元绝对值函数的最小值

对于函数F(x1,x2,…,xn)=|a1x1 a2x2 … anxn A|,由绝对值的意义知F(x1,x2,…,xn)≥0.特别,当ai,xi,A∈Z(i=1,2,…,n)时,该函数有更精确的下界,本文将给出这个结论.定理设F(x1,x2,…,xn)=|ni=1aixi A|,ai,xi,ki,A,m∈Z,(a1,a2,…,an)=d,ai=kid,(k1,k2,…,kn)=1,A=md r,0≤r相似文献   

对偶余模函子()°和余反射余模

本文给出对偶余模M°的结构刻划及（）°作为逆变函子的左正合性．同时引入余反射余模描述余反射余代数，由此研究余反射余代数的同调性质，证明当char（F）＝0时，F[x1，...，xn]°上的Serre猜测是成立的，即F[x1，...，xn]°的有限余生成内射余模均为余自由的．     

一个多元绝对值函数的最小值

对于函数F(x1，x2，…，xn)=|α1x1 α2x2 … αnxn A|，由绝对值的意义知F(x1，x2，…，xn)≥0，特别，当αi，xi，A∈Z(i=1，2，…，n)时，该函数有更精确的下界，本文将给出这个结论。     

一类整除性定理的推广

[1 ]给出复数域C上多元多项式环 C[x1 ,x2 ,… ,xn]的一类整除性定理 ,本文把它推广为任意代数闭域 k上多元多项式环 k[x1 ,x2 ,… ,xn]的情形 .     

Niveau hermitien de Certaines algèbres de quaternions

Let D [d] =(a,b/F) a quaternion divisior algebra over a field F of characteristic ? 2. Denote 1, i, j , k the basis of D, such that i²[d] n, j²[d] b, ij [d] -ji [d] k and A :D → D the involution given by i [d] -i, j [d] j (and k [d] k). In [LE] D. LEWIS asks the following question :Does there exist a quadratic Pfister form [S p. 721 [d] such that the hermitian form [d] [d] D is isotropic over (D, [d]) but not hyperbolic &; In this note, we show that the answer of this question is negative, so that the hermitien level [§I], when it is finite, of (D, A) is a power of two. This result holds for quaternion algebras with standard involution [LE].     

关于标准分层代数的多项式代数的滤链维数

标准分层代数是拟遗传代数的推广,其性质和理论意义受到人们的重视.在本文中,设A是域k上的标准分层代数,我们从特征模的角度,对A的多项式代数A[x]上的滤链维数进行了研究,得到了一些有意义的结果.     

On quaternion algebras

It is proved that the distributiveness of the right ideals lattice for a quaternion algebra over a commutative ring A is equivalent to the following property: the equation x²+y²+z²=0 is uniquely solvable in the field A/M for any maximal ideals M of A, the lattice of the ideals of A being distributive. Bibliography: 5 titles. Translated from Trudy Seminara imeni I. G. Petrovskogo, No. 17, pp. 209–214, 1994.     

Derivations of generalized Weyl algebras

A class of the associative and Lie algebras A[D] = A F[D] of Weyl type are studied, where A is a commutative associative algebra with an identity element over a field F of characteristic zero, and F[D] is the polynomial algebra of a finite dimensional commutative subalgebra of locally finite derivations of A such that A is D-simple. The derivations of these associative and Lie algebras are precisely determined.     

On the zeros of polynomials over arbitrary finite dimensional algebras

In [3] it was shown that a polynomial of degree n with coefficients in an associative division algebra, which is d-dimensional over its center, has either infinitely many or at most n^d zeros. In this paper we raise the same question for arbitrary m-ary F-algebras A which are d-dimensional over the algebraically closed field F. Our main result states that in the affine space of m-ary algebras of dimension d there is a non-empty Zariski-open set whose elements A have the following property: in the space of polynomial of precise degree n with coefficients in A there is a non-empty Zariski-open set whose elements have precisely n^d zeros. It is shown that all simple algebras, all semi-simple associative algebras, all semisimple Jordan algebras (char F2), all semi-simple Lie algebras (char F=0), and the generic algebra possess this property.     

四元数矩阵方程∑A~iXB_i=E

设ＨＦ为域Ｆ上广义四元数可除代数，其中ｃｈａｒＦ≠２．应用伴随矩阵与矩阵表示方法，本文得到ＨＦ上矩阵方程∑ｋｉ＝０ＡｉＸＢｉ＝Ｅ有解或有唯一解的几个充要条件，并且给出了几个解的公式．     

Über die zentrale Picard-Gruppe und die Einheiten lokaler Quaternionenordnungen

Let M be any order of a quaternion algebra Q over a local field F. The group M^x of units and the central Picard group Picent (M) of M are investigated. The group index (L^x:M^x) and, if F is of characteristic 2, also the norms of all primitive ideals of M and the order of Picent (M) are determined explicitly, where L denotes any maximal order of Q containing M. Applications of these results to local densities of ternary quadratic forms and to class numbers and type numbers of global quaternion orders are indicated.     

Differents in modular invariant theory

Let be a graded polynomial algebra over a field k, such that each variable is homogeneous of positive degree. No restrictions are made with respect to the field. Let the finite group G act on A by graded algebra automorphisms and denote the subalgebra of invariants by B. In this paper the various "different ideals" of the extension are studied that define the ramification locus. We prove, for example, that the subring of invariants is itself a polynomial ring if and only if the ramification locus is pure of height one. Here the ramification locus is defined by either the Kahler different, the Noether different or the Galois different. As a consequence we prove that the invariant ring is itself a polynomial ring if and only if there are invariants whose Jacobian determinant does not vanish and is of degree δ, where δ is the degree of the Dedekind different. Using this criterion we give a quick proof of Serre's result that if the invariant ring is a polynomial algebra, then the group is generated by generalized reflections.