Skip to main content

All Questions

Filter by
Sorted by
Tagged with
0 votes
2 answers
155 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 ...
Melon_Musk's user avatar
1 vote
0 answers
74 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
5 votes
1 answer
448 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 ...
Hugo MTV's user avatar
  • 188
1 vote
1 answer
137 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 $$\...
HIMANSHU's user avatar
  • 381
9 votes
1 answer
580 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
  • 63.9k
6 votes
1 answer
360 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$ ...
Alireza Abdollahi's user avatar
5 votes
0 answers
296 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+...
MSMalekan's user avatar
  • 2,118
14 votes
1 answer
581 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
9 votes
1 answer
893 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 ...
Nguyen lan Lee's user avatar
3 votes
1 answer
220 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 \...
Hans's user avatar
  • 3,031
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 "...
Steven Sam's user avatar
  • 10.7k
15 votes
2 answers
951 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 ...
Patzer's user avatar
  • 151