 also worth mentioning that one always has $$\mathrm{cd}_{\mathbb{Q}}(G)\leq \underline{\mathrm{cd}}_{\mathcal{M}}(G),$$ where $\mathrm{cd}_{\mathbb{Q}}(G)$ denotes the rational cohomological dimension of $G$. This follows from the fact that if $F_{\ast}\rightarrow \underline{A}$ is a free resolution in $\mathrm{Mack}_{\mathcal{F}}G$, then $F(G/e)\otimes_{\mathbb{Z}}\mathbb{Q} \rightarrow A(G/e)\otimes_{\mathbb{Z}}\mathbb{Q}=\mathbb{Q} $ is a projective $\mathbb{Q}[G]$-resolution of $\mathbb{Q}$. Note that this inequality can be strict (e.g. see [@DavisBook Ex. 8.5.8]) and that it implies that $\underline{\mathrm{cd}}_{\mathcal{M}}(G)=0$ if and only if $G$ is finite.

Proper $G$-spaces and proper $G$-spectra
========================================

Throughout this section, let $G$ be a discrete group and let $\mathcal{F}$ be the family of finite subgroups of $G$. If $X$ is a $G$-space, then $X_{+}$ denotes the space obtained by adding a disjoint $G$-fixed basepoint $\ast$ to $X$. In what follows we will freely make use of the language of triangulated categories (e.g. see [@Gelfand-Manin]) and model categories (e.g. see [@Hovey]).

Denote by $G\mbox{-}\mathrm{Top}^{\mathcal{F}}_{\ast}$ the model category of compactly generated weak Hausdorff spaces equipped with a continuous $G$-action and $G$-fixed basepoint together with $G$-equivariant based continuous maps, where weak-equivalences and fibrations are required to be weak-equivalences and fibrations on $H$-fixed point spaces, for all $H \in \mathcal{F}$ (see [@Fau Section 2.1-2.3]). The associated homotopy category is denoted by $\mathrm{Ho}(G\mbox{-}\mathrm{Top}^{\mathcal{F}}_{\ast})$. Note that if $H$ is a subgroup of $G$, then $G/H_{+}$ is a cofibrant object in $G\mbox{-}\mathrm{Top}^{\mathcal{
also worth mentioning that one always take $ $ \mathrm{cd}_{\mathbb{Q}}(G)\leq \underline{\mathrm{cd}}_{\mathcal{M}}(G),$$ where $ \mathrm{cd}_{\mathbb{Q}}(G)$ announce the rational cohomological dimension of $ G$. This follows from the fact that if $ F_{\ast}\rightarrow \underline{A}$ is a detached resolution in $ \mathrm{Mack}_{\mathcal{F}}G$, then $ F(G / e)\otimes_{\mathbb{Z}}\mathbb{Q } \rightarrow A(G / e)\otimes_{\mathbb{Z}}\mathbb{Q}=\mathbb{Q } $ is a projective $ \mathbb{Q}[G]$-resolution of $ \mathbb{Q}$. Note that this inequality can be rigid (for example see [ @DavisBook Ex. 8.5.8 ]) and that it implies that $ \underline{\mathrm{cd}}_{\mathcal{M}}(G)=0 $ if and only if $ G$ is finite. 

 Proper $ G$-spaces and proper $ G$-spectra 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 Throughout this section, let $ G$ be a discrete group and lease $ \mathcal{F}$ be the family of finite subgroups of $ G$. If $ X$ is a $ G$-space, then $ X_{+}$ announce the space obtained by adding a disjoint $ G$-fixed basepoint $ \ast$ to $ X$. In what follows we will freely make function of the language of triangulated categories (for example   see [ @Gelfand - Manin ]) and model class (e.g.   understand [ @Hovey ]). 

 Denote by $ G\mbox{-}\mathrm{Top}^{\mathcal{F}}_{\ast}$ the model category of compactly generated weak Hausdorff space equipped with a continuous $ G$-action and $ G$-fixed basepoint together with $ G$-equivariant based continuous maps, where weak - comparison and fibrations are required to be weak - equivalences and fibrations on $ H$-fixed point spaces, for all $ H \in \mathcal{F}$ (see [ @Fau Section 2.1 - 2.3 ]). The associated homotopy category is denote by $ \mathrm{Ho}(G\mbox{-}\mathrm{Top}^{\mathcal{F}}_{\ast})$. Note that if $ H$ is a subgroup of $ G$, then $ G / H_{+}$ is a cofibrant object in $ G\mbox{-}\mathrm{Top}^{\mathcal {
 aldo worth mentioning that one always has $$\mathrm{rd}_{\mathbg{Q}}(G)\leq \uvderline{\mathrm{cd}}_{\mathcal{M}}(G),$$ whxre $\nathrn{cd}_{\mathbb{Q}}(G)$ denotes thd rationap cohomooogiral dimension of $G$. This njllosd frmn the fact thaj if $F_{\ast}\rigvtarrow \underlhnd{A}$ is a free resolution in $\mathrm{Mack}_{\iathcal{G}}G$, then $F(G/e)\otimef_{\matnfb{Z}}\mznhnb{Q} \rightarrow A(G/e)\otimes_{\mathbb{Z}}\mzthbb{Q}=\methbb{Q} $ is a prpjective $\mathbb{Q}[G]$-resolutioj of $\mathbb{Q}$. Note that this inequqlitr can be strizt (e.g. see [@DavisBook Ex. 8.5.8]) and that it implies that $\undefline{\kathrm{cd}}_{\majkxal{L}}(C)=0$ if and onoy if $G$ is finite.

Igoper $G$-vpaces snd proper $G$-spcctra
========================================

Vhroyghout this section, lxt $G$ be a discrete gtoup and lat $\mathcal{F}$ be the danily mf fhnitd sucgrku's kf $G$. Iv $X$ is a $G$-spade, then $X_{+}$ dwnotes the space obuaigvc by adding z disjjigt $G$-fixed basepoint $\ast$ to $X$. In what fonloss we will freely make yse of the language ov triangujated categories (e.g. see [@Gelfand-Manin]) and model catagorixs (e.g. wec [@Hoxwy]).

Fenote by $G\mbox{-}\mathrm{Top}^{\mathcal{F}}_{\ast}$ the model dauegpry of compactjy generatec aesh Hausdorff skaces equilped with a continkous $G$-astion and $G$-fixtd baxepoint together with $G$-equicariant baseb cintinuous maps, whexe weak-equivclencex and fibrations are requireb to bs weak-equivwlences aha fibrations on $F$-fiqed [oint spaces, for all $H \in \iathcal{F}$ (wee [@Yau Sectkon 2.1-2.3]). The afsociated jomotopy category is denlted yy $\madhrm{Ho}(G\mbod{-}\mathrm{Top}^{\mathcal{F}}_{\ast})$. Note that if $H$ is a subbrmup of $G$, thzn $G/H_{+}$ ls a cofibrant jbject in $G\mbor{-}\mathrm{Tjp}^{\matfcal{
also worth mentioning that one always has where denotes the cohomological dimension of fact if $F_{\ast}\rightarrow \underline{A}$ a free resolution $\mathrm{Mack}_{\mathcal{F}}G$, then $F(G/e)\otimes_{\mathbb{Z}}\mathbb{Q} \rightarrow A(G/e)\otimes_{\mathbb{Z}}\mathbb{Q}=\mathbb{Q} $ a projective $\mathbb{Q}[G]$-resolution of $\mathbb{Q}$. Note that this inequality can be strict (e.g. [@DavisBook Ex. 8.5.8]) and that it implies that $\underline{\mathrm{cd}}_{\mathcal{M}}(G)=0$ if and only if is Proper and $G$-spectra ======================================== Throughout this section, let $G$ be a discrete group and let $\mathcal{F}$ be the of finite subgroups of $G$. If $X$ is $G$-space, then $X_{+}$ denotes space obtained by adding a $G$-fixed $\ast$ to In follows will freely make of the language of triangulated categories (e.g. see [@Gelfand-Manin]) and model categories (e.g. see [@Hovey]). Denote by the model compactly generated Hausdorff equipped a continuous $G$-action basepoint together with $G$-equivariant based continuous and fibrations are required to be weak-equivalences and on $H$-fixed spaces, for all $H \in \mathcal{F}$ [@Fau Section 2.1-2.3]). The associated homotopy category is by $\mathrm{Ho}(G\mbox{-}\mathrm{Top}^{\mathcal{F}}_{\ast})$. Note that if $H$ is a subgroup of $G$, then $G/H_{+}$ is a in $G\mbox{-}\mathrm{Top}^{\mathcal{
 also worth mentioning that onE always has $$\MathrM{cd}_{\MatHbB{Q}}(G)\lEq \unDerline{\mathrm{cD}}_{\MathCal{M}}(G),$$ where $\mathrm{cd}_{\mathBb{Q}}(G)$ dEnOTes tHE rAtionAl cohomOLoGICal DiMeNsiOn OF $G$. this fOllOws from The fact thaT if $f_{\aSt}\rightarrow \UNdErline{A}$ is a FreE resolution iN $\maThrm{MaCk}_{\MatHCal{F}}G$, TheN $F(G/e)\oTimes_{\mAThbb{Z}}\mAthbb{Q} \rigHtARrow A(G/E)\Otimes_{\mATHbB{Z}}\maThbb{Q}=\mathbb{Q} $ is a prOJeCTive $\mathbb{Q}[G]$-reSolutiOn OF $\mATHbb{q}$. NoTe that this InEqualITy can be STrICT (E.g. sEE [@DavisBook Ex. 8.5.8]) aNd that it impLIes That $\unDeRliNE{\mathrM{cd}}_{\maThCAl{M}}(g)=0$ if and only iF $G$ is Finite.

ProPer $G$-spACes and pROper $G$-spEctra
========================================

THroUghOut tHIs SeCtiOn, LEt $G$ BE a DisCRetE group anD lEt $\MathcAl{F}$ bE THE FamiLy oF finIte suBgroups of $G$. If $X$ Is a $g$-spaCE, thEn $X_{+}$ deNotes The sPaCe obtAined bY addiNg A disjoint $G$-fixed BasePoint $\ast$ tO $X$. IN wHat FoLlows WE will fReeLy mAke use oF the lanGUagE oF TRIaNgulated categories (E.g. SEE [@GElfand-MaNin]) and MOdEl CAtegorieS (e.G. seE [@HovEY]).

denotE by $G\MBoX{-}\mathrm{TOp}^{\mathCAl{f}}_{\aSt}$ the moDeL categOrY of ComPactlY GeneRated wEak HausdOrff sPAces equipped wiTH a continuous $G$-ACtION aND $G$-fiXed Basepoint toGethER witH $G$-eqUIvAriANt basEd conTiNUoUS maps, where weak-equivAlEnces aNd fibRations are reqUired to be wEAK-EquivaleNces ANd FIbrations on $H$-fiXed poInt spaces, fOR all $H \in \mAthcaL{F}$ (see [@Fau section 2.1-2.3]). ThE ASsociateD hoMotOpy CatEGOrY is denoted by $\mATHrm{HO}(G\Mbox{-}\matHrm{top}^{\mathCal{f}}_{\asT})$. NoTe tHaT if $H$ is a suBgroup of $g$, tHeN $G/h_{+}$ iS a cOfibrANt object In $g\mbOx{-}\MatHrm{ToP}^{\MathcaL{
 also worth mentioning tha t one alwa ys ha s $ $\m at hrm{ cd}_ {\mathbb{Q}}(G ) \leq  \underline{\mathrm{cd }}_{\ ma t hcal { M} }(G), $$ wher e  $ \ m ath rm {c d}_ {\ m at hbb{Q }}( G)$ den otes the r ati on al cohomolog i ca l dimensio n o f $G$. Thisfol lows f ro m t h e fac t t hat i f $F_{ \ ast}\r ightarrow  \ u nderli n e{A}$ i s afree  resolution in $\ m at h rm{Mack}_{\mat hcal{F }} G $, t hen  $F (G/e)\otim es _{\ma t hbb{Z}} \ ma t h b b{Q }  \rightarrowA(G/e)\otim e s_{ \mathb b{ Z}} \ mathbb {Q}=\ ma t hbb {Q} $ is aproj ective $\ mathbb { Q}[G]$- r esoluti on of$\m ath bb{Q } $.  N ote  t h att hi s i n equ ality ca nbe  stri ct ( e . g .  see  [@ Davi sBook  Ex. 8.5.8])and  tha t  it  impl ies t hat$\ under line{\ mathr m{ cd}}_{\mathcal{ M}}( G)=0$ ifand  o nly  i f $G$ is fin ite .
Proper$G$-spa c esan d p ro per $G$-spectra
== == = = == ======== ====== = == == = ======== == ==
Thr o u ghout  thi s  s ection,let $G $  b ea discr et e grou pand  le t $\m a thca l{F}$be the f amily of finite subg r oups of $G$.I f$ X $i s a$G$ -space, the n $X _ {+}$  den o te s t h e spa ce ob ta i ne d  by adding a disjoi nt  $G$-f ixedbasepoint $\a st$ to $X$ . I n what f ollo w sw e will freelymakeuse of the language  of t riangula ted categ o r ies (e.g . s ee[@G elf a n d- Manin]) and m o d el c at egories  (e .g. see  [@ Hov ey] ).
D enote by$G\mbox{ -} \m at hr m{T op}^{ \ mathcal{ F} }_{ \a st} $ the modelcateg oryof  c o mpa ctly ge n er a t ed w ea kHaus dor ff  spac es e q uip ped wit h a conti nuo u s $G $- ac tion an d $G$-fixed b as epoint tog et her  with$ G $-equiva riant based continuousm aps, wh ere  weak -equ ivalences  an d fibr ati o ns are  requi red t obew e ak-eq u i va len ce s and fibr a t ion s on$H $-fi xed poi nt spaces, for all $H\in \mathcal{ F}$  (se e [@ Fau Se c tio n2 .1- 2 . 3]). The associ ated homot op y  c ategory is den ot ed by $ \mathrm {Ho}( G \mbox{- }\mathrm{ Top}^{\ma th cal{ F } }_{ \ast})$. N ote that  if $H$ i s  a su b gr oup o f $ G$, th en  $G /H_{+ }$ isa  co fibra nt obj ec t in $ G\mbo x{ -}\mathr m{Top}^{\mathcal{
 also_worth mentioning_that one always has_$$\mathrm{cd}_{\mathbb{Q}}(G)\leq \underline{\mathrm{cd}}_{\mathcal{M}}(G),$$_where_$\mathrm{cd}_{\mathbb{Q}}(G)$ denotes_the_rational cohomological dimension_of $G$. This_follows from the fact_that if $F_{\ast}\rightarrow_\underline{A}$_is a free resolution in $\mathrm{Mack}_{\mathcal{F}}G$, then $F(G/e)\otimes_{\mathbb{Z}}\mathbb{Q} \rightarrow A(G/e)\otimes_{\mathbb{Z}}\mathbb{Q}=\mathbb{Q} $ is a projective_$\mathbb{Q}[G]$-resolution_of $\mathbb{Q}$._Note_that_this inequality can be strict_(e.g. see [@DavisBook Ex. 8.5.8])_and that_it implies that $\underline{\mathrm{cd}}_{\mathcal{M}}(G)=0$ if and only if_$G$_is finite.

Proper $G$-spaces_and proper $G$-spectra
========================================

Throughout this section, let $G$ be a_discrete group and let $\mathcal{F}$ be_the family of_finite_subgroups_of $G$. If $X$_is a $G$-space, then $X_{+}$ denotes_the space obtained by adding a_disjoint $G$-fixed basepoint $\ast$ to $X$. In_what follows we will freely make_use of the language of_triangulated categories_(e.g. see [@Gelfand-Manin]) and model categories_(e.g. see [@Hovey]).

Denote by_$G\mbox{-}\mathrm{Top}^{\mathcal{F}}_{\ast}$ the_model category of_compactly generated weak Hausdorff spaces equipped_with a continuous_$G$-action and $G$-fixed basepoint together with_$G$-equivariant_based continuous maps,_where_weak-equivalences_and fibrations_are required to_be_weak-equivalences and_fibrations_on $H$-fixed point spaces, for all_$H_\in \mathcal{F}$ (see [@Fau Section 2.1-2.3]). The_associated homotopy category is_denoted_by $\mathrm{Ho}(G\mbox{-}\mathrm{Top}^{\mathcal{F}}_{\ast})$. Note that_if $H$ is a subgroup_of $G$, then $G/H_{+}$ is a_cofibrant object_in $G\mbox{-}\mathrm{Top}^{\mathcal{