Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2605.21025 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910240027443200 |
|---|---|
| author | Sonukumar Madhusudanan, Vinay |
| author_facet | Sonukumar Madhusudanan, Vinay |
| contents | 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 \geq 3,\, k \neq 4} a_k$.
\emph{Termination Theorem.} For every tower group $G_0$, we prove that $G_3 = 1$, and that this bound is sharp.
The proof applies Goursat's lemma to classify $\mathcal{N}(G)$ into three families parameterised by admissible triples $(J,\mathbf{P},H)$ as sub-products, sign-parity elements, and mixed elements, and uses the Krull--Schmidt theorem to identify the direct factors $S_k^{(k,i)}$ as precisely the nontrivial indecomposable complemented elements of $\mathcal{N}(G)$ (the complemented elements being exactly the full sub-products). These results do not extend to groups outside the tower-group family. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_21025 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Termination of the Lattice-Automorphism Tower for Direct Products of Symmetric Groups Sonukumar Madhusudanan, Vinay Group Theory 20E15, 20F28, 06B05, 20B30 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 \geq 3,\, k \neq 4} a_k$. \emph{Termination Theorem.} For every tower group $G_0$, we prove that $G_3 = 1$, and that this bound is sharp. The proof applies Goursat's lemma to classify $\mathcal{N}(G)$ into three families parameterised by admissible triples $(J,\mathbf{P},H)$ as sub-products, sign-parity elements, and mixed elements, and uses the Krull--Schmidt theorem to identify the direct factors $S_k^{(k,i)}$ as precisely the nontrivial indecomposable complemented elements of $\mathcal{N}(G)$ (the complemented elements being exactly the full sub-products). These results do not extend to groups outside the tower-group family. |
| title | Termination of the Lattice-Automorphism Tower for Direct Products of Symmetric Groups |
| topic | Group Theory 20E15, 20F28, 06B05, 20B30 |
| url | https://arxiv.org/abs/2605.21025 |