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
主站蜘蛛池模板: 亚洲男人的天堂久久香蕉 | a级毛片免费播放| 日韩人妻无码制服丝袜视频| 国内精品91| 毛片视频网址| 国产精品 欧美激情 在线播放| 2022精品国偷自产免费观看| 欧美日韩一区二区在线免费观看| 国产丝袜一区二区三区视频免下载| 欧美精品色视频| 成人小视频在线观看免费| 手机成人午夜在线视频| 18禁影院亚洲专区| 人妻丰满熟妇αv无码| 最新亚洲人成网站在线观看| 国内精品久久九九国产精品| 男人天堂伊人网| 三级毛片在线播放| 久久婷婷综合色一区二区| 国产成人福利在线| 欧美午夜网| 99色亚洲国产精品11p| 中文字幕亚洲精品2页| 99人体免费视频| 亚洲一区二区约美女探花| 国产精品美人久久久久久AV| 日韩视频福利| 天天躁狠狠躁| 久久久噜噜噜| 一级做a爰片久久免费| 伊人天堂网| 亚洲视屏在线观看| 无码有码中文字幕| 超碰91免费人妻| 亚洲午夜综合网| 老司机久久精品视频| 精品夜恋影院亚洲欧洲| 亚洲国产精品久久久久秋霞影院 | 午夜三级在线| 日本成人不卡视频| 亚洲成综合人影院在院播放| 亚洲不卡无码av中文字幕| 自拍偷拍欧美| 国产在线观看99| 久热99这里只有精品视频6| 国产精品久久久久婷婷五月| 人妻一本久道久久综合久久鬼色| 萌白酱国产一区二区| 白丝美女办公室高潮喷水视频| 国产迷奸在线看| 91外围女在线观看| 国产一级毛片在线| 国产91丝袜在线播放动漫| 日韩欧美中文| 亚洲视屏在线观看| 精品撒尿视频一区二区三区| 国产一区二区三区在线观看免费| 婷婷六月综合| 国产精品无码制服丝袜| 日韩AV手机在线观看蜜芽| 精品国产成人高清在线| 欧美色综合网站| 日韩欧美高清视频| 欧美日韩中文国产| 99热这里只有精品国产99| 亚洲人成网址| 国产成人AV大片大片在线播放 | 免费看美女毛片| 亚洲黄色片免费看| a级毛片免费在线观看| 欧美成人午夜影院| 亚洲性视频网站| 色欲国产一区二区日韩欧美| 国产一级毛片在线| 精品国产免费人成在线观看| 成年看免费观看视频拍拍| 亚洲国产av无码综合原创国产| 久久性视频| 小说区 亚洲 自拍 另类| 精品欧美日韩国产日漫一区不卡| 国产精品99在线观看| 人妻精品久久无码区|