代数数域上的加型方程.pdf

代 数数域上的 加型方程 元 王 ( 中国 科 学院 数 学 研究所 北 京 ) , . 命 K 为 一个 1 引官 《 ` 镬 , ) 为 实 域而 K “ : 对于 1 〔 K `成 , ) . 为实数 K“ + ,, 二 置 夸一 艺 护: , ( r : . 命 K ( 。 1簇 i 《 + 产 , 并 定 义 夸“ , 一 夸“ , 表 示 夸 的迹 与 距 n `, 且 考( > , 次 代 数数 域 r: , 或 杏“ , ) 0 o( 1 ( i 2 , + . (K , 表示 K 的 ) 为 共扼 覆 域 命 若(1 ( . 。 此处 , , : r ( , ) , 1 (K ,)( Z + , ) . r: , ~ 我 们 用 s (约 一 艺 我 们 还 用 记 号 }l夸11一 m a : I夸“ , }与 : ( 夸) 一 。 . , 个 共 扼域 . ( 动 为 K 的 数 及 r , ( 1《 i , 洲` ( ` 《 s 《 x 艺 , … 幻 , 我 们 用 (1 ( l 成 i 镇 ) 表 示 1 的 共 扼 数 , 夸“ , 及 N “ ) 一 夸〔 尤 。 则 分 别 称 萝为 全 正 的 或全 非 负 的 ,二 “ “ , . 若 我们 用 ` ( f . · , 6 … 妇 表示 代 与 f … g 有 关 的 正 常 数 表 示 任 意 给 予正 数 而与 《 有关 的 常 数 依 赖 于 天 K … 但 不 依 赖于 。 与 M 定理 1 月 … 月 为 天 的 2 个 非 零 全 正整 数 假 定 异 命 (反 ) 则 … , , , : , , , , , , . a: , a , , , : , , , . 5 ` : , : , : s . 方程 · 。 · … + 沐全一 风风 一 一 民讨 一 。 有 一个 非 寻 常 全 非 负 整 数 解 几 … 几 拜 … 产 适 合于 平 , ( N (: ) N ( , ) ) < m 是 补 a 声全+ : , , , , : , ` x (l) , , + 。 , , 此处 , 定理 2 命 1 , … , , 叭 , 了 , x ma ~ 有一 个 解 , … a, , , 为 K 的 一 组 整数 1 自讨 + al ( N (。 ) , … 叭 , . , N ( 夕, ) ) 假定 , ) … 十 气 at 讨 ~ 此 处 每一 个 a , 一 l . ` 2 , , , (友 的 . 则方 程 O 或 一 1 而 叭( 1 《 , i 《 , ) 为全 非负 整 数 但不 全 为 零 且 满 足 , , m a x N ( 甲` ) < ` M , 其中 max M ~ 当 K ~ (1 Q 为 有理 数域 时 即 得 到 关于加 型 方程 的方 法 与 们仅 给 出 定 理 : is g e el , 1 , , N (了 ) } , … ` }N ( 丫 ) ! ) 的两 个 定 理 1t, , sh c m idt 以 4] 关 于 代 数 数 域上 w : ir gn 2 约化 本 文 19 8 4 年 5 月 2 3 日 收 到 3 期 . 这 些 定 理 的 证 明 基 于 S hc m idt 问 题 的 方法 的 联 合 使 用 的 证 明纲 要 而 这 些 结 果 的 详 细 证 明将 于 另 文 发 表 , . 第 ” . . 科 学 通 报 . . 在此 我 尹口 … , , , , , : ) 1 1左及 , 》 ` , ( 花 , x e ) 则 ( x ) 式 有 一 个 非 寻 常 全 非 负整 数 解 之 命. 1 孟` , 八 , … 人 适合 于 : 假定 , ` ` 。 , 明 x 是 非空 的 即 及 二 〔 X (及 习 〔 X , , … 一l 的 . 1 < 、 ( a , , , 二 拌, , 户 , C 使 、 (角 ) 告< l夕l : : 。 一< 、 ( , , )吾 l ( i 《 , . ~ 心产 ; ( 1 《 i 《 s `》 ,) l 《 i《 ) l /七 , .t 则 ( z ) 式变 为 , 及 产 花 , , 。 认 … + ’a 户 一 风川 一 … 一 形 二 一 o ; ; + 失一 般 性 我 们可 以 假定 ( l) N ( a , )告 < la 三: 之花 eg l 方 法 可 以 证 is 。 N 印` ) 一 N ( 夕; ) N 。 ` ) 一 那 。 ; ) , 由于 可 (钩 ) 一 N (。 : ) 价 ,, , a , … ` ` , ; 一 a 岭 风 ~ 夕右李 几 , 则由 显 见 x 是 闭 集 因 此 命 题 1 的 证 明 可 以 归 结为 往 证 若 x > 〔 X al . 的 集合 x . 及 ’x 。 `) 二 ( a , ) 告< 。 . 则存 在 一 个数 了 使 了 < 取 K 的 一 组 全 正 单位 命 命 x 表 示使命 题 1 成 立 的 , · ` ` N (“ ,) ) < m + , (N ( 1 ) 哪 . 当 : 一 1 几 即 得 定理 1 , , , ( 1) N ( 科 , ) 一 N ( 产: ) (l 《 i 《 , ) , , 故不 式 的 系数 适 合 于 a , 一l } < 那 ( , ) `) , 尹l 一< 从 ( , , )毛 ) 告 那 ( , , ) 告< 一 1《 i 提 n , l ( j ( ` 我 们还 可 以 假 定 。 m 一 max 此处 。 , ( a `, , b 。 , l } I< < ` `, , 1 成 i ( ,b l I < 石 b < , 1蕊 , s , i ( . ) 假定 y 充 分 小 满 足 `一 , + 青 , ”· , + < · 及 2 , `· , < ` , 并置 _ _ , 假 定在 价 , , 例如 风 … , … 0 及 。两 , … , a a , , 1 / /且 、 了万 、x 气 一 百 y ) 宁 月 ` a x 、 , 价 。 风: , : , < 拼全+ 有一个 非寻常非 负 整数 解 之 , 砚梦 命 。、 , a … + ( N (之 ) , … 《 , . , ’ . a 。, , ’ 份. , l 假 定在 八 : 、 满足 《 i 《 汤, , 几 , , 产 c, 伏 , ) · 声全一 夕少 全一 … · , 产 , . , 刃 , 一 夕声 卜 : 1 。 . , 若 十 助 N ( 产I) ) < 。 万 , 左 … T i s 了 、、 J 0月 z y . … , ~ , , 夕 中有 一 个 子 集 , 2 友, , ’ . 则易 证 ’x 〔 X . 否则 可 . : 3 口法 o 口h , , : , `, , 儿 r . 的 最 大 公 因 数 。 满 足 N ( a) 妻 m , … … 假 定 上 面 的 条件 不 成 立 a . m. , < }{a,I I ( a , , 1 于 + c6 理 十 , 气刀 / ` 中有 一 个 子 集 例 如 a 以从下 面的命 题 推 出 丫 〔 X 命理 2 、 并 有全 正 整 数 , 夕. 一 m , . , _ 万 , x 一 , 为 K 的一 组 整 底 X (; ) , 宁x 则方程 伪~ 1 或 一 1) 满足 l《 二等 , 一《 i 《 , . 吞 为 K 的 分歧 , 及 D 为 K 的 基 数 , 。 我 们 可以 由关 系式 l , s ( p `。 , ) - 科 学 0 , 当 忿~ 1, 当 i 粉 i 通 , 19 85 年 来确 定 8 一, ( 泣《 劝 } … , 夸一 x i 的 一 组 基 底 lP . , p。 。 . , … 介): 0 ` 石` p: , x . p . 十 … + x : ( , 了 〔 x , )〔 G , … T 的 全 体非负 整 数 , , . 。 我 们 可 以 唯一 决 定 整 理 想 吸 分 使 , K , 一 分 /吸 下占 (吸 , ” , , ) 一 (l) 此处 ( l) 表 示 K 的 全 体 整 数 所 构 成 的 整 环 ( 请 勿 与 公 式 记 号 ( l) 相 混 淆 ) . 我 们记 , , 认 t 1 及 > l, 。 , 。 , , , 一 厂 。 : (r )t 为 适 合 下 面 条 件 的 y ~ 朴 p 十 … 十 介 p 的 集 合 : x x 二i , ( )` G ( 1 《 i 《 ) 为 有 理 数 1 , 吸 及 N (吸 ) < t … y 对 于 任意适 合 1 , 吸 的 (r )t 的元 素 y 命 汤 一 砧 m 狱 y., 及 t ~ m灿 命 t l( 置 并 用 艺 表 示一 个 和 其 中 : 过 K 中适 合 于 }}1 《 对于 r : , 我 们 用 G 来表 示 单 位 立 方 体 毛( . . , 定义 B l : 门B , 如 下: x l , {( x 一 , … x l , ): ( 1 及 N (吸) I^ 夸一 10 }} < )〔 G x 。 , … < 广 . 夸一 x , 满 足 上 面 条件 的 夸非 空 } ` 6 则我 们 可 以 证 明 若 m ) 以 pl 二。 p 。 , … + + 1 。 对 于任 意 , l y . (m 阂 8 一` : , ) , . B 称为 基 本区 域 , . 我们 定 义 补 区 域 E 如下 , 力 与 了 钾 1a K , 则B r : ~ 价 . : E 一 ` 一 艺 y ` r B .l ( r) 引人记 号 : 沙x 一 ` x s ` ( 夸) 一 及 : …甘 x . 才 一 , 。 `: , 艺 石( 夸 F ( 夸) 一 命 表 示下面 方 程 的 解 祝 , 此处 , … , a 几` , , , 风 I } l( , … A , , 凡 … , } } }《 B , , ; , ) , “ , i ` s , . 1 , 礼 两 , , … , 两 x 的个 数 i ` 。 , , 了 · ( 。 ,` + 1 ` 衬 一 。 ` ., , 艺 E ( 一 夸价 · · 为 全 非 负整 数 且 适 合 x 产 `, 硅m “ is ( 夸) T ` ( 夸) E ( 一 , x ) … + 价对 一 仇风 一 al 从 + a: H 碑. , 召 一 , T ` ( 夸) 一 , ) 艺 n X. , 硅。 “ l 一 伪讨 ~ , , ` i ( 12 “ , } ( 叮x , l ` , , c H l ( , - 则 : 一 艺 y ( f (` ) { E 上 的 积 分可 以 由下 面 推 广 后 的 引理 “ l 假定 T 》 一 (“ , K , · ; , c ! 引理 来 估 计 cS h m idt , F (` , ` 二 。 ` T ’ 一 `” 及 {恩 及 整 数 夕使 _ ! la g 一 户 1! ` “ / T 、` , 气一二 尸 】 J 、 ` , _ 一 / 及 第 3 期 科 学 通 。 报 , 、 E (“ 受 」 · 则 存在 全 正整 数 气 < 0 此处 , (署介 ` 一 2卜 气 U( ) B y 佗r , ), < alI , , 上 的 积 分 纷 出 主 项 它可 以 由 脉 列 方 法 加 以 估计 , , 最 后得 若 。 李 ` , ( 互 K . , 启 则 : 故 丫〔 X . . ` , 》 ca ( 互 K y ) 万 ( A B ) , . ( 石) 一 。 , 一匆 . 掩y > 1 . . 定理 证 完 , 附记 若 花为 奇 数 则 . “ 的 奇异 积 分 恒为 正 . 。 al , 一 。 讨 ~ ( ia 叭笋 若 . : , 即 K 为全 复 域 则对应 于 基 本 区 域 , 研 究 方程 , 汽 讨 十 … + ’1 讨 ~ 0 r: 则 由定 理 2 可 知 当 互为 奇数 或 当 ~ a x , [Z J . , — 【3 」 is 愧 日 , i `峪 5 1铭 el , 创 , 0旧 甲` 界 }N ( 参 考 令 ) l < M … , 甲, , : 适合 于 献 文 m a n夕 , ` · S al m o f a d id it v e r osm in , , 州 比 l se , r 凡M S , , . ` , , . 122s e 1 36 [ 4 ] , ( 2 ) 式 总 有一 个 非 寻 常 解 叭 2 8 ( 19 7 9 ) 1 12 1一 1 3 3 4 S m 心 理拍 . of a d id d v e fo l l 月 I a 从 at 赶 1 4 3 ( 1 9 7 9 ) 2 1 9一 2 3 2 sr m r e .r C 玩 G en e ar 五阳 it o ] 从心 “ ( 19 4 ) n of w iar h g p or b l曰 口 ot agl e b r 幻c n u m be if el d A , cS h m i d t W M [ j 1 o , ( 2) . , . , . C L , S u 幻 Qs of 口 ht 解旧 。 门 o f , 吻灿面 e in t ge er s 彻 行 科 学 通 . 报 o a . , f 从 l九 4 6 ( 1 945 ) , · 3 1 3一 3 3 9 19 5 5 年 ,