A group ring $R[G]$ is a ring constructed in a natural way from a ring $R$ and a group $G$.

**6**

votes

**2**answers

146 views

### Must a finitely generated projective module over a group ring with vanishing coinvariants be trivial?

Let $G$ be a (possibly infinite) group. Let $\mathbb{Z}[G]$ be its integral group ring and let $P$ be a finitely generated projective module over $\mathbb{Z}[G]$. Suppose that the coinvariants of $P$ ...

**-1**

votes

**1**answer

169 views

### Why do we not lose any generality by proving it only for finitely generated groups [closed]

In the proof of following theorem, in a paper by Farkas-
Here $\Delta(G) = \{ g \in G : |G:C_G(g)| < \infty \}$ and $U_1(\mathbb{Z}G) $ is the set of normalized units of the integral group ring ...

**2**

votes

**1**answer

112 views

### Units in a finite semisimple group algebra

Let $G$ be a finite group and $k$ a finite field, with the characteristic of $k$ not dividing the order of $G$. Then $kG$ is a finite semisimple group algebra with the interesting property that an ...

**1**

vote

**2**answers

296 views

### A semisimple group ring

Let $n \in \mathbb{N}$, $p$ a prime number, and $G$ a finite group of order coprime to $p$. Let $R = \mathbb{Z} /p^n \mathbb{Z}$ be the ring of integers mod $p^n$. Must $R[G]$ be semisimple?
As noted ...

**7**

votes

**2**answers

420 views

### Kaplansky's idempotent conjecture for Thompson's group F

Let $K$ be a field and $G$ be a torsion-free group. Kaplansky's idempotent conjecture states that the group ring $K[G]$ does not contain any non-trivial idempotent, i.e. if $x^2=x$ then $x=0$ or ...

**0**

votes

**1**answer

179 views

### Find a special element in group algebra

Let $$G=\langle x, y, z\mid xyx^{-1}=zy, xzx^{-1}=z, yz=zy\rangle,$$ denote $l^1(G)^{\times}$ to be the set of units in $l^1(G)$, which we have considered as a ring with multiplication defined by the ...

**0**

votes

**0**answers

116 views

### Using extended group rings for combinatorial generating functions

In work of mine recently, I have come to investigate generalised recurrence relations. The generalisation I have in mind is where, instead of natural numbers or integers, the recurrence is over some ...

**2**

votes

**1**answer

155 views

### Description of the units of the group ring Fp[Fp] ?

Is there a good way to see what the units of the group ring $\mathbb{F}_p[\mathbb{F}_p]$ (p is a prime) are?

**3**

votes

**0**answers

240 views

### How do I determine the smallest dimension of an irreducible $\mathbb{F}_p[G]$-module with a prescribed trivial fixed point space?

This is a crosspost from MSE since I haven't found an answer there yet.
I am not very familiar with modular representation theory or Brauer theory yet, however lately I have needed to use ...

**3**

votes

**0**answers

472 views

### Unitary unit conjecture for group rings

The famous "unit conjecture" for group rings states that all units of a group ring $K[G]$ are trivial for a field $K$ and a torison-free group $G$. We are far away from solving the conjecture (See ...

**36**

votes

**1**answer

3k views

### What is the current status of the Kaplansky zero-divisor conjecture for group rings?

Let $K$ be a field and $G$ a group. The so called zero-divisor conjecture for group rings asserts that the group ring $K[G]$ is a domain if and only if $G$ is a torsion-free group.
A couple of good ...

**2**

votes

**4**answers

1k views

### When a group ring is a local ring [closed]

Hi there, I'm stuck with my undergraduate thesis on the following proposition:
If $k$ is a field of characteristic $p > 0$ and $G$ is a finite $p$-group, then the group ring $kG$ is local.
In ...

**4**

votes

**1**answer

348 views

### Group ring computation

Let $G$ be a finite abelian group. Is it true that the following element of the group ring ${\mathbb Z}[G]$:
$$
\prod_{g\ne 1}(1-g)
$$
is non-zero?

**4**

votes

**3**answers

1k views

### Do the homological dimension and cohomological dimension for a group agree?

Or equivalently, if $G$ is a group, do the projective and injective dimension of $Z$ (viewed as a $ZG$-module) agree?
Thanks!