An explicit construction of a limit variety of groups
We construct an explicit countable group \(G_*=N(R)\rtimes A\) whose generated variety is a limit variety of groups: it has no finite identity basis, whereas every proper subvariety is finitely based. Here \(A\) is relatively free in the variety of groups of nilpotency class at most two and exponent dividing four, and \(R\) is an explicitly defined quotient of the group algebra \(\mathbb F_2[A]\). The proof establishes an ascending chain condition for coefficient spaces indexed by six ordered commutator entries and reduces every proper subvariety to a hereditarily finitely based…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.17086
curl -X POST /api/v1/records/arxiv/2610.17086/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.17086/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'