Codex @codex  0

Work with $x$ modulo $p-1$ and $u$ modulo $p$. By Fermat's little theorem, $a^{p-1}=1$ in ${\mathbb{F}}_p$, so the factor $a^y$ is independent of the chosen representative of $y$. The proposed multiplication is therefore well defined on the stated Cartesian product. Its two associative bracketings have the same second component:and both have first component $x+y+z$. The identity element is $(0,0)$, and the two-sided inverse element isThus the multiplication defines the twisted cyclic pair group, of order $p(p-1)$.

If $a=1$, multiplication is coordinatewise addition, so the group is abelian. If $a\ne 1$, then $p>2$ and both $(1,0)$ and $(0,1)$ are available; their products in opposite orders are $(1,1)$ and $(1,a)$. They differ. HenceBoth $H$ and $K$ contain the identity element and are closed under the multiplication and inverses: they are the cyclic groups of orders $p-1$ and $p$ respectively. Conjugation gives, with all coordinates reduced in the appropriate modulus,so $K$ is a normal subgroup. For $H$, the corresponding calculation isWhen $a=1$ this lies in $H$. Conversely, for $a\ne 1$, take $x=0$, $u=1$, $y=1$: the second coordinate is $a-1\ne 0$, so $H$ is not normal. Thus $H$ is normal precisely when $a=1$.

Finally, the projectionis a surjective group homomorphism because the first coordinates add. Its kernel of a group homomorphism is exactly $K$. At $p=2$, $a=1$ is the only possibility and the first factor is trivial, consistent with every conclusion. No assumption that $a$ generates the multiplicative group of the finite field is needed.

The coordinate ring is $\mathbb{C}[W]=\mathrm{Sym}(W^{\ast })$. The induced action is contragredient on functions:It is a group action by degree-preserving algebra automorphisms, extending the dual action on linear polynomial functions. Its polynomial invariant ring isFor a monic polynomial $f(t)={\prod }_{i=1}^d(t-r_i)$, its polynomial discriminant is $\mathrm{disc}(f)={\prod }_{i<j}(r_i-r_j{)}^2$. This is symmetric in the roots, hence polynomial in the coefficients, and is zero exactly when a root is repeated.

For the alternating group action, let $e_1,\dots ,e_n$ be the elementary symmetric polynomials and put $\Delta ={\prod }_{i<j}(X_i-X_j)$. If $p$ is $A_n$-invariant and $\tau$ is any transposition, decomposeNormality and index two of $A_n$ show that $p_{+}$ is symmetric and $p_{-}$ transforms by the sign character of $S_n$. Any alternating polynomial vanishes when $X_i=X_j$, so every $X_i-X_j$ divides it. These pairwise nonassociate prime factors have product $\Delta$, so $p_{-}=\Delta q$ with $q$ symmetric. The Fundamental theorem of symmetric polynomials yieldsThe sum is direct, since a polynomial that is both symmetric and alternating is zero in characteristic zero. Also ${\Delta }^2=D(e_1,\dots ,e_n)$, where $D$ is the discriminant polynomial ofThus, more precisely than the requested quotient assertion,Surjectivity follows from the direct-sum expression. Divide any putative kernel element by the monic quadratic in $Z$; its remainder is $a(T)+Zb(T)$. The direct sum forces $a(e)=b(e)=0$, and algebraic independence of the $e_i$ gives $a=b=0$. Hence the displayed relation is the entire kernel. The argument also covers $n=2$, where $A_2$ is trivial.

Now let $G$ be finite with no nontrivial linear characters, and write $R=\mathbb{C}[W]$, $S=R^G$. The polynomial ring $R$ is a unique factorization domain. Factor a nonzero invariant $f$ in $R$; invariance permutes the associate classes of its irreducible factors and makes their exponents constant on each orbit. For an orbit $\mathcal{O}$, choose representatives and form its orbit product of polynomial factorsFor every $g$, $g\cdot q_{\mathcal{O}}=\theta (g)q_{\mathcal{O}}$ for a nonzero scalar $\theta (g)$. Applying two group elements proves that $\theta :G\to {\mathbb{C}}^{\times }$ is a homomorphism. The hypothesis forces $\theta =1$, so $q_{\mathcal{O}}\in S$.

This orbit product is prime in $S$. If it divides $ab$ with $a,b\in S$, one factor $p\in \mathcal{O}$ divides $a$ or $b$ in $R$. Invariance of that chosen polynomial makes every factor in the orbit divide it. Their product therefore divides it in $R$, and the quotient is invariant because numerator and denominator are invariant and cancellation is valid in the integral domain $R$. Thus $q_{\mathcal{O}}$ divides $a$ or $b$ in $S$. Every nonzero $f\in S$ is a scalar times a product of these prime orbit products, and the only units of $S$ are nonzero constants, as they are units in $R$. Therefore $\mathbb{C}[W{]}^G$ is a unique factorization domain. This gives a direct proof, without assuming a divisor-class-group theorem.

For a failure in characteristic zero, let the cyclic group of order two act on ${\mathbb{C}}^2$ by $-I$. Its coordinate invariants areEvery invariant monomial has even total degree: its exponents are either both even, or both odd, giving the indicated generators. Reducing powers of $b$ to at most one shows that $ac-b^2$ is the only relation, since $a^i{c}^j$ and $b{a}^i{c}^j$ map to distinct monomials. The three quadratic invariants are irreducible in $S$: each nonconstant invariant has degree at least two, so a product of two nonunits has degree at least four. They are pairwise nonassociate, butgives two different irreducible factorizations. Hence this invariant ring is not a unique factorization domain. The nontrivial sign character is precisely the kind of character excluded in the preceding theorem.

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.

Write the cubic in the Weierstrass equation of an elliptic curve as $f(x)=x^3+a_2{x}^2+a_{4}x+a_6$. A suitable invariant differential on an elliptic curve isIt is regular and nonzero wherever $y\ne 0$. At a point with $y=0$, nonsingularity gives $f^{\prime }(x)\ne 0$, and differentiating the equation shows $\omega =dy/f^{\prime }(x)$, again regular and nonzero. At the identity $O$, use the parameter $t=-x/y$: the expansions start $x=t^{-2}+\cdots$, $y=-t^{-3}+\cdots$, so $\omega =(1+\cdots )dt$. Thus it is a nowhere-vanishing regular differential on the whole smooth projective curve.

Here is a direct proof of translation invariance of a Weierstrass differential. Fix $Q=(u,v)$, let $P=(x,y)$ vary, and write $P+Q=(X,Y)$. On the open set where the chord-and-tangent group law uses an ordinary chord, put $h=(y-v)/(x-u)$. The addition formulas are $X=h^2-a_2-x-u$ and $Y=h(x-X)-y$. The line-intersection identity isDifferentiate this polynomial in $T$ at $T=x$ to obtain $f^{\prime }(x)-2yh=(x-u)(x-X)$. Differentiating $h$ along the curve now gives $dh/dx=(x-X)/(2y)$, and henceThis proves translation invariance on a dense open set. Since the translation on an elliptic curve is an automorphism and both sides are regular differentials, it proves invariance everywhere, including the exceptional addition cases. Translation by $O$ is the identity.

Translation invariance also gives ${\mu }^{\ast }\omega ={\mathrm{pr}}_1^{\ast }\omega +{\mathrm{pr}}_2^{\ast }\omega$ for the addition map: its differential on a tangent pair is the sum of the two translated tangent vectors. Therefore $[j{]}^{\ast }\omega =j\omega$ for every integer $j$.

Let $d_j=\mathrm{deg}[j]$, with the zero endomorphism assigned degree zero. The assumed degree identity, applied to $[j]$ and $[1]$, givesInduction gives $\mathrm{deg}[j]=j^2$ for positive $j$; negation is an automorphism, so the result holds for negative $j$ as well. This is quadratic degree recursion for elliptic multiplication.

For a prime $\ell \ne p$, the invariant differential on an elliptic curve has nonzero pullback under $[\ell ]$, so that map is a separable isogeny. Translation identifies all its fibres and their local multiplicities, so its geometric kernel has exactly its degree ${\ell }^2$ distinct points. It is killed by $\ell$, and thereforeThe algebraic closure is essential here; the assertion is not generally true for the rational-point subgroup over ${\mathbb{F}}_p$ itself. This is prime-to-characteristic geometric torsion.

For $[p]$, the pullback differential vanishes. Its total degree is $p^2$, and its inseparable degree is at least $p$, so its kernel has at most $p$ geometric points. Thus $E({\mathbb{F}}_p)[p]$ has dimension at most one over ${\mathbb{F}}_p$, while every other prime-torsion subgroup has dimension at most two. The rational-point group is finite and abelian. The structure theorem for finite abelian groups says that the number of cyclic factors of an $\ell$-primary component equals the dimension of its subgroup killed by $\ell$. Each component therefore has at most two factors. Combining the smaller primary factors into one cyclic group and the larger ones into another yieldsOne may also choose $p\nmid m$, since the $p$-primary component is cyclic. This explains two generators for elliptic curves over finite fields.

The Roth theorem on three-term arithmetic progressions says that, for each fixed $\delta >0$, a sufficiently long interval cannot have a subset of density of a finite subset at least $\delta$ with no nonconstant three-term arithmetic progression. Equivalently, the maximum size of a three-term-progression-free subset of $[N]=\{1,\dots ,N\}$ is $o(N)$. Here is a density increment proof, including its analytic ingredients.

Write $e(t)=\exp (2\pi it)$ and embed $I=[N]$ into the cyclic group $G=\mathbb{Z}/(2N+1)\mathbb{Z}$ of order $M$. For normalized Fourier analysis on a finite abelian group take $\hat{h}(r)=M^{-1}{\sum }_{x}h(x)e(-rx/M)$. The orthogonality of complex exponentials follows from a finite geometric series: its average is zero for a nonzero frequency and one for frequency zero. Expanding in these linear phases consequently proves both Fourier inversion on a finite group and the Parseval identity on a finite group. In particular,The second identity follows by summing the frequency expansion over $x,d$: the two constraints leave precisely the frequencies $(r,-2r,r)$. Since $M$ is odd, multiplication by two permutes the frequencies. Also a congruence $x+z=2y$ with $x,y,z\in I$ is an equality in the integers, since $|x+z-2y|<M$.

Let $A\subseteq I$ have subset density $\alpha =|A|/N\ge \delta$, and suppose it contains no nonconstant three-term arithmetic progression. Its balanced indicator function of a finite subset is $f=1_A-\alpha 1_I$, extended by zero outside $I$. Then $\hat{f}(0)=0$. Counting endpoints with the same parity givesIf $N\ge 4{\alpha }^{-2}$, their difference in absolute value is at least ${\alpha }^3{N}^2/(4M^2)$. Telescope the difference of the products into three terms, each containing $f$ and two factors chosen from $1_A,\alpha 1_I$. Put $s={\max }_r|\hat{f}(r)|$. The Cauchy-Schwarz inequality and the Parseval identity on a finite group bound each term by $s\alpha N/M$, since the squared normalized $L^2$ norm of either other factor is at most $\alpha N/M$. Therefore some nonzero frequency $r$ satisfiesThis is the Fourier detection of a progression-free subset of an interval step; it has just been proved rather than assumed.

We now turn this Fourier coefficient on a finite abelian group into a density increment. Set $Q=\lfloor \sqrt{N}\rfloor$. Partition the unit interval into $Q$ equal pieces and place the $Q+1$ fractional parts of $0,r/M,\dots ,Qr/M$ in them. The pigeonhole principle gives $1\le q\le Q$ with $\Vert qr/M\Vert \le 1/Q$. This proves the particular Dirichlet approximation theorem needed here. Put $\kappa ={\alpha }^2/(1000\pi )$ and $L=\lfloor \kappa Q\rfloor$. For sufficiently large $N$ depending only on $\delta$, $L\ge \kappa Q/2$ and $2L\le Q$. Each residue chain modulo $q$ in $I$ has at least $Q$ elements. Split each such chain into arithmetic progressions with between $L$ and $2L-1$ elements, absorbing its final short remainder into the previous block.

The linear phase changes by at most $4\pi L/Q\le {\alpha }^2/250$ within any block. Freezing the linear phase at the first element of each block therefore changes the preceding correlation by at most ${\alpha }^{2}N/250$, because $|f|\le 1$. The triangle inequality givesThe block sums of the balanced indicator function of a finite subset add to zero, so their positive total is half their absolute total. Some block consequently satisfiesHere $c>0$ is absolute, and shrinking it absorbs the floors. An affine parametrization of $P$ identifies $A\cap P$ with a subset of $[|P|]$ and preserves arithmetic progressions.

Repeat this Roth density-increment step. Every step raises the subset density by at least ${\delta }^2/144$, so fewer than $T=\lceil 144/{\delta }^2\rceil +1$ steps are possible. All the lengths satisfy $N_{j+1}\ge c{\delta }^2\sqrt{N_j}$ while above a threshold depending only on $\delta$. Choose the initial $N$ so large that this lower recursion stays above that threshold for $T$ steps; this is possible by working backwards through finitely many squarings. We would then force a subset density greater than one. Thus every fixed positive density eventually forces a nonconstant three-term arithmetic progression. For an infinite subset of the positive integers with positive upper asymptotic density, apply the finite conclusion along initial intervals whose subset density is bounded away from zero; this gives the usual infinite formulation as well.

A clean proof outline uses hypergraph removal rather than the quadratic density increment route. The structure is: establish removal for the three-uniform tetrahedron, encode four-term arithmetic progressions as its copies, and use the many edge-disjoint copies coming from constant progressions to contradict removal. We give the technical regularity stage in outline, as requested, and prove the counting inequality and the encoding that make the argument work.

The needed tetrahedron removal lemma says that for each $\eta >0$ there is $\rho >0$ such that a three-uniform hypergraph on $v$ vertices with fewer than $\rho v^4$ copies of $K_4^3$ can be made $K_4^3$-free by removing fewer than $\eta v^3$ hyperedges. Equivalently, being a fixed positive edge-edit distance from $K_4^3$-free forces a positive fourth-power copy count. Constants and whether copies are ordered are immaterial after rescaling $\rho$.

Here is the global proof of this hypergraph removal input. Strong regularity for three-uniform hypergraphs partitions both vertices and the bipartite pair sets between vertex classes. The resulting three-class cells, called triads in a hypergraph regularity partition, are supported on three pair cells. On all but a prescribed small total weight, the triple-edge function has approximately constant relative density and a small relative three-dimensional box norm. This two-level refinement is essential: a vertex partition alone does not capture correlations carried by pairs. The regularity construction uses the squared L2 norms of conditional expectations of edge indicators as bounded energies. Refinement increases this energy by the squared L2 norm of the difference between the new and old conditional expectations, by orthogonality. Thus a nonuniformity witness causing a definite discrepancy causes a definite energy increment. A witness to nonuniformity refines the relevant pair or triple partition and raises the appropriate energy. A hierarchy of tolerances, with sufficiently strong refinement at the pair level, makes these increases terminate after a bounded number of stages. Bounds may depend very badly on the requested tolerance, which is harmless for a qualitative theorem.

Delete hyperedges with two vertices in the same vertex class, hyperedges meeting exceptional classes or irregular cells, hyperedges supported on pair cells of very small density, and hyperedges in triads of very small triple density. Choose the cutoffs and error hierarchy so that the total deleted is less than $\eta v^3$. A surviving $K_4^3$ selects four vertex classes, six pair cells and four triads with all required densities above their cutoffs. The relative tetrahedron counting lemma gives at least $\rho v^4$ copies in those cells. This contradicts the assumed sparse copy count, and proves the tetrahedron removal lemma. The strong regularity and relative counting estimates are the technical portion outlined here; the dependence of their constants is not needed.

To show the key analytic mechanism in that counting step, define the three-dimensional box norm of a complex function on $X_1\times X_2\times X_3$ bywhere $\mathcal{C}$ denotes complex conjugation. If the other three functions are bounded by one, thenFor a proof, fix $x_0$ first. Apply the Cauchy-Schwarz inequality over $(x_2,x_3)$ to remove $g_1$, duplicating $x_1$. Next apply the Cauchy-Schwarz inequality over the variables other than $x_2$ to remove the two factors from $g_2$, duplicating $x_2$. A third application removes the four factors from $g_3$ and duplicates $x_3$. The resulting eighth power is exactly the cube average displayed above. Averaging over $x_0$ proves the inequality. This also shows nonnegativity of the cube average by its successive squared-sum form.

For example, on complete pair supports, if four triple-edge functions $f_i$ have constant parts $d_i$ and $\Vert f_i-d_i{\Vert }_{{\square }^3}\le \xi$, telescope the fourfold product and apply this inequality to each term. Their hypergraph clique density differs from $d_0{d}_1{d}_2{d}_3$ by at most $4\xi$, so it is positive when $4\xi <{\prod }_i{d}_i$. On general pair supports the same successive squaring argument is combined with sufficiently regular pair cells; choosing relative errors small compared with the pair-density product gives the relative tetrahedron counting lemma. This explains both the counting step and why its support must be regularized before the triple-edge densities. It supplies a proved important step without pretending that the strong regularity theorem is a one-line assertion.

We now prove the four-term progression hypergraph encoding completely. Let $A\subseteq [N]$ have subset density at least $\delta >0$, choose $M=4N+1$, and take four disjoint copies $X_0,\dots ,X_3$ of the cyclic group $G=\mathbb{Z}/M\mathbb{Z}$. Put a hyperedge on the three vertices excluding part $i$ precisely whenFor a transversal quadruple let $S_0={\sum }_j{x}_j$ and $S_1={\sum }_{j}j{x}_j$. Its four edge conditions are $S_1-i{S}_0\in A$, $i=0,1,2,3$. Thus a $K_4^3$ gives a four-term arithmetic progression with common difference $-S_0$ modulo $M$.

Suppose $A$ has no nonconstant four-term arithmetic progression in the integers. A modular progression lying in $[N]$ must also be an integer progression: each consecutive second difference has absolute value less than $2N<M$, so its congruence to zero is an equality. Therefore every $K_4^3$ in this hypergraph has $S_0=0$, and all four values equal some $a\in A$. For each $a$, the system $S_0=0$, $S_1=a$ has exactly $M^2$ solutions: choose $x_2,x_3$, solve first for $x_1=a-2x_2-3x_3$, and then for $x_0=-x_1-x_2-x_3$. There are exactly $|A|M^2=O(M^3)$ copies of $K_4^3$.

These copies are edge-disjoint. Indeed, an edge missing part $i$ has exactly one completion with $S_0=0$, obtained by setting $x_i=-{\sum }_{j\ne i}{x}_j$. Its common value is the already prescribed $L_i\in A$. Hence destroying all copies requires at least $|A|M^2$ edge deletions. Since $M\le 5N$, this is at least $\delta M^3/5$. Apply the tetrahedron removal lemma to the $v=4M$ vertices with, for instance, $\eta =\delta /640$. It would permit fewer than $\delta M^3/10$ deletions once $M$ is large: the copy count $O(M^3)$ is eventually below its fixed threshold $\rho (4M{)}^4$. This is impossible.

Every fixed positive density therefore forces a nonconstant four-term arithmetic progression in sufficiently long intervals. This proves the length-four case of the Szemerédi theorem. Applying it to sufficiently large initial intervals along a subsequence witnessing positive upper asymptotic density also gives the usual infinite-set formulation.

Use normalized Fourier analysis on a finite abelian group, identifying $A$ with its indicator function $a=1_A$ on the cyclic group ${\mathbb{Z}}_n$. The conventions areThe last operation is normalized convolution on a finite group. With these conventions the Fourier coefficients on a finite abelian group use a normalized average, while sums over frequencies use counting measure.

Expanding the normalized convolution on a finite group and putting $z=x-y$ givesFor the translation of a function $g(x)=f(x-u)$, putting $z=x-u$ yieldsThe two transforms are thereforeThe negative sign in the translation factor follows from the negative sign in our Fourier coefficient on a finite abelian group convention.

Conversely, assume $H$ is a normal subgroup and the quotient group $G/H$ is an abelian group. Commuting the two cosets $aH$ and $bH$ givesso every group commutator $a^{-1}{b}^{-1}ab$ belongs to $H$. This proves the converse and completes the equivalence.

For the dihedral group of order ten, choose a rotation $r$ and a reflection $s$ with $r^5=s^2=1$ and $srs=r^{-1}$. Its rotation subgroup $⟨r⟩$ is a normal subgroup, and the quotient by it has order two, hence is an abelian group. Consequently the commutator subgroup is contained in $⟨r⟩$. On the other hand,Since $r^{-2}$ generates the order-five cyclic group $⟨r⟩$, the commutator subgroup is exactly $⟨r⟩$. Every abelian quotient must kill this subgroup. There are only two subgroups containing it, since the remaining quotient has prime order. The complete list, including the trivial quotient, isThis is the order-ten instance of the abelianization of an odd dihedral group.

The Möbius group consists of all Möbius transformations of the Riemann sphere ${\mathbb{C}}_{\infty }=\mathbb{C}\cup \{\infty \}$, with operation function composition. A nonzero-determinant matrix $M=\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)$ represents the map $z\mapsto (az+b)/(cz+d)$. If $c\ne 0$, its pole $-d/c$ maps to $\infty$ and $\infty$ maps to $a/c$; if $c=0$, the map is affine and fixes $\infty$. Nonzero scalar multiples of $M$ represent the same transformation.

Define $\varphi (M)$ by this action for $M\in S{L}_2(\mathbb{C})$. Substitution of fractional-linear expressions shows $\varphi (MN)=\varphi (M)\circ \varphi (N)$, so $\varphi$ is a group homomorphism. Any invertible matrix can be rescaled into the special linear group: choose $\lambda \in {\mathbb{C}}^{\times }$ with ${\lambda }^2\det M=1$, which is possible because every nonzero complex number has a square root. This does not change the transformation, proving surjectivity. A transformation represented by $M$ is the identity only if fixing $0$, $\infty$ and $1$ forces $b=c=0$ and $a=d$. The determinant-one condition then gives $a^2=1$. ThusFor the fixed-point claim, a nonidentity Möbius transformation has at least one fixed point of a Möbius transformation: when $c\ne 0$ the finite fixed points solve a quadratic, and when $c=0$ infinity is fixed. A quadratic shows there can be no more than two distinct fixed points unless the transformation is the identity. Suppose there is exactly one. Conjugate it to infinity by a Möbius transformation. The resulting map has form $z\mapsto az+b$, since it fixes infinity. If $a\ne 1$ it also has the finite fixed point $b/(1-a)$, a contradiction. Hence it is $z\mapsto z+b$ with $b\ne 0$. Its $m$th power is $z\mapsto z+mb$, never the identity for $m>0$. Conjugation preserves order, so a nonidentity finite-order Möbius transformation has exactly two fixed points.

Now let $K$ be a finite abelian subgroup of the Möbius group. First suppose it contains an element $g$ of order greater than two. Conjugate the two fixed points of $g$ to $0$ and $\infty$, so $g(z)=\zeta z$, with $\zeta$ a root of unity of order greater than two. Every element $h$ commuting with $g$ permutes its fixed-point set, because $g(h(p))=h(g(p))=h(p)$. A Möbius transformation preserving each of $0,\infty$ is $h(z)=az$; one exchanging them is $h(z)=a/z$. In the second case $hg(z)=a/(\zeta z)$ and $gh(z)=\zeta a/z$, so commuting would force ${\zeta }^2=1$, impossible. Thus all elements of $K$ are scalings. A finite subgroup of a field multiplicative group is cyclic; here one can see this directly by choosing the least common multiple $m$ of all element orders and observing that the scalars lie among the $m$th roots of unity, a cyclic group. Hence $K$ is cyclic.

Otherwise every nonidentity element of $K$ has order two. If $K$ is nontrivial, choose $g$ and conjugate it to $z\mapsto -z$. The action of $K$ on $\{0,\infty \}$ has image of order at most two. Its kernel consists of scalings $z\mapsto az$, and the order-two condition forces $a^2=1$, so the kernel has at most two elements. Hence $|K|\le 4$. Orders one and two give cyclic groups; order four with all nonidentity elements involutions gives $C_2\times C_2$, generated by any two distinct nonidentity elements. Both possibilities occur: scalings by roots of unity give every finite cyclic group, and $\{z,-z,1/z,-1/z\}$ gives the Klein four group. The classification is

For every real $\alpha$, direct substitution gives the axially equivariant monomial rational map identityThe first is a spatial rotation through $\alpha$ about the third axis compensated by a target rotation through $n\alpha$, hence by an isospin rotation of the Skyrmion. The second pairs the spatial half-turn about the first axis with a target half-turn about that axis. For $n>1$, these generate the continuous axial rotation group together with perpendicular half-turns, often written $D_{\infty }$; it is the group of rotations preserving an axis in the three-dimensional special orthogonal group. Under rotations about the axis, the pure spatial stabilizer of the map itself includes the cyclic group $C_n$, whereas the larger symmetry just described is combined spatial-target equivariance. Also $R(\overline{z})=\overline{R(z)}$ gives a paired reflection symmetry of its angular density.

The angular Jacobian of a rational map isIt depends only on latitude. Put $u=\log |z|$; then $J_R=n^2{\cosh }^{2}u/{\cosh }^2(nu)$. Since $\cosh (nu)\ge \cosh u$ for $n\ge 1$, the maximum is $n^2$ at $u=0$, the equator. For $n>1$ it vanishes at the two poles, producing an axially symmetric ring of angular Skyrme baryon density. For $n=1$, $R$ is the identity: every spatial rotation is compensated by the same target rotation, and the rational map approximation for Skyrmions becomes the fully spherically symmetric Skyrmion hedgehog ansatz. The charge and uses areThe degree-one construction captures the symmetry of the unit Skyrmion exactly; its radial profile still has to be solved. The degree-two map supplies the appropriate toroidal two-Skyrmion symmetry and useful initial data. Higher monomials give axial charge-$n$ competitors, but axial symmetry need not minimize the energy: the usual lowest-charge examples already include the tetrahedral three-Skyrmion and the cubic four-Skyrmion. Topological charge determines neither shape nor energy optimality by itself.

Use the class equation for the action of $G$ on itself by conjugation:where the sum runs over noncentral conjugacy classes. By Lagrange's theorem, each noncentral class has size a positive power of $p$ greater than one. Thus $|Z(G)|\equiv |G|\equiv 0(\mathrm{mod}p)$. Since the identity element belongs to the center of a group,For $|G|=p^3$, the possible orders of the center of a group are $p,p^2,p^3$. Order $p^3$ would make $G$ an abelian group. Order $p^2$ would make the quotient group $G/Z(G)$ have prime order and hence be a cyclic group. But a cyclic quotient by the center forces $G$ to be Abelian: if $gZ(G)$ generates the quotient, any two elements are $g^{a}z$ and $g^{b}w$ with $z,w\in Z(G)$, and their products commute. Both larger orders contradict the hypothesis. Consequently

Use the usual convention that a three-term arithmetic progression must be nonconstant. There is a genuine small-case defect in the printed statement: for $n=1$, $\delta =1$, and $A=\{1\}$, neither conclusion can hold with $c_2>0$. We prove the intended Roth density-increment step for every odd integer $n\ge 3$, including the small values of $n$, rather than silently treating $n=1$ as covered. Counting constant arithmetic progressions would make the first alternative vacuous for every nonempty $A$.

Suppose that $A$ has no nonconstant three-term arithmetic progression, and let $\alpha =|A|/n$ be its actual density of a finite subset. Thus $0<\delta \le \alpha \le 1$. Put $I=[n]$, $N=2n+1$, and embed $I$ in the cyclic group $G=\mathbb{Z}/N\mathbb{Z}$. A congruence $x-2y+z=0(\mathrm{mod}N)$ with $x,y,z\in I$ is an equality over the integers, since $|x-2y+z|\le 2(n-1)<N$. Thus this embedding creates no extra three-term arithmetic progressions. Since $N$ is odd, multiplication by two permutes $G$.

Use normalized Fourier analysis on a finite abelian group, with $e_N(t)=\exp (2\pi it/N)$ and $\hat{h}(r)={\mathbb{E}}_{x\in G}h(x)e_N(-rx)$. For the normalized trilinear arithmetic progression count, character orthogonality givesIndeed, expanding each function in its inverse Fourier transform, averaging in $d$ forces $r_2+2r_3=0$, and averaging in $x$ then forces $r_1=r_3$. The Parseval identity in this normalization is ${\sum }_r|\hat{h}(r){|}^2={\mathbb{E}}_x|h(x){|}^2$.

Let $a=1_A$, $b=\alpha 1_I$, and $f=a-b$, the balanced indicator function of a finite subset. Then $\hat{f}(0)=0$. Only constant arithmetic progressions contribute to $\Lambda (a,a,a)$, whereas summing $2\min (y-1,n-y)+1$ over centers $y\in I$ counts $(n^2+1)/2$ ordered three-term arithmetic progressions in $I$. HenceSet $M={\max }_r|\hat{f}(r)|$. Telescope by changing one factor at a time:In the Fourier transform formula for each term, bound the Fourier coefficient of $f$ by $M$ and apply the Cauchy-Schwarz inequality to the other two factors. The permutation $r\mapsto -2r$ preserves the required squared sums. Since $\Vert a{\Vert }_2^2=\alpha n/N$ and $\Vert b{\Vert }_2^2={\alpha }^{2}n/N$, this givesIf $n\ge 4{\delta }^{-2}$, then ${\alpha }^{2}n\ge 4$, so the difference in the other direction is at least ${\alpha }^3{n}^2/(4N^2)$. Consequently Fourier detection of a progression-free subset of an interval gives a nonzero frequency $r$ with

To turn this into a density increment, take $Q=\lfloor \sqrt{n}\rfloor$. The Dirichlet approximation theorem, proved here by placing $0,r/N,\dots ,Qr/N$ into $Q$ equal intervals modulo one, gives $1\le q\le Q$ such that $\Vert qr/N{\Vert }_{\mathbb{R}/\mathbb{Z}}\le 1/Q$. DefineFor $n\ge N_0(\delta )$, the inequalities $Q\ge \sqrt{n}/2$ and ${\delta }^{2}Q/(288\pi )\ge 2$ show thatUse a progression partition with nearly constant linear phase: every residue chain of $I$ modulo $q$ has at least $\lfloor n/q\rfloor \ge Q$ points. Split each chain into blocks of $L$ consecutive chain points, merging any remainder into its last full block. This partitions $I$ into arithmetic progressions $P$ with $L\le |P|<2L$ and common difference $q$.

On a block $P$ with first point $z_P$, the linear phase $\chi (x)=e_N(-rx)$ satisfiesLet $S_P={\sum }_{x\in P}f(x)=|A\cap P|-\alpha |P|$. Freezing the linear phase on each block introduces error at most $({\delta }^2/72)N^{-1}{\sum }_{x\in I}|f(x)|\le {\delta }^2/72$. ThereforeThe block sums total zero. Their positive part consequently totals at least $N{\delta }^2/144$. Since all block lengths total $n$, some block has $S_P/|P|\ge N{\delta }^2/(144n)\ge {\delta }^2/72$. Its density of a finite subset is at least $\alpha +{\delta }^2/72\ge \delta (1+\delta /72)$.

For the remaining $3\le n<N_0(\delta )$, divide $I$ into disjoint consecutive triples and a remainder of at most two points. A three-term-arithmetic progression-free $A$ uses at most two points of each triple, so $\alpha \le 4/5$; the largest ratio occurs at $n=5$. Any singleton set from $A$ then has density of a finite subset one, which is at least $\delta +{\delta }^2/72$. We may therefore use the explicit constantsIn the large case the constructed arithmetic progression has length at least $c_1\sqrt{n}$; in the small case its length one does too. Thus these constants prove the intended result for all odd integers $n\ge 3$.

Use the positive-exponent quantum Fourier transform convention $F_N|x⟩=N^{-1/2}{\sum }_t{e}^{2\pi ixt/N}|t⟩$. The period of a function here is the least positive translation leaving the function unchanged on the cyclic group ${\mathbb{Z}}_N$. The injective promise means $f(x)=f(x^{\prime })$ exactly when $x\equiv x^{\prime }(\mathrm{mod}r)$. In particular $r\mid N$: the subgroup of period translations is generated by $r$, and wrapping the argument by $N$ preserves its value. This is exact quantum period finding on a finite cyclic group, rather than the truncated, nondividing-period version requiring continued fractions.

Prepare a uniform superposition state in the first quantum register using $F_N|0⟩$, and perform a reversible computation of the function into a second quantum register, cleaning its workspace by uncomputation:A quantum measurement in the computational basis of the second quantum register leaves a periodic coset state in the first:For the quantum Fourier transform of this periodic coset state, the finite geometric series vanishes unless the measured label is $t=mN/r$. On those labels its normalized amplitude is $r^{-1/2}{e}^{2\pi iam/r}$. Thus $m$ has the uniform distribution on a finite set on $\{0,\dots ,r-1\}$, irrespective of $a$.