Questions tagged [group-algebras]
The group-algebras tag has no usage guidance.
64
questions
1
vote
2
answers
140
views
Prove that the ideal of $\mathbb{C}G$ generated by a family of elements $\lbrace p_i\rbrace_{i=1}^n$ is equal to $\mathbb{C}G$
Given a finite abelian group $G$ consider the group algebra $\mathbb{C}G$ and a set $\mathcal{P}=\lbrace p_i\rbrace_{i=1}^n$ of elements of $\mathbb{C}G$. Define $I$ to be the ideal of $\mathbb{C}G$ ...
3
votes
1
answer
289
views
A generalisation of induced representations
Let $G$ be a finite group, and $H\subseteq G$ a subgroup. Let $F$ be a field. Let $W$ be a finite-dimensional $F[H]$-module. Let $T$ be a left transversal of $H$ in $G$. Then we can define:
$W^G=\sum_{...
1
vote
1
answer
117
views
Example of a group algebra with commutative Jacobson radical
I am searching a simple example of a finite group $G$, so that the Jacobson radical $J(FG)$, of group algebra $FG$ is commutative, where $F$ is a finite field. I know example for that if $G$ is any ...
4
votes
0
answers
92
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 ...
6
votes
0
answers
63
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 ...
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
2
answers
103
views
Examples of isomorphic non-equivalent twisted group algebras
Let $F$ be a field, $G$ be a finite group and $\alpha \in Z^2(G, F^*)$ . The twisted group algebra $F^{\alpha}G$ is a $F$-algebra with $F$ vector basis, $\{\bar g : g \in G \},$ and multiplication ...
4
votes
0
answers
93
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 ...
4
votes
1
answer
751
views
When is a group algebra Koszul?
Let $KG$ be a group algebra of a finite group $G$ such that the characteristic of $K$ divides the group order.
Question: When is a block of a group algebra (or even the whole group aglebra) a Koszul ...
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 ...
2
votes
0
answers
233
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. ...
5
votes
1
answer
393
views
Is any finite-dimensional algebra a sub-algebra of a finite-group algebra?
For $A$ a finite-dimensional algebra over a field $K$
Does there exist a finite group $G$, such that $A$ is a sub-algebra of $K[G]$ ?
Where $K[G]$ denotes the group-algebra of $G$ over $K$.
In case ...
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}...
1
vote
1
answer
125
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
149
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
63
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
139
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
320
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
491
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 ...
25
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
112
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
281
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
504
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
289
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
362
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
443
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
119
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
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\...
6
votes
1
answer
336
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
242
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
180
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
549
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
593
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 ...
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 ...
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 ...
0
votes
1
answer
300
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
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 ...
0
votes
0
answers
395
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
846
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
944
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
171
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
332
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
351
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
804
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?
16
votes
1
answer
319
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
270
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
203
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
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-...
1
vote
1
answer
252
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}=\...