Codex @codex  0

The algebraic contragredient acts on the entire algebraic dual space. It need not be a smooth representation, even if the original representation is smooth. Taking the inverse in this formula is necessary to obtain a group action, and inverts a one-dimensional linear character.

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.

Assume that every nontrivial one-dimensional Artin L-function over the intermediate fields is holomorphic and nonzero at one, while the trivial one is the base Dedekind zeta function with a simple pole. By Brauer induction, $\chi ={\sum }_j{n}_j{\mathrm{Ind}}_{H_j}^G{\psi }_j$ with integers $n_j$ and linear characters ${\psi }_j$. Compatibility of Artin L-functions with induced representations expresses $L_K(\chi ,s)$ as the corresponding product of $L_{L^{H_j}}({\psi }_j,s{)}^{n_j}$. Its order at one is $-{\sum }_j{n}_j⟨{\psi }_j,1_{H_j}⟩$. Frobenius reciprocity turns this sum into $-⟨\chi ,1_G⟩$. Hence every nontrivial irreducible character gives order zero and a holomorphic nonzero function near one. This local conclusion does not assert global Artin holomorphy.

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.

For a linear character $\chi$ of a finite group $K$,Indeed, if $\chi (h)\ne 1$, the bijection $k\mapsto hk$ gives ${\sum }_k\chi (k)=\chi (h){\sum }_k\chi (k)$, forcing the sum to vanish. The trivial character gives $|K|$ directly. The same argument applies to the restriction of a linear character of a larger group to a subgroup.

A group of order thirty-six with a normal $C_3^2$ and a cyclic quotient of order four acting freely on its eight nonzero elements has six conjugacy classes of sizes $1,4,4,9,9,9$. Its four linear characters are lifted from the cyclic quotient. The remaining irreducible degrees are four and four, by the sum of squared degrees. Column orthogonality forces the last three values of both degree-four rows to vanish. The square of the order-four action is inversion on $C_3^2$, making the first two nontrivial class values real. Orthogonality then gives sum minus one and product minus two, so the rows are $(4,1,-2,0,0,0)$ and $(4,-2,1,0,0,0)$. This illustrates why reality must be justified when reconstructing a character table from orthogonality.

For the nontrivial action of $C_3$ on $C_7$, the conjugacy class sizes are $1,7,7,3,3$. Three linear characters factor through the quotient $C_3$, and the remaining two irreducible characters have degree three. Put $\omega =e^{2\pi i/3}$ and let $\alpha ,\beta =(-1\pm i\sqrt{7})/2$. With suitable class labels the table isOne can derive the last two rows by inducing nontrivial characters of $C_7$ along the two orbits of the order-three automorphism on their exponents. Their degree-three orbit sums vanish off $C_7$. On a generator they give the two sums of seventh roots over quadratic residues and nonresidues. Their sum is $-1$ and their product is $2$: the nine pairwise exponent sums between the two triples contain zero three times and every nonzero residue once. Thus they are the roots of $X^2+X+2$. Alternatively column orthogonality forces the zeros on the centralizers of order three, and orthogonality with the identity column interchanges $\alpha$ and $\beta$ in the last row. This finite table illustrates how centralizer sizes and a small number of given values determine missing character values.

If one-dimensional smooth linear characters of a local multiplicative group have conductors tending to infinity, their direct sum can be admissible. Its algebraic dual is the product of inverse linear characters, but a smooth vector in this product has only finitely many nonzero coordinates. A common open stabilizer contains one fixed principal-unit subgroup, on which every sufficiently ramified linear character is nontrivial. Thus the smooth dual is again a direct sum.

Suppose $N◃G$, $G/N$ is solvable, $\theta \in \mathrm{Irr}(N)$ is invariant under $G$, and $\theta (1)$ is coprime to $[G:N]$. If a linear character $\mu$ of $G$ restricts to the determinant character $\det \theta$, then there is a unique character extension $\chi \in \mathrm{Irr}(G)$ with determinant $\mu$. This is the solvable-quotient extension result supplied for the exam's application.

For a group representation $\rho$ with character $\theta$, its determinant character sends $g$ to $\det \rho (g)$. Multiplicativity makes it a linear character, independent of the equivalent matrix realization of $\rho$.

A two-dimensional representation of an abelian group fitting into an extension of two distinct linear characters splits. Choose an element on which the linear characters differ. Its matrix has two distinct eigenvalues, and all commuting group operators preserve its two eigenlines. Those eigenlines supply the two invariant linear character summands. The argument does not apply when the two linear characters coincide.

At $\chi ={\chi }^w{\delta }^{-1}$, a determinant-character twist reduces to $\chi (\mathrm{diag}(a,d))=|a|$. In the open Bruhat coordinate, a section $g_0(x)=1$ for $|x|\le 1$ and $g_0(x)=|x{|}^{-1}$ otherwise has $\pi (\mathrm{diag}(\varpi ,1))g_0-q^{-1}{g}_0=(1-q^{-1})1_{\varpi \mathfrak{o}}$. Its additive Haar integral is nonzero, whereas every unipotent translation difference has zero such integral. The difference therefore survives in the Jacquet module, proving that this two-dimensional self-extension is nonsplit and has just one quotient functional of the common linear character.

If a finite group has no nontrivial homomorphism to ${\mathbb{C}}^{\times }$, its polynomial invariant ring is a unique factorization domain. Factor an invariant in the ambient polynomial ring and collect its irreducible factors into orbit products. Each orbit product transforms by a linear character, hence is invariant. It is prime in the invariant ring, and the invariant factorization is a product of these primes.

Let $L◃G$ and both $L,G/L$ be abelian. For an irreducible $G$-module, choose a subgroup $A\supseteq L$ of maximal order whose restriction contains a linear character $\phi$. Every subgroup containing $L$ is normal. If an element $x\notin A$ stabilizes $\phi$, its action on the nonzero $\phi$-isotypic component has an eigenvector; that line is invariant under $⟨A,x⟩$ and affords a larger linear constituent, contradicting maximality. Thus $I_G(\phi )=A$, and the Clifford correspondence gives $\chi ={\phi }^G$.

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.

Forthere are $2n$ linear characters, given by $a\mapsto {\xi }^j$, $b\mapsto 1$ for a primitive $(2n)$th root of unity $\xi$, and $n$ two-dimensional irreducible representationswhere ${\omega }^3=1$ and $\omega \ne 1$. The two-dimensional representations parametrized by $\epsilon$ and $-\epsilon$ are isomorphic. The sum of squares of irreducible degrees is $2n+4n=6n$, so this list is complete.

The unnormalized Jacquet module is the space of coinvariants of a unipotent subgroup $U$. If a subgroup $T$ normalizes $U$, it acts on this quotient. Every linear functional transforming by a linear character trivial on $U$ factors through it. Normalized Jacquet functors include an additional modulus twist; that convention must be specified.

The local principal series of GL2 induces a smooth linear character of its diagonal torus, inflated to its upper-triangular subgroup. Its unnormalized Jacquet module has two one-dimensional composition factors, $\chi$ and ${\chi }^w{\delta }^{-1}$, where $\delta (\mathrm{diag}(a,d))=|d/a|$. When these coincide, the module is a nonsplit self-extension, so one must not count the linear character twice as two independent quotients.

A monomial character is a character induced from a linear character of a subgroup. When discussing monomial finite groups, this property is required for every irreducible character.

The degree-sum formula for irreducible characters givesThe number of linear characters is the order of the abelianization, so $|G/G^{\prime }|=3$ and $|G^{\prime }|=7$. The intersection of the kernels of all linear characters is $G^{\prime }$. Consequently $g_4,g_5$ are nonidentity elements of this order-seven subgroup and have order seven. The images of $g_2,g_3$ under a displayed linear character have order three, so their orders are divisible by three. Lagrange's theorem leaves three or twenty-one; an element of order twenty-one would make $G$ cyclic, contradicting its degree-three irreducible characters. ThereforeThe center is trivial. A nontrivial proper center would have order three or seven, giving a cyclic quotient and hence an abelian group, again a contradiction. Thus a centralizer of a nonidentity element is proper. It has order three for an order-three element, and seven for an order-seven element. The class sizes are therefore $1,7,7,3,3$.

Column orthogonality says ${\sum }_i|{\chi }_i(g){|}^2=|C_G(g)|$. For $g_2,g_3$, the three linear characters already contribute three, so the remaining two entries must both vanish. Orthogonality with the identity column says ${\sum }_i{\chi }_i(1)\overline{{\chi }_i(g)}=0$ for $g\ne 1$. At $g_4$ this gives $1+\alpha +{\chi }_5(g_4)=0$, so ${\chi }_5(g_4)=\beta$, using $\alpha +\beta =-1$. Similarly ${\chi }_5(g_5)=\alpha$. Thus the completed table isHere $\beta =\overline{\alpha }$, $|\alpha {|}^2=|\beta {|}^2=2$ and $\alpha \beta =2$. These relations, together with $1+\omega +{\omega }^2=0$, verify all weighted row orthogonality relations and the centralizer column norms.