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.