可除么半群(divisibility monoid)亦稱可除近群一類重要的偏序么半群.設M是偏序么半群，若a鎮b等價於b E Ma及bEaM，則稱偏序么半群M為可除么半群.赫爾德(Holder,0. L.)於1901年證明:任何阿基米德序可除么半群可嵌人到實數加群.阿基米德序可除么半群是交換的.
可除么半群(divisibility monoid)亦稱可除近群一類重要的偏序么半群.設M是偏序么半群，若a鎮b等價於b E Ma及bEaM，則稱偏序么半群M為可除么半群.赫爾德(Holder,0. L.)於1901年證明:任何阿基米德序可除么半群可嵌人到實數加群.阿基米德序可除么半群是交換的.
可除么半群(divisibility monoid)亦稱可除近群一類重要的偏序么半群.設M是偏序么半群，若a鎮b等價於b E Ma及bEaM，則稱偏序么半群M為可除么半群.赫爾德(Holder,0. L.)於1901年證明:任何阿基米德序可除么半群可嵌人到實數加...
是交換么半群，可以以如下方式在其上定義自然代數預序 ≤ ： ， 定義為 ，使 。序單位 設 是交換么半群，≤是依上述方式定義的自然預序。若 ，滿足： ，總 ，使 則稱u是S的序單位。序單位經常用在 M 是偏序阿貝爾...
可以證明S的語法么半群是可識別S的最小的么半群；就是說M(S) 識別S，對於所有識別S的么半群N，M(S) 是N的子么半群的商。S的語法么半群也是S的極小自動機的轉移么半群。等價的說，一個語言L是可識別的，若且唯若商的族...
么半群是指含麼元(即恆等元)的半群。半群M,若存在1∈M,使得關於任意x∈M,有x1=1x=x,則稱M為么半群.關於任意半群S,常用S表示一個么半群.若S為么半群,則S1=S;若S不是么半群,則S1=S∪{1},1S,S1的半群運算定義如...
3.3 完全α-絕對純么半群 3.4 完全左內射么半群 3.5 Bruck-Reilly擴張 3.6 完全內射么半群 3.7 擬內射系 3.8 弱內射系 3.9 有限內射系 3.10 α-內射系 3.11 可除系 第4章 平坦性 4.1 函子 4.2 條件（P）...
3.3 完全α-絕對純么半群 3.4 完全左內射么半群 3.5 Bruck-Reilly擴張 3.6 完全內射么半群 3.7 擬內射系 3.8 弱內射系 3.9 有限內射系 3.10 α-內射系 3.11 可除系 第4章 平坦性 4.1 函子 4.2 條件（P）...
研究了一類U-半富足半群代數的胞腔性，給出了這類代數是胞腔代數的充分必要條件；研究了C-局部適當半群代數，確定了該代數的非同構不可分解模；研究了有限鏈上保持凸子鏈不變的保序變換么半群，刻畫了該半群上的Green和Green*...
divisibility relation[數] 可除關係 divisibility test 整除性測試 divisibility rule 整除 ; 整除規則 right divisibility[數] 右可除性 divisibility characteristic 整除特徵 divisibility monoid 可除么半群 infinite divisibility 無限可分性...
因為剩餘格和布爾代數都可以用有限多等式定義，剩餘布爾代數也是如此，因此它們形成了可有限公理化的一個簇。例子 1. 任何布爾代數帶有么半群乘法 · 選取為合取而兩個剩餘選取為實質蘊涵x→y。在也有可能替代合取作為么半群乘法的余...
原群並不常被研究；相對地，存在一些不同類型的原群，依據其運算需符合公理的不同。一般常被研究的原群類型有：擬群－除法總是可能的非空原群； 環群－有單位元的擬群； 半群－運算為可結合的原群； 么半群－有單位元的半群...