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

learn more… | top users | synonyms

6
votes
2answers
152 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
1answer
173 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
1answer
114 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
2answers
299 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
2answers
421 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
1answer
181 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
0answers
117 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
1answer
157 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
0answers
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
0answers
480 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
1answer
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
4answers
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
1answer
349 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
3answers
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!