6
$\begingroup$

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 have the following question:

Is there a countable discrete infinite group $G$ over which the group algebra $\mathbb{C} G$ is semisimple?

Improve this question
$\endgroup$
1
  • 3
    $\begingroup$ I.G. Connell, On the group ring, Canad. J. Math. 15 (1963), 650–685 proved the group algebra is Artinian iff the group is finite. Zelmanov generalized this to semigroups. Semisimplicity is not needed. $\endgroup$
    – Benjamin Steinberg
    Commented Jun 27, 2021 at 10:30

2 Answers 2

Reset to default
8
$\begingroup$

The answer is negative as any semisimple Hopf algebra is finite-dimensional. More generally, the same conclusion is true for all Artinian Hopf algebras. See e.g. Liu and Zhang - Artinian Hopf algebras are finite dimensional.

Improve this answer
$\endgroup$
17
$\begingroup$

No: if the discrete group algebra $\mathbb C G$ is semisimple, then $G$ is finite.

Consider the trivial $G$-module $\mathbb C$ and the quotient map of $G$-modules $\mathbb C G \to \mathbb C$ which sends $g \mapsto 1$ for all $g \in G$. If $\mathbb C G$ is semisimple, then this map splits, giving a nonzero $G$-invariant element $$e = \sum_{g \in G} a_g g \in \mathbb C G$$ where $a_g \in \mathbb C$ are almost all zero and $$\sum_{g\in G} a_g = 1.$$ The element $e$ is invariant if and only if $a_g = a_1$ for all $g \in G$, hence such $e$ exists if and only if $G$ is finite.

Improve this answer
$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .