{"id":"arxiv/2609.27820","url":"https://arxiv.org/abs/2609.27820","tags":["math.GR"],"score":0,"title":"Bergman's amalgamation problem over the circle","domain":"math.GR","source":"arxiv","authors":["Andreas Thom"],"reviews":0,"subject":"math.GR","summary":"We prove that $S^1$, ${\\rm SU}(2)$, and ${\\rm SO}(3)$ are compact amalgamation bases: for each of these groups, any two compact groups with specified embedded copies of it embed in a compact group in which those copies agree. For compact Lie groups, the amalgam can be chosen to be a finite-dimensional unitary group. This research was conducted with substantial AI assistance, including in the development of mathematical constructions and proof arguments.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-23","reactions":{}}