原根的一点注记

本文用简单的方法证明了关于原根的一个有趣的定理:任意n个自然数a_1相似文献   

关于环的特征与交换性

本文主要讨论了含单位元的无零因子环内特征与交换的关系,得到如下主要结果: 定理1 设R是一个含单位元且无零因子的环,|R|≥p,且~a∈R,(a+e)~p=a~p+e,则charR=p。 定理2 设R是一个含单位元且无零因子的环,存在质数p>1,p≠CharR,使得~a∈R,(a+e)~p=a~p+e,则R为一个有限域。 定理3 假设1)R是一个特征为零的、含单位元、无零因子的环; 2)~x,y∈R,存在整数a_1,a_2,a_3,b_1,b_2,b_3使得:a_1xy~2+a_2yxy+a_3x~2y+b_1xyx+b_2yx~2+b_3y~2x=0则当R为可换时,(a_1+2b_3)(2a_1+a_2)(b_2+2a_3)(2b_1+b_2)≠0 反之,当此式左端任一因子不为零时,R为一个交换环。     

关于线性型的一个结果

J.B.Roberts在[1]中证明了下面一个定理:a_0,a_1,…,a_s是互素的正整数a_0≥2d>0且a_j=a_0+jd(j=1,2,…,s)则,线性型     

关于一类不等式的再次推广

1引言 文[2]对文[1]的结论作了推广和引伸,得到了如下的定理. 定理1 设a_1,a_2,b_1,b_2∈(a,b) a_1+a_2=b_1+b_2,且a_1≤b_1≤b2≤a2 若在(a,b)上f″(x)>0,则 f(b_1)+f(b_2)≤f(a_1)+f(a_2) (1)若f″(x)<0,则 f(b_1)+f(b_2)≥f(a_1)+f(a_2) (2) 本文首先指出,定理1的条件f″(x)>(<)0可放宽为f″(x)≥(≤)0,事实上,     

有限域的一个特征性质

本文主要得到一个定理:若域F的乘群F~·为有限生成:F~·=〈a_1,…,a_3,〉则F为有限域。     

循环连分数的注记

§1.引言设正整数d非平方数,d(1/2)的连分数展开式是d(1/2)[a_0,a_1,…,a_n,…],a_0,a_1,…,a_n,…均为正整数。熟知存在仅与d有关的正整数k,使得当l≥1时有a_l k=a_1p(d)=mink称为d(1/2)连分数展开式的循环节长。在[2]中证明了定理A。logp(d)/logd<1/2 log2/loglogd O(logloglogd/(loglogd)~2)·在这篇注记中,我们要证明定理:     

关于整系数线性型的两个问题

设a_1,a_2,…,a_k是正整数,(a_1,a_2,…,a_k)=1。线性型f_k=a_1x_1+a_2x_2+…+a_kx_k(x_1,x_2,…,x_k取非负整数)所不能表出的最大整数及f_k不能表出的正整数的个数分别以M_k及N_k表示。关于如何求出M_k是一个尚未完全解决的问题,柯召教授首先讨论了k=3的一个情形。在柯召教授的指导下,陆文端又讨论了k=3的另外一些情形。J.B.Roberts对a_1,a_2,…,a_k成算术级数的情形得出了M_k的公式。除重穆推广柯召教授的结果证明了下面的一个定理:命D_i=(a_1,a_2,…,a_i),     

一个三阶线性周期缓变的强迫振荡方程

本文研究了一个三阶线性周期缓变的强迫振荡方程。x+a_1(t)x+a_2(t)x+a_3(t)x=e(t) (1)其中a_1(t+((2π)/ω))=a_1(t),e(t+((2π)/ω))=e(t)(i=1,2,3,),且a_1(t)e(t)是连续可微。采用常系数线性齐次方程构造李雅普诺夫函数的方法,我们得到了方程(1)存在唯一的、稳定的、周期为(2π)/ω的周期解之定理。     

Levitzki根存在定理的一个简单证明

Levitzki根存在定理即:任何环S的所有半幂零理想之并集N是S的半幂零两边理想,且剩余环=S/N不含非零的半幂零理想.此定理可简证之如下:首先我们知道若T是由有限个元素a_1,a_3,…,a_r所生成的环,则T的有限次方T~n亦是由有限个元素b_(i_1),…,i_k=a_(i_1)…a_i(n≤k<2n)所生成的环.由此即不难证明.引理.设     

关于多项式旣约性问题——教学研究一则

<正> 中学代数中因式分解,一般都是在有理数域Q的范围内考虑的。关于有理系数多项式的既约性有着名的Eisenstein判别法则,现在把它写在下面: 定理1(判别法则): 设 f(x)=a_nX~n+a_(n-1)X~(n-1)+…+a_0 是一个整系数多项式,如果有一个素数p使得     

有限域的紧致性定理及其应用

首先给出定理1,它是模型论中紧致性定理的一个推论,但在代数中有不少应用.定理1 设 F={a_1,…,a_n}(n=p~m)为一有限域,令语言     

紧致半单纯李代数的三阶自同构

本文具体给出了紧致半单纯李代数的三阶自同构的共轭分类;同时也指出:这样的两个自同构是共轭的,当且仅当其固定点子代数是同构的。这里我们应用了 Gantemacher关于自同构标准形的定理,但我们的方法限Helgason是完全不同的。 设g是紧致单纯李代数,h是g的一个固定Cartan子代数,π={a_1,…a_l}和∑表示g对于h的素根系和根系,φ=m_1a_1+…m_la_l为首根,令t是g的一个3阶自同构,分t是内、外自同构来讨论。     

多项式根的分布

本文以复变函数论中的 Rouche 定理为基础,给出了有关多项式根的分布规律。Rouche 定理:若 f(Z)与 g(Z)在封闭曲线 C 内及 C 上都解析,又在 C 上有|g(Z)|max{1,(|a_(n-1)| |a_(n-2| … |a_1| |a_0|)/|a_n|}令 f(Z)=a_nZ~n,g(Z)=a_(n-1)Z~(n-1) a_(n-2))Z~(n-2) … a_1Z a_0 由有关 R 的假设可得:|a_(n-1| |a_(n-2| … |a_1| |a_0|<|a_n|R 即(|a_(n-1)| |a_(n-2)| … |a_1| |a_0|)<|a_n|R~n由于 R>1及在 C 上|Z|=R,所以,|a_(n-1)Z~(n-1) a_(n-2)Z~(n-1) …… a_1Z a_0|<|a_nZ~n|也就是说,|g(Z)|<|f(Z)|,因此 f(Z)与 f(Z) g(Z)在 C 内(|Z|相似文献   

二点分布K阶矩的若干性质

随机变数高阶矩的计算一般来说是困难的,因此估值显得很重要。本文对于二点分布K阶绝对矩证明了如下两个定理: 定理1.如果独立随机变数§_1,§_2,…,§n都有二点分布则对于实数集{a_1,a_2,…,a_n}有其中 定理2.如果独立随机变数§_1,§_2,…,§n都有二点分布则对于实数集{a_1,a_2,…,a_n}有 其中     

一些特殊类型矩阵多项式的逆矩阵的求法

设 A=(a_1,)是一个n阶方阵,其特征多项式 ∧(x)=x~n-(a_(11)+…+a_...)x~(n-1)+…+(-1)~a|A|,其中第k次项的系数为(-1)~(n-k)乘以A的一切n-k阶主子式之和(0≤k相似文献   

单形的两个几何定理

本文的主要结果是:1)利用Cayley-Menger行列式的推广形式得到与杨路、张景中的高维余弦定理相应的高维正弦公式与高维正切公式;2)与F.Erikson的单形正弦定理相应的单形次正弦定理.     

等差数列的两个充要条件

我们知道,如果{a_n}为等差数列(以下简记为A·P),那么它的通项和前n项和分别是: a_n=a_1 (n-1)d ① S_n=na_1 n(n-1)d/2 ② 整理,得 a_n=d_n (a_1-d) ③ S_n=d/2n~2 (a_1-d/2)n ④ ③、④二式表明:当d≠0时,A·P的a_n是n的一次式,S_n是n的二次式;当d=0时,A·P的a_n是常数,S_n是n的一次式。 现在的问题是:如果一个数列的通项a_n=kn b(k,b为常数),那么这个数列是否是A·P?如果前n项和S_n=pn~2 q~n r,这个数列是否是A·P?下面的两个定理分别解决了这个问题。 定理1 数列{a_n}为A·P的充要条件是:a_n=kn b(其中k,b是常数)。     

一类高阶非线性微分方程解的稳定性

本文对高阶非线性微分方程组x=f_1(x,y,x,y,x,y)…y=f_2(x,y,x,y,x,y)的某些特殊类型,研究了平凡解的全局渐近稳定性[1],用类比法[2]构造李雅普诺夫函数,得到了全局渐近稳定性的一些充分条件。主要结果为定理2、定理3和定理4。文中具体研究了如下三种类型的方程:和x a_1x a_2y a_3x a_4y f(x)=0…y b_1x b_2y b_3x b_4y g(y)=0x a_1x a_2y f(x) a_4y a_3x=0…y b_1x b_2y b_3x g(y) b_6y=0x f(x) a_2y a_3x a_4y a_5x=0…y b_1x g(y) b_3x b_4y b_6y=0其中ai,bi(i=1.2.…,6)均为常数,f和g具有保证解对初值唯一性的条件。     

二阶非线性变系数微分方程组的全局稳定性

考虑系统 x=-a_1(t)f(x)+a_2(t)ф(y) y=a_3(t)x-a_4(t)y,f(0)=0,ф(0)=0 (1)定理1 假设成立条件(假定本文所考虑的函数均连续可微): 1)x·f(x)>0,(x≠0),且|f(x)|≥|x|; 2)对于一切t≥t_0,有a_1(t)≥a_1(>0);a_2(t)≤a_2(>0),a_3(t)≤a_3(0),a_4(t)≥a_4(0),(a_2+a_3)/(a_1~(1/2)·a_4~(1/4))<2 3)|φ(y)|≤|y|; 4)lim |x|→integral from n=0 to x (f(x)dx=+∞)则非线性系统(1)的零解是全局渐近稳定的。     

有限域内一元高次方程的解法

本文将给出一元多项式 f(x)=a_0 a_1x … a_nx~n (a_n≠0)……(1)在有限域内的根的个数定理以及求根方法——线性化解法定理,并分别给予证明。