Degree bounds for fields of rational invariants of $\mathbb{Z}/p\mathbb{Z}$ and other finite groups

Abstract

Degree bounds for algebra generators of invariant rings are a topic of longstanding interest in invariant theory. We study the analogous question for field generators for the field of rational invariants of a representation of a finite group, focusing on abelian groups and especially the case of $\mathbb{Z}/p\mathbb{Z}$. The inquiry is motivated by an application to signal processing. We give new lower and upper bounds depending on the number of distinct nontrivial characters in the representation. We obtain additional detailed information in the case of two distinct nontrivial characters. We conjecture a sharper upper bound in the $\mathbb{Z}/p\mathbb{Z}$ case, and pose questions for further investigation.

arXiv comment41 pages, 1 table. Minor corrections

References in corpus (15)

• Single-particle cryo-electron microscopy: Mathematical theory, computational challenges, and opportunities
• Estimation under group actions: recovering orbits from invariants
• Differential invariants of a Lie group action: syzygies on a generating set
• Separating algebras and finite reflection groups
• Degree bounds for separating invariants
• The Cohen-Macaulay property of separating invariants of finite groups
• The generalized method of moments for multi-reference alignment
• Algorithms for orbit closure separation for invariants and semi-invariants of matrices
• Helly dimension of algebraic groups
• Separating invariants for 2x2 matrices
• Rational invariants of even ternary forms under the orthogonal group
• Zero-separating invariants for finite groups
• Finite separating sets and quasi-affine quotients
• Separating invariants of three nilpotent 3x3 matrices
• On the generalized Davenport constant and the Noether number