Questions tagged [group-algebras]
The group-algebras tag has no usage guidance.
25
questions with no upvoted or accepted answers
12
votes
0
answers
509
views
Does $\mathrm{Ext}^1(M,M) \neq 0$ imply $\mathrm{Ext}^2(M,M) \neq 0$?
$\DeclareMathOperator{\Ext}{\operatorname{Ext}}$The first question is about group algebras:
Question 1: Let $A=kG$ be a group algebra (with $G$ finite) and let $M$ be an indecomposable $A$-module. ...
- 25.4k
11
votes
0
answers
329
views
"Small" zero divisors in $\mathbb C[\mathbb Z/p\mathbb Z]$
If $p$ is a prime, and $a,b$ are non-zero elements of the group algebra $\mathbb C[\mathbb Z/p\mathbb Z]$ satisfying $a\ast b=0$, then $$|{\rm supp}\ a|+|{\rm supp}\ b|\ge p+2.$$ This is easy to prove ...
- 22.6k
8
votes
0
answers
325
views
Torsion in a tensor product over a group ring
Let $\Gamma$ be a finitely generated dense subgroup of a pro-$p$ group $G$. Let $\mathbb Z_p$ be the ring of $p$-adic numbers. Denote by $\mathbb Z_p[[G]]$ the completed group algebra.
Is it true ...
- 1,378
7
votes
0
answers
94
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 ...
- 32.7k
6
votes
0
answers
150
views
Subalgebra of group algebra generated by idempotents
Let $G$ be a finite group, and let $A$ and $B$ be two abelian subgroups of $G$. Let $K$ be a number field such that all characters of $A$ and of $B$ take values in $K$. Let $\mathcal{O}_K$ be the ring ...
- 4,969
5
votes
0
answers
116
views
Is the group Hopf algebra left and right adjoint?
Suppose that $G$ is a group and $k$ is a field. Then it is well known that the group ring (group algebra) functor $k[\bullet]$ is left adjoint to the group of units functor, the latter of which ...
- 1,994
5
votes
0
answers
464
views
Slightly noncommutative Nakayama's lemma?
Nakayama's lemma asserts the following. If $R $ is a commutative ring with an element $s$, and $M$ is a finitely generated module such that $sM = M$, then there exists $r \in R$ such that $rM =0$ and $...
- 4,639
5
votes
0
answers
257
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+...
- 2,118
5
votes
0
answers
2k
views
Is the radical of a homogeneous ideal homogeneous?
Let $S$ be an $M$-graded $R$-algebra, where $M$ is some monoid, and $I\subset S$ an homogeneous ideal. The original, naïve, question, was: is it true that $\sqrt{I}$ is homogeneous? In this generality,...
- 1,791
4
votes
0
answers
96
views
A weaker version of a theorem of P. Hall on noetherianity of $G$-modules
Recall that a group $G$ is polycyclic if it has a finite series of subgroups $G=G_0 \rhd G_1 \rhd \cdots \rhd G_l =1$ for which each factor $G_{i-1}/G_i$ is finite cyclic or infinite cyclic. A group ...
- 1,172
4
votes
0
answers
94
views
Convolution algebra of a simplicial set
Consider a simplicial set $X^\bullet$ with face maps $d_i$ (assume the set is finite in each degree so there are no measure issues). Then given two functions $f,g:X^1\to \mathbb{C}$ one can form their ...
- 1,148
3
votes
0
answers
58
views
Zero divisors with support size 3 in complex group algebras of residually finite groups
Conjecture. There exists a function $f:\mathbb{N} \rightarrow \mathbb{N}$ such that if $\beta$ is a non-zero element of the complex group algebra $\mathbb{C}[G]$ of a finite group $G$ such that $1\...
- 3,708
3
votes
0
answers
182
views
Orthogonal basis for decomposition of induced representation of derangements
Background
Let $V_n$ be the $\mathbb{C}$-module spanned by the set of derangements (permutations with no fixed points) inside the group ring of $S_n$. We make $V_n$ into a $\mathbb{C}S_n$-module ...
- 185
3
votes
0
answers
281
views
(Non trivial) coidempotents(Co-$K$-theory)
I was interested to know about coalgebraic version of "Idempotents".
So I seached the web and I found the following interesting post :
https://math.stackexchange.com/questions/689322/co-idempotents-...
- 280
2
votes
0
answers
236
views
Existence of $\sqrt{2}$ in a finite group algebra over $\mathbb{Q}$
I cannot find a finite group $G$ such that $\exists x\in \mathbb{Q}[G]$ with $x^2=2e$, where $\mathbb{Q}[G]$ is the group algebra of $G$ over $\mathbb{Q}$.
I also could not prove it does not exist. ...
- 79
2
votes
0
answers
124
views
invariant decomposition of $\mathbb{C}[S_k^n]^{S_k}$
Denote $S_k^n = \underbrace{S_k \times \dots \times S_k}_{n \text{ times}}$
and let $S_k$ act on $S_k^n$ conjugate diagonal, so that
$$
\pi (\sigma_1, \dots, \sigma_n)\pi^{-1} := (\pi \sigma_1 \pi^{-1}...
- 219
2
votes
0
answers
65
views
Wedderburn decomposition of wreath product of cyclic p-groups
Let $G$ be wreath product of cyclic group of prime order $p$ by itself, i.e. $G=C_p \wr C_p$, where the action of $C_p$ is taken as cyclic permutation on generators of first $p$ cyclic groups. Can we ...
- 381
2
votes
0
answers
120
views
Uniserial modules for group algebras
Recall that a module is uniserial in case it has a unique composition series.
Let $G$ be a finite group and $kG$ its group algebra, that we assume is not semi-simple.
Questions:
Can uniserial modules ...
- 25.4k
1
vote
0
answers
66
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 ...
- 141
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 ...
- 381
1
vote
0
answers
185
views
Idempotents in Group Algebras
What is known about idempotents in Lie group algebras (such as on the classical Lie groups)? Specifically the self-adjoint ones. Is there anything interesting to say? I haven't been able to find much ...
- 1,148
0
votes
0
answers
63
views
Identities for operators in group algebras
Let C[G] be a group algebra for (typically) infinite noncommutative group G.
fix f,g -- functions $f,g : C[G]\times C[G] \to C[G]$. Let us consider the family of operators on $C[G]$ such that for the ...
0
votes
0
answers
415
views
Intersection of two subspaces of a Hilbert space
Background:
Let $D$ be a Klein Four group and consider free product $Z/2Z\star D=<a,b,c,d|a^{2}=b^{2}=c^{2}=d^{2}=bcd=1>$. Now we consider group algebra generated by $Z/2Z\star D$ with inner ...
- 387
0
votes
0
answers
141
views
Are all of compact support functions of $A(G)$ in its abstract Segal algebras?
Let $G$ be a locally compact group. We know that if $G$ is abelian and $\cal F$ implies the Fourier transform, for every Segal algebra of $G$ say $S^1(G)$, ${\cal F}S^1(G)$ is an abstract Segal ...
0
votes
0
answers
372
views
Amenability of an "almost Hamiltonian" group
Here is another interesting question that I can't answer on my own.
Let $G$ be a countable, discrete group such that for any subgroup $H$ of $G$ and any element $s$ of $G$ we have $[H : sHt]$ is ...
