در این پایان نامه مباحثی در مورد نیم گروه های معکوس توپولوژیکی اولیه (مطلقا) h-بسته و فشرده (شمارایی) بدست می آوریم و ساختار نیم گروه های معکوس توپولوژی فشرده شمارایی و نیم گروه های معکوس توپولوژی همنهشت-آزاد را توصیف می کنیم و نشان می دهیم که نیم گروه دو دوری نمی تواند در نیم گروه معکوس توپولوژی فشرده شمارایی نشانده شود. we present some discussions about compact (countably) and (absolutely) h-closed primitive topological inverse semigroups. then the structure of the countably compact topological inverse semigroup and convergence-free inverse topological semigroups will be discussed. finally we show that bicircle semigroup cannot be embedded in countable compact topological inverse semigroup.