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
主站蜘蛛池模板: 深爱婷婷激情网| 日韩小视频在线观看| 亚洲无码精彩视频在线观看 | 在线国产毛片手机小视频| 美女无遮挡免费网站| 国产剧情无码视频在线观看| 欧美成一级| 欧美在线视频不卡第一页| 99久久精品免费观看国产| 国产精品成| 日韩AV无码一区| 五月婷婷综合网| 免费A级毛片无码无遮挡| 中文字幕首页系列人妻| 538国产视频| 国产爽妇精品| 狠狠亚洲五月天| 国产成人精品综合| 亚洲色大成网站www国产| 免费人成视网站在线不卡| 国产亚洲一区二区三区在线| 99re精彩视频| 视频一区视频二区日韩专区| 亚洲欧洲一区二区三区| 午夜小视频在线| 毛片在线播放网址| 国国产a国产片免费麻豆| 国产免费久久精品44| 国产香蕉一区二区在线网站| 女人毛片a级大学毛片免费| 久久人妻xunleige无码| 国产视频 第一页| 精品夜恋影院亚洲欧洲| 幺女国产一级毛片| 亚洲中文字幕在线一区播放| 天堂va亚洲va欧美va国产| 亚洲欧美日本国产专区一区| 啦啦啦网站在线观看a毛片| 亚洲欧美在线综合一区二区三区| 国产91丝袜在线播放动漫 | 在线播放真实国产乱子伦| 国产欧美日韩va另类在线播放| 激情無極限的亚洲一区免费| 亚洲va欧美va国产综合下载| 天堂网亚洲系列亚洲系列| 精品一区国产精品| 色综合久久无码网| 亚洲最新在线| 欧美日韩动态图| 中文字幕调教一区二区视频| 热这里只有精品国产热门精品| 久久综合色视频| 香蕉久久永久视频| 欧类av怡春院| 亚洲精品综合一二三区在线| 国产制服丝袜91在线| 国产精品自在在线午夜| 色综合久久88色综合天天提莫| 97在线碰| 国产v欧美v日韩v综合精品| 精品福利视频网| 国产一区三区二区中文在线| 亚洲国产成人麻豆精品| 无码人妻热线精品视频| www.99精品视频在线播放| 中文字幕中文字字幕码一二区| 欧美另类第一页| 国产亚洲精品资源在线26u| 91福利国产成人精品导航| 2020亚洲精品无码| 国产成人做受免费视频| 国产真实自在自线免费精品| 色综合久久88| 99资源在线| 中文字幕无码中文字幕有码在线| 极品国产一区二区三区| 国产精品对白刺激| 国产微拍一区二区三区四区| 亚洲AV无码乱码在线观看裸奔 | 女人爽到高潮免费视频大全| 久久综合亚洲鲁鲁九月天| 亚洲精品无码在线播放网站|