霍普夫代數與量子群

斯威德勒記號

餘乘法把一個元素變成張量對的和,但用顯式指標寫出該和 Δ(c) = Σ_i a_i ⊗ b_i,很快就讓任何計算淹沒在下標裡。斯威德勒記號是一種刻意而審慎的記號濫用,它壓掉求和指標與啞基,讓你像處理普通乘積一樣推理餘代數。

此約定寫 Δ(c) = Σ c(1) ⊗ c(2),甚至省略求和號只寫 c(1) ⊗ c(2),其中下標 (1) 與 (2) 不是特定元素,而是兩條張量腿的佔位符。餘結合律使迭代餘積無歧義,故寫 (Δ ⊗ id)Δ(c) = (id ⊗ Δ)Δ(c) = Σ c(1) ⊗ c(2) ⊗ c(3) 帶三條腿,更高餘積依此類推。

此記號使霍普夫公理讀起來像近乎算術的恆等式。餘單位公理變為 Σ ε(c(1)) c(2) = c = Σ c(1) ε(c(2));對極公理變為 Σ S(c(1)) c(2) = ε(c) 1 = Σ c(1) S(c(2));映射 φ 是餘代數態射當且僅當 Σ φ(c)(1) ⊗ φ(c)(2) = Σ φ(c(1)) ⊗ φ(c(2))。必須記住隱藏的求和是真實的——那些腿並非單個元素——但有此告誡後該記號便不可或缺。

由莫斯·斯威德勒在其 1969 年著作《霍普夫代數》中引入,有時稱為西格瑪記號。一種常見變體寫 Δ(c) = c' ⊗ c'';另一種完全省去顯式的 Σ。頭號大忌是把 c(1) 與 c(2) 當作單個可分離元素——它們在求和中是糾纏的。

又稱
sigma notation (coalgebras)斯威德勒符号斯威德勒符號