Skip to main content

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$.

Filter by
Sorted by
Tagged with
4 votes
1 answer
129 views

Examples of Noetherian integral group ring

I need to study the integral group ring of the fundamental group of a manifold. My knowledge of group and ring theory is very limited. I am looking for some examples of groups $G$ for which $\Bbb ZG$ ...
Random's user avatar
  • 1,107
2 votes
1 answer
172 views

On the existence, for $\langle X,R\rangle$ a finite presentation of a group $G$, of an exact sequence of $\mathbb{Z}G$ modules

From this Q&A -- for $\langle X,R\rangle$ a finite presentation of a group $G$, there is an exact sequence of $\mathbb{Z}G$ modules $$0\rightarrow\pi_{2}(Z)\rightarrow \mathbb{Z}G^{\oplus R}\...
Souvik Mandal 's user avatar
13 votes
1 answer
537 views

Generators for the first cohomology of free groups

Let $F = \langle x_1, \dots, x_n \rangle$ be the free group on $n$ generators and $R = \mathbb Z$. The Fox derivatives $\frac{\partial}{\partial x_i} \colon F \to R[F]$ are the unique derivations ...
Patrick Perras's user avatar
3 votes
2 answers
311 views

Units of the group algebra of a free group

Let $K$ be a field of characteristic zero and $F_n$ be a free group of rank $n$. What is known about the group of units $K[F_n]^\times$? In the case of $n=1$, there are only trivial units: $K[F_1]^\...
Qwert Otto's user avatar
7 votes
0 answers
98 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 ...
darij grinberg's user avatar
3 votes
1 answer
100 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 ...
M.Ramana's user avatar
  • 1,182
1 vote
0 answers
179 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 ...
Maxime Ramzi's user avatar
  • 14.4k
3 votes
1 answer
86 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 ...
user avatar
2 votes
1 answer
86 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 ...
user avatar
0 votes
0 answers
86 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 ...
Tran Nam Son's user avatar
7 votes
1 answer
435 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 ...
user avatar
2 votes
0 answers
158 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 ...
user avatar
2 votes
0 answers
87 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 $...
Ali Taghavi's user avatar
1 vote
0 answers
71 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 ...
Tran Nam Son's user avatar
2 votes
0 answers
298 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 ...
Bhaskar Vashishth's user avatar
0 votes
1 answer
151 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, ...
Quentin Faes's user avatar
4 votes
1 answer
381 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$?
Ralle's user avatar
  • 471
2 votes
1 answer
296 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?
Ivan Degtyar's user avatar
0 votes
0 answers
147 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]?
HuiRong's user avatar
  • 31
5 votes
0 answers
233 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 ...
stupid_question_bot's user avatar
1 vote
0 answers
147 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 ...
HIMANSHU's user avatar
  • 381
12 votes
1 answer
307 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]$ ...
user124543's user avatar
9 votes
1 answer
471 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 ... ?...
Bernhard Boehmler's user avatar
9 votes
2 answers
233 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$, ...
Alice's user avatar
  • 93
9 votes
1 answer
546 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 ...
YCor's user avatar
  • 62.3k
4 votes
0 answers
156 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 ...
ARG's user avatar
  • 4,362
27 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 ...
Ville Salo's user avatar
  • 6,457
5 votes
1 answer
124 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, ...
Simone Virili's user avatar
3 votes
0 answers
148 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 ...
HIMANSHU's user avatar
  • 381
6 votes
0 answers
234 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 ...
DJWilliams's user avatar
2 votes
0 answers
97 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 ...
Sudarshan Narasimhan's user avatar
2 votes
0 answers
224 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$...
ABC's user avatar
  • 530
3 votes
1 answer
448 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 $...
ABC's user avatar
  • 530
4 votes
1 answer
199 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{...
Ali Taghavi's user avatar
0 votes
1 answer
184 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 $\...
Ali Taghavi's user avatar
8 votes
1 answer
723 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^*_{\...
Ali Taghavi's user avatar
2 votes
0 answers
42 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 ...
674123173797 - 4's user avatar
8 votes
1 answer
534 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}{...
Thomas Browning's user avatar
2 votes
1 answer
295 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 $...
user127776's user avatar
  • 5,861
5 votes
0 answers
185 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 ...
Jiang's user avatar
  • 1,528
11 votes
1 answer
493 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$? ...
HenrikRüping's user avatar
3 votes
0 answers
107 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 ...
Meisam Soleimani Malekan's user avatar
5 votes
0 answers
280 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+...
Meisam Soleimani Malekan's user avatar
5 votes
0 answers
154 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 ...
Ehud Meir's user avatar
  • 5,019
37 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 ...
Benjamin Steinberg's user avatar
14 votes
1 answer
568 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. ...
Benjamin Steinberg's user avatar
7 votes
2 answers
469 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" ...
rschwieb's user avatar
  • 1,505
3 votes
1 answer
2k 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 ...
user122368's user avatar
5 votes
0 answers
148 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 ...
David Handelman's user avatar
1 vote
0 answers
41 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 ...
Sam Williams's user avatar