张量系数比较：有限群代数等式推导系数相等的依据

嘿，这个推导的核心其实是群代数张量积的基元素线性无关性，咱们一步步来拆解：

首先，回忆一下：群代数$k[G]\otimes k[G]$作为域$k$上的向量空间，它的一组基是所有形如$u\otimes v$的元素（其中$u,v\in G$），而且这些基元素是线性无关的——这是整个推导的关键前提！

现在看题目给出的等式：

$$\sum_{g,h\in G}r_{g,h}\cdot xg\otimes xh=\sum_{g,h\in G}r_{g,h}\cdot gx\otimes hx$$

我们对左右两边分别做变量替换，把求和转化为以基元素$u\otimes v$为单位的形式：

1. 处理左边的求和：
   令$u = xg$，$v = xh$。因为$G$是有限群，群元素的左乘是双射（每个元素都有逆元），所以当$g,h$遍历整个$G$时，$u,v$也会遍历整个$G$。把$g = x^{-1}u$，$h = x^{-1}v$代入左边，求和就变成：
   $$\sum_{u,v\in G}r_{x^{-1}u, x^{-1}v}\cdot u\otimes v$$

2. 处理右边的求和：
   令$u = gx$，$v = hx$。同样，群元素的右乘也是双射，所以$u,v$遍历整个$G$。把$g = ux^{-1}$，$h = vx^{-1}$代入右边，求和变成：
   $$\sum_{u,v\in G}r_{ux^{-1}, vx^{-1}}\cdot u\otimes v$$

3. 利用线性无关性对比系数：
   因为左右两边是相等的线性组合，而$u\otimes v$是线性无关的基元素，所以对应每个基元素的系数必须相等。也就是说，对任意$u,v\in G$，都有：
   $$r_{x^{-1}u, x^{-1}v} = r_{ux^{-1}, vx^{-1}}$$

4. 转换为题目要求的形式：
   注意到$x$是$G$中的任意元素，那么$x^{{-1}$也是$G$中的任意元素（群中每个元素都有逆元）。我们把上面等式中的$x$替换成$x}{-1}$，左边就变成$r_{(x^{-1}){-1}u, (x^{-1}){-1}v} = r_{xu, xv}$，右边变成$r_{u(x^{-1}){-1}, v(x^{-1}){-1}} = r_{ux, vx}$。

   最后把$u$换成$g$，$v$换成$h$，就得到了题目要的结论：对所有$x\in G$，
   $$r(xg,xh)=r(gx,hx)$$

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