Given a group GG we may consider its group ring mathbbC[G]mathbbC[G] consisting of all finitely supported functions fcolonGtomathbbCfcolonGtomathbbC with pointwise addition and convolution. Take f,ginmathbbC[G]f,ginmathbbC[G] such that f∗g=1f∗g=1. Does this imply that g∗f=1g∗f=1?
If GG is abelian, its group ring is commutative, so the assertion holds. In the non-abelian case we have f∗g(x)=sumyf(xy−1)g(y)f∗g(x)=sumyf(xy−1)g(y), while g∗f(x)=sumyf(y−1x)g(y)g∗f(x)=sumyf(y−1x)g(y), and this doesn't seem very helpful.
If GG is finite, dimmathbbCmathbbC[G]=|G|<inftydimmathbbCmathbbC[G]=|G|<infty, and we may consider a linear operator TcolonmathbbC[G]tomathbbC[G]TcolonmathbbC[G]tomathbbC[G] defined by T(h)=f∗hT(h)=f∗h. It is obviously surjective, and hence also injective. Now, the assertion follows from T(g∗f)=f=T(1)T(g∗f)=f=T(1).
What about infinite non-abelian groups? Is a general proof or a counterexample known?
No comments:
Post a Comment