))\times I \rightarrow (Y\times Y,\daleth(Y))$$ is the required homotopy between $(f\times f)\circ (g\times g)$ and $id_{(Y\times Y, \daleth (Y))}$. Now the assertion follows from \[1:4\].

\[3:5\] For a $G$ set $X$ and closed subgroup $H$ of $G$ we have $$TC_H(X^H)\leqslant TC_G (X),\; STC_H(X^H)\leqslant STC_G(X).$$

The part concerning $TC_G(X)$ follows from [@colman-grant], proposition 5.3.

For the proof for $STC_G(X)$ let $\tilde{H} = H\times H$. Note that $$\daleth(X)^{\tilde{H}} = \daleth (X^H)\supseteq (H\times H) \Delta(X^H)$$ therefore from theorem \[1:16\] we get that $$\begin{gathered}
TSC_H(X^H) = _{(H\times H) \Delta(X^H)}cat_{H\times H}(X^H\times X^H)\\ \leqslant   \hbox{}_{\daleth (X)}cat_{G\times G}(X\times X) = TSC_G(X).\end{gathered}$$

For a $G$ space $X$ such that $X^G\neq \emptyset$ we have that $$STC_G(X)\geqslant TC_G(X^G) = TC(X^G).$$

Examples of calculations.
=========================

We end this article with calculations of $TSC_G(X)$ in some basic examples.

Let $G$ act on itself by left translations. The action of $G$ is free and therefore from theorem \[2:9\] we get that $$STC_G(G) = TC(G / G) = TC(\ast) = 1$$ which is in contrast to the case of equivariant topological complexity where we have that $TC_G(G) = cat(G)$ (comp. [@colman-grant], theorem 5.11).

Let $\mathbb Z / 2 = \{1, \tau \}$ act on $\mathbb S^n$, $n\geqslant 1$ by reflecting the
)) \times I \rightarrow (Y\times Y,\daleth(Y))$$ is the required homotopy between $ (f\times f)\circ (g\times g)$ and $ id_{(Y\times Y, \daleth (Y))}$. Now the assertion follows from \[1:4\ ]. 

 \[3:5\ ] For a $ G$ hardening $ X$ and close subgroup $ H$ of $ G$ we have $ $ TC_H(X^H)\leqslant TC_G (X),\; STC_H(X^H)\leqslant STC_G(X).$$ 

 The part concerning $ TC_G(X)$ postdate from [ @colman - grant ], proposition 5.3. 

 For the validation for $ STC_G(X)$ let $ \tilde{H } = H\times H$. Note that $ $ \daleth(X)^{\tilde{H } } = \daleth (X^H)\supseteq (H\times H) \Delta(X^H)$$ therefore from theorem \[1:16\ ] we scram that $ $ \begin{gathered } 
 TSC_H(X^H) = _ { (H\times H) \Delta(X^H)}cat_{H\times H}(X^H\times X^H)\\ \leqslant    \hbox{}_{\daleth (X)}cat_{G\times G}(X\times X) = TSC_G(X).\end{gathered}$$ 

 For a $ G$ space $ X$ such that $ X^G\neq \emptyset$ we have that $ $ STC_G(X)\geqslant TC_G(X^G) = TC(X^G).$$ 

 Examples of calculation. 
 = = = = = = = = = = = = = = = = = = = = = = = = = 

 We end this article with calculations of $ TSC_G(X)$ in some basic examples. 

 lease $ G$ act on itself by left translations. The action of $ G$ is free and therefore from theorem \[2:9\ ] we catch that $ $ STC_G(G) = TC(G / G) = TC(\ast) = 1$$ which is in contrast to the case of equivariant topological complexity where we consume that $ TC_G(G) = cat(G)$ (comp. [ @colman - grant ], theorem 5.11). 

 Let $ \mathbb Z / 2 = \{1, \tau \}$ act on $ \mathbb S^n$, $ n\geqslant 1 $ by reflecting the
))\timfs I \rightarrow (Y\times Y,\aaleth(Y))$$ is the tewuired homotkpy betwden $(f\times f)\circ (g\times g)$ anv $id_{(T\timew Y, \daleth (Y))}$. Now the arsertion vollows drom \[1:4\].

\[3:5\] For a $G$ sxf $X$ and closes subyriup $H$ of $G$ we mave $$TC_H(X^H)\laqslant TC_G (X),\; VTZ_H(R^H)\leqslant STC_G(X).$$

The part concerning $EC_G(X)$ fokllws from [@colmag-grame], prkiowition 5.3.

For the proof for $STC_G(S)$ let $\tplde{H} = H\times H$. Npte that $$\daleth(X)^{\tilde{H}} = \dapeth (X^H)\supseteq (H\times H) \Delta(X^H)$$ jgerqdore from thdorem \[1:16\] we get that $$\begjn{gathered}
TSC_H(X^H) = _{(H\times H) \Deltx(X^H)}cac_{H\times H}(X^H\jnnes F^H)\\ \leqslant   \hbjx{}_{\daleth (X)}cab_{B\times G}(X\timex X) = TSC_G(X).\end{gsthxred}$$

Dor a $G$ space $X$ such vhat $X^G\neq \emptyset$ re have tvac $$STC_G(X)\geqslant TC_G(X^G) = RC(X^G).$$

Efampnes ud cxlchletikns.
=========================

We fnd this artidle with caoculations of $TSC_G(X)$ ig some basic esamplef.

Lqt $G$ act on itself by left translations. Ths action of $G$ is free abd therefore from thelrem \[2:9\] we det that $$STC_G(G) = TC(G / G) = TC(\ast) = 1$$ which is in contrdst tk tht gwrw lf equivariant topological complexity where wq hsvv that $TC_G(G) = cat(G)$ (comp. [@colmam-ggamj], theorem 5.11).

Let $\oathbb Z / 2 = \{1, \tau \}$ act on $\mahhbb S^n$, $n\geqwlant 1$ by refkecting the
))\times I \rightarrow (Y\times Y,\daleth(Y))$$ is the between f)\circ (g\times and $id_{(Y\times Y, follows \[1:4\]. \[3:5\] For $G$ set $X$ closed subgroup $H$ of $G$ we $$TC_H(X^H)\leqslant TC_G (X),\; STC_H(X^H)\leqslant STC_G(X).$$ The part concerning $TC_G(X)$ follows from [@colman-grant], proposition For the proof for $STC_G(X)$ let $\tilde{H} = H\times H$. Note that $$\daleth(X)^{\tilde{H}} \daleth (H\times \Delta(X^H)$$ from theorem \[1:16\] we get that $$\begin{gathered} TSC_H(X^H) = _{(H\times H) \Delta(X^H)}cat_{H\times H}(X^H\times X^H)\\ \leqslant \hbox{}_{\daleth G}(X\times X) = TSC_G(X).\end{gathered}$$ For a $G$ space such that $X^G\neq \emptyset$ have that $$STC_G(X)\geqslant TC_G(X^G) = Examples calculations. ========================= end article calculations of $TSC_G(X)$ some basic examples. Let $G$ act on itself by left translations. The action of $G$ is free therefore from we get $$STC_G(G) TC(G G) = TC(\ast) which is in contrast to the topological complexity where we have that $TC_G(G) = (comp. [@colman-grant], 5.11). Let $\mathbb Z / 2 \{1, \tau \}$ act on $\mathbb S^n$, $n\geqslant by reflecting the
))\times I \rightarrow (Y\times Y,\daLeth(Y))$$ is the RequiRed HomOtOpy bEtweEn $(f\times f)\circ (g\TImes G)$ and $id_{(Y\times Y, \daleth (Y))}$. NoW the aSsERtioN FoLlows From \[1:4\].

\[3:5\] For A $g$ sET $x$ anD cLoSed SuBGrOup $H$ oF $G$ wE have $$TC_h(X^H)\leqslanT TC_g (X),\; sTC_H(X^H)\leqslaNT StC_G(X).$$

The parT coNcerning $TC_G(X)$ FolLows frOm [@ColMAn-graNt], pRoposItion 5.3.

FOR the prOof for $STC_g(X)$ LEt $\tildE{h} = H\times h$. nOtE thaT $$\daleth(X)^{\tilde{H}} = \dalETh (x^h)\supseteq (H\timeS H) \DeltA(X^h)$$ ThEREfoRe fRom theorem \[1:16\] We Get thAT $$\begin{gAThERED}
TSc_h(X^H) = _{(H\times H) \DelTa(X^H)}cat_{H\timES H}(X^h\times x^H)\\ \LeqSLant   \hbOx{}_{\dalEtH (x)}caT_{G\times G}(X\tiMes X) = tSC_G(X).\end{gAthereD}$$

for a $G$ spACe $X$ such That $X^G\Neq \EmpTyseT$ We HaVe tHaT $$sTC_g(x)\gEqsLAnt tC_G(X^G) = TC(X^g).$$

EXaMples Of caLCULAtioNs.
=========================

WE end This aRticle with calCulAtioNS of $tSC_G(X)$ In somE basIc ExampLes.

Let $g$ act oN iTself by left tranSlatIons. The acTioN oF $G$ iS fRee anD TherefOre FroM theoreM \[2:9\] we get tHAt $$StC_g(g) = tc(G / g) = TC(\ast) = 1$$ which is in conTrAST tO the case Of equiVArIaNT topologIcAl cOmplEXIty whEre wE HaVe that $TC_g(G) = cat(G)$ (COmP. [@cOlman-grAnT], theorEm 5.11).

let $\MatHbb Z / 2 = \{1, \tAU \}$ act On $\mathBb S^n$, $n\geqSlant 1$ BY reflecting the
))\times I \rightarrow (Y\ times Y,\d aleth (Y) )$$  i s th e re quired homotop y  bet ween $(f\times f)\circ  (g\t im e s g) $  a nd $i d_{(Y\t i me s Y,\d al eth  ( Y )) }$. N owthe ass ertion fol low sfrom \[1:4\] . 
\[3:5\] Fo r a  $G$ set $X$  an d clos ed  su b group  $H $ of$G$ we have $ $TC_H(X^H )\ l eqslan t  TC_G ( X ) ,\ ; ST C_H(X^H)\leqslant ST C _G(X).$$

Thepart c on c er n i ng$TC _G(X)$ fol lo ws fr o m [@col m an - g r ant ] , proposition  5.3.

Fort heprooffo r $ S TC_G(X )$ le t$ \ti lde{H} = H\ time s H$. Not e that $$\dale t h(X)^{\ tilde{ H}}  =\dal e th  ( X^H )\ s ups e te q ( H \ti mes H) \ De lt a(X^H )$$t h e r efor e f romtheor em \[1:16\] w e g et t h at$$\be gin{g athe re d}
TS C_H(X^ H) =_{ (H\times H) \De lta( X^H)}cat_ {H\ ti mes  H }(X^H \ timesX^H )\\  \leqsl ant   \ h box {} _ { \ da leth (X)}cat_{G\ti me s G} (X\times  X) =T SC _G ( X).\end{ ga the red} $ $ 

For  a $ G $space $X $ such th at  $X^G\n eq  \empt ys et$  we  have that  $$STC _G(X)\ge qslan t  TC_G(X^G) = T C (X^G).$$

Exa m pl e s  o f  cal cul ations.
=== ==== = ==== ==== = == === = ==

W e end  t h is article with calcul at ions o f $TS C_G(X)$ in so me basic e x a m ples.

L et $ G $a ct on itself b y lef t translat i ons. The  acti on of $G $ is free a nd there for e f rom  th e o re m \[2:9\] weg e t th at  $$STC_ G(G ) = TC( G /  G)  =TC( \a st) = 1$$  which i sin  c on tra st to the case  o f e qu iva riant topolo gical  com pl ex i tywhere w e  h a v e th at  $ TC_G (G)  =  cat( G)$( com p. [@co lman-gran t], theo re m5.11).
Let $\mathbb  Z  / 2 = \{1 ,\ta u \}$a c t on $\m athbb S^n$, $n\geqslant 1$ by r efl ectin g th e
))\times I_\rightarrow (Y\times_Y,\daleth(Y))$$ is the required_homotopy between_$(f\times_f)\circ (g\times_g)$_and $id_{(Y\times Y,_\daleth (Y))}$. Now_the assertion follows from_\[1:4\].

\[3:5\] For a_$G$_set $X$ and closed subgroup $H$ of $G$ we have $$TC_H(X^H)\leqslant TC_G (X),\; STC_H(X^H)\leqslant_STC_G(X).$$

The_part concerning_$TC_G(X)$_follows_from [@colman-grant], proposition 5.3.

For the_proof for $STC_G(X)$ let $\tilde{H}_= H\times_H$. Note that $$\daleth(X)^{\tilde{H}} = \daleth (X^H)\supseteq (H\times_H)_\Delta(X^H)$$ therefore from_theorem \[1:16\] we get that $$\begin{gathered}
TSC_H(X^H) = _{(H\times H)_\Delta(X^H)}cat_{H\times H}(X^H\times X^H)\\ \leqslant  _\hbox{}_{\daleth (X)}cat_{G\times G}(X\times_X)_=_TSC_G(X).\end{gathered}$$

For a $G$ space_$X$ such that $X^G\neq \emptyset$ we_have that $$STC_G(X)\geqslant TC_G(X^G) = TC(X^G).$$

Examples_of calculations.
=========================

We end this article with calculations_of $TSC_G(X)$ in some basic examples.

Let_$G$ act on itself by_left translations._The action of $G$ is_free and therefore_from theorem_\[2:9\] we get_that $$STC_G(G) = TC(G / G)_= TC(\ast) =_1$$ which is in contrast to_the_case of equivariant_topological_complexity_where we_have that $TC_G(G)_=_cat(G)$ (comp._[@colman-grant],_theorem 5.11).

Let $\mathbb Z / 2_=_\{1, \tau \}$ act on $\mathbb S^n$,_$n\geqslant 1$ by reflecting_the