For a smooth one-to-one coordinate transformation with nonsingular derivative, the Jacobian determinant isLocally a small coordinate box maps, to first order, to a parallelepiped whose volume is the absolute determinant of the derivative times the original volume. Summing these local volume approximations gives the change of variables formula, with $|J|$ accounting for either orientation. The usual regularity and nonsingularity hypotheses are part of this substitution theorem.

The region is the upper half of the spherical shell between radii two and three, including its annular flat boundary in the equatorial plane. Use spherical coordinates $x=r\sin \theta \cos \varphi$, $y=r\sin \theta \sin \varphi$, $z=r\cos \theta$ with $2\le r\le 3$, $0\le \theta \le \pi /2$, $0\le \varphi <2\pi$. Their Jacobian determinant is $r^2\sin \theta$; the polar axis and azimuth seam have measure zero, so do not obstruct this integration.

The integrand is $x^2+y^2=r^2{\sin }^2\theta$. Consequently

For a nontrivial finite p-group $G$ of order $p^m$ with $m\ge 1$, partition into conjugacy classes. A noncentral class has size $[G:C_G(x)]$, a positive power of $p$ larger than one by Lagrange's theorem. The class equation therefore saysThe center of a group contains the identity, so $|Z(G)|\ge p$, proving its nontriviality. The positive-exponent qualification matters: the one-element group has no nonidentity central element.

If $|G|=p^2$, its center of a group has order $p$ or $p^2$. In the first case, the quotient group $G/Z(G)$ has prime order and is cyclic. Whenever a central quotient group is cyclic, writing all elements as $g^{i}z$ with $z$ central shows that they commute: $(g^{i}z)(g^{j}w)=g^{i+j}zw=(g^{j}w)(g^{i}z)$. Thus that case would already make $G$ Abelian and its center of a group all of $G$, a contradiction. Hence every group of order $p^2$ is Abelian.

If there is an element of order $p^2$, it is a generator of a group for $G$, giving $C_{p^2}$. Otherwise every nonidentity element has order $p$. Pick $a\ne 1$ and $b\notin ⟨a⟩$. Their cyclic subgroups have trivial intersection, and they commute; the $p^2$ distinct products $a^i{b}^j$ exhaust $G$. Hence the classification of groups of order p squared isBoth groups exist and are nonisomorphic, since only the first has an element of order $p^2$.

For a continuously differentiable vector field on all of ${\mathbb{R}}^3$, the necessary and sufficient condition for a conservative vector field is $\nabla \times \mathbf{F}=0$. Necessity follows from equality of mixed partial derivatives of a potential; sufficiency uses the ${\mathbb{R}}^3$ being a simply connected space. On a general domain the topology cannot be omitted.

Here the relevant mixed partial derivatives areThus the curl vanishes. Integrating the first component in $x$ gives $\Phi =x^2\cos y-2x{z}^3+A(y,z)$. Matching the second component gives $A_y=3+2y{e}^z$, hence $A=3y+y^2{e}^z+B(z)$. Matching the last component forces $B^{\prime }=0$. A potential of a conservative vector field with the convention $\mathbf{F}=\nabla \Phi$ is consequentlyIf a physical potential is defined instead through $\mathbf{F}=-\nabla V$, it is $V=-\Phi$.

A cyclic group has one generator of a group: $G=⟨a⟩=\{a^j:j\in \mathbb{Z}\}$. An abelian group has $xy=yx$ for every pair of elements. Powers of one element commute because $a^r{a}^s=a^{r+s}=a^{s+r}=a^s{a}^r$, so every cyclic group is Abelian. The Klein four-group $C_2\times C_2$ is Abelian but is not a cyclic group: every nonidentity element has order two, whereas a generator of a group for a four-element cyclic group would have order four.

Fix a generator of a group $x$ of $C_n$. A group homomorphism is determined by $g=\varphi (x)$ because $\varphi (x^j)=g^j$, and the relation $x^n=1$ forces $g^n=1$. Conversely, such a $g$ defines $\varphi (x^j)=g^j$: exponents differing by a multiple of $n$ give the same value, and addition of exponents verifies the group homomorphism law. Thus the homomorphism from a finite cyclic group correspondence isFor $S_4$, the order of a permutation is the least common multiple of its disjoint cycle lengths. The condition ${\sigma }^4=1$ allows identity, transpositions, two disjoint transpositions, and four-cycles. The sixteen homomorphisms are ${\varphi }_{\sigma }(x^j)={\sigma }^j$, with the full list of possible generator imagesThe remaining eight elements of the symmetric group are three-cycles and do not qualify.

Both factors being normal subgroups places cross-commutators in their intersection, forcing cross-commutation.

The product hypothesis supplies surjectivity of the multiplication map.

Coprimality makes the intersection trivial by the subgroup-order divisibility theorem.

For a Cartesian change of basis represented by an orthogonal matrix $Q$, vectors transform as $E_i^{\prime }=Q_{ia}{E}_a$ and $B_i^{\prime }=Q_{ia}{B}_a$. Their squared norms are invariant and $Q_{ia}{Q}_{jb}{\delta }_{ab}={\delta }_{ij}$. Substitution into the given expression therefore givesthe transformation law of a Cartesian second-rank tensor. The magnetic field's extra axial sign under an improper physical reflection, if included, appears twice and cancels in its quadratic contribution.

Write the Maxwell stress tensor as $T=\mathbf{EE}+\mathbf{BB}-\frac{1}{2}(E^2+B^2)I$. Its divergence isThe identity $(\mathbf{A}\cdot \nabla )\mathbf{A}-\frac{1}{2}\nabla A^2=-\mathbf{A}\times (\nabla \times \mathbf{A})$ follows by contracting two Levi-Civita symbols, or directly by differentiating components. Using Maxwell's equations consequently yieldsHence the local conservation of electromagnetic momentum isThe two subtracted terms are the Lorentz force density, while $\mathbf{E}\times \mathbf{B}$ is the electromagnetic momentum density in the units used here.