G_3n~n(Q)(n≥3)不是K_2Q的子群

设Φn(x) 是 n 次分圆多项式,记 Gn(F) = {{x,Φn(x)} ∈ K2F x,Φn(x) ∈F*},其中F是域.证明了当n≥3时,G3n (Q)不是K2 Q的子群,从而部分地证实了Browkin 的一个猜想.     

G3n(Q)(n≥3)不是K2Q 的子群

设Φn(x)是n次分圆多项式，记Gn(F)={{x，Φn(x))∈K2F|x，Φn(x)∈F^*)，其中F是域．证明了当n≥3时，G3^n(Q)不是K2Q的子群，从而部分地证实了Browkin的一个猜想．     

pk元域F及F的单超越扩域E上的二项方程

设F是pk元域,E是F的单超越扩域.对于F及E上的二项方程,给出了根的判别条件、根的个数、根的求法及求根的例子.     

特征为0域上线性群的有限子群的界定

将Schur的线性群GL(n,Q)上扭子群必为有限群这一性质推广到Q的一般有限扩域F上,证明了GL(n,F)中方次数有限的子群的阶仅与n和[F:Q]有关.     

素除子在三次可分代数函数域中的分解

有理素数在三次代数数域中的素理想分解可由该数域的定义多项式的系数有效地决定.本文对于代数函数域F_q(x)(这里F_q 是q 元有限城,x 是不定元)的三次可分扩域得到类似结果.令K/k(x)是代数函数域k(x)的可分三次扩张,这里k=F_q,q=L~■,L 是素数.于是K=k(x,■),β在k(x)上的极小多项式是f(u)=u~3+Au~2+Bu+C,A,B,C∈k[x].当L≠3时,可通过配方法消去二次项系数;当L=3时,可通过线性变换消去一次项系数,再令y=1/n,亦可消去二次项系数,于是一般地,K=k(x,α),α在k(x)上的极小多项式是     

具有零因子的一类代数

[1]决定了具有 n(n≥2)个零因子且元数为 n~2的有限交换环的结构,本文考查代数的情形,将元数换成极大无关组所含元素的个数,决定相应的代数的结构.设 F 是特征零的域,K 是 F 上 n 次扩域,命A={(a,b)|a,b∈K},规定 A 的纯量乘法、加法、乘法分别为:α(a,b)=(αa,αb),Aα∈F,(a,b)+(c,d)=(α+c,b+d),(a,b)·(c,d)=(ac,ad+bc),     

有限域上的特征多项式与最小多项式

<正> 设F 是有限域,K 是F 的有限扩域。[K∶F]=m。K 中任一元α的最小多项式是指一个首项系数为1,最低次多项式f(x),使f(α)=0。所谓α的特征多项式g(x)是把α看成F 上的线性空间k 中的左乘线性性变换的特征多项式。本文给出α~t 的特征多项式与最小多项式的求法。     

关于三等分,五等分,……等问题

在许多近世代数的教程中证明了:一个实数a,只有当有理数域Q的扩域Q(d)的次数为2~n,即[Q(a):Q]=2~n时,才能由园规与直尺作出,见文献[1], 一个任意角不能用园规与直尺三等分,其标准证明是这样完成的:60~0不能被三等分,只要注意三次方程     

P~k元域F的单超越扩域E上的二次方程

设F是P~k元域,E是F的单超越扩域,本文中,给出E上的二次方程Ay~2 By C=0(A≠0)在E中有根或没有根的条件,若方程有根,则同时给出根的个数。     

域F上的在F的扩域内相似的矩阵

本文证明了:如果A与B在F的扩域上F上相似,则当F是无限个元素的域时,A与B在F上也相似.当F是有限个元素的域时,讨论了二阶矩阵的情形并得到同样结果.     

F=Q(ξ7+ξ-17)中素理想P在F(7(√)μ)中的分解

代数数论是研究代数数域(即有理数域的有限次扩域)和代数整数的一门学问,其中素理想分解问题是代数数论中较为重要的课题,尤其是判断素理想在域的有限扩张中的分解状况具有重要意义.借鉴其他素理想分解的理论基础上,讨论了F=Q(ξ7+ξ-17)中素理想P在F(7√μ,ξ7+ξ-17)中的分解条件以及分解形式.     

F=Q(ξ_7+ξ_7~(-1))中素理想P在F(μ~(1/7))中的分解

代数数论是研究代数数域(即有理数域的有限次扩域)和代数整数的一门学问,其中素理想分解问题是代数数论中较为重要的课题,尤其是判断素理想在域的有限扩张中的分解状况具有重要意义.借鉴其他素理想分解的理论基础上,讨论了F=Q(ξ7+ξ-17)中素理想P在F(7槡μ,ξ7+ξ-17)中的分解条件以及分解形式.     

关于绝对不可分模的一个充要条件

设F是域,A是有限维F-代数,V是有限生成A-模,E:=End_A(V)是V的自同态环。关于V是绝对不可分模的定义有两种,其一是指对F的任意扩域K,V⊕K是不可分A⊕K-模;其二是指dimF[E/J(E)]=1.前者用扩张的观点来描述,后者用同态的语言来刻画,但二者不等价。本文给出了第一种定义方式的自同态环刻画,从而给出了两种定义间的全部差异: 定理 V在第一种定义方式下绝对不可分,当且仅当剩余类除环E/J(E)是F的纯不可分扩域。     

关于非交换体的一个问题

我们熟知,一个交换体K上的每一个n次多项式在K内最多有n个不同的根,但是对于一个非交换体F,在F上的n次多项式在F内就可能有多于n个的根.例如四元数体Q上的多项式 x~2 1 (1)在Q内便有根i、j、k。事实上,多项式(1)在Q内有无限多个根。 于是我们就会提出这样的问题:是不是每一个非交换体F上都存在着这样的多项式使得它在F内根的个数超过它的次     

三重二次数域的正规整基

设K是一个代数数域且K/Q是Galios扩张,它的Galios群为Gal(K/Q)={σ1,σ2,…,σn).OK是K的代数整数环,则Ok在Z上有一组整基,即Ok是秩为n的自由Z模.本文探讨并完全确定了三重二次数域Q(√m1,√m2,√m3)的正规整基及其生成元.     

PK元域F及其单超越扩域E上的四类方程

本文讨论P^K元域F及其单超越扩域E上的二次方程、三次方程、二项方程、三项方程，给出方程在F及E上有根或没有根的条件，若方程有限，则给出根的个数与求根的方法，这些结果应用于组合设计、     

有限域上的一类线性空间的注记

本文从线性代数的理论出发讨论有限域上的一类向量空间。首先得出,有限域F上的血量空间V上的任何线性变换在其F的一个代数扩域（非代数闭域）上都存在特征值;其次给出．有限域F上的一类域空间上的一类线性交换的表示;最后讨论了特征p≠2的有限域F上的内积空间的一些性质。     

关于一类数域的子域

设P是一个奇系数，m，r为两个正整数满足m不含p^r次因子且p|m．作者得到了有理数域Q上的不可约多项式x^p^r-m的分裂域K=Q(p^r√m,ξ)的p^k(1≤k≤2r-1)次子域的个数的一个下界．     

F=Q（ξ7＋ξ7^-1）中素理想P在F（7（√）μ）中的分解

代数数论是研究代数数域（即有理数域的有限次扩域）和代数整数的一门学问,其中素理想分解问题是代数数论中较为重要的课题,尤其是判断素理想在域的有限扩张中的分解状况具有重要意义.借鉴其他素理想分解的理论基础上,讨论了F=Q（ξ7＋ξ7^-1）中素理想P在F（7√μ,ξ7＋ξ7^-1）中的分解条件以及分解形式.     

Jacobi猜想的逻辑化约

提出有关Jacobi猜想的两个命题:A.若Janobi猜想在有理数域Q上成立,则Jacobi猜想在代数域Q上成立.B.对每个正整数对(n,d),存在正整数f(n,d)使得:对每个素数p>f(n,d)及每个特征数p的域K,若多项式映射F:K~n→K~n适合degF≤d且detJ(F)=1,则F可逆.然后用模型论方法证明了定理:“命题A与B成立”等价干“Jacobi猜想对一切特征数0的域成立”.