The Separating Noether Number of Finite Abelian Groups
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866914417517527040 |
|---|---|
| author | Huang, Jing |
| author_facet | Huang, Jing |
| contents | For a finite abelian group $G$, let $β_{\mathrm{sep}}(G)$ denote its separating Noether number. We determine $β_{\mathrm{sep}}(G)$ exactly for every finite abelian group $
G \cong C_{n_1}\oplus \cdots \oplus C_{n_r}$ with $
1<n_1 \mid \cdots \mid n_r. $
If $r=2s-1$, then $$ β_{\mathrm{sep}}(G)=n_s+n_{s+1}+\cdots+n_r, $$ whereas if $r=2s$, then $$ β_{\mathrm{sep}}(G)=\frac{n_s}{p_1}+n_{s+1}+\cdots+n_r, $$ where $p_1$ denotes the smallest prime divisor of $n_1$. Our proof is additive-combinatorial in nature. It avoids the Davenport-equality assumption $\mathsf{D}(n_sG)=\mathsf{D}^{*}(n_sG)$ used in previous works. The key ingredients are a geometric reduction of auxiliary sequences via the novel construction of geodesic surrogates, alongside a uniform lifting procedure for relation groups. As an application, we prove that if $r\ge 2$, then every extremal separating atom $A$ over $G_0$ with $|G_0|\le r+1$ satisfies $|\supp(A)|=|G_0|=r+1$. Equivalently, the conjectured support conclusion of Schefler, Zhao, and Zhong holds for all finite abelian groups of rank at least $2$. By contrast, the rank-$1$ case is exceptional: for cyclic groups, the analogous conjectural conclusion is false. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_23164 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | The Separating Noether Number of Finite Abelian Groups Huang, Jing Commutative Algebra 13A50, 11B75, 20K01 For a finite abelian group $G$, let $β_{\mathrm{sep}}(G)$ denote its separating Noether number. We determine $β_{\mathrm{sep}}(G)$ exactly for every finite abelian group $ G \cong C_{n_1}\oplus \cdots \oplus C_{n_r}$ with $ 1<n_1 \mid \cdots \mid n_r. $ If $r=2s-1$, then $$ β_{\mathrm{sep}}(G)=n_s+n_{s+1}+\cdots+n_r, $$ whereas if $r=2s$, then $$ β_{\mathrm{sep}}(G)=\frac{n_s}{p_1}+n_{s+1}+\cdots+n_r, $$ where $p_1$ denotes the smallest prime divisor of $n_1$. Our proof is additive-combinatorial in nature. It avoids the Davenport-equality assumption $\mathsf{D}(n_sG)=\mathsf{D}^{*}(n_sG)$ used in previous works. The key ingredients are a geometric reduction of auxiliary sequences via the novel construction of geodesic surrogates, alongside a uniform lifting procedure for relation groups. As an application, we prove that if $r\ge 2$, then every extremal separating atom $A$ over $G_0$ with $|G_0|\le r+1$ satisfies $|\supp(A)|=|G_0|=r+1$. Equivalently, the conjectured support conclusion of Schefler, Zhao, and Zhong holds for all finite abelian groups of rank at least $2$. By contrast, the rank-$1$ case is exceptional: for cyclic groups, the analogous conjectural conclusion is false. |
| title | The Separating Noether Number of Finite Abelian Groups |
| topic | Commutative Algebra 13A50, 11B75, 20K01 |
| url | https://arxiv.org/abs/2603.23164 |