On initial algebras of multiplicative invariants (Q959759)

Let \(K[x^{\pm 1}]\) be the algebra of Laurent polynomials in \(x=(x_1, \ldots, x_n)\) and \(G\subseteq \text{Gl}_n(\mathbb Z)\) a finite subgroup acting on \(K[x^{\pm 1}]\) via matrix multiplication on the exponents. Let \(>\) be a monomial order and \(\text{in}_>(K [x^{\pm 1}]^G)=K[\text{in}_>(f)\;| \;f\in K[x^{\pm 1}]^G\smallsetminus\{0\}]\) be the initial algebra of the ring of invariants. It is proved that the cardinality of the set of distinct initial algebras over all monomial orders on \(K [x^{\pm 1}]\) is finite and equal to \(| G| \) if and only if \(G\) is a reflection group. The concept of a Gröbner region for subalgebras is introduced. It is proved that the dimension of any Gröbner region of \(K [x^{\pm 1}]^G\) is equal to \(n\) if and only if \(G\) is a reflection group.