Height-One Prime Ideals in Semigroup Algebras Satisfying a Polynomial Identity

For a submonoid S of a torsion-free abelian-by-finite group, we describe the height-one prime ideals of the semigroup algebra K[S]. As an application we investigate when such algebras are unique factorization rings.