代数函数域上的局部恢复码

假设C是有限域Fq上的[n,k]线性码,如果码字的每个坐标是其它至多r个坐标的函数,称C是(n,k,r)线性码,这里r是较小的数.本文在代数函数域上构造出了局部恢复码,它的码长不受字符集大小的限制,实际上,它的码长可以远远大于字符集的大小;并将此方法应用于广义Hermite函数域,得到了一类广义Hermite函数域上的...     

代数几何码概述

本文概述了有限域代数曲线上的码的一些最近结果．     

代数函数域及模型的Kodaira维数

Iitaka 对特征零情形引进了代数簇的 Kodaira 维数的概念,由此发展的一套理论对代数几何中的双有理分类问题起到重要的作用(参见(3)和(7)).由罗昭华定义的(参见(6))任意特征代数函数域的 Kodaira 维数的概念是观察双有理问题的一个新的途径.在本文中,我们首先证明了罗意义下的 Kodaira维数当代数函数域进行某种特殊的扩张(即称为正则扩张)时是不变的.另外,我们定义了代数函数域之模型的 Kodaira 维数,并就此证明了关于代数簇的一个母纤维定理.     

实二次代数函数域理想类群的子群

给出了实二次代数函数域K的理想类群H(K)含有n阶循环子群的充分必要条件. 并构作了8个系列的实二次函数域, 使其理想类群均含有n阶循环子群. 特别, 可知这些函数域的理想类数均含因子n .     

一类具有双恢复集的局部恢复码的构造

假设C是有限域Fq上的[n,κ]线性码,如果码字的每个坐标是其它至多r个坐标的函数,称C是(n,k,r)局部恢复码,这里r是较小的数.在分布式存储系统中,具有多个恢复集的局部恢复码使得数据在系统中更具实际意义,因为它可以避免热数据的频繁访问.引入代数函数域、特别是Hermite函数域去构造局部恢复码,这类局部恢复码具有...     

一类代数几何码的构造

利用有限域Fq^8(s≥1为正整数，q为素数幂)上代数曲线构造了一类q元线性码，这类线性码是q^8元几何Goppa码的子域子码的子码，同时也是Chaoping Xing，SanLing构造的代数几何码[1]的推广。     

一些循环代数函数域的不分明理想类

本文研究了一些l次循环函数域的理想类群的不分明理想类的结构问题.利用函数域的素理想分解理论和理想的一阶上同调理论,得到了这几类循环函数域的理想类群的l-秩的下界.进一步,我们还得了一些不分明理想类中不含不分明理想的域的充分条件.     

代数多项式和指数型整函数在Besov空间中的逼近

用Ｋ－泛函定义了一类Ｂｅｓｏｖ空间,并分别用ｎ阶代数多项式及指数为σ的整函数的最佳逼近阶给出了其特征的刻画。     

实数域上有限可除代数矩阵空间保幂等的线性算子

关于矩阵空间保持各种性质的线性算子的研究引起了许多学者的注意(看〔1〕—〔8〕)。本文拟将[8]关于实对称矩阵保幂等线性算子的表达式向一般的实数域上有限可除代数矩阵空间推广,本文的方法便于统一地讨论这类问题。     

计算微分代数系统稳定域的迭代Lyapunov函数方法

用迭代Lyapunov函数方法对微分代数系统稳定域进行了研究,根据所研究的微分代数系统形式,构造一个Lyapunov函数,然后对这个Lyapunov函数进行逐次迭代,给出了微分代数系统稳定域逐次扩大的迭代算法,数值实验表明迭代Lyapunov函数方法应用于微分代数系统稳定域的估计比单个Lyapunov函数具有良好的优越性。     

函数域常值域扩张的类数整除性

设K/F_q是亏格大于0的整体函数域,K_n:=KF_(q~n)是K上的n次常值域扩张.利用整体函数域zeta函数的整系数多项式的有理表达式,结合函数域常值域扩张的基本性质,对于满足特定条件的素数l,本文讨论了使得除子类群Pic~0(K_n)的Sylow-l子群为非平凡群的常值域扩张K_n的存在性.     

函数域的双重根式扩域及素除子的密度

设K/F_q是整体函数域,l是与q互素的素数,ξ_1是K的固定代数闭包中的本原l次单位根.对于a,b∈K~*-(K~*)~l,本文主要讨论了根式扩域K(a~(1/2))与K(a~(1/l),(b~(1/l))的性质,利用Kummer理论给出了K(a~(1/l))/K与K(a~(1/l),b~(1/l))/K不是几何扩张的充要条件.当a,b是l-无关时,对于K的素除子P及对应的离散赋值环θ_P,利用这两类扩张的性质,通过分析a,b生成循环群(θ_P/P)~*的充要条件,本文明确给出了满足使得a,b生成循环群(θ_P/P)~*的全体素除子集合M_(a,b)的Dirichlet密度公式.     

A Class of Artin-Schreier Towers with Finite Genus

We study the asymptotic behaviour of the genus in some Artin-Schreier towers of function fields over a finite field, and we present a new class of Artin-Schreier towers having finite genus.     

Algebraic Independence of Certain Values of Exponential Function

The algebraic independence of e^θ1,…,e^θs is proved, where θ1,… ,θs are certain gap series or power series of algebraic numbers, or certain transcendental continued fractions with algebraic elements.     

Diophantine Undecidability of Function Fields of Characteristic Greater than 2, Finitely Generated over Fields Algebraic over a Finite Field

Let F be a function field of characteristic p > 2, finitely generated over a field C algebraic over a finite field C _p and such that it has an extension of degree p. Then Hilbert's Tenth Problem is not decidable over F.     

整体函数域素数次循环扩域的类群

设K/F是整体函数域的素数l次循环扩张,F是有理函数域F_q(T)上的有限可分扩域.利用函数域的Conner-Hurrelbrink正合六边形与源于短正合列的正合六边形,本文在l整除与不整除基域F的理想类数的情形下,分别研究函数域K理想类群的Sylow l-子群的结构.同时,利用得到的结果,本文给出了基域F的单位为K中元素norm的若干条件.     

PSC Galois Extensions of Hilbertian Fields

We prove the following result: Theorem. Let K be a countable Hilbertian field, S a finite set of local primes of K, and e ≥ 0 an integer. Then, for almost all σ ∈ G (K)^e, the field K_s [ σ ] ∩ K_tot,S is PSC. Here a local prime is an equivalent class 𝔭 of absolute values of K whose completion is a local field, _𝔭. Then K_𝔭 = K_s ∩ _𝔭 and K_tot,S = ∩_{𝔭 ∈ S}∩_{σ ∈ G(K)} K^σ_𝔭. G(K) stands for the absolute Galois group of K. For each σ = (σ₁, …, σ_e ) ∈ G(K)^e we denote the fixed field of σ₁, …, σ_e in K_s by K_s( σ ). The maximal Galois extension of K in K_s( σ ) is K_s[ σ ]. Finally “almost all” means “for all but a set of Haar measure zero”.     

On mean values of some arithmetic functions in number fields

We obtain, for quadratic and cyclotimic fields, asymptotic formulas for two arithmetic functions, which are similar to divisor function.     

On towers of function fields of Artin-Schreier type

In this article we derive strong conditions on the defining equations of asymptotically good Artin-Schreier towers. We will show that at most three kinds of defining equations can give rise to a recursively defined good tower, if we restrict ourselves to prime degrees. ¹A. Garcia and H. Stichtenoth did part of thiswork during their stay at Sabanci University, Istanbul, Turkey (Sept. 2002). ²A. Garcia was partially supported by PRONEX # 662408/1996-3 (CNPq-Brazil).