Questions tagged [group-algebras]
The group-algebras tag has no usage guidance.
52
questions
2
votes
0
answers
121
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}...
1
vote
1
answer
120
views
Nilpotent elements of index $2$ in group algebra $FA_4$
Let $A_4 = K_4 \rtimes C_3$ be alternating group on $4$ symbols and $F$ be finite field containing $4$ elements. By definitions of group algebra and augmentation ideal, there exist a natural map $$\...
6
votes
0
answers
143
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 ...
2
votes
0
answers
54
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 ...
1
vote
0
answers
112
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 ...
6
votes
2
answers
275
views
Is there a countable discrete infinite group $G$ over which the group algebra $\mathbb{C} G$ is semisimple?
I am seeking for an Artin $k$-algebra (especially for group algebra) which is infinite-dimensional over some field $k$. It's known that any complex group algebra has trivial Jacobson radical. So I ...
8
votes
1
answer
393
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 ...
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
0
answers
87
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 ...
0
votes
1
answer
260
views
Group algebras and group automorphisms
Say, we have a countable ICC group $G$, a Hilbert space $H$ with a basis indexed by the group elements, the group algebra generated by the left regular representation of $G$ on this Hilbert space, and ...
12
votes
0
answers
489
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. ...
2
votes
1
answer
225
views
Name and properties of this combination of group algebra and semidirect product?
Given a field $k$, a group $G$, and a homomorphism $\phi : G \to \mathrm {Aut} (k)$, we can define a ring $\widehat {k [G]}_\phi$ as follows: As an abelian group it is isomorphic to the group algebra $...
3
votes
2
answers
348
views
Norm of two operators on $l^2(\mathbb{Z}_{2}*\mathbb{Z}_{2})$ different
In my research I encounered the following (very concrete) question: Consider the (discrete) group $G:=\mathbb{Z}_{2}*\mathbb{Z}_{2}$. Let $s\text{, }t\in G$ be the generating elements and define for $\...
5
votes
0
answers
375
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 $...
2
votes
0
answers
111
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 ...
3
votes
0
answers
57
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\...
6
votes
1
answer
303
views
Zero divisors in complex group algebras of residually finite groups
Conjecture. There exists a function $f:\mathbb{N} \rightarrow \mathbb{N}$ such that if $\alpha$ and $\beta$ are non-zero elements of the complex group algebra $\mathbb{C}[G]$ of a finite group $G$ ...
5
votes
0
answers
193
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+...
1
vote
0
answers
163
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 ...
14
votes
1
answer
510
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.
...
13
votes
3
answers
526
views
Is this sum of cycles invertible in $\mathbb QS_n$?
I am interested the following element of the group algebra $\mathbb{Q}S_n$:
\begin{align}
\phi_n=2e+(1\ 2)+(1\ 2\ 3)+\dotsb+(1\ldots n)
\end{align}
where $e$ is the identity permutation. My question ...
7
votes
0
answers
280
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 ...
11
votes
0
answers
325
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 ...
0
votes
1
answer
264
views
Find the trace for some elements in group algebra
Let $K=\langle b,c,d\mid b^{2}=c^{2}=d^{2}=bcd=1\rangle $. Now we consider $$D=K*\mathbb Z/2\mathbb Z=\left\{a,b,c,d\mid a^{2}=b^{2}=c^{2}=d^{2}=bcd=1\right\}$$ where $*$ is the free product. Then we ...
3
votes
0
answers
175
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 ...
0
votes
0
answers
348
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 ...
9
votes
1
answer
798
views
Kaplansky conjecture (consequences)
The Kaplansky conjecture says that: for any field $F$ and any torsion free group $G$, the group ring $F[G]$ does not have nontrivial idempotent elements.
Questions
Do we assume that $F$ has any ...
10
votes
3
answers
808
views
About the classification of commutative and of cocommutative, fin. dim. Hopf algebras
I want to prove that the cocommutative finite dimensional Hopf algebras over an algebraically closed field of characteristic zero are group algebras (for some finite group) and that the commutative f....
3
votes
1
answer
168
views
Elements in the group von Neumann algebra which are not summable
Let $G$ be a discrete group. I am wondering if there is a recipe which can be applied to find elements in the group von Neumann algebra which are not absolutely summable, i.e. $T \in VN(G)$ while $T \...
9
votes
1
answer
308
views
Real rank zero of group $C^*$-algebras
The concept of real rank zero of a $C^*$-algebra is introduced as non-commutative analogue of dimension ( topological dimension ). For example, it shown (by Brown-Pedersen) such that, if $X$ is a ...
1
vote
1
answer
314
views
Irreducible representation of $C^*(D_\infty)$, group $C^*$-algebra of an infinite dihedral group
I have a question about an irreducible representation of the (full) group $C^*$-algebra of an infinite dihedral group $D_\infty$, denoted by $C^*(D_\infty)$.
Ultimately, I'm interested in finding a ...
11
votes
1
answer
724
views
When is the integral group ring Noetherian?
The integral group ring of a polycyclic-by-finite group was shown to be Noetherian by Philip Hall. Are there any other known examples?
12
votes
0
answers
204
views
Must nonunit in group algebra of free group generate proper two-sided ideal?
Let $F$ be a free group and $k$ be a field. If $x$ is an element of
the group algebra $k[F]$ that is not a unit (equivalently, that is not
a nonzero scalar multiple of an element of $F$), must the 2-...
3
votes
1
answer
241
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 ...
3
votes
1
answer
180
views
Intersection of Maximal Left Ideals with Finite Dimensional Quotient
Let $\Gamma$ be a finitely generated group and let $A=\mathbb{C}[\Gamma]$ be the corresponding group algebra over $\mathbb{C}$. Let $X$ be the set of all maximal left ideals of $A$ and let $X_0=\{I \...
28
votes
1
answer
2k
views
Does GL_n(Z) have a noetherian group ring?
Has the (left, right, 2-sided) noetherian property of the integral group ring of arithmetic groups like $GL_n(Z)$ been considered in the literature?
Motivation: a recent trend has been to study "...
3
votes
0
answers
268
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-...
1
vote
1
answer
245
views
$Aut(\mathbb{Z}G)=?$ for $G=\mathbb{Z}^2\rtimes_n\mathbb{Z}$
I am interested in the automorphism group of the group ring $\mathbb{Z}G$ for some noncommutative group $G$ of the form $\mathbb{Z}^2\rtimes_n\mathbb{Z}$, say
$$\mathbb{Z}^2\rtimes_n\mathbb{Z}=\...
9
votes
2
answers
746
views
Are the reduced group Von Neumann algebra/ Group $C^{\ast}$ algebra functorial in the case of LCH groups
Let $G$ be a LCH group and $\mu$ be its left Haar measure. Call $\lambda_G : G \to U(L_2(G,\mu))$ the left regular representation. We can define the reduced $C^{\ast}$ algebra and reduced Von Neumann ...
14
votes
2
answers
510
views
$\mathbb{Z}G$ (left) Noetherian$\Rightarrow$ $\ell^1(G)$ is a flat (right) $\mathbb{Z}G$-module?
Let $G$ be a countable discrete group (not necessarily abelian), and suppose the group ring $\mathbb{Z}G$ is a left-Noetherian ring, for example, when $G$ is a polycyclic-by-finite group.
Denote the ...
18
votes
1
answer
594
views
Group rings isomorphic over $\mathbf{F}_p$, but not over $\mathbf{Z}_p$?
Suppose given a prime $p$.
Question: Do there exist finite groups $G$ and $H$ such that ${\bf F}_p G$ is isomorphic to ${\bf F}_p H$, but such that ${\bf Z}_p G$ is not isomorphic to ${\bf Z}_p H$ ?
...
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,...
0
votes
0
answers
134
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 ...
15
votes
2
answers
932
views
Does $\mathbb{K}[G]\simeq\mathbb{K}[H]$ for some field $\mathbb{K}$ of characteristic $p$, imply $\mathbb{F}_p[G]\simeq\mathbb{F}_p[H]$?
Due to the first (and very helpful) answer I received, I've reformulated the question a little: $G$ and $H$ are now assumed to be $p$-groups.
Let $p$ be a prime, and let $\mathbb{F}_p$ be the field ...
2
votes
2
answers
176
views
vanishing of certain product in group algebra
Let $G$ be a finite abelian group. When $\prod_{g\in G\setminus 1} (1-g)$ vanishes in (say, complex) group algebra of $G$?
It is easy to see that for cyclic group $G$ such product does not vanish, ...
6
votes
2
answers
2k
views
The functoriality of group C* algebra structure
Let $G$ and $H$ be discrete groups and $f:G \rightarrow H$ be any homomorphism of these groups. I have three questions about it:
1) How to prove the functoriality of the construction of universal $C^*...
23
votes
3
answers
3k
views
Splitting the determinant polynomial into linear factors - a Dedekind problem
Here's the question in a nutshell. For some $n\in\mathbb N$, we consider the polynomial
$\det\left(\left(X_{i,j}\right) _ {1\leq i\leq n,\ 1\leq j\leq n}\right)\in\mathbb Z\left[X_{i,j}\mid 1\leq i\...
0
votes
0
answers
371
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 ...
5
votes
2
answers
585
views
Reference for von Neumann algebras coming from a group algebra twisted by a 2-cocycle?
I am looking at a von Neumann algebra constructed from a discrete group and a 2-cocylce.
Does someone know some good references (article, book)? It would be very helpful for me.
To be more precise, ...
5
votes
2
answers
793
views
Universal characterization and explicit description of elements of the group von Neumann algebra and the crossed product
Group von Neumann algebras and crossed products for a locally compact group G
can be constructed in many different ways.
For example, one can take the von Neumann algebra generated
by certain ...