主題
Search

自由冪等么半群


自由冪等么半群是一個滿足恆等式 x^2=x 且由一組元素生成的么半群。如果這樣一個么半群的生成集是有限的,那麼自由冪等么半群本身也是有限的。么半群中元素的數量取決於生成集的大小,並且生成集的大小唯一地確定一個自由冪等么半群。在零個字母的情況下,自由冪等么半群有一個元素(單位元)。對於一個字母,自由冪等么半群有兩個元素 (1,a)。對於兩個字母,它有七個元素: (1,a,b,ab,ba,aba,bab)。一般來說,在 n 個字母上的自由冪等么半群中元素的數量是 1, 2, 7, 160, 332381, ... (OEIS A005345)。這些由解析表示式給出

 sum_(k=0)^n(n; k)product_(i=1)^k(k-i+1)^(2^i),

其中 (k; n) 是一個二項式係數。該乘積可以解析完成,給出總和

 sum_(k=0)^n(n; k)exp{2[2^kd/(dn)Li_n(2)|_(n=0)-d/(ds)Phi(2,s,-k)|_(s=0)]}

多重對數函式 Li_n(2) 關於其指標的導數和 勒奇超越函式 Phi(2,s,-k) 關於其第二個引數的導數表示。


參見

么半群

此條目的部分內容由 Todd Rowland 貢獻

使用 探索

參考文獻

Berstel, J. 和 Reutenauer, C. 在 Words 上的組合數學 (M. Lothaire 編輯). 英國劍橋:劍橋大學出版社,第 32 頁,1997 年。Green, J. 和 Rees, D. "在其中 x^r=x 的半群。" Math. Proc. Cambridge Philos. Soc. 48, 35-40, 1952.Lallement, G. 半群與組合應用。 紐約:Wiley,1979 年。

在 上引用

自由冪等么半群

請引用為

Rowland, ToddWeisstein, Eric W. "自由冪等么半群。" 來自 Web 資源。 https://mathworld.tw/FreeIdempotentMonoid.html

學科分類