半环上的分式理想.pdfVIP

第 l9卷 第3期 山 东 科 学 V01．19 No．3 2O06年6月 SHANDIDNGS(：Ⅱ CE Jun．2006 文章编号：1~xr2-402612006103-0066-03 半环上的分式理想 郝建功 (山东师范大学数学科学学院，山东 济南 250014) 摘要：本文通过定义半环上的分式理想，进行一系列推广 ． 关键词 ：半整环；半环 ；半群；半模；分式域 ；同态 中圈分类号：O152．7 文献标识码：A MR{2000I主题分类号：16Y60 1 引言 本文主要将环上的分式理想推广到半环上，相应地得出其性质，并将其与环上的分式理想进行了比较． 本文出现的一般术词和符号均见文献n ]． 在非空集合 5中定义两种运算 “+”和 “*”，(s，+)和(，*)均是半群，且Va，b，C∈S，满足(a+6)C= +bc，o(b+c)= +ac，则称S是半环。若(s，*)满足无零因子、有单位元、乘法交换，则称 s为半整环． 设 尺，是半环，：尺一 ，适合Vr，r：∈尺，(r+r：)： r)+ r2)，(rr：)= (r)f(r：)，则称 为尺到 的同态映射．设 尺是交换半群，M是交换 幺半群，在 R×M上定义一个函数 ：R×M—M，(r，m)卜肌 ，则 Vr，r∈R，m，m EM，满足 (1)(rr)m=r(册 )； (2)(m+m )=肌 +肌 ； (3)(r+r)m=肌 +rm， 则称 M为尺一半模．若 J7、r为M的子集，且满足(1)(2)(3)，则称 J7、r是M的子半模．如果 M，J7v为R一半模，记 所有 尺一半模同态为Hom (M，N)，其中，a，卢∈Horn(M，N)，m(a+卢)=rift0／+， ．若 M，J7、r是尺一半模，： R×M—J7、r满足Vm1，m2∈M，r∈尺，(ml+m2)= (m1)+ m2)，(舰1)=or(m1)，则称f的半模同态．设 是半环尺的子集，若V ，：rET，+Y， ∈ ，则称 为R的子半环；若 为R的子半环，且VrER，Vt ∈T，n，trET，则称 为 的理想． ． 2 主要结果 定义2．1设R是半整环，K是它的分式域，R的一个分式理想是K的非零子 一半模，并且存在非零 元素 a∈R，使得 alcR． 命题2．2 半整环中R每个非零理想均是尺的R一子半模，从而为 R的分式理想；反之，R的每个分式 理想如果包含在尺之中，必然是 尺的通常理想． 命题2．3 K的每个有限生成尺一子半模 ，是R的分式理想． 证明：若 ，是由b1，62，…，b∈K生成的，则 ，=硒1+…+Rb，并且对于每个 i，6 Cl／a，其中 Ⅱ≠ ， c∈尺．令 Ⅱ：Ⅱ1Ⅱ2…口，则 n≠0．而 al=Ra2…anC1+…+Ra1…a一1ccR．口 收稿 日期：2oo5．．o8-Ol 作者简介：郝建功(1979一)，男，硕士研究生，研究方向为基础数学。 第 3期 郝建功：半环上的分式理想 67 命题2．4 是半整环，K是 的分式域，则 R的全部分式理想集合形成一个含 幺交换半群，其幺元素 为 ，而乘法是 ／J={∑ Iaib10∈，，6∈-，，凡∈N }． 证明： (1)，是R的分式理想，，是尺的分式理想，则 el,，6∈R，0，6≠0有 alcR，b,lcR，则(ab)1．1C (a1)()CRCR，IJ则是 的分式理想． (2)易见结合律成立． (3) 是交换的，则有 IJ=J1． (4)易见幺元是 R．口 定义2．5 半整环 的分式理想，叫做可逆的，是指存在 的某个分式理想-，，使得 = ． 命题2．6 (1)可逆分式理想的 ，逆是唯一的，并且 ，～={0∈KIalCR}； 证明：V