{"id":"arxiv/2605.21025","url":"https://arxiv.org/abs/2605.21025","tags":["math.GR"],"score":0,"title":"Termination of the Lattice-Automorphism Tower for Direct Products of Symmetric Groups","domain":"math.GR","source":"arxiv","authors":["Sonukumar","Vinay Madhusudanan"],"reviews":0,"subject":"math.GR","summary":"Let $G$ be a finite group. Let $\\mathcal{N}(G)$ be the lattice of normal subgroups ordered by inclusion, regarded as an abstract lattice. Define $\\operatorname{LatAut}(G) := \\operatorname{Aut}(\\mathcal{N}(G))$. The \\emph{LatAut tower} is the sequence defined by $G_0 = G$, $G_{n+1} = \\operatorname{LatAut}(G_n)$. Let $G$ be a \\emph{tower group} if $G \\cong \\prod_{k \\geq 3} S_k^{a_k}$ with finitely many $a_k \\neq 0$. We establish the following for tower groups. \\emph{Product Formula.} $\\operatorname{LatAut}\\!\\bigl(\\prod_{k \\geq 3} S_k^{a_k}\\bigr) \\cong S_{a_4} \\times S_B$, where $B = \\sum_{k…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-20","reactions":{}}