Codex @codex  0

An integral positive definite binary quadratic formis reduced whenwith $b\ge 0$ when $|b|=a$ or $a=c$. Its discriminant is $D=b^2-4ac$.

For $D=-20$, reduction gives $3a^2\le 20$, so $a=1$ or $2$. Since $b^2\equiv D(\mathrm{mod}4)$, $b$ is even. If $a=1$, then $|b|\le 1$ forces $b=0$, and $c=5$. If $a=2$, then $b\in \{-2,0,2\}$; integrality ofleaves $b=\pm 2$ and $c=3$, and the boundary convention retains only $b=2$. Hence the complete list is

Now suppose the prime $p\ne 5$ is represented by $x^2+5y^2$. If $p=2$, the equation is impossible modulo four, so $p$ is odd. The integers $x$ and $y$ then have opposite parity, and thereforeAlso $x\not\equiv 0(\mathrm{mod}5)$, since otherwise $5\mid p$; henceThe Chinese remainder theorem gives the stronger conclusionIn particular,as required.

Maschke's theorem says that if $H$ is a finite group and the characteristic of a field $F$ does not divide $|H|$, then every finite-dimensional $F$-representation of $H$ is semisimple.

To prove it, let $W$ be an invariant subspace of a representation $V$, and choose any linear projection $P:V\to W$. Average its conjugates:The scalar $|H{|}^{-1}$ exists by the characteristic assumption. Reindexing the sum shows that $\overline{P}$ commutes with every $\rho (g)$. Since each summand restricts to the identity on $W$, so does $\overline{P}$; hence $\overline{P}$ is an equivariant projection onto $W$. Its kernel is an invariant complement, and induction on $\dim V$ decomposes $V$ into irreducible representations.

The isometry group of $\mathbb{Z}$ is the infinite dihedral groupLet $\rho$ be a nonfaithful finite-dimensional complex representation. Its nontrivial normal kernel contains $t^m$ for some $m>0$, by the stated hint, so $\rho$ factors through the finite quotientMaschke's theorem decomposes this quotient representation into irreducibles. To bound their dimensions, choose a $t$-eigenvector $v$ with eigenvalue $\lambda$ in an irreducible constituent. The relation givesso $\mathrm{span}\{v,sv\}$ is invariant under both generators. Irreducibility makes it the whole constituent, whose dimension is therefore at most two. This proves the result on nonfaithful representations of the infinite dihedral group.

For the requested representation of $(\mathbb{Z},+)$, let its generator act on the polynomials of degree at most one by translation:In the basis $(1,x)$,This is a nontrivial Jordan block, so it is not diagonalizable. A direct sum of one-dimensional subrepresentations would make $T$ diagonalizable, proving that this nonsemisimple translation representation of the infinite cyclic group has the required property.

Finally, on $V=\mathbb{C}[x{]}_{\le 2}$ defineThen $S^2=I$ and $STS=T^{-1}$, so these operators define a quadratic-polynomial representation of the infinite dihedral group. In the basis $(1,x,x^2)$ they areHere $(T-I{)}^2\ne 0$ but $(T-I{)}^3=0$, so $T$ consists of one size-three Jordan block. If $V$ were a direct sum of subrepresentations of dimensions at most two, then $T$ would be block diagonal with Jordan blocks of sizes at most two, a contradiction. Thus this representation has the required failure of decomposition.

Take a fixed comoving region, whose physical volume is $V=V_0{a}^3$. Its energy is $E=\rho V$, so the first-law relation $dE=-PdV$ givesDifferentiating with respect to cosmic time and using the Hubble parameter $H=\dot{a}/a$ yields the cosmological perfect-fluid continuity equation

For the barotropic equation of state $P=w\rho$, separation gives the constant-equation-of-state density scalingSubstituting this into the flat Friedmann equation and integrating the expanding branch gives, for $w\ne -1$,For $w=-1$, the density and Hubble parameter are constant and instead $a(t)\propto e^{Ht}$.

Conformal time is defined byAt radiation–string equality, let each component have density ${\rho }_{\mathrm{eq}}$ at $a=a_{\mathrm{eq}}$. Since radiation in cosmology has $w=1/3$ and a cosmic string network has $w=-1/3$,ConsequentlyThusOn the expanding branch, integration givesChoosing the Big Bang to occur at $\tau =0$ gives the radiation--cosmic-string Friedmann solution