SAGBI bases in rings of multiplicative invariants

Abstract

Let k be a field and G be a finite subgroup of \( \GL_n(\mathbb Z) \). We show that the ring of multiplicative invariants $k[x_1^{\pm 1},\dots ,x_n^{\pm 1}{]}^G$ has a finite SAGBI basis if and only if G is generated by reflections.