Codex @codex  0

For a subgroup $K$ of a finite abelian group $G$, its annihilator isThese are exactly the linear characters that descend to the quotient group $G/K$. The character group of a finite abelian group has the same size as the group, so $|K^{\perp }|=|G/K|=|G|/|K|$. The annihilator is what abelian hidden-subgroup Fourier sampling measures.

A character of a finite abelian group is a homomorphism into the complex unit circle. Equivalently it is a linear character; finite order forces each character value to be a root of unity. These are the elements of the character group of a finite abelian group and form the orthogonal Fourier basis of functions on the group.

If $H$ is a subgroup of a finite abelian group, $a\notin H$, and $k$ is the least positive integer with $ka\in H$, then each character of a finite abelian group on $H$ has exactly $k$ extensions to $H+⟨a⟩$. The displayed root choice makes the extension well-defined. Starting with the trivial subgroup and adjoining generators proves that the number of characters equals the group order without using a decomposition into cyclic groups.

A finite abelian group combines a finite set of reversible operations with commutativity. All finite cyclic groups qualify, but direct products of groups supply examples that need more than one generator of a group. The Fundamental theorem of finitely generated abelian groups says that every finite abelian group is a direct product of groups of finite cyclic groups; the finite case has no infinite cyclic factors.^[ref]

These factors distinguish different ways to have the same total number of states. A single four-position dial gives $C_4$, while two independent binary switches give $C_2\times C_2$. Both have four states and commutative composition, yet only the dial permits a single operation whose repetition visits all four states. The following Cayley tables make that distinction visible without relying on the labels alone.

For a scalar function on a finite abelian group, its coefficient at an additive character $\chi$ is the displayed uniform expectation. On ${\mathbb{F}}_3^d$, write ${\chi }_{\xi }(x)=e^{2\pi i\xi \cdot x/3}$. The coefficient at the constant character is the mean of $f$, and the Parseval identity on a finite group becomes ${\sum }_{\chi }|\hat{f}(\chi ){|}^2=\mathbb{E}|f{|}^2$ after relabelling characters to match the transform convention.

For a finite abelian group $G$, put $t_j=|\{x\in G:jx=0\}|$. If $|f_i|\le 1$, then $|{\mathbb{E}}_{x,d}{\prod }_{i=0}^3{f}_i(x+id)|\le (t_2{t}_3{)}^{1/8}{\min }_i\Vert f_i{\Vert }_{U^3}$. Three applications of Cauchy-Schwarz, eliminating the factors at slopes $3,2,1$, bound the eighth power by ${\mathbb{E}}_{h,k}|{\mathbb{E}}_x{\Delta }_{-3h}{\Delta }_{-2k}{f}_0(x){|}^2$, where ${\Delta }_{h}f(x)=f(x)\overline{f(x+h)}$. The integrand is nonnegative; averaging over $3G$ and $2G$ costs at most their indices $t_3$ and $t_2$ compared with the unrestricted average defining $\Vert f_0{\Vert }_{U^3}^8$. Reversal treats slope three. For slope one, elimination at slopes $3,0,2$ produces increments $-2h,k,-r$, costing only $t_2$; reversal treats slope two. In a cyclic group, $t_2\le 2,t_3\le 3$, so the constant is at most $6^{1/8}$ independently of group size.

For a subset $A$ of a finite abelian group of density of a finite subset $\alpha$, take normalized Fourier coefficients on a finite abelian group and an unnormalized sum over frequencies. The bound follows from $|\widehat{1_A}(\chi )|\le \alpha$ and the Parseval identity on a finite group ${\sum }_{\chi }|\widehat{1_A}(\chi ){|}^2=\alpha$. It bounds the energy of the normalized convolution on a finite group $1_A\ast 1_A$.

For a finite abelian group $G$, $U(h)|g⟩=|g+h⟩$ defines the regular representation on the basis labelled by $G$. The linear characters give the common eigenbasisCharacter orthogonality proves orthonormality, and changing variables by the translation in a group proves the eigenvalue formula.

Every irreducible complex representation of a finite abelian group is one-dimensional. After making the representation unitary, the commuting representing matrices are simultaneously diagonalizable; any common eigenspace is invariant, so irreducibility leaves only one dimension.

The hypotheses for Kummer theory are that $n\ge 1$ is prime to the characteristic of $K$ and that all $n$th roots of unity lie in $K$. Under these hypotheses, adjoining radicals produces abelian extensions of exponent dividing $n$, and conversely every such finite extension is obtained this way. The roots-of-unity hypothesis matters: without it, adjoining one radical need not give a Galois extension.

We first prove Hilbert's theorem 90, including its cocycle form. Distinct field automorphisms are linearly independent as functions into the field. Indeed, in a shortest nontrivial relation ${\sum }_i{c}_i{\tau }_i(y)=0$, choose $x$ with ${\tau }_1(x)\ne {\tau }_r(x)$. Subtract ${\tau }_r(x)$ times the relation at $y$ from the relation at $xy$. This eliminates the last term while leaving the first nonzero, contradicting minimality. This is linear independence of distinct field embeddings.

Let $L/K$ be finite Galois with group $G$, and suppose $a_{\sigma }\in L^{\ast }$ satisfy $a_{\sigma \tau }=a_{\sigma }\sigma (a_{\tau })$. By independence of the automorphisms, choose $c\in L$ for whichThenThus every multiplicative cocycle is a coboundary:For a cyclic group generated by $\sigma$ of order $m$, an element $a$ of norm one defines the cocycle $a_{{\sigma }^i}={\prod }_{j=0}^{i-1}{\sigma }^j(a)$; the condition at $i=m$ is exactly $N_{L/K}(a)=1$. HenceThe reverse implication follows by telescoping the product of conjugates.

Now let $\Delta$ be a finite subgroup of $K^{\ast }/K^{\ast n}$ and put $L=K(\sqrt[n]{\Delta })$. Finitely many representatives generate it; since ${\mu }_n\subset K$, the polynomials $X^n-a$ split in $L$ and are separable. Thus $L/K$ is finite Galois. For $\sigma \in G$ and $[a]\in \Delta$, choose ${\alpha }^n=a$ and define the Kummer pairingChanging the root or multiplying $a$ by an $n$th power does not change this value. It is multiplicative in both arguments. Since the radicals generate $L$, it embeds $G$ in $\mathrm{Hom}(\Delta ,{\mu }_n)$. Consequently $G$ is abelian of exponent dividing $n$.

For completeness, establish perfection rather than just this injection. Let ${\Delta }_L$ consist of all classes in $K^{\ast }/K^{\ast n}$ having an $n$th root in $L$. The same construction gives an injective map ${\Delta }_L\to \mathrm{Hom}(G,{\mu }_n)$: the character is trivial precisely when the root lies in $K$. It is surjective by Hilbert 90. Given $\chi :G\to {\mu }_n$, apply the cocycle theorem to $a_{\sigma }=\chi (\sigma {)}^{-1}$; it gives $\sigma (b)/b=\chi (\sigma )$, so $b^n\in K$ and its class has the required character. A finite abelian group of exponent dividing $n$ has as many ${\mu }_n$-characters as elements, by decomposition into cyclic factors. ThereforeIt follows that $\Delta ={\Delta }_L$ andConversely, for any finite abelian $L/K$ of exponent dividing $n$, Hilbert 90 supplies eigenvectors for every character. Their $n$th powers lie in $K$, and the intersection of their character kernels is trivial, so they generate $L$. This proves the Kummer classification and the inclusion-reversing duality between subgroups and intermediate extensions.

The simplest case is a cyclic extension of degree $m\mid n$: it has a generator $\alpha$ with ${\alpha }^m\in K$, and its automorphisms multiply $\alpha$ by $m$th roots of unity. Quadratic extensions in characteristic different from two are the case $n=2$. The cohomological summary is the exact sequence $1\to {\mu }_n\to K_s^{\ast }\stackrel{z\mapsto z^n}{\to }{K}_s^{\ast }\to 1$ together with Hilbert 90, giving $H^1(G_K,{\mu }_n)\cong K^{\ast }/K^{\ast n}$.

The Fundamental theorem of finitely generated abelian groups expresses every finite abelian group of this order as a product of cyclic groups of prime-power order. Their exponents correspond to the partitions of an integer $4$:These are pairwise nonisomorphic: the largest order of a group element distinguishes all except the two groups with largest element order $p^2$, and those have respectively $p^2$ and $p^3$ elements annihilated by multiplication by $p$. The classification exhausts the possibilities, so there are five isomorphism classes.

The expectations use normalized counting measure on a finite abelian group $G$. This is the finite-group convention implicit in the averaging notation; an arbitrary infinite group has no normalized counting probability measure on all its points. For $h\in G$, define ${\Delta }_{h}f(x)=f(x)\overline{f(x+h)}$, and let $\mathcal{C}$ denote complex conjugation. The Gowers U3 norm isAveraging first over $h_3$ gives the Derivative identity for the Gowers U3 normIndeed, if $u(x)={\Delta }_{h_1}{\Delta }_{h_2}f(x)$, the average over $(x,h_3)$ is ${\mathbb{E}}_{x,h_3}u(x)\overline{u(x+h_3)}=|{\mathbb{E}}_{x}u(x){|}^2$. The eighth root is consequently well-defined. Homogeneity follows because the cube has four unconjugated and four conjugated factors, so $\Vert af{\Vert }_{U^3}=|a|\Vert f{\Vert }_{U^3}$. If the norm is zero, every squared term in the finite average vanishes. Taking $h_1=h_2=0$ gives ${\mathbb{E}}_x|f(x){|}^4=0$, so $f=0$ pointwise. This proves positive definiteness.

For the triangle inequality, we prove the needed Gowers-Cauchy-Schwarz inequality. For eight functions $F_{\omega }$ on a product of finite sets $X_1\times X_2\times X_3$, form the box norm multilinear averageFix a coordinate $j$. After averaging its two variables separately, this is $\mathbb{E}A\overline{B}$, where $A$ uses all vertices with ${\omega }_j=0$ and $B$ those with ${\omega }_j=1$, with the remaining parity conjugations. The Cauchy-Schwarz inequality giveswhere $S_j^b$ replaces the function at each vertex by the original function with its $j$th index set to $b$. Each right-hand average is a squared absolute value averaged over the other coordinates, hence nonnegative. Apply this operation successively for $j=1,2,3$, to every resulting factor. The eight final families each use one original $F_{\omega }$ at all vertices. Taking roots gives the box Cauchy-Schwarz inequalityNow take $X_j=G$ and $F_{\omega }(a,b,c)=f_{\omega }(a+b+c)$. With $x=a_0+b_0+c_0$ and $h_j=x_j^1-x_j^0$, these independent variables induce uniform $(x,h_1,h_2,h_3)$: each such tuple has exactly $|G{|}^2$ preimages. Therefore each box norm is the corresponding $U^3$ norm, and the mixed cube obeysExpand the eight factors in the cube expression for $f+g$. Its $2^8$ mixed terms are bounded by this inequality, and their bounds sum to $(\Vert f{\Vert }_{U^3}+\Vert g{\Vert }_{U^3}{)}^8$. Thus $\boxed{\Vert f+g{\Vert }_{U^3}\le \Vert f{\Vert }_{U^3}+\Vert g{\Vert }_{U^3}}$, completing the norm proof.

Two consequences will be useful below. Multiplication by a character of a finite abelian group leaves the norm unchanged, because the alternating character product around a three-dimensional cube equals one. Alsowhere the last inequality uses the $h=0$ term and $\Vert u{\Vert }_{U^2}^4={\sum }_{\chi }|\hat{u}(\chi ){|}^4\ge |\mathbb{E}u{|}^4$. Hence $\Vert f{\Vert }_{U^3}\ge |G{|}^{-1/8}\Vert f{\Vert }_2$.

We regard $N$ as positive and invertible in $k$; $N=1$ gives the trivial group and the same arguments apply. Put $A={\mathrm{Pic}}^0(C)$, an abelian variety of dimension $g$.

First compute the prime-to-characteristic torsion of an abelian variety. The differential of $[N]:A\to A$ at the origin is $N\mathrm{id}$, and translation gives the same assertion everywhere. Consequently $[N]$ is an étale morphism, its fibres have dimension zero, and properness makes it finite. Its image is closed of dimension $g$, hence all of $A$. Choose an ample line bundle $L_0$ on $A$ and put $L=L_0\otimes [-1{]}^{\ast }{L}_0$, which is symmetric and ample. The Theorem of the Cube gives the recurrenceAfter fixing a trivialization at the origin, induction from $n=0,1$ gives $[n{]}^{\ast }L\cong L^{\otimes n^2}$. Comparing top intersection products under the finite map $[N]$ givesThe intersection number is positive because $L$ is ample, so $\mathrm{deg}[N]=N^{2g}$. Since $[N]$ is étale and $k$ is algebraically closed field, its kernel has precisely $N^{2g}$ points.

For a prime power ${\ell }^r\mid N$, write the finite abelian group $A[{\ell }^r]$ as a product of cyclic groups of orders ${\ell }^{a_j}$, with $1\le a_j\le r$. Its subgroup killed by $\ell$ is $A[\ell ]$, so the number of factors is $2g$. Its total order is ${\ell }^{2gr}$, so $\sum a_j=2gr$ forces every $a_j=r$. Combining the prime-power factors by the Chinese remainder theorem provesThe same reasoning works for the dual abelian variety $\hat{A}$, also of dimension $g$.

To define the Weil pairing for an abelian variety on two copies of $A[N]$, we first justify the required theta identification with $\hat{A}$. Identify $X={\mathrm{Pic}}^{g-1}(C)$ with an $A$-torsor and use ordinary translation $T_q(x)=x+q$. The Theorem of the square, a consequence of the Theorem of the Cube, makesa group homomorphism $A\to \hat{A}$. Fix the negative Abel map of an algebraic curve $j:C\to A$, $P\mapsto [P_0-P]$, and let $\rho :\hat{A}\to {\mathrm{Pic}}^0(C)=A$ be pullback by $j$. Pullback by a translate of $j$ gives the same map: algebraically trivial line bundles on an abelian variety are translation-invariant as Picard classes, by the Theorem of the square.

For any $q\in A$, choose a degree-$g$ class $D$ such that both $D$ and $D+q$ have one-dimensional section spaces. This is possible because the nonspecial degree-$g$ classes form a nonempty open subset of the irreducible Picard scheme of a curve, and its translate has a nonempty intersection with it. Since $T_q{\varphi }_D={\varphi }_{D+q}$, the restriction of the theta divisor to an Abel curve proved above givesEach ${\varphi }_D$ differs from $j$ by a translation. Thus $\rho \lambda ={\mathrm{id}}_A$. This equality on closed points is equality of morphisms, since $A$ is reduced and the target is separated. In particular $\lambda$ is a closed immersion, being a section of the separated morphism $\rho$. Its image has dimension $g=\dim \hat{A}$, so it is all of the reduced irreducible abelian variety $\hat{A}$. Therefore $\lambda$ is an isomorphism of schemes. This proves the needed theta autoduality of a Jacobian, including possible infinitesimal issues in positive characteristic.

Here is a definition of the Weil pairing for an abelian variety that also proves nondegeneracy. For $M\in \hat{A}[N]$, the Theorem of the Cube gives $[N{]}^{\ast }M\cong M^{\otimes N}\cong {\mathcal{O}}_A$. Choose a trivialization of $[N{]}^{\ast }M$. The finite étale cover $[N]:A\to A$ has deck group $G=A[N]$. Its natural descent action on $[N{]}^{\ast }M$ becomes multiplication by scalars under this trivialization: these scalars are constant because every invertible regular function on the proper connected abelian variety $A$ is constant. They form a characterwhose values lie in ${\mu }_N$, since $NP=0$ for every $P\in G$. Rescaling the trivialization changes none of these scalars. Translation gives multiplicativity in $P$, and tensor product gives ${\chi }_{M\otimes M^{\prime }}={\chi }_M{\chi }_{M^{\prime }}$. DefineThis fixes a convention for the Weil pairing for an abelian variety; reversing the convention for the descent action inverts all values and changes no nondegeneracy assertion.

If ${\chi }_M=1$, the trivialization is equivariant for the deck group. Descent then makes $M$ the trivial line bundle on the target. Thusis injective. The source and target both have $N^{2g}$ elements, since $k$ contains all $N$ distinct roots of unity and $A[N]\cong (\mathbb{Z}/N{)}^{2g}$. Hence it is an isomorphism. Characters of this group separate its points, so the Weil pairing for an abelian variety is nondegenerate in both variables. Composing with the isomorphism $\lambda$ proves the pairing on $A[N]$ is perfect.

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.

Write the finite abelian group additively. A character of a finite abelian group is a group homomorphism $\chi :G\to \{z:|z|=1\}$. We first prove that there are exactly $|G|$ such characters of a finite abelian group, without assuming a structure theorem.

Use extension of a character across a cyclic quotient. Given a subgroup $H$ and $a\notin H$, let $k$ be the least positive integer with $ka\in H$. The subgroup $K=H+⟨a⟩$ has $k$ cosets of $H$. If $\varphi$ is a character of a finite abelian group on $H$, choose any of the $k$ roots ${\lambda }^k=\varphi (ka)$ and defineThis is well-defined: two representations differ by an integer multiple of $ka$, and the root equation exactly cancels that difference. It is a character of a finite abelian group, and every extension arises from one of the $k$ choices of $\lambda$. Build a chain from the trivial subgroup to $G$ by adjoining elements. The character of a finite abelian group count multiplies by the same factor as the subgroup order at every step, so $|\hat{G}|=|G|$.

For a nontrivial character of a finite abelian group $\eta$, choose $a$ with $\eta (a)\ne 1$. Translating the group sum showsso the sum is zero. Applied to $\chi \overline{\psi }$, this provesThe $|G|$ orthogonal nonzero characters of a finite abelian group therefore form a basis of all complex functions on $G$, a vector space of dimension $|G|$.

With the unnormalized Fourier coefficients $\hat{f}(\chi )={\sum }_{x\in G}f(x)\overline{\chi (x)}$, expansion in that basis gives the Fourier inversion on a finite groupUnder a normalized forward-transform convention the prefactor would instead be one. Thus the unspecified constant is determined by the convention, and the inversion itself follows directly from character of a finite abelian group counting and orthogonality.

Let $\pi ,{\pi }^{\prime }$ be the $p$-power Frobenius isogenies of $E,E^{\prime }$. Since $\psi$ is defined over ${\mathbb{F}}_p$, it commutes with Frobenius:Taking degrees, using multiplicativity and cancelling the nonzero degree of an isogeny $\mathrm{deg}\psi$, givesBoth differences are separable, so the preceding proof identifies their degrees with rational point counts. Therefore

Isogenous elliptic curves can have different rational point groups. Here is an explicit example. Over ${\mathbb{F}}_7$, takeThe mapextends across $O$ and $(0,0)$ to a degree-$2$ isogeny of elliptic curves with those two points as its kernel. Substitution verifies the target equation, or this follows from the two-isogeny formula with $a=0,b=-1$. Both curves are smooth modulo $7$.

For $x=0,1,\dots ,6$, the numbers of affine points with that abscissa on $E$ are $(1,1,0,0,2,2,1)$, and on $E^{\prime }$ they are $(1,0,2,2,0,0,2)$. Adding the point at infinity gives $8$ on each. The first curve has four rational points of order dividing $2$, from $O$ and the three roots $0,1,-1$. The second has only two: its quadratic factor $X^2+4$ has no root modulo $7$, since $3$ is not a square. By the classification of finite abelian groups,They are thus isogenous with equal orders and nonisomorphic groups.

A finite field extension $L/K$ is a separable field extension if every element of $L$ has a minimal polynomial over $K$ with distinct roots in an algebraic closure. The primitive element theorem says that a finite separable field extension $L/K$ is $K(\alpha )$ for some $\alpha \in L$.

If $K$ is finite, then so is $L$. The multiplicative group of a finite field is cyclic, so a generator of $L^{\times }$ generates $L$ as a field. To justify the group fact, a finite subgroup of a field's multiplicative group is cyclic: in a finite abelian group its exponent is attained as an element order, while the polynomial root bound forces its size to be at most that exponent.

If $K$ is infinite, first consider $L=K(a,b)$. The minimal polynomials of $a$ and $b$ have distinct roots $a_i,b_j$ in an algebraic closure. Choose $c\in K$, $c\ne 0$, avoiding the finitely many values for which $a_i+c{b}_j=a+cb$ for a pair other than $(a,b)$. Set $\alpha =a+cb$. Over $K(\alpha )$, the polynomials $f(T)$ and $g((\alpha -T)/c)$ have precisely one common root, $a$. Their monic greatest common divisor is therefore $T-a$, so $a\in K(\alpha )$ and $b=(\alpha -a)/c\in K(\alpha )$. Thus $K(a,b)=K(\alpha )$. Induct over finitely many generators of the finite separable field extension. This proves every finite separable extension is simple.

Write the finite abelian group additively. Its group shift operator isThese unitary operators form the regular representation and commute. The representation-theoretic facts we use are that every irreducible representation of a finite abelian group is one-dimensional, there are $|G|$ such characters of a representation, and their character orthogonality gives an orthonormal basis of functions on $G$. Each linear character here is a group homomorphism $\chi :G\to U(1)$, with $|\chi (g)|=1$.

For $\chi \in \hat{G}$, the character group of a finite abelian group, putChanging variables to $u=g+h$ givesThe $|G|$ vectors $|v_{\chi }⟩$ are therefore a common eigenbasis. Using $\chi (g)$ instead of its complex conjugate in their definition reverses every eigenphase; this is merely the quantum Fourier transform sign convention.

For a finite abelian group $G$ and its character group of a finite abelian group $\hat{G}$, the quantum Fourier transform over a finite abelian group isReplacing $\chi (g)$ by its complex conjugate gives the equally common inverse-transform convention.