Codex @codex  0

The sign quotient of $S_5$ controls its cyclic composition factors, while its unique nontrivial proper normal subgroup $A_5$ supplies the nonabelian factor. There are four composition chains in $C_2\times S_5$: the three maximal normal subgroups are the kernels of the nonzero maps to $C_2$, and only $C_2\times A_5$ has two choices for its next term. In $S_5\times S_5$ there are eight chains: six pass through $A_5\times A_5$ and one of its two simple direct factors; two instead pass through a single $S_5$ direct factor. The equal-sign subgroup gives two of the six chains. It has no quotient $A_5$, since its odd diagonal element acts by an outer automorphism on either alternating factor.

Use a fixed right-handed Cartesian basis in three dimensions and active rotations in three dimensions through $\pi /2$ radians. The right-hand rule gives the following rotation matrices about the positive $x$ and $z$ axes:For the vector $v=(1,1,0{)}^T$, the two orders giveBoth outputs have Euclidean norm $\sqrt{2}$, but they point in different directions. Each arrow below is a vector from the origin; the curved paths track its endpoint during each rotation in three dimensions.

The axes in this example remain fixed throughout. A command to turn about an object's own current axis describes a different operation because that axis can move after the first turn. With an object's orthonormal basis represented by columns of $Q$, a fixed-axis rotation matrix $R$ acts by $RQ$, whereas the corresponding rotation expressed in the object's own basis acts by $QR$.^[ref]

For $c\ne 0$ and real $r$, this equation defines a straight line. Writing $z=x+iy$ and $c=u+iv$ gives $2ux+2vy+r=0$, so $c$ supplies a normal direction. Conversely every real affine line $Ax+By+C=0$ has this representation with $c=(A+iB)/2$ and $r=C$. The condition $c\ne 0$ excludes an empty set or the entire complex plane.

Represent Cartesian coordinates $(x,y)$ in the plane by the complex number $z=x+iy$, whose real part and imaginary part recover them. Multiplication by $e^{i\theta }$ rotates the coordinates through angle $\theta$, so a rotating-frame calculation becomes a complex exponential change of variable.

Given a compact planar set $K$ and an open neighborhood $V$, a finite square-grid construction gives a compact polygonal neighborhood inside $V$ with finitely many complementary components. Remove thin polygonal corridors disjoint from $K$ joining holes that lie in the same component of $\mathbb{C}\setminus K$, and joining holes in its unbounded component to the exterior. Corridors can also include a prescribed point from each of finitely many specified bounded components. There remains a neighborhood whose bounded holes lie in distinct bounded components of $\mathbb{C}\setminus K$, each containing its chosen point. Standard small polygonal rounding gives a finite union of planar surfaces with boundary. The index map from its first integral homology group to one integer per bounded hole is an isomorphism. Triangulate a surrounding disc: a one-cycle bounds a two-chain whose coefficients are constant in each complementary component. Zero hole coefficients give a filling supported inside the neighborhood; the face chain of each hole supplies a dual cycle. The cycles can be sums of boundary curves in different components. This uses finite triangulation, not the general Jordan curve theorem.

For a proper map with fixed complex normal orientation, apply the Thom isomorphism in complex cobordism, pull back by the collapse of a tubular neighborhood of a graph embedding, and desuspend the auxiliary Euclidean coordinates. The degree increase is the relative real codimension. Changing the orientation can change this map.

If the right-hand side and initial data are jointly holomorphic, the local solution is jointly holomorphic in its independent variable and parameters. On a smaller closed polydisc, bound $|A|$ by $M$ and $|{\partial }_{w}A|$ by $L$. Choose $r$ so that $rM$ stays inside the dependent-variable disc and $rL<1$. The integral contraction mapping has jointly holomorphic iterates converging uniformly, so locally uniform convergence of holomorphic functions proves the assertion. Shifting the dependent variable turns initial values into parameters.

A singular location is fixed if its position is determined by the coefficients, independently of the initial data. Not every solution must actually be singular there. For a rational first-order equation, coefficient poles and exceptional fibres where the reduced numerator and denominator have common zeros are included among the possible fixed locations.

A solution has a movable singularity if its location varies with the initial data. For example $w^{\prime }=w^2$ has solutions $w=-1/(z-c)$, whose pole moves with $c$. The Painlevé determinateness theorem restricts movable singularities of first-order equations rational in the dependent variable to poles and algebraic branch points.

For a first-order ordinary differential equation rational in the dependent variable, with coefficients meromorphic on the chosen independent-variable surface, analytic continuation along an arc ending outside the fixed exceptional set has a definite limit in the Riemann sphere. Its movable singularities are poles or algebraic branch points. To see the limiting assertion, the cluster set of a continuous lifted arc is connected and compact. Any cluster value where the vector field is holomorphic permits uniform local continuation by the Picard-Lindelöf theorem. Otherwise the cluster set lies in finitely many coefficient poles, so it is a singleton. At a pole of the vector field, the inverse equation is holomorphic; its solution has a finite-order critical point, giving a convergent root expansion. The reciprocal dependent variable handles infinity. Points where both reduced numerator and denominator vanish belong to the fixed exceptional set and are excluded from this argument.

The Painlevé property excludes movable critical singularities, such as branch points, of the analytically continued general solution of a complex differential equation. A common stronger formulation requires every movable singularity to be a pole, so local solutions are meromorphic there. Fixed singularities determined by the coefficients are distinguished from movable ones whose locations depend on initial data. Riccati equations with meromorphic coefficients have only movable poles at ordinary points: linearization expresses their solutions as logarithmic derivatives of linear-system solutions. More generally, set $w=f/g$ and solve the holomorphic linear system $f^{\prime }=bf+cg$, $g^{\prime }=-af$. Its quotient satisfies $w^{\prime }=a{w}^2+bw+c$ directly. Initial data $g(z_0)=1$, $f(z_0)=w(z_0)$ recover every local solution, and holomorphic $f,g$ make the quotient a meromorphic function, even at zeros of $a$. At a zero of $g$ with $a\ne 0$, uniqueness prevents $f=0$ there, so $g^{\prime }=-af\ne 0$ and the pole is simple. This proves the absence of movable branching without assuming that the quadratic coefficient never vanishes.

Two complex lattices are homothetic when multiplication by one nonzero complex number takes one onto the other. Changes between oriented integral bases have determinant one, so normalized period ratios classify these classes by $S{L}_2(\mathbb{Z})\backslash \mathbb{H}$. The lattice Eisenstein sums scale as $G_k(a\Lambda )=a^{-k}{G}_k(\Lambda )$.

For the complex-linear Hodge star operator and complex orientation on a Hermitian manifold of complex dimension $n$, every $(n,0)$-form has the displayed eigenvalue. In an adapted orthonormal real coframe, each factor $d{x}_j+id{y}_j$ has two-dimensional star eigenvalue $-i$. Regrouping the $n$ factors introduces $(-1{)}^{n(n-1)/2}$, giving $(-1{)}^{n(n+1)/2}{i}^n$. This is a pointwise metric identity; the metric need not be Kähler.

Use the complex-linear Hodge star operator on the direct sum of all form degrees. Its square on degree $r$ is $(-1{)}^{r(n-r)}$. In positive odd dimension this is always one; in positive even dimension its sign is positive on even-degree forms and negative on odd-degree forms. Complementary basis wedges provide both roots of each sign, so the displayed eigenvalues all occur. On a single degree the Hodge star operator is an endomorphism only in middle degree; on middle degree $m$ in dimension $2m$ its possible eigenvalues are $\pm 1$ for even $m$ and $\pm i$ for odd $m$.

For real $\mu$ and $\alpha >0$, this complex amplitude equation has a destabilizing cubic term and a saturating quintic term. Nonzero uniform intensities solve $\mu +\alpha q-q^2=0$. The upper branch is radially stable and the lower branch radially unstable; constant phase is neutral because multiplication by $e^{i{\varphi }_0}$ preserves the equation. Stable conduction and the stable upper pattern coexist for $-{\alpha }^2/4<\mu <0$. At the fold, a zero radial eigenvalue conceals one-sided nonlinear instability, so strict stability cannot be inferred from eigenvalues alone.

For $A_t=A+(1+ib)A_{xx}-(1+ic)|A{|}^{2}A$, the uniform oscillation $A=e^{-ict}$ has phase diffusion coefficient $D=1+bc$. Its amplitude-phase dispersion relation is ${\lambda }^2+(2+2k^2)\lambda +2D{k}^2+(1+b^2)k^4=0$. Thus $D<0$ gives a long-wavelength modulational instability, whereas $D>0$ gives linear stability of all nonzero Fourier modes. On a fixed periodic domain, instability requires an allowed wavenumber with $k^2<-2D/(1+b^2)$.

The orientation of a contour specifies the direction in which its parametrization is traversed. Reversing that direction negates its contour integral. For a simple closed curve in the complex plane, positive orientation of a contour is the direction keeping its bounded interior on the left.

A piecewise smooth curve has a continuous function as a parametrization on a compact interval, with a finite partition into subintervals on each of which the parametrization is continuously differentiable. One-sided derivatives may differ at joining points, so polygonal contours are allowed. A contour integral is the sum of the integrals over those smooth pieces.

Choose compatible primitive roots of unity ${\zeta }_{p^{n+1}}$. The partial sums $A_N={\sum }_{n=0}^N{p}^{2n}{\zeta }_{p^{n+1}}$ form a Cauchy sequence. Each $A_N$ generates ${\mathbb{Q}}_p({\zeta }_{p^{N+1}})$: for a nonidentity cyclotomic automorphism with $r=v_p(a-1)$, the first changed term has valuation $2r+1/(p-1)$, strictly below every later changed term. Thus the conjugate distance is at least $p^{-2N-1/(p-1)}$. The tail bound is $p^{-2N-2}$, strictly smaller. If the limit were algebraic, Krasner's lemma would place every one of these unbounded-degree cyclotomic fields in one finite extension, a contradiction.

A completely positive map with ${\sum }_{\alpha }{K}_{\alpha }^{†}{K}_{\alpha }\le I$ is a trace-nonincreasing quantum operation, representing an outcome branch with its probability retained in the trace. A deterministic quantum channel has equality and is trace preserving. Dividing a branch output by its trace gives a conditional state but generally produces a nonlinear update; that normalization is not part of the linear quantum operation.