{"id":"arxiv/2603.15864","url":"https://arxiv.org/abs/2603.15864","tags":["math.GR"],"score":0,"title":"On the first-order genus of wreath products and their central extensions","domain":"math.GR","source":"arxiv","authors":["Olga Kharlampovich","Alexei Miasnikov","Denis Osin"],"reviews":0,"subject":"math.GR","summary":"We prove that groups of the form $\\mathbb Z^m {\\,\\rm wr\\,} \\mathbb Z^n$, where $m,n \\in \\mathbb N$, are regularly bi-interpretable with $\\mathbb Z$ and therefore are first-order rigid: every finitely generated group elementarily equivalent to $\\mathbb Z^m {\\,\\rm wr\\,} \\mathbb Z^n$ is isomorphic to $\\mathbb Z^m {\\,\\rm wr\\,} \\mathbb Z^n$. On the other hand, we show that $\\mathbb Z^2 {\\,\\rm wr\\,} \\mathbb Z$ admits $2^{\\aleph_0}$ elementarily equivalent, pairwise non-isomorphic central extensions with finite kernel.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-16","reactions":{}}