                \sum_{k  \textrm{ odd}}  {{\rm rank\,}}( H^k({{\rm Hom}}({{\mathbb Z}}^n,G)_1)),  \end{aligned}$$ and the result follows from Corollary \[tot-rk\].

When $G$ is a product of groups of the form $SU(r)$, $U(q)$, and $Sp(k)$, Adem and Gomez [@AG-equivK Corollary 6.8] showed that the $G$–equivariant $K$–theory ring $K^*_G ({{\rm Hom}}({{\mathbb Z}}^n, G))$ is free as module of rank $2^{nr}$ over the representation ring $R(G)$ (for such $G$ we have ${{\rm Hom}}({{\mathbb Z}}^n, G)_1 = {{\rm Hom}}(Z^n, G)$). In light of Corollary \[K-cor\], it is natural to ask whether the map $R(G) \otimes K^*({{\rm Hom}}({{\mathbb Z}}^n,G)) \to K_G^* ({{\rm Hom}}({{\mathbb Z}}^n,G))$ is an isomorphism for these groups.

We now explain how to compute ${{\rm rank\,}}(H^u({{\rm Hom}}({{\mathbb Z}}^n,G)_1))$, and the Euler characteristic $\chi({{\rm Hom}}({{\mathbb Z}}^n,G)_1)$, directly from Theorem \[thm: Poincare series of Hom\], by setting $q=1$ or $-1$ in the formula $$\label{p}P({{\rm Hom}}({{\mathbb Z}}^n,G)_1; q) = 
A_W (q) \sum_{w\in W}  \frac{\det(1+qw)^n}{\det(1-q^2w)}.$$ To do so, we must compute the multiplicities of $\pm 1$ as roots of $A_W (q)$ and of $\det (1-q^2 w)$ ($w\in W)$. We have $$A_W (q) = \frac{1}{|W|}\prod_{i=1}^r (1-q^{d_i})(1+q^{d_i}),$$ so the multiplicity of $\pm 1$ as a root of $A_W (q)$ is $r = {{\rm rank\,}}(G)$. On the other hand, $$\det (1-q^2 w) = \prod_i (1
\sum_{k   \textrm { odd } }   { { \rm rank\, } } (H^k({{\rm Hom}}({{\mathbb Z}}^n, G)_1) ),   \end{aligned}$$ and the result follows from Corollary   \[tot - rk\ ]. 

 When $ G$ is a product of groups of the human body $ SU(r)$, $ U(q)$, and $ Sp(k)$, Adem and Gomez   [ @AG - equivK Corollary 6.8 ] usher that the $ G$–equivariant $ K$–theory ring $ K^*_G ({ { \rm Hom}}({{\mathbb Z}}^n, G))$ is free as module of social station $ 2^{nr}$ over the representation ring $ R(G)$ (for such $ G$ we hold $ { { \rm Hom}}({{\mathbb Z}}^n, G)_1 = { { \rm Hom}}(Z^n, G)$). In light of Corollary   \[K - cor\ ], it is natural to necessitate whether the function $ R(G) \otimes K^*({{\rm Hom}}({{\mathbb Z}}^n, G) ) \to K_G^ * ({ { \rm Hom}}({{\mathbb Z}}^n, G))$ is an isomorphism for these groups. 

 We now excuse how to compute $ { { \rm rank\,}}(H^u({{\rm Hom}}({{\mathbb Z}}^n, G)_1))$, and the Euler characteristic $ \chi({{\rm Hom}}({{\mathbb Z}}^n, G)_1)$, directly from Theorem   \[thm: Poincare serial of Hom\ ], by setting $ q=1 $ or $ -1 $ in the formula $ $ \label{p}P({{\rm Hom}}({{\mathbb Z}}^n, G)_1; q) = 
 A_W (q) \sum_{w\in W }   \frac{\det(1+qw)^n}{\det(1 - q^2w)}.$$ To do so, we must compute the multiplicities of $ \pm 1 $ as roots of $ A_W (q)$ and of $ \det (1 - q^2 w)$ ($ w\in W)$. We suffer $ $ A_W (q) = \frac{1}{|W|}\prod_{i=1}^r (1 - q^{d_i})(1+q^{d_i}),$$ so the multiplicity of $ \pm 1 $ as a root of $ A_W (q)$ is $ radius = { { \rm rank\,}}(G)$. On the other hand, $ $ \det (1 - q^2 w) = \prod_i (1
                \sum_{k  \textro{ odd}}  {{\rm rank\,}}( K^j({{\rm Hok}}({{\mathbg Z}}^n,G)_1)),  \evd{aligned}$$ and the result folpoqs frim Corollary \[tot-rk\].

When $E$ is a prlduct of gronps of the form $SU(r)$, $U(q)$, akb $Sp(k)$, Wdem end Gomez [@AG-equiyK Corollarf 6.8] showed that tfe $G$–equivariant $K$–theory ring $K^*_G ({{\rm Hoi}}({{\mathbb Z}}^j, G))$ is free as modllq of gakk $2^{nr}$ over the representation rihg $R(G)$ (fmr such $G$ we nave ${{\rm Hom}}({{\mathbb Z}}^n, G)_1 = {{\rm Hom}}(X^n, G)$). In light of Clrollary \[K-cot\], it us natural tu ask whether the map $T(G) \otimes K^*({{\rm Hom}}({{\mathbb Z}}^n,G)) \to K_E^* ({{\rm Kom}}({{\mathbb Z}}^b,G))$ is dn isomorphmsm fog these groups.

We now axplain how to computc ${{\rm cank\,}}(Y^u({{\rm Hom}}({{\mathbb Z}}^n,G)_1))$, anv the Euler charactetistic $\chi({{\sm Hom}}({{\mathbb Z}}^n,G)_1)$, dieextly xrom Theueem \[ghm: Ppihcare dermes of Hom\], gy setting $w=1$ or $-1$ in the formuls $$\jqbel{p}P({{\rm Hom}}({{\mzthbb S}}^n,D)_1; q) = 
A_W (q) \sum_{w\in W}  \frac{\det(1+qw)^n}{\det(1-q^2w)}.$$ To go ao, we must compute the nultiplicities of $\pm 1$ as roots of $A_W (q)$ and of $\det (1-q^2 w)$ ($w\in W)$. We have $$A_W (q) = \frac{1}{|W|}\[rod_{i=1}^c (1-d^{d_i})(1+w^{d_l}),$$ so rhf multiplicity of $\pm 1$ as a root of $A_W (q)$ is $r = {{\dm rsnk\,}}(G)$. On the otmer hand, $$\det (1-q^2 w) = \lrld_o (1
\sum_{k \textrm{ odd}} {{\rm rank\,}}( H^k({{\rm Hom}}({{\mathbb and result follows Corollary \[tot-rk\]. When groups the form $SU(r)$, and $Sp(k)$, Adem Gomez [@AG-equivK Corollary 6.8] showed that $G$–equivariant $K$–theory ring $K^*_G ({{\rm Hom}}({{\mathbb Z}}^n, G))$ is free as module of $2^{nr}$ over the representation ring $R(G)$ (for such $G$ we have ${{\rm Hom}}({{\mathbb G)_1 {{\rm G)$). light of Corollary \[K-cor\], it is natural to ask whether the map $R(G) \otimes K^*({{\rm Hom}}({{\mathbb \to K_G^* ({{\rm Hom}}({{\mathbb Z}}^n,G))$ is an isomorphism these groups. We now how to compute ${{\rm rank\,}}(H^u({{\rm Z}}^n,G)_1))$, the Euler $\chi({{\rm Z}}^n,G)_1)$, from Theorem \[thm: series of Hom\], by setting $q=1$ or $-1$ in the formula $$\label{p}P({{\rm Hom}}({{\mathbb Z}}^n,G)_1; q) = A_W \sum_{w\in W} do so, must the of $\pm 1$ of $A_W (q)$ and of $\det W)$. We have $$A_W (q) = \frac{1}{|W|}\prod_{i=1}^r (1-q^{d_i})(1+q^{d_i}),$$ the multiplicity $\pm 1$ as a root of (q)$ is $r = {{\rm rank\,}}(G)$. On the hand, $$\det (1-q^2 w) = \prod_i (1
                \sum_{k  \textrm{ odd}}  {{\rm rank\,}}( H^k({{\rm HoM}}({{\mathbb Z}}^n,G)_1)),  \End{alIgnEd}$$ aNd The rEsulT follows from CoROllaRy \[tot-rk\].

When $G$ is a product Of groUpS Of thE FoRm $SU(r)$, $u(q)$, and $Sp(K)$, adEM And goMeZ [@AG-EqUIvk CoroLlaRy 6.8] showeD that the $G$–eQuiVaRiant $K$–theory RInG $K^*_G ({{\rm Hom}}({{\maThbB Z}}^n, G))$ is free as ModUle of rAnK $2^{nr}$ OVer thE rePreseNtatioN Ring $R(G)$ (For such $G$ wE hAVe ${{\rm HoM}}({{\Mathbb Z}}^N, g)_1 = {{\Rm hom}}(Z^N, G)$). In light of CorollARy \[k-Cor\], it is natural To ask wHeTHeR THe mAp $R(g) \otimes K^*({{\rm hoM}}({{\mathBB Z}}^n,G)) \to K_g^* ({{\Rm hOM}}({{\MatHBb Z}}^n,G))$ is an isomOrphism for tHEse Groups.

we Now EXplain How to CoMPutE ${{\rm rank\,}}(H^u({{\rm hom}}({{\mAthbb Z}}^n,G)_1))$, aNd the EULer charACteristIc $\chi({{\rM HoM}}({{\maThbb z}}^N,G)_1)$, DiRecTlY FroM thEorEM \[thM: PoincarE sErIes of hom\], bY SETTing $Q=1$ or $-1$ In thE formUla $$\label{p}P({{\rm HOm}}({{\mAthbB z}}^n,G)_1; Q) = 
A_W (q) \sUm_{w\in w}  \fraC{\dEt(1+qw)^n}{\Det(1-q^2w)}.$$ TO do so, We Must compute the mUltiPlicities Of $\pM 1$ aS roOtS of $A_W (Q)$ And of $\dEt (1-q^2 W)$ ($w\iN W)$. We havE $$A_W (q) = \fraC{1}{|w|}\prOd_{I=1}^R (1-Q^{D_i})(1+Q^{d_i}),$$ so the multipliciTy OF $\Pm 1$ As a root oF $A_W (q)$ is $R = {{\Rm RaNK\,}}(G)$. On the oThEr hAnd, $$\dET (1-Q^2 w) = \proD_i (1
                \sum_{k  \ textrm{ od d}} {{\ rmra nk\, }}(H^k({{\rm Hom} } ({{\ mathbb Z}}^n,G)_1)), \end{ al i gned } $$  andthe res u lt f oll ow sfro mC or ollar y \ [tot-rk \].

When$G$  i s a producto fgroups ofthe  form $SU(r) $,$U(q)$ ,and $Sp(k )$,  Adem  and G o mez [@ AG-equivK  C o rollar y  6.8] s h o we d th at the $G$–equiva r ia n t $K$–theory r ing $K ^* _ G( { {\r m H om}}({{\ma th bb Z} } ^n, G)) $  i s f ree as module ofrank $2^{nr } $ o ver th erep r esenta tionri n g $ R(G)$ (forsuch  $G$ we h ave ${ { \rm Hom } }({{\ma thbb Z }}^ n,G)_1 ={{ \rm  H o m}} ( Z^ n,G )$) . In lig ht  o f Cor olla r y \ [K-c or\ ], i t isnatural to as k w heth e r t he ma p $R( G) \ ot imesK^*({{ \rm H om }}({{\mathbb Z} }^n, G)) \to K _G^ *({{ \r m Hom } }({{\m ath bbZ}}^n,G ))$ isa n i so m o r ph ism for these grou ps . 
W e now ex plainh ow  t o  compute  $ {{\ rm r a n k\,}} (H^u ( {{ \rm Hom} }({{\m a th bb  Z}}^n, G) _1))$,  a ndthe  Eule r  cha racter istic $\ chi({ { \rm Hom}}({{\m a thbb Z}}^n,G) _ 1) $ ,  d i rect lyfrom Theore m \[ t hm:Poin c ar e s e riesof Ho m\ ] ,b y setting $q=1$ or$- 1$ inthe f ormula $$\lab el{p}P({{\ r m Hom}}({{ \mat h bb Z}}^n,G)_1; q)  = 
A _W (q) \su m _{w\in W }  \f rac{\det (1+qw)^n} { \ det(1-q^ 2w) }.$ $ T o d o so , we must com p u te t he  multip lic ities o f $ \pm  1$  as  r oots of $ A_W (q)$  a nd  o f$\d et (1 - q^2 w)$($ w\i nW)$ . Weh ave $$ A_W ( q) =  \ fr a c{1 }{|W|}\ p ro d _ {i=1 }^ r(1-q ^{d _i })(1+ q^{d _ i}) ,$$ sothe multi pli c ityof  $ \pm 1$as a root of$A _W (q)$ is  $ r =  {{\rm r ank\,}}( G)$. On the other hand, $$\det(1- q^2 w ) =\prod_i ( 1
 _ _   _ __ __  \sum_{k_ \textrm{ odd}}_ {{\rm rank\,}}( H^k({{\rm_Hom}}({{\mathbb Z}}^n,G)_1)), _\end{aligned}$$_and the result follows from Corollary \[tot-rk\].

When $G$ is a product of groups of the_form_$SU(r)$, $U(q)$,_and_$Sp(k)$,_Adem and Gomez [@AG-equivK Corollary 6.8]_showed that the $G$–equivariant $K$–theory_ring $K^*_G_({{\rm Hom}}({{\mathbb Z}}^n, G))$ is free as module_of_rank $2^{nr}$ over_the representation ring $R(G)$ (for such $G$ we have_${{\rm Hom}}({{\mathbb Z}}^n, G)_1 = {{\rm_Hom}}(Z^n, G)$). In_light_of_Corollary \[K-cor\], it is natural_to ask whether the map $R(G)_\otimes K^*({{\rm Hom}}({{\mathbb Z}}^n,G)) \to K_G^*_({{\rm Hom}}({{\mathbb Z}}^n,G))$ is an isomorphism for_these groups.

We now explain how to_compute ${{\rm rank\,}}(H^u({{\rm Hom}}({{\mathbb Z}}^n,G)_1))$,_and the_Euler characteristic $\chi({{\rm Hom}}({{\mathbb Z}}^n,G)_1)$,_directly from Theorem \[thm:_Poincare series_of Hom\], by_setting $q=1$ or $-1$ in the_formula $$\label{p}P({{\rm Hom}}({{\mathbb_Z}}^n,G)_1; q) = 
A_W (q) \sum_{w\in_W}_ \frac{\det(1+qw)^n}{\det(1-q^2w)}.$$ To_do_so,_we must_compute the multiplicities_of_$\pm 1$_as_roots of $A_W (q)$ and of_$\det_(1-q^2 w)$ ($w\in W)$. We have $$A_W_(q) = \frac{1}{|W|}\prod_{i=1}^r (1-q^{d_i})(1+q^{d_i}),$$_so_the multiplicity of $\pm_1$ as a root of_$A_W (q)$ is $r = {{\rm_rank\,}}(G)$. On_the other_hand, $$\det (1-q^2 w) = \prod_i (1