Prove an inequality in a group ring

149 Views Asked by At

Let $$G=\bigoplus_{n\in\mathbb{Z}}\left(\mathbb{Z}/2\mathbb{Z}\right)_n$$ be a group, and for any $n\in \mathbb{Z}$, denote $\delta_n$ to be the element in $G$ with $n$-th coordinate $1$ and zero at all other coordinates, and for any $g, h\in G$, let $g\oplus h\in G$ to be usual addition of $g$ and $h$ in $G$. (I use this notation in order to differentiate the addition in the group $G$ and the addition in the group ring $\mathbb{Z}G$.)

I guess we can prove that

For any $n, l\in \mathbb{Z}^{+}$, $s_1,s_2,\dots,s_n,\lambda_{i,j}, c\in \mathbb{Z}$, $s_1<s_2<\cdots<s_n$, $c\neq 1$, $\sum_{i=1}^n\sum_{j=1}^l|\lambda_{i,j}|\not=0$ and any $g_{i,j}\in G$ with $\{g_{i,j}|~j=1,\dots, l\}$ are $l$ distinct elements for any fixed $i=1,\cdots, n$. (Note that we do not require $\{g_{i,j}|i=1,\dots,n;j=1,\dots,l\}$ are all distinct.)

We always have:

$$c\sum_{i=1}^{n}\sum_{j=1}^l\lambda_{i,j}g_{i,j}\not=\sum_{i=1}^{n}\sum_{j=1}^l\lambda_{i,j}(g_{i,j}\oplus \delta_{s_i})$$ in the group ring $\mathbb{Z}G$.

Can anyone help prove it or give a counterexample?


Note that for the special case $n=1$, it is not difficult to prove the above inequality holds, but when $n>1$ it becomes too complicated for me to prove it...

2

There are 2 best solutions below

4
On BEST ANSWER

Omit this question, my guess is not right, the equality could hold, but it might be not easy to see this fact directly from my formulation in this way.

2
On

There's a map of rings $\mathbb{Z}G \to \mathbb{Z}$ given by sending each $g \in G$ to $1$. Under this map, the images of the two sides of your inequality are respectively $c\sum_i \sum_j \lambda_{i,j}$ and $\sum_i \sum_j \lambda_{i,j}$. Since $c \ne 1$, this is all you need.

(I'd wager this is also true for $c = 1$, maybe under certain other conditions on the $g_{i,j}$ and $s_i$. My argument doesn't use anything about the group itself, or any of your conditions other than $c \ne 1$. May I ask why you want to know this, or in what context it came up? Maybe there's a more enlightening answer to be given.)