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$.
32
questions with no upvoted or accepted answers
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 ...
11
votes
0
answers
396
views
Detecting a module for the free group algebra on a finite quotient
Let $F_2$ be the free group on two generators $x,y$ and let $R$ be the group algebra $\mathbf{Q}[F_2]$. Let $a,b,c$ be integers. Then define a right $R$-module
$M = R / (ax + by + c) R$.
I am ...
7
votes
0
answers
97
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 ...
7
votes
0
answers
354
views
The augmentation filtration on a group ring
Let $G$ be a group and $\mathbb QG=\{\sum a_ig_i\colon a_i\in\mathbb Q, g_i\in G\}$ its group ring over $\mathbb Q$. It is a Hopf algebra. Let $I=\{\sum a_ig_i\colon\sum a_i=0\}$ be the augmentation ...
6
votes
0
answers
232
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 ...
5
votes
0
answers
218
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 ...
5
votes
0
answers
183
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 ...
5
votes
0
answers
266
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
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 ...
5
votes
0
answers
133
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 ...
5
votes
0
answers
784
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 e.g....
4
votes
0
answers
155
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 ...
3
votes
0
answers
146
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 ...
3
votes
0
answers
106
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 ...
3
votes
0
answers
263
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 $\mathbb{F}...
2
votes
0
answers
153
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
86
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 $...
2
votes
0
answers
293
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 ...
2
votes
0
answers
94
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
207
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$...
2
votes
0
answers
41
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 ...
2
votes
0
answers
95
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 ...
1
vote
0
answers
151
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 ...
1
vote
0
answers
68
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 ...
1
vote
0
answers
146
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 ...
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 ...
1
vote
0
answers
171
views
Is every stably free module of commutative group ring free?
Is every stably free module of commutative group ring free? if not can you give me an example of commutative group ring with nonfree stably free module.
1
vote
0
answers
806
views
Invertible elements in a group algebra
Let $H$ be a torsion-free abelian group and let $\mathbb{K}$ be a field with two elements.
I would like to ask the following question:
Is the group of units of the group algebra $\mathbb{K}[H]$ ...
1
vote
0
answers
201
views
The normalizer problem for group rings
I recently studied about The Normalizer problem (NP) which states that given an integral group ring $\Bbb{Z}G$, $N_{\cal{U}}(G)=G\frak{z}$ where $\frak{z}$ denotes centre of $\cal{U}$ = $\cal{U}$$(\...
0
votes
0
answers
76
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 ...
0
votes
0
answers
138
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]?
0
votes
0
answers
159
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 ...