Jacobi猜想的逻辑化约

来源 :北京师范大学学报:自然科学版 | 被引量 : 0次 | 上传用户:zhoulinqin274385037
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出有关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的域成立”.
其他文献
我们认为二板市场应该拥有自己的组织管理系统、交易系统和监管系统,从而与主板市场完全区分开来。一个可能的选择是将目前深圳和上海两个交易所的主板市场合并,由其中一个交
白凤桃和京玉桃采后乙烯和脱落酸水平呈现规律性的上升和下降,但脱落酸水平的变化要比乙烯的稍早.而赤霉酸水平采后呈现下降趋势.结果表明,乙烯、脱落酸和赤霉酸都参与调节桃果实的后熟过程.
为提升室内覆盖设计图纸的标准化及电子化水平,促进形成自动化、规范化、集中化的室内覆盖图纸设计审核能力,本文通过信息化手段,研发一套立足于规范化、标准化的室内分布系
从5月初开始,北京中关村15家厂商共同起诉来自台湾的NOVA(百脑汇)。起诉的缘由是台湾百脑汇资讯广场,在通往中关村的302、332和320公共汽车车身上打出的“现在买电脑,马上后悔”的具有挑战性的广
本文简要介绍了纺织子管的特征、技术特点及应用模式,通过实验验证了几种叠加模式下的穿放可行性及穿放效果,并通过实验数据进一步分析纺织子管的建设效益及解决方案。
给出了广义Bernoulli函数用三角多项式在L1范数下的最佳单边逼近的准确值。
本文对通常的有限条方法作了一些改进,提出一种多项式有限条法。本方法使原有方法大为简化,可显著减少计算工作量。
<正> 5月28日,由我校中文系教授李金铠,无线电系教授何克抗、工程师徐力与中国软件技术公司高级工程师李毅民等人合作研制成功的全能中文电脑通过国家级鉴定.全能中文电脑,是
步入微机CAD/CAM时代□王淑玲(中科院沈阳计算技术研究所沈阳110003)由于CAD/CAM软件对硬件的性能要求比较高,70年代至90年代初期CAD/CAM软件主要运行在大中小型机及工作站上,硬件价格偏高,很难在企业推广。随着计算机硬件技术的进步...
在手性相转移催化剂存在下,于室温固-液两相体系,将甘氨酸乙酯二苯酮希夫碱进行相转移催化碳-单烷基化,合成了12个光学活性的α-氨基酸乙酯二苯酮希夫碱的烷基衍生物,并进一