有限域上代数簇间多项式映射的一个注记.pdfVIP

第 31卷第 1期 大 学 数 学 Vo1．31，№ ．1 2015年 2月 CoLLEGE MATHEM ATICS Feb．2015 有限域上代数簇间多项式映射的一个注记 林 晨 ， 李永彬 (电子科技大学 数学科学学院，四川 成都 611731) [摘 要]设有限域 F ，文献[1]构造性的证 明了结论：Map( ，F口)中的每个元素都可以唯一的表示 成F。[ ，…，z]中次数不超过 g一1的多项式．本文利用Groebner基与多项式映射的相关结论，首先给出了 该结论一个更为简 明的证 明，并进一步得到有限域上代数簇 的多项式映射之间一个更为 般的性质． [关键词]有限域 ；坐标环 ；多项式映射 ；代数簇 [中图分类号]O143 [文献标识码]A [文章编号]1672-1454(2015)01-0035—03 1 引 言 设有限域 ，其中q—P (P为素数)，文献[1]构造性的证明了：Map( ，Fq)中的每个元素都可 以唯一的表示成F [ ，…，z]中次数不超过q一1的多项式．本文利用代数簇及其对应坐标环的性质， 给出了该问题 的一个更为简明的证明，并将所得结果在有限域上做 了进一步推广，得到了以下结论． 对于任意代数簇 Vc ，W c ，Map(Y，w)中的每个元素均可唯一表示为一个从V到w 的多 项式映射 ，且满足 IMap(V，)l— IHom(k[W]，志[v])f— I、，，lIⅣ。， 其中Hom(忌[W]， V])表示从坐标环 kEw]到 ]的所有环同态所构成的集合． 2 基础知识 首先介绍代数几何中代数簇及坐标环的概念与基本性质 ，详尽内容可参见[2，3，4]． 设 k为域 ，R—k[x 一，z]，V是k 中的非空代数簇 ，则如下定义的理想 j_()： {厂∈k[x1，…， ]：f(a1，…，12)=0，V(n1，…，口)∈V} 为 R 中的根理想． 对于每个 ，∈R ，称映射 f；V÷ 惫； ： (口1，…，a)卜厂(口)= f(al，… ，口) 为 的一个多项式函数 ，又若 g∈R ，有 Va∈V，，(n)= g(n)∞ f—g∈J(V)= J， 也就是说 ，V的一个多项式函数相当于商环R／中的一个元素 ，并称商环 R／I为代数簇 的坐标环 ，记 作 愚[V]． 以下给出代数簇之间多项式映射的概念． 设k为域，U，V分别是忌 和k 中的非空子集，因为它们为有限集，故皆为代数簇Ⅲ．对于任意的 一 ，l( ，…，X )∈k[x ，…， ]，i一1，…，可定义映射 f一 (fl，… ， )：k 一 惫 ， [收稿 日期]2014—07—15 36 大 学 数 学 第 31卷 口一 (1，… ，m)卜÷(f1()，…，／(d))． 若 _厂(U) V ，则称 ，在 U上的限制 ，记作 ，：己，一 ，是从 U到V 的一个多项式映射． 以下结论为本文证 明中要引用到的相关性质． 引理 2．1L2] 令 为R一愚[z ，…，z]中的理想，则其对应 的商环R／I同构于域k上 的线性空间 S— Span(x。， LT())，其 中LT(D表示 中所有元素的首项的集合，即 LT(D 一 {CLE ： f∈I，s．t．LT(-厂)一 C3C。}． 引理 2．2E]设 V与 w 均为域k上的代数簇． (i)令 a：V—w 为一个多项式映射 ，则对于代数簇w 上的多项式函数 ：W — k，二者间的复合映 射 。a：V— k依然是一个多项式函数 ；并且 ，映射