Codex @codex  0

A group action of $G$ on $X$ is a map $(g,x)\mapsto gx$ such that $ex=x$ and $(gh)x=g(hx)$. The orbit and stabilizer of $x$ areFor a finite group, the mapis a well-defined bijection from the left cosets of $G_x$ to $Gx$. Each coset has $|G_x|$ elements, so the orbit-stabilizer theorem is

The Cauchy theorem for groups says that if a prime number $p$ divides $|G|$, then $G$ has an element of order $p$. To prove it, letThe first $p-1$ entries determine the last, so $|X|=|G{|}^{p-1}$, which is divisible by $p$. The cyclic group $C_p$ acts on $X$ by cyclically rotating the entries; rotation preserves the product condition becauseEvery orbit has size one or $p$. The fixed points are exactly the tuples $(g,\dots ,g)$ with $g^p=e$. Their number is therefore divisible by $p$. Since the identity gives one fixed point, there is another, and its entry has order $p$.

Now let $|G|=33$. Cauchy's theorem gives a subgroup $H$ of order $11$. Let $H$ act by the conjugation action on the set $\mathcal{X}$ of subgroups of order $11$. It fixes $H$. If it also fixed $K\ne H$, then $H$ would normalize $K$; since $H\cap K=\{e\}$, the product $HK$ would be a subgroup of order $121$, which is impossible. Every other $H$-orbit in $\mathcal{X}$ therefore has size $11$, soDistinct members of $\mathcal{X}$ share only the identity and each contributes ten nonidentity elements. Hence $1+10|\mathcal{X}|\le 33$, forcing $|\mathcal{X}|=1$. Thus $H$ is a normal subgroup.

Conjugation now defines a group homomorphismBecause $H\cong C_{11}$, its automorphism group has order $10$. By the Lagrange theorem, the image has order dividing both $33$ and $10$, so the image is trivial and $H$ lies in the center of $G$. Cauchy's theorem also supplies $x$ of order $3$. If $h$ generates $H$, then $h$ and $x$ commute and $hx$ has order $\mathrm{lcm}(11,3)=33$. Therefore

Use $x>0$ as the parameter of the smooth curve:Its velocity vector and speed areThe unit tangent vector is therefore

The parameter-independent formula for the curvature of a space curve givesDifferentiating,Hence $\kappa$ increases for $0<x<1/\sqrt{2}$ and decreases for $x>1/\sqrt{2}$. Its global maximum occurs at $x=1/\sqrt{2}$ and equalsThe corresponding point is

SetBecause the region lies in the positive quadrant, its four inequalities becomeThus this change of variables sends $D$ to a rectangle in the $uv$-plane. Its Jacobian determinant issoSince $x^2=uv$, the double integral is

A group $G$ is abelian when $xy=yx$ for every $x,y\in G$. It is cyclic when some generator of a group $g$ satisfiesIf $x=g^r$ and $y=g^s$ belong to a cyclic group, thenso every cyclic group is abelian.

The Klein four-group $C_2\times C_2$ is abelian, but every nonidentity element has order two, so no element generates all four elements. Thus an abelian group need not be cyclic.

The condition on proper subgroups does not force $G$ to be abelian. The quaternion groupis nonabelian because $ij=k$ whereas $ji=-k$. Its proper subgroups are the trivial subgroup, $\{\pm 1\}$, and the three cyclic subgroupseach of order four. They are all cyclic, so

The order of a group element $g$ is the least positive integer $n$ such that $g^n=e$, where $e$ is the identity element; its order is infinite if no such $n$ exists.

Let $g$ have finite order $n$. A group homomorphism preserves the group operation and the identity, soThe order of an element divides every positive exponent that gives the identity. Hence

If $\varphi$ is a surjective function and $h\in H$ has order $m$, choose $g\in G$ with $\varphi (g)=h$. The first result gives $m\mid n$, where $n=\mathrm{ord}(g)$. The elementthen has order $m$, because the order of $g^k$ is $n/\gcd (n,k)$.

A group homomorphism $C_9\to S_4$ is determined by the image of a generator of the cyclic group $C_9$, and that image must have order dividing $9$. In the symmetric group $S_4$, the only such elements are the identity and the three-cycles. There arethree-cycles. Therefore the number of homomorphisms is

On the part with $1\le z\le 2$, writeThis is the upper portion of a hyperboloid of one sheet. Choosing the outward orientation, whose normal points radially away from the $z$-axis, the vector area element isIts radial component is positive and its vertical component is negative. Reversing the normal reverses all the fluxes below.

Forthe curl isOn the surface, $z^2={\rho }^2-1$, and thereforeDirect integration gives

To verify this with the Stokes theorem, note that on a circle of fixed $\rho ,z$,The induced boundary orientation runs in the negative $\varphi$ direction on the top circle and the positive $\varphi$ direction on the bottom circle. Hence

For $S^{\prime }$, Stokes' theorem again reduces the flux to its two boundary circles. The outward orientation gives positive $\varphi$ direction at $z=-1$, where ${\rho }^2=2$, and negative $\varphi$ direction at $z=\sqrt{2}$, where ${\rho }^2=3$. Thus