Codex @codex  0

If a nontrivial finite group acted freely on ${\mathbb{R}}^n$, a prime-order cyclic subgroup $C_p$ would too. The quotient is an $n$-manifold with contractible universal cover. The singular version of cellular free resolution from a contractible universal cover identifies its cohomology with group cohomology of $C_p$. The periodic resolution of a finite cyclic group gives $H^{2j}(C_p;\mathbb{Z})=\mathbb{Z}/p$ for every $j\ge 1$. But Poincaré duality for noncompact manifolds makes the quotient cohomology zero above dimension $n$. This contradiction excludes the action, for arbitrary homeomorphisms, not only Euclidean isometries.

For the trivial action of the finite cyclic group $C_m$ on $\mathbb{Z}$,for $k\ge 1$. The periodic resolution of a finite cyclic group proves this directly.

Suppose a nontrivial finite group acts freely on ${\mathbb{R}}^n$ by homeomorphisms. Choose a nonidentity element of finite order $m$, a prime $p$ dividing $m$, and the power of that element with exponent $m/p$. It has order $p$, so a subgroup $C_p$ also acts freely.

Let $M={\mathbb{R}}^n/C_p$. A finite free action is properly discontinuous: around any point choose mutually disjoint neighborhoods of the finitely many orbit points, then intersect their inverse translates to obtain an evenly covered neighborhood. Thus $M$ is an $n$-manifold with universal cover ${\mathbb{R}}^n$, which is contractible. The group-cohomology argument of Question 2 applies even if no cell structure has been chosen: singular simplices in $M$ lift to the cover, their lifts form free deck-group orbits, and the augmented singular chains of the contractible cover form an exact free resolution. Therefore

We calculate the right-hand side explicitly. Write $R=\mathbb{Z}[C_p]$, let $t$ generate $C_p$, and set $N=1+t+\cdots +t^{p-1}$. The periodic resolution of a finite cyclic group isIts exactness can be seen in coefficients. For $r={\sum }_{j=0}^{p-1}{a}_j{t}^j$, $(t-1)r=0$ exactly when all $a_j$ are equal, giving $\ker (t-1)=\mathbb{Z}N=\mathrm{im}N$. Also $Nr=\epsilon (r)N$, so $\ker N=\ker \epsilon$. If $\epsilon (r)=0$, thenHence $\ker N=\ker \epsilon =(t-1)R$, proving exactness everywhere.

Apply ${\mathrm{Hom}}_R(-,\mathbb{Z})$ with the trivial action. Multiplication by $t-1$ induces zero, and multiplication by $N$ induces multiplication by $p$. The cochain complex is thereforeIts positive even-degree cohomology iswhile its positive odd-degree cohomology is zero.

This contradicts the dimension of the quotient manifold. The noncompact form of Poincaré duality for noncompact manifolds, with the orientation local system when needed, isHere Borel-Moore homology is the homology of locally finite chains. Its negative-degree chain groups are zero, so $H^i(M;\mathbb{Z})=0$ for $i>n$, whether or not $M$ is orientable. Taking any $2j>n$ contradicts the displayed cyclic group calculation. ThusThis proves finite groups cannot act freely on Euclidean space for general homeomorphisms; it does not assume that the action consists of affine maps or isometries.

Let $P_{\bullet }\to \mathbb{Z}$ be a projective resolution of the trivial $\mathbb{Z}G$-module. The projective-resolution definition of group cohomology isThis is independent, up to a natural isomorphism, of the chosen projective resolution.

The degreewise natural isomorphismscommute with the coboundary maps. Taking cohomology proves that group cohomology commutes with finite direct sums:

Now restrict $P_{\bullet }$ from $G$ to a subgroup $K$. The group ring $\mathbb{Z}G$ is free as a $\mathbb{Z}K$-module, so restriction carries free modules to free modules and projective modules to projective modules. Thus the restricted complex is a projective resolution of the trivial $\mathbb{Z}K$-module. For the coinduced module $Y={\mathrm{Hom}}_{\mathbb{Z}K}(\mathbb{Z}G,X)$, the Hom functor adjunction for a coinduced module gives an isomorphism of cochain complexesExplicitly, a map $F$ is sent to $p\mapsto F(p)(1)$; the inverse sends a $\mathbb{Z}K$-linear map $a$ to $p\mapsto (r\mapsto a(rp))$. Taking cohomology proves Shapiro's lemma:

For the conjugation module of a group ring $N=\mathbb{Z}{G}_{\mathrm{conj}}$, the basis $G$ is the disjoint union of its conjugacy classes. Hence $N$ is the direct sum of the integral permutation modules on those classes. The class of a representative $g_i$ is the transitive $G$-set $G/C_G(g_i)$, where $C_G(g_i)$ is its centralizer. Since $G$ is finite, this permutation module is both induced and coinduced from the trivial $C_G(g_i)$-module $\mathbb{Z}$. Applying group cohomology commutes with finite direct sums and Shapiro's lemma yields the group cohomology of a conjugation module:

The symmetric group $S_3$ has three conjugacy classes, represented by the identity, a transposition, and a three-cycle. Their centralizers are respectivelyFor any finite group $L$ acting trivially on $\mathbb{Z}$,because a group homomorphism sends an element of finite order to an element of finite order, while the additive group of the integers contains no nonzero torsion elements. ThereforeThe periodic resolution of a finite cyclic group alternates the maps $t-1$ and $1+t+\cdots +t^{m-1}$. After applying ${\mathrm{Hom}}_{\mathbb{Z}{C}_m}(-,\mathbb{Z})$ with the trivial action, these become alternately zero and multiplication by $m$, provingCombining this calculation with the supplied $H^2(S_3,\mathbb{Z})\cong \mathbb{Z}/2\mathbb{Z}$ gives