We introduce the concept of geometrically reductive quantum group which is a generalization of the Mumford definition of geometrically reductive algebraic group. We prove that if G is a geometrically reductive quantum group and acts rationally on a commutative and finitely generated algebra A, then the algebra of invariants $A^G$ is finitely generated. We also prove that in characteristic 0 a quantum group G is geometrically reductive if and only if every rational G-module is semisimple, and that in...