{"id":"arxiv/2610.17086","url":"https://arxiv.org/abs/2610.17086","tags":["math.GR"],"score":0,"title":"An explicit construction of a limit variety of groups","domain":"math.GR","source":"arxiv","authors":["Zidong Gao","Yilin Zhou"],"reviews":0,"subject":"math.GR","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-12","reactions":{}}