Metric uniform simplicity for finite metric ultraproducts
Let G=(Gn,∥⋅∥n)n∈N\mathcal{G}=(G_n,\|\cdot\|_n)_{n\in\mathbb{N}}G=(Gn,∥⋅∥n)n∈N be a family of pseudometric groups, and let (Gmet,fin∗,∥⋅∥)({\mathcal G}^*_{\mathrm{met,fin}},\|\cdot\|)(Gmet,fin∗,∥⋅∥) be its finite metric ultraproduct.…