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
主站蜘蛛池模板: 国产无码性爱一区二区三区| 丝袜亚洲综合| 亚洲久悠悠色悠在线播放| 久久精品丝袜| 国产91在线|日本| 亚洲日本中文字幕乱码中文| 国产96在线 | 色婷婷狠狠干| 久久网欧美| 凹凸精品免费精品视频| 国产视频资源在线观看| 午夜国产不卡在线观看视频| 精品少妇人妻一区二区| 老司国产精品视频| 无码免费视频| 成人噜噜噜视频在线观看| 亚洲欧美一区二区三区图片| 亚洲中文无码h在线观看 | 免费毛片在线| 国产对白刺激真实精品91| 六月婷婷综合| 美美女高清毛片视频免费观看| 色网在线视频| 国产精品福利导航| 日本国产在线| 亚洲欧洲日韩综合| 国产成人欧美| 免费A级毛片无码无遮挡| 99er这里只有精品| 国产女人水多毛片18| 亚洲精品图区| 国产午夜福利在线小视频| 无码中文字幕精品推荐| 亚洲中文字幕手机在线第一页| 免费国产一级 片内射老| 久久伊人色| 538国产视频| 亚洲第一视频网| 国产在线观看91精品亚瑟| 成人国产精品网站在线看| 岛国精品一区免费视频在线观看| 一本色道久久88综合日韩精品| 成人午夜免费观看| 人人妻人人澡人人爽欧美一区| Jizz国产色系免费| 国产亚卅精品无码| 亚洲人成网线在线播放va| 美女毛片在线| 免费久久一级欧美特大黄| 亚洲国产日韩一区| 伊人久综合| 久久人搡人人玩人妻精品一| 国产第八页| 国产日韩欧美中文| 日韩av无码精品专区| 日韩精品一区二区三区swag| 美女一区二区在线观看| 四虎永久免费网站| 午夜三级在线| 丰满的少妇人妻无码区| a天堂视频| 国产欧美在线视频免费| 又大又硬又爽免费视频| 亚洲人免费视频| 午夜精品久久久久久久无码软件 | 国产麻豆精品手机在线观看| 免费人欧美成又黄又爽的视频| 97se亚洲综合不卡| 免费无码网站| 欧美成人免费午夜全| 日本成人一区| 中文字幕乱妇无码AV在线| 成人在线视频一区| 国产成人久久777777| 久久香蕉国产线看观| 国产精品思思热在线| P尤物久久99国产综合精品| 国产精品白浆在线播放| 老司机久久99久久精品播放| 亚洲精品无码高潮喷水A| 久草热视频在线| 老司机久久99久久精品播放|