A group homomorphism $f:G\to G^{\prime }$ satisfies $f(gh)=f(g)f(h)$ for all $g,h\in G$. It consequently sends the identity element to the identity and inverses to inverses. Its group homomorphism kernel isA normal subgroup $H$ of $G$ is a subgroup invariant under conjugation:Equivalently, $gH=Hg$ for every $g$, so left and right cosets coincide.

No. The quaternion groupis another non-abelian group of order eight: for example $ij=k$ while $ji=-k$. Its multiplication comes from the associative quaternion algebra, so it does define a group.

It is not isomorphic to the dihedral group of the square. In $Q_8$, only $-1$ has order two; the six elements $\pm i,\pm j,\pm k$ have order four. The square's dihedral group has five elements of order two: four reflections and the half-turn. Group isomorphisms preserve element orders, so these groups are distinct. The hypothesis in part (c) excludes $Q_8$, since its only element of order two is already in each cyclic subgroup of order four.

The cyclic subgroup $A=⟨a⟩$ has order four and index two. Every index-two subgroup is normal: its complement is both the only nontrivial left coset and the only nontrivial right coset. Thus conjugation by $b$ is an automorphism of $A$. It must send its generator $a$ to another element of order four, namely $a$ or $a^3$. Since $b^{-1}=b$,equivalently $ab=ba$ or $ab=b{a}^3$, as required. Also $b\notin A$, since otherwise $a,b$ could generate at most four elements.

In the commuting case, every word reduces uniquely to $a^j{b}^{\epsilon }$ with $0\le j<4$ and $\epsilon \in \{0,1\}$. The eight expressions are distinct because $A$ and $Ab$ are disjoint. Multiplication is addition of the two exponents modulo four and two, respectively. ThereforeThis gives the multiplication table independently of any other properties of $G$, proving uniqueness up to group isomorphism.

In the inversion case, the relation $ba=a^{-1}b$ gives the same eight unique normal forms, now with multiplicationwith exponents reduced modulo four and two. Thus this case also has a uniquely determined group structure. A faithful geometric realization is the dihedral group of a square, with $a$ a quarter-turn and $b$ a reflection in a line through opposite edge midpoints. For example, on the plane,These preserve the square with vertices $(\pm 1,\pm 1)$ and satisfy $a^4=b^2=I$, $bab=a^{-1}$. They generate eight distinct transformations, so

By Lagrange's theorem, the possible values of the order of a group element areThese are possibilities across groups of order eight; they need not all occur in one group.

If every element has order at most two, every element equals its own inverse. Thus for any $x,y$,so $G$ is an abelian group. Choose $a\ne e$, and then $b\notin ⟨a⟩$. The four elements $e,a,b,ab$ are distinct and form a subgroup $H$: commutativity and $a^2=b^2=e$ prove closure and inverses. Choose $c\notin H$. The elements of $H$ and $Hc$ are disjoint, since $hc\in H$ would imply $c\in H$. These two four-element sets therefore exhaust $G$.

Every element consequently has a unique expression $a^i{b}^j{c}^k$, with $i,j,k\in \{0,1\}$. The map from triples to these products is bijective and respects multiplication by addition of exponents modulo two. Hencea direct product of groups and an elementary abelian group.

A group is a set $G$ equipped with a binary operation satisfying the group axioms: closure; associativity, $(gh)k=g(hk)$; an identity element $e$ with $eg=ge=g$; and an inverse element $g^{-1}$ for every $g$, with $g{g}^{-1}=g^{-1}g=e$.

A subgroup $H$ is a subset that is a group under the restricted operation. Equivalently, it is nonempty and contains $x{y}^{-1}$ whenever $x,y\in H$. A generating set of a group is a set whose elements and inverses can be multiplied in finite words to produce every group element.

The group order is its number of elements, $|G|$. The order of a group element $g$ is the least positive integer $r$ with $g^r=e$, or infinity if there is none. Lagrange's theorem states that for a finite group and subgroup $H$, $|H|$ divides $|G|$ and $|G|=[G:H]|H|$. In particular, every finite element order divides the group order.

A cyclic group is generated by one element, so every element is a power of that generator. A group isomorphism is a bijective group homomorphism: a bijection $\varphi :G\to G^{\prime }$ satisfying $\varphi (gh)=\varphi (g)\varphi (h)$ for all $g,h$.

Use the mode shapes from part (b), and put $\omega =\sqrt{2k/m}$. The initial velocity decomposes asThere is no antisymmetric component because the initial state treats the equal masses identically. Initial displacements are zero, so the zero mode contributes a linear drift and the nonzero normal mode contributes a sine:In terms of actual angular positions,The conserved angular momentum is initially $2m\Omega$ and the total moment of inertia is $4m$, so the common angular velocity must be $\Omega /2$, agreeing with the drift. The relative displacements remain of order $\Omega /\omega$, even when the common angle becomes large. Hence small $\Omega /\omega$ preserves the cyclic ordering and small spring extensions at arbitrarily late times. In the ideal arc-spring model the displayed energies are exactly quadratic in the relative angles, so this motion remains exact while that ordering persists.

Label the equal masses $1,2$ and the mass $2m$ by $3$, in cyclic order. Let their equilibrium angles be $0,2\pi /3,4\pi /3$, with angular displacements $q_1,q_2,q_3$. Because the hoop has unit radius, its three arc lengths areThe springs themselves are constrained to the hoop, so these are arc lengths. If their common natural length is ${\ell }_0$, Hooke's law gives $V=\frac{k}{2}{\sum }_i({\ell }_i-{\ell }_0{)}^2$. Since the arc lengths have fixed sum $2\pi$, all terms linear in the $q_i$ cancel. Dropping the constant,Thus the unspecified common natural length does not affect the motion. The mass and restoring matrices in the generalized eigenvalue problem areExchange of the two equal masses separates symmetric and antisymmetric normal modes. Direct multiplication gives the complete setThe first is rigid rotation of all three beads: every arc length stays fixed, giving a zero mode. In the second, the equal masses move oppositely while the heavy bead stays fixed; the net force on that bead cancels. In the third, the equal masses move together and the heavy bead moves oppositely with equal angular amplitude. Both nonzero normal modes have zero total angular momentum. These are the normal modes of three beads connected by springs on a circular hoop with $M=2m$.

For an ordinary conservative mechanical system, choose generalized coordinates $q_i$ measured from a static equilibrium point. Assume the kinetic energy is quadratic in velocities and there are no velocity-dependent forces. Expanding about equilibrium, the linear term in the potential energy vanishes. Retaining only terms of total degree two gives the small oscillation LagrangianAn irrelevant constant has been dropped. Coordinate dependence of $M$ contributes only terms of third or higher total degree. The matrices $M,K$ are symmetric, $M$ is positive definite for independent coordinates, and $K$ is positive semidefinite at a stable equilibrium. The Euler-Lagrange equations areA normal mode has a fixed mode shape $\mathbf{v}$ and one time factor: $\mathbf{q}=\mathbf{v}Q(t)$. Its angular frequency $\omega$ solves the generalized eigenvalue problem $K\mathbf{v}={\omega }^{2}M\mathbf{v}$, with $\ddot{Q}+{\omega }^{2}Q=0$. Thus $\omega$ is the normal angular frequency, and the frequency in cycles per unit time is $\omega /(2\pi )$. A zero mode satisfies $K\mathbf{v}=0$; its time dependence is $Q=A+Bt$, describing an unopposed displacement or uniform drift rather than a restoring oscillation.

An order-$n$ Cartesian tensor has $3^n$ components whose values in two orthonormal Cartesian frames satisfywith repeated indices summed as in Einstein notation. It is an isotropic tensor when its components are unchanged by every proper rotation, $R\in SO(3)$.

For rank two, a half-turn about any coordinate axis changes the sign of each component having exactly one index along that axis. Invariance therefore makes every off-diagonal component zero. Quarter-turns interchanging two coordinate axes then require $T_{11}=T_{22}=T_{33}$. Thus, without assuming symmetry in advance,Conversely, the Kronecker delta is invariant because $R_{ik}{R}_{jk}={\delta }_{ij}$, so every tensor of this form is isotropic.

For rank three the general proper-rotation invariant form iswhere ${ϵ}_{ijk}$ is the Levi-Civita symbol. The convention matters: the isotropic rank-three tensor and reflections distinction says that invariance of a polar tensor under all $R\in O(3)$ would force $b=0$. A nonzero ${ϵ}_{ijk}$ is invariant under proper rotations, and is a pseudotensor under the full orthogonal group. The shell integrals below are invariant under reflections as well, so their odd moments vanish.

Put $s=\lambda t>0$. In the heat-kernel convolution, complete the real square asThe Gaussian integral therefore givesAt $t=0$ the same formula gives $\beta =\alpha$. Equivalently, ${\beta }^{-2}={\alpha }^{-2}+4\lambda t$: the variance of this normalized Gaussian function grows from $1/(2{\alpha }^2)$ to $1/(2{\alpha }^2)+2\lambda t$.

The initial profiles have unit integral and concentrate at zero as $\alpha \to \infty$. Precisely, for every smooth compactly supported test function $\phi$,Thus the limit is the Dirac delta distribution, rather than an ordinary function: pointwise the profiles tend to zero away from the origin and diverge at the origin. At every fixed $t>0$,The limiting evolved profile is the heat kernel for a unit point source.

Take $\lambda >0$ and $t>0$, the positive diffusivity requirement for the forward heat kernel. The PDF does not explicitly specify the sign of $\lambda$; the stated real Gaussian function formula requires this assumption. For a direct calculation, initially assume sufficiently smooth and rapidly decreasing data, so that the Fourier transform, its inverse and the following integrations are justified. The resulting heat-kernel convolution extends to wider classes of initial data.

Using the stated Fourier transform convention and integration by parts,The transformed ordinary differential equation has solution $\tilde{u}(k,t)=e^{-\lambda k^{2}t}{\tilde{u}}_0(k)$. Fourier inversion then givesComplete the square:Part (a), after scaling by $\sqrt{\lambda t}$, evaluates the remaining Gaussian integral even though its shift is imaginary. ThereforeThe heat kernel has integral one and is an approximate identity as $t\downarrow 0$, which recovers the initial condition. Mere decay at spatial infinity does not by itself imply every Fourier integral is absolutely convergent; the regularity assumption above supplies a rigorous setting for the derivation.

Write $a=s+ib$ with real $s,b$, and first translate the real integration variable by $s$. It remains to integrate $e^{-z^2}$ along the horizontal line $\mathrm{Im}z=b$.

For $b>0$, apply the Cauchy integral theorem to the rectangle with vertices $-R,R,R+ib,-R+ib$. The integrand is an entire function, sois the negative of the two vertical-edge integrals. On either vertical edge, $z=\pm R+iy$ andTheir combined absolute value is at most $2b{e}^{-R^2+b^2}$ and tends to zero. The rectangle below the real axis gives the same estimate with $|b|$ when $b<0$; $b=0$ needs no deformation. Absolute convergence follows from $|e^{-(x+ib{)}^2}|=e^{b^2}{e}^{-x^2}$. Taking $R\to \infty$ proves the Gaussian contour translation identity

For the simple-contour form of the residue theorem, let $C$ be a positively oriented, simple, closed, piecewise smooth contour. Assume $f$ is holomorphic on a neighbourhood of $C$ and its interior except at finitely many isolated singularities $z_1,\dots ,z_s$, all strictly inside $C$, with none on $C$. ThenThe more general version weights each residue by the contour's winding number, with the usual requirement that the contour be homologous to zero in the domain of analyticity containing it and the nonsingular region.

For the requested application, assume $f$ is holomorphic on a neighbourhood of the contour and its closed interior, and $z_0$ is strictly inside it. Its Taylor series showsOnly the second term contributes a residue. The residue theorem therefore proves the derivative form of the Cauchy integral formula:

The Taylor series of the entire function $g$ givesThe coefficient of $(z-z_0{)}^{-1}$, and therefore the residue, isIf $g(z_0)=0$, the apparent pole is a removable singularity and the residue is zero.

In the Laurent seriesabout a pole of order $m$, the residue is the coefficientwhere the circle is traversed anticlockwise. Equivalently, the residue is $\frac{1}{(m-1)!}{\frac{d^{m-1}}{d{z}^{m-1}}[(z-z_0{)}^{m}f(z)]|}_{z=z_0}$.