单位 (环论)

维基百科,自由的百科全书
跳转至: 导航搜索

數學裡,於一(有单位的) R \,內的可逆元是指一 R \,的可逆元素,即一元素 u \,使得存在一於 R \,內的 v \,有下列性質: uv = vu = 1_R \,,其中 1_R \,是乘法單位元

亦即, u \,R \,內乘法幺半群的一可逆元素。

可逆元群[编辑]

R \,的可逆元組成了一於乘法下的U(R) \, ,稱做 R \,可逆元群。可逆元群U(R)有時亦被標記成R*R×

在一可交換單作環R內,可逆元群U(R)以乘法作用R上頭。此一作用的軌道(orbit)被稱為結合集合;換句話說,存在一於R上的等價關係 ~ ,且當r~s時,表示存在一可逆元u使得r=us

U是一由環範疇群範疇函子:每一個環同態 f : RS 都可導出一群同態U(f) : U(R) → U(S),當f會將可逆元映射至可逆元時。此一函數子有為整數群環結構的左伴隨

一個環R是一個除環若且唯若R* = R \ {0}。

例子[编辑]

  • 整數環\mathbb{Z}裡,可逆元為±1。其每一軌道內都有兩個元素n和−n