Failure of direct finiteness for group algebras in every odd characteristic
For every odd prime $p$, we construct a finitely presented group $G_p$ and elements $a,b,c\in\mathbb{F}_p[G_p]$ such that $ab=1$, $ac=0$, and $c\ne0$. Thus $\mathbb{F}_p[G_p]$, and the group algebra over every field of characteristic $p$, fails to be directly finite. The construction combines a single exceptional self-product pair with signed bipartite cancellation. New integer matching data realize the exceptional self-intersection while retaining a strict squared-word decay estimate. We verify the adaptations needed for the earlier bounded-path and planar-localization arguments. A minimal…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.22536
curl -X POST /api/v1/records/arxiv/2610.22536/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.22536/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'