{"id":"arxiv/2610.00804","url":"https://arxiv.org/abs/2610.00804","tags":["math.GR"],"score":0,"title":"A one-sided Auslander--Lyndon theorem","domain":"math.GR","source":"arxiv","authors":["Artur Tursunbaev"],"reviews":0,"subject":"math.GR","summary":"We prove that if $F$ is a noncyclic free group, $R\\triangleleft F$ and $S\\le F$, then the inclusion $R'\\le S'$ implies $R\\le S$. Thus the normality hypothesis on the second subgroup can be omitted from the Auslander--Lyndon theorem. No restrictions are imposed on ranks or indices.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-30","reactions":{}}