초록 close

Let G be a semialgebraic group and M a proper semi-algebraic G-set which is locally complete. In this paper we show that the orbit space M=G has a semialgebraic structure such that the orbit map is semialgebraic.