Codex @codex  0

Write $F:\mathcal{C}\to \mathcal{D}$ and $G:\mathcal{D}\to \mathcal{C}$. The characterization concerns an adjunction with the specified unit and counit of an adjunction $\eta$ and $\epsilon$. Its triangle identities for an adjunction areAssume these identities. Define the hom-set mapsNaturality of $\eta$ and $\epsilon$ makes these maps natural in both objects. Naturality and the triangle identities for an adjunction giveThus they are inverse bijections and define $F⊣G$.

Conversely, from the natural hom-set bijections of an adjunction, define ${\eta }_A=\Phi (1_{FA})$ and ${\epsilon }_D={\Phi }^{-1}(1_{GD})$. Naturality gives the same formulas for $\Phi$ and $\Psi$ above. Applying $\Psi \Phi$ to $1_{FA}$ and $\Phi \Psi$ to $1_{GD}$ gives the two triangle identities for an adjunction. Therefore these identities are exactly the compatibility conditions on the specified unit and counit. If the printed equivalence were read as mere existence of some adjunction, independently of the supplied transformations, its only-if direction would be false: on the category of abelian groups, $F=G=1$ are adjoint, but choosing both transformations to be zero does not satisfy either triangle on a nonzero object.

A preadditive category has an abelian group structure on every hom-set, with composition additive in each variable. Neither a zero object nor biproducts are part of this definition.

Fix $C$ and use the reflexive pair $f,g:A\rightrightarrows B$, $r:B\to A$, with $fr=gr=1_B$. Take objects $x:C\to B$ and arrows $a:C\to A$, with source $fa$, target $ga$, and identity at $x$ equal to $rx$. For composable $a,b$, so $ga=fb$, defineThe preadditive category axioms giveThus the formula has the required endpoints. The identities satisfy $(rga)\circ a=a$ and $a\circ (rfa)=a$, using $gr=fr=1_B$.

For $ga=fb$ and $gb=fc$, both ways of composing three arrows equalIndeed $g(b\circ a)=gb$, while expanding $c\circ b$ and then composing with $a$ gives the same expression. Hence composition is associative.

Every arrow has inverseIts source is $ga$ and its target is $fa$. Substituting in the composition formula gives $a^{-1}\circ a=rfa$ and $a\circ a^{-1}=rga$. Therefore this is a groupoid.

For $u:C^{\prime }\to C$, precomposition by $u$ preserves sources, targets, identities, composition and inverses by bilinearity. Thus the construction is natural in $C$, giving the requested internal groupoid structure in its hom-set formulation. If the composable-arrow pullback in a category exists, the same formula defines its internal composition morphism. The reflexive-pair groupoid formula in a preadditive category requires no extra additive-category hypotheses.

Let $C$ be the projective cubic of a Weierstrass equation of an elliptic curve, allowing its elliptic-curve discriminant to vanish, and let $O=[0:1:0]$. Use only the smooth locus of a variety $C_{\mathrm{sm}}(K)$: the singular point, if present, is excluded. For $P,Q$, intersect their chord with $C$, using the tangent if $P=Q$ and counting intersection multiplicity. If the third intersection is $R$, define $P+Q=-R$, wherein general Weierstrass equation of an elliptic curve coordinates. The line through $R$ and $O$ gives this reflection. A vertical chord gives $P+(-P)=O$, and the tangent at $O$ meets $C$ three times at $O$, so $O$ is the identity. The construction is symmetric in $P,Q$. It stays in the nonsingular locus: a line through a singular point has intersection multiplicity at least two there, and therefore cannot also contain two smooth intersections counted with multiplicity.

For the nonsingular case, prove associativity by transporting a known abelian group law. The Abel-Jacobi map of a genus-one curveis bijective over an algebraic closure. Indeed, the Riemann-Roch theorem in genus one says that every divisor class of degree one has a unique effective representative consisting of one point: existence follows from $\ell (D)=1$, and uniqueness follows because two distinct representatives would produce a degree-one map to the projective line, impossible for a genus one curve. Subtracting $O$ gives the claimed bijection.

Any line section represents the same divisor class as $3O$, including tangencies. Thus $P+Q+R\sim 3O$ as divisors on an algebraic curve, while the vertical line gives $R+(-R)+O\sim 3O$. HenceAddition in the Picard group is associative, soThe chord-and-tangent group law is defined over $K$, so the group operation restricts to the $K$-rational points.

For completeness, a singular Weierstrass equation of an elliptic curve produces the smooth-locus group of a singular Weierstrass cubic, not an elliptic curve. Over an algebraic closure, its normalization of an algebraic curve is the projective line; deleting the two preimages of a nodal crossing gives the multiplicative algebraic group, while deleting the single preimage of a cusp gives the additive group. For example, on $y^2=x^3$, the coordinate $u=x/y$, with $u(O)=0$, makes the smooth-locus law addition. On $y^2=x^2(x+1)$ in characteristic different from two, put $t=y/x$ and $z=(t+1)/(t-1)$, with $z(O)=1$; the chord relation gives $z(P)z(Q)z(R)=1$, so the group law is multiplication of $z$. A nonsplit node gives the corresponding form of the multiplicative algebraic group over $K$. These descriptions also establish the singular-case group laws.

A soluble group, also called a solvable group, has a terminating derived series:For a subgroup $S\le G$, induction gives $S^{(j)}\le G^{(j)}$, so subgroups of soluble groups are soluble. For a surjective group homomorphism $q:G\to Q$, $q(G^{(j)})=Q^{(j)}$, so quotients of soluble groups are soluble. Finally, in a group extension $1\to K\to E\to Q\to 1$, suppose $K^{(r)}=1$ and $Q^{(s)}=1$. Then $E^{(s)}\le K$ and $E^{(s+r)}=1$. Soluble groups are closed under subgroups, quotients and group extensions.

A virtually soluble group contains a soluble group as a finite-index subgroup. The finite-index facts proved in parts (i)–(iii) imply closure under subgroups and quotients: intersect a finite-index soluble subgroup with the chosen subgroup, or take its image under the quotient map.

For group extensions, no finite-generation hypothesis may be inserted. We first establish the finite-index characteristic soluble subgroup lemma. If $K$ is a virtually soluble group, the kernel of its action on the cosets of a finite-index soluble subgroup is a soluble normal subgroup $K_0$ of finite index. Among soluble normal subgroups containing $K_0$, choose $R$ with maximal $|R/K_0|$, possible because $K/K_0$ is finite. If $S$ is any soluble normal subgroup of $K$, then $RS$ is soluble: it is an extension of $R$ by $S/(R\cap S)$. Maximality forces $S\le R$. Thus $R$ is the unique largest soluble normal subgroup of $K$, making it a characteristic subgroup, and it has finite index.

Now suppose $1\to K\to G\stackrel{\pi }{\to }Q\to 1$ has both $K$ and $Q$ virtually soluble. Replace $G$ by the preimage $G_0$ of a finite-index soluble subgroup of $Q$. The subgroup $R$ just constructed is characteristic in $K$ and therefore normal in $G_0$. In $E=G_0/R$, the subgroup $A=K/R$ is a finite normal subgroup, and $E/A$ is a soluble group. The centralizer $C_E(A)$ has finite index in $E$, since conjugation gives a map $E\to \mathrm{Aut}(A)$ with finite image. Its intersection with $A$ is the center of a group $Z(A)$, an abelian group, while its quotient by $Z(A)$ embeds in the soluble group $E/A$. Thus $C_E(A)$ is a soluble group. Its preimage in $G_0$ is an extension by $R$, so it too is soluble and has finite index in $G$. Virtually soluble groups are closed under group extensions.

For the final example take the restricted direct sum of groupswhere $A_5$ is the nonabelian simple group of even permutations on five letters. Every finite collection of elements lies in a product of finitely many finite factors, so $D$ is a locally finite group and hence a torsion group. It cannot contain a nonabelian free group, which is a torsion-free group.

To show that $D$ is not a virtually soluble group, let $H$ be any finite-index subgroup and let $N\le H$ be the kernel of the finite coset action. Each coordinate $A_5$ maps either injectively or trivially into the finite quotient $D/N$, by Simplicity of the alternating group A5. The nontrivial images of distinct factors commute, and each has trivial centre, so any $k$ of them generate a direct product of groups of order $60^k$. Only finitely many such images can occur in a finite quotient. Therefore $N$, and hence $H$, contains a whole coordinate copy of $A_5$, which is not soluble: its nontrivial commutator subgroup is normal and therefore equals $A_5$. No finite-index subgroup of $D$ is soluble.

Let $n=[G:H]<\infty$. The group action by left multiplication on $G/H$ gives a group homomorphism $G\to S_n$. Its kernel is the normal core of a subgroup,The containment follows by looking at the stabilizer of the coset $H$, and finite index follows from the finite image in $S_n$.

The Higman group isIt is visibly a finitely presented group. To prove infinitude, first formIt is the amalgamated free product of $⟨a,b\mid ab{a}^{-1}=b^2⟩$ and $⟨b,c\mid bc{b}^{-1}=c^2⟩$, identifying their infinite cyclic subgroups generated by $b$. Each factor is an HNN extension of an infinite cyclic group, so its base and stable letter both have infinite order. No nonzero power of $a$ belongs to $⟨b⟩$ in the first factor, by the map to $\mathbb{Z}$ sending $a$ to one and $b$ to zero. In the second factor, no nonzero power of $c$ belongs to $⟨b⟩$: the stable-letter map forces a hypothetical equality $c^k=b^l$ to have $l=0$, and the base $c$ has infinite order. The normal form theorem for an amalgamated free product therefore shows that $⟨a,c⟩\le K$ is a rank-two free group.

Similarly,contains $⟨c,a⟩$ as a rank-two free group. Identifying these two free subgroups yieldsThe normal form theorem for an amalgamated free product embeds $K$ in $J$. In particular, $J$ contains a free group of rank two and is infinite.

The finite quotients of cyclic squaring presentations argument now rules out every nontrivial finite quotient of $J$. In a finite image, a relation $xy{x}^{-1}=y^2$ forces the order of $y$ to be odd, since conjugate elements have the same order. If any generator has nontrivial image, let $p$ be the least prime number dividing the order of any of the four generator images, and choose $y$ whose order is divisible by $p$. Its predecessor $x$ conjugates it to its square. If $r$ is the order of $x$, iterating conjugation gives $2^r\equiv 1(\mathrm{mod}p)$. Hence the multiplicative order of $2$ modulo $p$ divides $r$. It is greater than one and divides $p-1$, so it has a prime factor smaller than $p$, which also divides $r$. This contradicts the minimal choice of $p$. Thus all four generator images are trivial. $J$ has no nontrivial finite quotient, and the normal-core argument above implies that $J$ has no proper finite-index subgroup.

For the final argument, Conjugation preserves the order of an element. Thus if one nonidentity element has finite order $n$, every nonidentity element has that same order, and $n\ge 2$. Moreover $n$ is prime: if a prime factor $p$ properly divides $n$, then $g^p$ is nonidentity but has the smaller order $n/p$.

When $n\ge 3$, the element $g^2$ is nonidentity, so choose $x$ with $xg{x}^{-1}=g^2$. The conjugator is not the identity, since $g^2\ne g$, and therefore $x^n=1$. Induction gives $x^{k}g{x}^{-k}=g^{2^k}$, and at $k=n$ this yieldsBut Fermat's little theorem, with the odd prime $n$, gives $2^n\equiv 2(\mathrm{mod}n)$, contradicting that divisibility.

For $n=2$, $g^2=1$ is not in the nonidentity conjugacy class, so the required conjugator cannot be chosen. Instead, a group in which every element has square one is an abelian group: $(ab{)}^{-1}=ab$ also equals $b^{-1}{a}^{-1}=ba$. In an abelian group every conjugacy class is a singleton, so one nonidentity class permits only one nonidentity element, giving a group of order two. This contradicts infinitude. Consequently the infinite group in question is a $\boxed{\text{torsion-free group}}$.

This establishes the torsion-freeness from one nonidentity conjugacy class criterion.

An additive form of the Plünnecke inequality is the following. If $A,B$ are nonempty finite subsets of an abelian group and $|A+B|\le K|A|$, then there is one nonempty $X\subseteq A$ such that, simultaneously for every integer $m\ge 0$,Here $mB$ is an iterated sumset and $0B=\{0\}$. In particular, its Plünnecke-Ruzsa inequality consequence isWe prove both statements, so that the sumset and difference set formulations are covered.

Choose a nonempty $X\subseteq A$ minimizing the ratio $|X+B|/|X|$, and denote this minimum by $\kappa$. Such a minimizer exists because $A$ is finite, and $\kappa \le K$. Every $Z\subseteq X$ satisfies $|Z+B|\ge \kappa |Z|$, with the empty case also valid. We first prove the Petridis minimal-growth lemmafor every finite nonempty $C$.

List $C=\{c_1,\dots ,c_t\}$. Let $U_i=X+\{c_1,\dots ,c_i\}$ and $U_0=\varnothing$. DefineThe new points of $U_i$ are exactly $X_i+c_i$, so $|X+C|={\sum }_i|X_i|$. Since $Z_i+c_i\subseteq U_{i-1}$, the sumset $Z_i+B+c_i$ is already contained in $U_{i-1}+B$. It follows that the new points introduced into $U_i+B$ are contained inAs $Z_i+B\subseteq X+B$, their number is at mostSumming these increments proves the Petridis minimal-growth lemma. Taking $C=(m-1)B$ for $m\ge 1$ and iterating now givesThis proves the Plünnecke inequality with the same minimizing set $X$ for every $m$.

To obtain the difference set bound, we also prove the required Ruzsa triangle inequality. For finite $U,V,Z$ with $Z\ne \varnothing$, choose one representation $d=u_d-v_d$ of each $d\in U-V$. The mapis an injection: the sum of the output coordinates recovers $d$, and the first coordinate then recovers $z$ because $u_d$ was fixed. ThusUse $U=kB$, $V=\ell B$, and $Z=-X$. The already proved Plünnecke inequality yieldsThis finishes the proof of the stated Plünnecke-Ruzsa inequality. The use of an abelian group is essential in commuting the translates and sumsets in the minimal-growth argument.

Conversely, assume $H$ is a normal subgroup and the quotient group $G/H$ is an abelian group. Commuting the two cosets $aH$ and $bH$ givesso every group commutator $a^{-1}{b}^{-1}ab$ belongs to $H$. This proves the converse and completes the equivalence.

For the dihedral group of order ten, choose a rotation $r$ and a reflection $s$ with $r^5=s^2=1$ and $srs=r^{-1}$. Its rotation subgroup $⟨r⟩$ is a normal subgroup, and the quotient by it has order two, hence is an abelian group. Consequently the commutator subgroup is contained in $⟨r⟩$. On the other hand,Since $r^{-2}$ generates the order-five cyclic group $⟨r⟩$, the commutator subgroup is exactly $⟨r⟩$. Every abelian quotient must kill this subgroup. There are only two subgroups containing it, since the remaining quotient has prime order. The complete list, including the trivial quotient, isThis is the order-ten instance of the abelianization of an odd dihedral group.

Suppose every group commutator belongs to $H$. For $h\in H$ and $g\in G$, the particular group commutator $h^{-1}{g}^{-1}hg$ belongs to $H$. Multiplying on the left by $h$ gives $g^{-1}hg\in H$. Thus $g^{-1}Hg\subseteq H$ for every $g$; applying the same inclusion to $g^{-1}$ gives the reverse inclusion. Therefore $H$ is a normal subgroup.

We can now form the quotient group. Its group commutators areA group commutator is the identity element exactly when the two elements commute. Hence $G/H$ is an abelian group. Equivalently, the hypothesis says that $H$ contains the commutator subgroup, so the quotient factors through the abelianization.

No such nonabelian group exists. Every element, including the identity, satisfies $g^2=1$, so $g^{-1}=g$. For any $a,b$,Therefore the group is an abelian group. This proves that a group of exponent two is abelian without any finiteness assumption.

For the general linear group over ${\mathbb{F}}_{31}$, choose a nonzero first column in $31^2-1$ ways and a second column outside its span in $31^2-31$ ways. ThusSince $5^3=125\equiv 1(\mathrm{mod}31)$ and $5\ne 1$, the residue $5$ has order three. The nine diagonal matrices $\mathrm{diag}(5^i,5^j)$, with $0\le i,j<3$, form a subgroup isomorphic to $C_3\times C_3$. It is an abelian group and a Sylow subgroup for $p=3$. Every other Sylow subgroup for $p=3$ is conjugate to it by the Sylow theorems, hence is also Abelian.

$\boxed{{\mathbb{Z}}^4\text{ is not a nontrivial free product}.}$ In a nontrivial free product, nonidentity elements $g,h$ from different factors satisfy $gh\ne hg$, since these are distinct alternating normal forms. Such a group is not an abelian group, whereas the free abelian group ${\mathbb{Z}}^4$ is abelian.

Use the following normalization for Fourier analysis on a finite group. Choose one unitary irreducible representation $\rho :G\to U(d_{\rho })$ from each equivalence class, including the trivial representation. For a scalar function $f:G\to \mathbb{C}$, putThis convention uses $\rho (x)$, rather than $\rho (x{)}^{\ast }$, in the Fourier transform on a finite group; it makes the normalized convolution on a finite group preserve multiplication order.

The needed representation theory consists of Maschke's theorem and unitarization of a finite-group representation, together with the Schur orthogonality relations:The regular representation contains $d_{\rho }$ copies of each $\rho$, so ${\sum }_{\rho }{d}_{\rho }^2=|G|$. Thus the scaled matrix coefficients $\sqrt{d_{\rho }}\rho (x{)}_{ij}$, and also their complex conjugates, form an orthonormal basis of all scalar functions on $G$. These facts imply Fourier inversion on a finite group and the Parseval identity on a finite group in the formsand henceIn particular, the transform is an isomorphism onto the direct sum of the matrix algebras $M_{d_{\rho }}(\mathbb{C})$, with the displayed weighted Hilbert-Schmidt inner product.

Define the normalized convolution on a finite group bySubstituting $x=yz$ and using the group representation identity yields the convolution theorem on a finite groupUnlike normalized convolution on a finite group on an abelian group, this product need not commute. If $\tilde{f}(x)=\overline{f(x^{-1})}$, then $\hat{\tilde{f}}(\rho )=\hat{f}(\rho {)}^{\ast }$. For left translation of a group function and right translation of a group function $L_{a}f(x)=f(a^{-1}x)$ and $R_{a}f(x)=f(xa)$,For an abelian group, every irreducible representation is one-dimensional; this reduces to Fourier analysis on a finite abelian group with characters relabelled by their inverses. These formulas establish the basic scalar theory, with all normalizations and multiplication orders fixed.

Now suppose every nontrivial irreducible representation has $d_{\rho }\ge m$. If $f$ is a mean-zero function, its component at the trivial representation is zero. The Parseval identity on a finite group gives, for each other $\rho$,Using the convolution theorem on a finite group, the Hilbert-Schmidt norm inequality $\Vert AB{\Vert }_{\mathrm{HS}}\le \Vert A{\Vert }_{\mathrm{op}}\Vert B{\Vert }_{\mathrm{HS}}$, and the Parseval identity on a finite group once more gives the product mixing in a quasirandom group estimateWrite $a,b,c$ for the subset density values of $A,B,C$, respectively, and let $f=1_A-a$, $g=1_B-b$ be balanced subset indicators. Since both are mean-zero functions, $1_A\ast 1_B=ab+f\ast g$. Their squared norms are $a(1-a)$ and $b(1-b)$. Also $\mathbb{E}(f\ast g)=0$, so the Cauchy-Schwarz inequality yieldsIf $abc>1/m$, the final bound is strictly smaller than $abc$. Thus the normalized number of pairs $(x,y)\in A\times B$ with $xy\in C$ is positive. Equivalently,This is the desired conclusion for a quasirandom group; the strict inequality ensures positivity rather than merely a nonnegative lower bound.

For a point $x\in X$ and an abelian group $A$, the skyscraper sheaf $i_{\ast }A$, with $i:\{x\}\hookrightarrow X$, isRestrictions are identities or the map to zero, so it is a flasque sheaf. The global sections equal $A$ and higher cohomology vanishes:No closed-point assumption is needed for this calculation of skyscraper sheaf cohomology. On an arbitrary topological space, its nonzero stalks are at points of $\overline{\{x\}}$ when $A\ne 0$; only for a closed point is the nonzero stalk confined to $x$.

First account for the unlabelled coefficient-sequence construction. The two short exact sequences of abelian groups areThe singular chain groups of $X$ are free abelian. Applying $\mathrm{Hom}(C_q(X),-)$ therefore preserves these exact sequences, degree by degree, giving short exact sequences of cochain complexes. The associated long exact sequence from a coefficient sequence gives the displayed maps in cohomology; the connecting maps are the integral Bockstein homomorphism $\hat{\beta }$ and the modulo-$n$ Bockstein homomorphism $\beta$. The first omitted map is multiplication by $n$, and the second is induced by $j$.

For the requested example, attach an $(i+1)$-cell to $S^i$ using a map of degree $n$. The resulting Moore space $X=M(\mathbb{Z}/n,i)$ has positive-degree cellular chain complexin degrees $i+1,i$. This construction also works for $i=1$, using the degree-$n$ map of the circle. In cellular cohomology with coefficients $\mathbb{Z}/n$, the differential is zero, so both $H^i$ and $H^{i+1}$ are $\mathbb{Z}/n$.

Lift the cochain taking value $1$ on the $i$-cell to a cochain with coefficients $\mathbb{Z}/n^2$. Its coboundary takes value $n$ on the $(i+1)$-cell, which is $j(1)$. The definition of the connecting homomorphism therefore sends the degree-$i$ generator to the degree-$(i+1)$ generator. HenceIt is nonzero for every $i\ge 1$ and $n\ge 2$, including composite $n$. This is the Bockstein on a cyclic Moore space.

A Serre fibration $p:E\to B$ has the homotopy lifting property for every disc: given $h:D^k\times I\to B$ and ${\tilde{h}}_0:D^k\to E$ with $p{\tilde{h}}_0=h(-,0)$, there is a lift $\tilde{h}$ extending ${\tilde{h}}_0$. Equivalently one may test this property on CW complexes.

For a map $g:E\to B$, its mapping-path fibration replacement isPath spaces have the compact-open topology, with the usual compactly generated convention. The inclusion $s(e)=(e,{\mathrm{const}}_{g(e)})$ satisfies $ps=g$. Forgetting the path is a homotopy inverse to $s$: shorten $\gamma$ to $u\mapsto \gamma (tu)$, from its constant initial path at $t=0$ to the original path at $t=1$. The equivalence here means a commuting triangle over the same base whose map of total spaces is a homotopy equivalence; it does not assert a fibrewise homotopy inverse over the base. Appending the successive segments of a moving base path gives the homotopy lifting property for $p$, even for arbitrary parameter spaces, so $p$ is in particular a Serre fibration. Its ordinary fibre over $b_0$ is the homotopy fibre

For a based Serre fibration, with fibre inclusion $j:F\hookrightarrow E$, the long exact sequence of homotopy groups of a fibration isThe maps $j_{\ast },p_{\ast }$ compose based sphere representatives with $j,p$; the maps on path components do the same with points. To define $\partial$, represent a class by $(I^k,\partial I^k)\to (B,b_0)$ and lift the cube starting at $e_0$ on its bottom face, keeping its vertical sides at $e_0$. The opposite face then gives $(I^{k-1},\partial I^{k-1})\to (F,e_0)$. Relative lifting for a CW pair gives this construction; its based homotopy class is independent of choices. At $k=1$ it records the component of the endpoint of the lifted loop. The last terms are pointed sets rather than groups in general.

Now write $W=S^1\vee S^n$ and let $f:W\to S^n$ be the collapse map. Inclusion of the $n$-sphere is a section, so $f_{\ast }:{\pi }_k(W)\to {\pi }_k(S^n)$ is surjective in every positive degree. Thus all connecting maps in its homotopy fibre sequence vanish. The fibre is path-connected, andThe section also gives the first assertion when $n=2$, by killing the connecting map from ${\pi }_2(S^2)$.

The universal cover of $W$ consists of a line with an $n$-sphere attached at each integer. It is homotopy equivalent to the wedge sum ${\bigvee }_{k\in \mathbb{Z}}{S}^n$. This cover is $(n-1)$-connected, so the Hurewicz theorem identifies its $n$th homotopy group with its $n$th homology. Choose a generator $t$ of the fundamental group whose action shifts the sphere indexed by $k$ to that indexed by $k+1$. The resulting homotopy groups as modules over the fundamental group giveEvery lifted sphere maps to $S^n$ with degree one. Consequently $f_{\ast }$ is the augmentation $\epsilon (\sum a_k{t}^k)=\sum a_k$, with the trivial $R$-action on $\mathbb{Z}$. The inclusion of the fibre respects the fundamental group actions, soThe augmentation ideal of the infinite cyclic group is generated by $t-1$: multiply a Laurent polynomial by a power of $t$ and use divisibility by $t-1$ when its value at one vanishes. Multiplication by $t-1$ is injective, giving the last isomorphism. This is a free module of rank one, whose underlying abelian group has countably infinite rank; its ${\pi }_1$-action is not trivial.

Use the class equation for the action of $G$ on itself by conjugation:where the sum runs over noncentral conjugacy classes. By Lagrange's theorem, each noncentral class has size a positive power of $p$ greater than one. Thus $|Z(G)|\equiv |G|\equiv 0(\mathrm{mod}p)$. Since the identity element belongs to the center of a group,For $|G|=p^3$, the possible orders of the center of a group are $p,p^2,p^3$. Order $p^3$ would make $G$ an abelian group. Order $p^2$ would make the quotient group $G/Z(G)$ have prime order and hence be a cyclic group. But a cyclic quotient by the center forces $G$ to be Abelian: if $gZ(G)$ generates the quotient, any two elements are $g^{a}z$ and $g^{b}w$ with $z,w\in Z(G)$, and their products commute. Both larger orders contradict the hypothesis. Consequently