999精品在线视频,手机成人午夜在线视频,久久不卡国产精品无码,中日无码在线观看,成人av手机在线观看,日韩精品亚洲一区中文字幕,亚洲av无码人妻,四虎国产在线观看 ?

半環的范德瓦爾登問題

2022-03-31 07:53:44茍旭邵勇
純粹數學與應用數學 2022年1期
關鍵詞:定義

茍旭,邵勇

(西北大學數學學院,陜西 西安 710127)

1 引言及預備知識

環是否可以嵌入到域的問題,一經提出就引起了不少學者的關注.文獻[1]構造了整環的分式域,并證明任意整環都可嵌入其分式域.文獻[2]提出無零因子非交換環是否可以嵌入到Skew域中的問題,將上述問題稱為范德瓦爾登問題.文獻[3]證明了正則環可以嵌入到Skew域,一定程度上解答了范德瓦爾登問題.

不難發現,整環的非零元在乘法下構成交換半群,而域的非零元在乘法下構成阿貝爾群.既然整環可以嵌入其分式域,那么整環的非零元在乘法下構成的交換半群可嵌入其分式域的非零元在乘法下構成的群.隨著半群代數理論的不斷發展,半群的嵌入問題也引起了學者們的關注.一般而言,交換半群可以構造其對應的格羅滕迪克群(Grothendieck group)[4].進而,可以證明可消交換半群可以嵌入其格羅滕迪克群.文獻[5]給出了拓撲半群嵌入緊拓撲群的刻畫.文獻[6]給出了局部半群嵌入群的充分條件.

作為環的推廣,半環是分配律聯系著的同一非空集合上的兩個半群.半環的具體定義如下:

定義 1.1設(S,+,·)是 (2,2)-型代數.若滿足下列條件:

(1)(S,+)是交換半群;

(2)(S,·) 是半群;

(3)左右分配律成立,即 (?a,b,c∈S)a·(b+c)=a·b+a·c,(b+c)·a=b·a+c·a,則稱 (S,+,·)是半環[7],簡記 S.若 (S,·)是交換半群,則稱 S是交換半環.若 S滿足(?a,b,c∈S)a+b=a+c?b=c,則稱S是加法可消的.容易驗證,有限的加法可消半環是環.

半環的嵌入問題同樣吸引了不少學者關注.文獻[8]證明了含幺含零加法可消半環可嵌入環.然而,正整數在通常數的加法和乘法下構成半環(不含零元),并且可以嵌入整數環中.這表明某些不含零元的半環也可以嵌入環中.本文將給出半環的格羅滕迪克環的構造方法,并證明加法可消半環可嵌入其格羅滕迪克環.進一步揭示了半環上的同余和其格羅滕迪克環的理想之間的關系.

定義 1.2設S是半環.在卡氏積 S×S上定義運算如下:

(a,b)?(c,d)=(ac+bd,ad+bc).

稱?為 S×S上的扭積[9].

設(S,+)是交換半群,在S×S上定義關系~如下:

容易驗證,~是 S×S上的等價關系.

對任意的(a,b),(c,d),(e,f)∈S×S,若 (a,b)~(c,d),則存在u∈S使得

a+d+u=b+c+u.

上式兩邊加上e+f有a+d+u+e+f=b+c+u+e+f.由 (S,+)是交換的可得(a+e)+(d+f)+u=(b+f)+(c+e)+u,即(a+e,b+f)~(c+e,d+f).于是,(a,b)+(e,f)~(c,d)+(e,f).從而,~是直積 S×S上的同余.則(S×S/~,+)是交換半群.記(a,b)所在的~類為

2 半群觀點下的整環的分式域

整環的分式域理論是代數理論的重要部分,是構造域的重要方法.本節將從半群角度解釋整環的分式域過程.

設 R是整環,記R?=R{0},其中0是R的零元.在R×R?上定義

(a,b)+(c,d)=(ad+bc,bd),(a,b)·(c,d)=(ac,bd),

易知(R×R?,+),(R×R?,·)均是交換幺半群.

在 R×R?上定義 ~關系 (a,b)~(c,d)??ad=bc.由文獻 [10]可知 ~是R×R?上的等價關系.

下證 ~ 是 (R×R?,+)和 (R×R?,·)上的同余.

對任意的(a,b),(c,d),(e,f)∈R×R?,若(a,b)~(c,d),則ad=bc.上式左右同乘ff有adff=bcff.進一步有adff+bdef=bcff+bdef,即

(af+be)df=(cf+de)bf.

這樣(af+be,bf)~(cf+de,df),即(a,b)+(e,f)~(c,d)+(e,f).從而,~是(R×R?,+)上的同余.

同理,ad=bc左右同乘ef有adef=bcef,故(ae,bf)~(ce,df),即

由文獻[10]可知,(R×R?/~,+,·)中+對·分配律成立.所以 (R×R?/~,+,·)是域.

3 主要結果

本節將證明任意加法可消半環可嵌入其格羅滕迪克環中.

設S是半環.在S×S上定義+,?如下:

(1)(a,b)+(c,d)=(a+c,b+d);

(2)(a,b)?(c,d)=(ac+bd,ad+bc).

由文獻[8]可知,(S×S,+,?)是半環.

在S×S上定義關系~如下:

(a,b)~ (c,d)?(?u∈S)a+d+u=b+c+u.

由(1)式可知,~是(S×S,+)上的同余.

下證 ~ 是 (S×S,?)上的同余.設(a,b),(c,d),(e,f)∈S×S,若 (a,b)~(c,d),則

存在u∈S使得

(2)式兩邊右乘e

(2)式兩邊右乘f

(3)式和(4)式相加可得

于是,(ae+bf,af+be)~ (ce+df,cf+de).既然 (a,b)?(e,f)=(ae+bf,af+be),(c,d)?(e,f)=(ce+df,cf+de),從而,(a,b)?(e,f)~ (c,d)?(e,f).這表明 ~ 是 (S×S,?)的右同余.同理可證,~是(S×S,?)上的左同余.所以 ~是(S×S,?)上的同余.因此,~是 (S×S,+,?)上的同余.記(a,b)所在的 ~類為

猜你喜歡
定義
以愛之名,定義成長
活用定義巧解統計概率解答題
例談橢圓的定義及其應用
題在書外 根在書中——圓錐曲線第三定義在教材和高考中的滲透
永遠不要用“起點”定義自己
海峽姐妹(2020年9期)2021-01-04 01:35:44
嚴昊:不定義終點 一直在路上
華人時刊(2020年13期)2020-09-25 08:21:32
定義“風格”
成功的定義
山東青年(2016年1期)2016-02-28 14:25:25
有壹手——重新定義快修連鎖
修辭學的重大定義
當代修辭學(2014年3期)2014-01-21 02:30:44
主站蜘蛛池模板: 亚洲精品你懂的| 福利姬国产精品一区在线| 四虎永久免费地址| 国产麻豆永久视频| 精品黑人一区二区三区| 不卡午夜视频| 在线欧美一区| 国产人免费人成免费视频| 亚洲AV成人一区国产精品| 成人亚洲国产| 国产精品成人不卡在线观看| 中国国产一级毛片| 午夜精品久久久久久久无码软件| 成人在线亚洲| 亚洲bt欧美bt精品| 日韩最新中文字幕| 国产成人精品一区二区| 国产精品久久国产精麻豆99网站| 一级毛片免费播放视频| 亚亚洲乱码一二三四区| 8090成人午夜精品| 久久国产精品波多野结衣| 色综合中文| 欧美在线黄| 天天躁狠狠躁| 99热这里只有精品免费| 日韩欧美中文| 日韩高清成人| 国产在线小视频| 国产精品无码久久久久久| 久久这里只有精品23| 国产自在自线午夜精品视频| 色综合天天综合中文网| 一区二区日韩国产精久久| 四虎永久在线精品国产免费| 国产免费羞羞视频| 国产精品九九视频| 韩日无码在线不卡| 全免费a级毛片免费看不卡| 亚洲视频a| 久久a毛片| 制服丝袜国产精品| 亚洲国产一区在线观看| 午夜视频日本| 国产成人精彩在线视频50| 免费jjzz在在线播放国产| 亚洲中文字幕手机在线第一页| 免费jjzz在在线播放国产| 色偷偷一区二区三区| 日本高清免费不卡视频| 特级精品毛片免费观看| 伊人久久福利中文字幕| 亚洲精品无码成人片在线观看| 国产另类乱子伦精品免费女| 国产区免费| 欧美国产精品不卡在线观看 | 91高清在线视频| 大学生久久香蕉国产线观看| 尤物成AV人片在线观看| 美女扒开下面流白浆在线试听 | 亚洲色图狠狠干| 理论片一区| 一级毛片免费不卡在线视频| 亚洲日本中文综合在线| 国产毛片高清一级国语| 亚洲日韩每日更新| 亚洲Av综合日韩精品久久久| 欧美、日韩、国产综合一区| 久久永久精品免费视频| 色综合天天综合| 免费毛片a| 国产精品一区二区不卡的视频| 亚洲精品男人天堂| 青青国产在线| 成人在线亚洲| 激情综合网激情综合| 亚洲永久色| 热这里只有精品国产热门精品| 国产精品性| 久久99久久无码毛片一区二区| 国产菊爆视频在线观看| 国产成年无码AⅤ片在线|