关于Hopf代数到交换代数态射构成群的习题疑问

首先，先梳理关键定义和性质，再针对你提出的疑惑展开说明：

核心预备知识 #

• 卷积运算：对任意$f,g \in \mathbf{Alg}(H,A)$，卷积$fg$用Sweedler记号（$\Delta(h)=h_1 \otimes h_2$）定义为：
  $$(fg)(h) = f(h_1)g(h_2) \quad \forall h \in H$$
• Hopf代数对极$S$的核心性质：对任意$h \in H$，满足
  $$h_1 S(h_2) = \varepsilon_H(h)1_H, \quad S(h_1)h_2 = \varepsilon_H(h)1_H$$
• 代数同态的性质：若$f \in \mathbf{Alg}(H,A)$，则$f(1_H)=1_A$，且对任意$a,b \in H$，$f(ab)=f(a)f(b)$。

逆元形式的验证 #

我们需要证明$f*(f\circ S)$和$(f\circ S)*f$都等于卷积单位元$e=\eta_A\circ\varepsilon_H$（即$e(h)=\varepsilon_H(h)\cdot1_A$）。

第一步：验证$f*(f\circ S) = e$ #

对任意$h \in H$：
$$
\begin{align*}
(f*(f\circ S))(h) &= f(h_1) \cdot (f\circ S)(h_2) \
&= f(h_1) \cdot f(S(h_2)) \
&= f(h_1 S(h_2)) \quad \text{（$f$是代数同态，保持乘法运算）} \
&= f(\varepsilon_H(h)1_H) \quad \text{（Hopf代数对极的核心性质）} \
&= \varepsilon_H(h) \cdot f(1_H) \quad \text{（$f$是线性映射，保持标量乘法）} \
&= \varepsilon_H(h) \cdot 1_A \quad \text{（$f$是代数同态，保持单位元）} \
&= e(h)
\end{align*}
$$

第二步：验证$(f\circ S)*f = e$ #

同理，对任意$h \in H$：
$$
\begin{align*}
((f\circ S)f)(h) &= (f\circ S)(h_1) \cdot f(h_2) \
&= f(S(h_1)) \cdot f(h_2) \
&= f(S(h_1)h_2) \quad \text{（$f$是代数同态）} \
&= f(\varepsilon_H(h)1_H) \
&= \varepsilon_H(h) \cdot 1_A \
&= e(h)
\end{align}
$$

关于$A$交换性的疑惑解答 #

你提到推导中没用到$A$的交换性，这是因为逆元形式的验证本身确实不需要$A$交换——上面的推导只依赖于$f$的代数同态性质、Hopf代数对极的定义，和$A$是否交换无关。

那题目中给出$A$是交换代数的原因是什么？是为了保证$\mathbf{Alg}(H,A)$在卷积运算下的封闭性，也就是两个代数同态的卷积结果仍然是代数同态（这是幺半群结构成立的前提）：

假设$f,g \in \mathbf{Alg}(H,A)$，要验证$fg$是代数同态，需要证明$(fg)(ab)=(fg)(a)(fg)(b)$对任意$a,b \in H$成立：
$$
\begin{align*}
(fg)(ab) &= f((ab)_1)g((ab)_2) \
&= f(a_1b_1)g(a_2b_2) \quad \text{（$\Delta$是代数同态，即$\Delta(ab)=\Delta(a)\Delta(b)$）} \
&= f(a_1)f(b_1)g(a_2)g(b_2) \quad \text{（$f,g$是代数同态）} \
&= f(a_1)g(a_2)f(b_1)g(b_2) \quad \text{（$A$交换，所以$f(b_1)g(a_2)=g(a_2)f(b_1)$）} \
&= (fg)(a) \cdot (fg)(b)
\end{align}
$$
这一步必须用到$A$的交换性，否则无法调整元素顺序，也就无法证明卷积后的映射是代数同态。

总结一下：

• 逆元形式的推导不需要$A$交换；
• 但整个集合要构成群，首先得是幺半群，而幺半群的封闭性依赖于$A$的交换性——这就是题目给出$A$交换的原因。

内容的提问来源于stack exchange，提问作者Jo Mo