# Questions tagged [group-rings]

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

74
questions

6
votes

0
answers

55
views

### Optimizing computations with nilpotents in a group algebra

Of course, I have a very concrete problem at hand, which has been vexing me for about a year now. But let me start with a question that has a better chance of having been answered.
Let $G$ be a ...

3
votes

1
answer

91
views

### Does $M$ satisfy the descending chain conditions on $\mathbb{Z}G$-retracts?

Let $H$ be a subgroup of $G$. Then a homomorphism $r:G\to H$ is said to be a retraction if the inclusion homomorphism $i:H\hookrightarrow G$ is a right inverse of $r$, i.e. $r(x)=x$ for all ...

1
vote

0
answers

116
views

### Units in group rings in SAGE

Is there a recorded/known SAGE code to compute units in integral group rings for finite abelian groups ?
I would be happy with a code that only works for cyclic groups. I sort of know how to ...

3
votes

1
answer

61
views

### Topology of the Malcev-Neumann group ring

For a ring $R$ and a group $G$ the group ring $R[G]$ consist of maps from $G$ to $R$ with finite support.
It was shown that if the group is fully ordered them this ring can be embedded in a division ...

2
votes

1
answer

70
views

### Primitive group rings and endomorphism rings

It is known that, for any group $G$, there exists a group $H$ containing $G$ such that the group ring $F[H]$ for some field $F$ is primitive, see Formanek, Edward; Snider, Robert L., Primitive group ...

0
votes

0
answers

63
views

### A question to the Wedderburn-Mal’cev decomposition

Excuse me, I saw the result on the Wedderburn-Mal’cev decomposition of unital compact rings which M.I. Ursul and A. Tripe introduced in the attached file. However, I cannot contact them because ...

6
votes

1
answer

412
views

### Center of a monoid ring

According to the Wikipedia page the center of a group ring $R[G]$ is the set:
$$
\{ p | \forall g,\, h \in G.\, p(g) = p(hgh^{-1}) \}
$$
i.e. class functions which do not distinguish elements of the ...

2
votes

0
answers

130
views

### Embedding a monoid into a group via its monoid ring

Suppose I have a monoid $(M,\, \cdot,\, e)$ equipped with a monoid homomorphism $\textrm{length} : M \rightarrow \mathbb{N}_+$ into the monoid of natural numbers under addition where $e$ is the only ...

2
votes

0
answers

83
views

### Non-existence of idempotent via evaluation of higher order cocycle on a tuple of idempotents

The Kaplansky conjecture and Kaplanski-Kadison conjecture are classical conjectures about non existence of non-trivial idempotents in group algebra $\mathbb{C}\Gamma $ or the reduced group algebra $...

0
votes

0
answers

51
views

### Investigating the structure of a group algebra via the derived subgroup

It is well known that each element in the special linear group $\mathrm{SL}_n(\mathbb{H})$ over the real quaternion division ring with $n\geq1$ is a single multiplicative commutator. I am particularly ...

1
vote

0
answers

63
views

### The influence of the derived subgroup of the unit group of a group algebra

Let $FG$ be a group algebra in which $K$ is a field and $G$ is a group. Suppose that every element in the derived subgroup $\mathcal{U}(FG)'$ of the unit group $\mathcal{U}(FG)$ of $FG$ is a ...

2
votes

0
answers

285
views

### What is the status of topological problems in group rings?

I have extensively studied group rings and structure of their units and also zero divisors and normalizer problem in integral group rings.. I was pondering upon questions like what if we use ...

0
votes

1
answer

137
views

### Nullstellensatz and nilpotence of a module

Let $\nu : G \rightarrow H$ be a surjective group homomomorphism with kernel $N$, $H$ abelian, and $G$ finitely generated.
The rational abelianization of $N$, $H_1(N)$ is a $\mathbb{C}[H]$-module, ...

4
votes

1
answer

270
views

### Idempotents in group rings of finite cyclic groups

For which fields $K$ and integers $n>1$ does the group ring $K(\mathbb{Z}/n\mathbb{Z})$ have idempotents distinct from $0$ and $1$?

2
votes

1
answer

240
views

### Group rings of free abelian groups

Is it true that for free abelian finitely generated groups $G_1$ and $G_2$, if $\mathbb Z[G_1]\simeq \mathbb Z[G_2]$, then $G_1\simeq G_2$? If yes, is there any reference to such a fact?

0
votes

0
answers

110
views

### zero divisors of group ring when the group is abelian

Let G be an abelian group with torsion and C[G] be the group ring over complex numbers C. Is there a clear description or classification of zero divisors of C[G]?

5
votes

0
answers

185
views

### When is the profinite completion of a Noetherian group ring also Noetherian?

Let $G$ be a group, and let $\mathbb{Z}[G]$ denote its group ring. Its profinite completion is the inverse limit over all ideals of finite index. By Benjamin Steinberg's answer here, this profinite ...

1
vote

0
answers

136
views

### Wedderburn decomposition of semisimple group algebras

Let $G$ be a finite $p$-group. What can we say about the Wedderburn decomposition of the group algebra $FG$? Here $F$ is a finite field of characteristic co-prime to $p$. Can we say something in the ...

12
votes

1
answer

293
views

### Group ring with infinite stable rank

In searching for a counterexample in homological stability, I came across the following question:
Is there a known example of a finitely presented group $G$, so that the group ring $\mathbb{Z}[G]$ ...

9
votes

1
answer

374
views

### When is the augmentation ideal projective as RG-module?

Let $G$ be a finite group and let $R$ be a commutative ring.
I'd like to ask, if there is a theorem of the following kind:
The augmentation ideal $I_G$ is projective as RG-module, if and only if ... ?...

9
votes

2
answers

205
views

### Residual finiteness for modules over group rings

Let $G$ be a finitely generated residually finite group and let $M$ be a finitely generated $\mathbb{Z}[G]$-module.
Question: Must $M$ be residually finite in the sense that for all nonzero $x \in M$, ...

8
votes

1
answer

470
views

### Units of group algebra of dihedral group

Question:
Can we fully describe the group of units (=invertible elements) $(KG)^\times$ of the group algebra $KG$ for $K=\mathbf{F}_2$, $G=D_\infty=\langle s,t|s^2=t^2=1\rangle$, the infinite ...

4
votes

0
answers

148
views

### Is the group ring of an amenable group, viewed as multiplicative monoid, amenable?

Motivated by this question, it seems natural to ask the following:
Question 1: Is there a [finitely generated discrete] torsion-free virtually Abelian (but not Abelian) group $G$ so that the ...

21
votes

4
answers

2k
views

### Units in the group ring over fours group after Gardam

Giles Gardam recently found (arXiv link) that Kaplansky's unit conjecture fails on a virtually abelian torsion-free group, over the field $\mathbb{F}_2$.
This conjecture asserted that if $\Gamma$ is a ...

5
votes

1
answer

107
views

### Integral monoid rings and Ore conditions

Consider a cancellative monoid $S$ satisfying the left Ore condition, so it embeds in a group $G=S^{-1}S$. Consider also the integral monoid rings $\mathbb Z[S]$ and $\mathbb Z[G]$.
I have two, ...

3
votes

0
answers

142
views

### Units in group rings

Let $F$ be any field with $p$ elements and $G$ be any finite $p$-group, combining together they form a group ring $FG$. And $V(FG)$ denotes group of units of coefficient-sum equal to 1 in $FG$. We ...

6
votes

0
answers

229
views

### How much does Ext tell me about isomorphisms?

So this was a question I sort of stumbled on and realised I was quite stumped. Suppose we have two finitely generated $R$-modules $M, N$ (I have the group ring $R=\mathbb{Z}[G]$ in mind) which appear ...

2
votes

0
answers

92
views

### Dimension of center of $k[G]/\mathrm{rad}k[G]$ when characteristic of $k$ divides the order of $G$

Let $G$ be a finite group and consider $k[G]$ where $k$ is a field. In the scenario where $\mathrm{char}(k)$ divides $|G|$, how can one show that the dimension of $Z(k[G]/\operatorname{rad}k[G])$ is ...

2
votes

0
answers

177
views

### Flat augmentation ideal of a group-ring

If $G$ is a group and $I$ the augmentation ideal $I=Ker(\mathbb{Z}G\rightarrow \mathbb{Z})$ suppose that:
$I$ is a flat (right) $\mathbb{Z}G$-module.
$I$ is a finitely generated (right) $\mathbb{Z}G$...

3
votes

1
answer

336
views

### augmentation ideal is always finitely generated?

$G$ is a finitely presented group (but not a finite group), and $\mathbb{Z}G$ is the corresponding group ring.
$I$ is the kernel of the augmentation morphism $\mathbb{Z}G\rightarrow \mathbb{Z}$.
Is $...

4
votes

1
answer

195
views

### Groups for which all projections of $C^*_{\text{red}}G$ belong to $\mathbb{C}G$

Revision: According to comment of Wojowu we give a complete revise for this post.
A group $G$ is a pr-group if all projections of $C^*_{\text{red}} G$ are contained in its dense subalgebra $\mathbb{...

0
votes

1
answer

181
views

### A subset (or subgroup) associated to a group

Edit: According to comment conversations we revise the question.
Let $G$ be a group. We consider the following subset of $G$:
$$\{g\in G \mid e^{\lambda_g} \in \mathbb{C}\lambda (G)\},$$
where $\...

8
votes

1
answer

697
views

### A question regarding Kadison-Kaplansky idempotent conjecture (A nearest group element $g$ to a nontrivial self adjoint unitary element u )

Edit: According to answer and comments by Prof. Valette we edite the question.
The Kadison Kaplansky conjecture says:
Kadison-Kaplansky conjecture: If $G$ is a torsion-free discrete group then $C^*_{\...

2
votes

0
answers

40
views

### Partially commutative elements in powers of augmentation ideal

Let $\vartheta$ a relation of parcial commutation over a set $X,$ and consider the respective free parcially commutative group $F(X, \vartheta).$ Let $K[F(X, \vartheta)]$ the parcially commutative ...

8
votes

1
answer

510
views

### Abstract proof that $\lvert H^2(G,A)\rvert$ counts group extensions

(This question is originally from Math.SE, where it didn't receive any answers.)
$\DeclareMathOperator{\Hom}{Hom}
\DeclareMathOperator{\im}{im}
\DeclareMathOperator{\id}{id}
\DeclareMathOperator{\ext}{...

2
votes

1
answer

269
views

### Flatness of submodules of free modules

Are submodules of free $\mathbb{Z}[G]$-modules flat? if not what conditions on $G$ makes it true? $G$ is an infinite group.
If $\mathbb{Z}[G]$ is a Prüfer domain then this is true. Can a group ring $...

5
votes

0
answers

170
views

### Any f.p. faithful simple module over a primitive group ring?

Recall that a ring $R$ is primitive if it has a faithful simple left module. Let $G$ be a countable discrete group and $R=\mathbb{k}G$, where $\mathbb{k}$ denotes some field or $\mathbb{Z}$.
There ...

11
votes

1
answer

466
views

### Is the norm element characteristic in modular group rings?

Let $G$ be a finite $p$- group and let $\varphi$ be an automorphism of $\mathbb{F}_pG$ as $\mathbb{F}_p$-algebras and let $n = \sum_{g\in G} g$ be the norm element. Does it follow that $\varphi(n)=n$?
...

3
votes

0
answers

102
views

### Does this element belong to $\mathbb CG$?

Let $G$ be a torsion-free group. Let $\alpha$ be a symmetric element of $\mathbb CG$, i.e. $\alpha^*=\alpha$, with $\|\alpha\|_1=\sum|\alpha(g)|<1$, so $\beta:=\sum_{n\ge 0}(-1)^n\alpha^n$ is an ...

5
votes

0
answers

223
views

### Are these element in a group algebra of a torsion-free group zero divisors?

Let $G$ be an arbitrary torsion-free group. For $x,y\in G$, which of these elements can be decided immediately not to be zero divisors in $\mathbb ZG$ (or in $\mathbb CG$)?
$$1+x+y,\quad 4+x+x^{-1}+y+...

5
votes

0
answers

150
views

### lifting of idempotents in group ring

Let $G$ be a finite group, and let $\pi:G\to Q$ be a surjective group homomophism. The map $\pi:G\to Q$ does not necessarily split, but we can always find a set theoretical splitting $s:Q\to G$. In ...

35
votes

0
answers

1k
views

### Groups whose complex irreducible representations are finite dimensional

By a complex irreducible representation of a group $G$, I mean a simple $\mathbb CG$-module. So my representations need not be unitary and we are working in the purely algebraic setting.
It is easy ...

14
votes

1
answer

542
views

### Group rings such that every (countably generated) module has a maximal submodule

Every (non-zero) finitely generated module over a ring has a maximal proper submodule by a simple application of Zorn's lemma.
I am interested in the following question, with two variants.
...

7
votes

2
answers

417
views

### Using Dunwoody's results on cohomological dimension to learn about a von Neumann regular group ring

Just recently I've stumbled across Warren Dicks' book Groups, trees and projective modules (1980) and I was pretty stunned. I know nothing of group cohomology, but I gather the "tree" ...

3
votes

1
answer

1k
views

### Looking for example of quotient of group algebra by ideal of group ring which fails to be injective

I am looking for an example of a group ring $\mathbb{Z}[G]$ of a finite group $G$ along with a lattice $I$ (in the case at hand the word 'lattice' means: a $\mathbb{Z}[G]$-submodule which is ...

5
votes

0
answers

127
views

### Chains of right annihilators in group rings

See the update below
This problem emanates from a question on not-so-simple random walks on finitely generated groups. But to explain the connections would require an extremely long essay.
Let $G$ be ...

1
vote

0
answers

40
views

### When is genus the same as stable equivalence?

Suppose $M, N$ are two $R$-modules (I had in mind the group ring $R=\mathbb{Z}[G]$ for a finite group $G$). By localizing at a prime $p$ I mean $M_{(p)}\cong M\otimes_R R_{(p)}$. If $M$ and $N$ are ...

6
votes

1
answer

365
views

### Transcendence degree of the fraction field of $k[G]$ for torsion free abelian group $G$

Let $k$ be a field of characteristic $p$ and $G$ be a torsion free abelian group . Then the group ring $k[G]$ is an integral domain , let $k(G)$ denote its field of fractions . Then can we say ...

2
votes

0
answers

91
views

### Improved dimension subgroups

Given a group $G$,
one can define
(see below)
a descending sequence of subgroups
$K^s(G)$, $s=1,2,\dots$,
satisfying
$$
\gamma^s(G)\subseteq K^s(G)\subseteq D^s(G),
$$
where
$\gamma^s(G)$ is ...

4
votes

1
answer

148
views

### Right reversibility of submonoids of nilpotent groups

Let $G$ be a finitely generated group (optionally torsion-free). Let $N$ be a submonoid of $G$ (that is, a subsemigroup with $1$).
A (cancellative) monoid/semigroup $S$ is right reversible if for ...