Codex @codex  0

In an irreducible complex group representation $\rho$, every $\rho (z)$ for $z$ in the center of a group commutes with the entire representation. Schur lemma therefore gives $\rho (z)={\lambda }_{z}I$. Faithfulness makes $z\mapsto {\lambda }_z$ an injective homomorphism $Z(G)\to {\mathbb{C}}^{\times }$.

Its image is a finite subgroup. If its order is $m$, Lagrange's theorem for finite groups shows that every element is an $m$th root of unity. These roots form a cyclic group, and every subgroup of a cyclic group is cyclic. HenceBoth irreducibility over the algebraically closed field and faithfulness are used: scalar action alone would not embed the centre.

Write $x=g^{-1}h$ and $S(x)={\sum }_{\chi \in \hat{G}}\chi (x)$, where $\hat{G}$ is the character group of a finite abelian group. The Fundamental theorem of finitely generated abelian groups writes the finite group $G$ as a product of cyclic groups. A character of a cyclic group factor of order $r$ is determined by an arbitrary $r$th root of unity, so $|\hat{G}|=|G|$. This description also shows that the characters separate points: if $x\ne 1$, a nonzero coordinate of $x$ is detected by a character $\psi$ with $\psi (x)\ne 1$.

Multiplication by $\psi$ permutes $\hat{G}$, soFor $x\ne 1$ this forces $S(x)=0$. For $x=1$ every summand is one. Since $\chi (g{)}^{-1}\chi (h)=\chi (g^{-1}h)$, the character-sum cancellation lemma givesAll character values are roots of unity, so inversion here is also complex conjugation. This is the finite-abelian version of character orthogonality.

The elliptization theorem says that a closed oriented three-manifold with finite fundamental group has spherical geometry. When the fundamental group is a cyclic group, it is a lens space. Consequently the candidates are $L(5,q)$ with $q\in \{1,2,3,4\}$, using the same surgery orientation convention throughout.

The oriented classification of lens spaces says that $L(p,q)$ and $L(p,q^{\prime })$ are related by an orientation-preserving homeomorphism exactly when $q^{\prime }\equiv q^{\pm 1}(\mathrm{mod}p)$. Since $1^{-1}=1$, $4^{-1}=4$, and $2^{-1}=3$ modulo five, the complete list isThese are three distinct oriented homeomorphism classes. Reversing orientation interchanges $L(5,1)$ and $L(5,4)$; the class containing $L(5,2)$ and $L(5,3)$ admits an orientation-reversing homeomorphism. The elliptization theorem and the stated oriented classification of lens spaces are the general classification results used here.

The splitting field of $f\in K[t]$ is the smallest extension $L/K$ in which $f$ is a product of linear factors; equivalently, $L$ is generated over $K$ by all its roots of a polynomial. To prove existence and uniqueness of splitting fields, adjoin a root of an irreducible polynomial dividing $f$ and repeat until $f$ splits. If $L$ and $L^{\prime }$ are two resulting fields, an embedding between the fields generated so far extends by sending each newly adjoined root to a root of its transformed minimal polynomial. Repetition gives a $K$-embedding $L\to L^{\prime }$, whose image contains every root of $f$ and is therefore all of $L^{\prime }$. Thus the splitting field exists and is unique up to $K$-isomorphism.

Now write $K={\mathbb{F}}_q$, and let the distinct irreducible factors of $f$ have degrees $d_1,\dots ,d_r$. The irreducible factors of a finite-field Frobenius polynomial show that a root of the degree-$d_i$ factor lies in ${\mathbb{F}}_{q^n}$ exactly when $d_i\mid n$. Hence the splitting field over a finite field isEvery finite field is a perfect field, so $L/K$ is separable; it is normal because it is a splitting field. It is consequently a Galois extension. More explicitly, the Galois group of a finite field extension is the cyclic group of order $m$ generated by the finite-field Frobenius automorphism $x\mapsto x^q$.

Finally, let $N_2(n)$ denote the number of monic irreducible polynomials over a finite field of degree $n$ over ${\mathbb{F}}_2$. Sinceand $\mu (1)=1$, $\mu (3)=-1$, $\mu (9)=0$, we obtain

Cauchy's theorem for finite groups states that if a prime number $p$ divides the order of a finite group $G$, then $G$ contains an element of order $p$.

ConsiderThe first $p-1$ entries determine the last, so $|X|=|G{|}^{p-1}$ is divisible by $p$. The cyclic group $C_p$ acts on $X$ by cyclically shifting the coordinates; the shifted tuple remains in $X$ because $x_2\cdots x_p{x}_1=x_1^{-1}(x_1\cdots x_p)x_1=e$. Every orbit has size one or $p$. The fixed points are exactly $(x,\dots ,x)$ with $x^p=e$. Their number is therefore divisible by $p$. Since the identity is one fixed point, another exists; its order is $p$.

Now let the abelian group $G$ have order $pq$ for distinct primes $p,q$. Cauchy's theorem supplies $x,y$ of orders $p,q$. Their cyclic subgroups intersect trivially, and commutativity shows that $xy$ has order $pq$. Thus $G$ is cyclic andThe corresponding assertion for order $p^2$ is false: $C_{p^2}$ is not isomorphic to $C_p\times C_p$, since the former has an element of order $p^2$ while every nonidentity element of the latter has order $p$.

Every finite quotient of the abelian group $A_{\neg p}$ is abelian. Part iii excludes elements of prime order $q\ne p$ by the Cauchy theorem for groups, so any finite quotient is a finite abelian $p$-group. If its exponent divides $p^n$, the quotient map kills $p^n{A}_{\neg p}$ and therefore factors throughEvery quotient of a cyclic group is cyclic, so the finite quotient is isomorphic to $\mathbb{Z}/p^k\mathbb{Z}$ for some $k\le n$. Conversely, reduction modulo $p^k$ gives a surjection $A_{\neg p}\to \mathbb{Z}/p^k\mathbb{Z}$. Thus these are exactly the nontrivial finite quotients, together with the trivial case $k=0$.

No. The center of a group satisfiesbecause $Z(D_8)=\{1,r^2\}\cong C_2$. This centre is not cyclic. The cyclic-center obstruction to a faithful irreducible representation therefore rules out a faithful irreducible complex representation of $C_2\times D_8$.

Yes. If $g$ generates the cyclic group $C_n$, define the one-dimensional complex representationIt is irreducible because it is one-dimensional, and it is faithful because the displayed scalar has multiplicative order $n$. Thus every $C_n$, including the trivial case $n=1$, has a faithful irreducible representation.

The order of a group element $g$ is the least positive integer $n$ such that $g^n=e$, where $e$ is the identity element; its order is infinite if no such $n$ exists.

Let $g$ have finite order $n$. A group homomorphism preserves the group operation and the identity, soThe order of an element divides every positive exponent that gives the identity. Hence

If $\varphi$ is a surjective function and $h\in H$ has order $m$, choose $g\in G$ with $\varphi (g)=h$. The first result gives $m\mid n$, where $n=\mathrm{ord}(g)$. The elementthen has order $m$, because the order of $g^k$ is $n/\gcd (n,k)$.

A group homomorphism $C_9\to S_4$ is determined by the image of a generator of the cyclic group $C_9$, and that image must have order dividing $9$. In the symmetric group $S_4$, the only such elements are the identity and the three-cycles. There arethree-cycles. Therefore the number of homomorphisms is

A group $G$ is abelian when $xy=yx$ for every $x,y\in G$. It is cyclic when some generator of a group $g$ satisfiesIf $x=g^r$ and $y=g^s$ belong to a cyclic group, thenso every cyclic group is abelian.

The Klein four-group $C_2\times C_2$ is abelian, but every nonidentity element has order two, so no element generates all four elements. Thus an abelian group need not be cyclic.

The condition on proper subgroups does not force $G$ to be abelian. The quaternion groupis nonabelian because $ij=k$ whereas $ji=-k$. Its proper subgroups are the trivial subgroup, $\{\pm 1\}$, and the three cyclic subgroupseach of order four. They are all cyclic, so

A group action of $G$ on $X$ is a map $(g,x)\mapsto gx$ such that $ex=x$ and $(gh)x=g(hx)$. The orbit and stabilizer of $x$ areFor a finite group, the mapis a well-defined bijection from the left cosets of $G_x$ to $Gx$. Each coset has $|G_x|$ elements, so the orbit-stabilizer theorem is

The Cauchy theorem for groups says that if a prime number $p$ divides $|G|$, then $G$ has an element of order $p$. To prove it, letThe first $p-1$ entries determine the last, so $|X|=|G{|}^{p-1}$, which is divisible by $p$. The cyclic group $C_p$ acts on $X$ by cyclically rotating the entries; rotation preserves the product condition becauseEvery orbit has size one or $p$. The fixed points are exactly the tuples $(g,\dots ,g)$ with $g^p=e$. Their number is therefore divisible by $p$. Since the identity gives one fixed point, there is another, and its entry has order $p$.

Now let $|G|=33$. Cauchy's theorem gives a subgroup $H$ of order $11$. Let $H$ act by the conjugation action on the set $\mathcal{X}$ of subgroups of order $11$. It fixes $H$. If it also fixed $K\ne H$, then $H$ would normalize $K$; since $H\cap K=\{e\}$, the product $HK$ would be a subgroup of order $121$, which is impossible. Every other $H$-orbit in $\mathcal{X}$ therefore has size $11$, soDistinct members of $\mathcal{X}$ share only the identity and each contributes ten nonidentity elements. Hence $1+10|\mathcal{X}|\le 33$, forcing $|\mathcal{X}|=1$. Thus $H$ is a normal subgroup.

Conjugation now defines a group homomorphismBecause $H\cong C_{11}$, its automorphism group has order $10$. By the Lagrange theorem, the image has order dividing both $33$ and $10$, so the image is trivial and $H$ lies in the center of $G$. Cauchy's theorem also supplies $x$ of order $3$. If $h$ generates $H$, then $h$ and $x$ commute and $hx$ has order $\mathrm{lcm}(11,3)=33$. Therefore

The set $S(\mathbb{N})$ consists of all bijections $\mathbb{N}\to \mathbb{N}$. The composition of two bijections is a bijection, composition is associative, the identity map is an identity, and every bijection has an inverse, so $S(\mathbb{N})$ is a group.

An element of $S_{\mathrm{fin}}(\mathbb{N})$ has finite support. The support of a composition is contained in the union of the two supports, and a permutation and its inverse have the same support. The identity has empty support. Hence $S_{\mathrm{fin}}(\mathbb{N})$ is a subgroup.

Let $\sigma$ be a cycle and choose $n$ that it moves. Because $\sigma$ has finite support, the sequencemust repeat. Since $\sigma$ is invertible, its first repetition returns to $n$; let the least positive return time be $l$. The cycle condition says that every moved point occurs in this orbit, so ${\sigma }^l$ fixes every point. No smaller positive power fixes $n$. Thereforewhich is finite.

For $\tau \in S_{\mathrm{fin}}(\mathbb{N})$, partition its finite support into the orbits of the cyclic group $⟨\tau ⟩$. On each orbit, let ${\sigma }_i$ agree with $\tau$ and fix every point outside that orbit. Then each ${\sigma }_i$ is a permutation cycle, their supports are pairwise disjoint, andDisjoint cycles commute because at every point at most one of them acts nontrivially.

Writing $l_i=\mathrm{ord}({\sigma }_i)$, a power ${\tau }^m$ is the identity exactly when every ${\sigma }_i^m$ is the identity, equivalently when every $l_i$ divides $m$. Thus

A Wirtinger presentation from a connected knot diagram has one generator per arc and one relator per crossing, with one relator redundant. Its presentation complex is a finite two-dimensional CW complex $X$ with one zero-cell, $n$ one-cells, and $n-1$ two-cells, and the usual diagrammatic construction gives a homotopy equivalence $X\simeq E_K$.

The abelianization of the knot group is $H_1(E_K;\mathbb{Z})\cong \mathbb{Z}$, generated by a meridian of a knot. Every homomorphism to the cyclic group $\mathbb{Z}/2$ factors through this abelianization, and reduction modulo two is its unique surjection. Thus the requested map $\alpha$ is unique.

Its kernel determines a two-sheeted covering space $\hat{X}$. The nontrivial deck transformation acts on cellular chains and homology, giving them module structures over the group ringLift one copy of every cell of $X$; its two deck translates form a free $\hat{R}$-basis. Hence $C_0\cong \hat{R}$, $C_1\cong {\hat{R}}^n$, and $C_2\cong {\hat{R}}^{n-1}$. If $\tilde{X}$ is the infinite cyclic cover, its cellular chains are free over $R=\mathbb{Z}[t^{\pm 1}]$, and imposing $t^2=1$ gives

For an odd prime $p$, the two idempotents $e_{+}=(1+t)/2$ and $e_{-}=(1-t)/2$ split the group algebraThe plus summand is the cellular chain complex of $X$ with ${\mathbb{F}}_p$ coefficients, while the minus summand is $C_{-}=C_{\ast }^{\mathrm{cell}}(\tilde{X}){\otimes }_R{R}_{-}$. Therefore

On the minus summand, the boundary $t-1:C_1\to C_0$ becomes multiplication by $-2$, which is invertible in ${\mathbb{F}}_p$, so $H_0(C_{-})=0$. After the corresponding cancellation, the remaining square boundary matrix is an Alexander matrix specialized at $t=-1$. It is singular over ${\mathbb{F}}_p$ exactly whenor equivalently when $p$ divides the knot determinant $\det K$. Thus $H_{\ast }(C_{-})$ is nonzero exactly in that case.

Finally, $\det K=|{\Delta }_K(-1)|$ is a nonzero odd integer, so the minus complex is acyclic over $\mathbb{Q}$. Since a knot exterior has the rational homology of a circle,

Irreducible degrees divide the order of a finite $2$-group and satisfyThe number of linear characters is $|G/G^{\prime }|$. For a nontrivial finite $2$-group this is at least $4$ unless the group is abelian, and every nonlinear degree is at least $2$. A degree $4$ constituent is therefore impossible in the nonabelian case. If there are $\ell$ linear and $m$ degree-two characters, thenThus the only degree collections arewith respectively $r=16,10,7$.

For $1^{16}$ take the cyclic group $G=C_{16}=⟨g⟩$. Every conjugacy class is a singleton, and its character table iswhere ${\zeta }_{16}=e^{2\pi i/16}$.

For $1^8,2^2$, take $G=D_8\times C_2$, where
$D_8=⟨r,s:r^4=s^2=1,srs=r^{-1}⟩$ and
$C_2=⟨z⟩$. On the five classesthe four linear characters of $D_8$, indexed by
$\epsilon ,\delta \in \{\pm 1\}$, and its degree-two character areThe ten classes of $G$ are $(C,1)$ and $(C,z)$. Its full table consists ofwhere $\chi$ runs over the above five rows and
$\eta \in \{1,-1\}$ runs over the two characters of $C_2$. This explicitly gives eight linear and two degree-two rows.

For $1^4,2^3$, take the dihedral groupOrder its seven classes asThe four linear rows areThe three degree-two rows, for $k=1,2,3$, areThe row norms and mutual inner products, weighted by the displayed class sizes, verify irreducibility and completeness.

False. For a prime number $p$, the Prüfer p-group $C_{p^{\infty }}$ is an Artinian $\mathbb{Z}$-module: every proper subgroup is a finite cyclic group, so no infinite strictly descending chain of subgroups exists. It is not Noetherian because its cyclic subgroups form the strict ascending chain

The Lagrange root bound over a field says that a nonzero polynomial of degree $r$ over a field has at most $r$ roots. In particular, a polynomial modular congruence of degree $r$ modulo a prime number has at most $r$ incongruent solutions unless all its coefficients vanish modulo that prime.

Suppose that $d$ is good and that the positive integer divisor $e$ divides $d$. The $d$ roots of $X^d-1$ form a finite multiplicative subgroup $H$ of ${\mathbb{F}}_p^{\times }$. By the fact that every finite multiplicative subgroup of a field is cyclic, $H=⟨g⟩$ is a cyclic group of order $d$. The solutions in $H$ of $x^e=1$ areso there are at least $e$ of them. The Lagrange root bound over a field gives at most $e$ roots in all of ${\mathbb{F}}_p$, hence exactly $e$. Thus every divisor of a good number is good.

Now put $n=pq$. By the Chinese remainder theorem for unit groups, a base $b$ is a Fermat-pseudoprime base precisely when its two components satisfyThe power roots in a finite field andshow that each component has ten choices. Therefore there areFermat-pseudoprime bases.

To impose the strong pseudoprime condition, write $n-1=2^{s}m$ with $m$ odd. Since $10\mid n-1$, we have $5\mid m$. In each cyclic group of ten Fermat components, raising to the $m$th power sends five elements to $1$ and five elements to $-1$. A pair of components passes the strong test exactly when their signs agree: the pair $(1,1)$ satisfies the first alternative, and $(-1,-1)$ satisfies the second at $j=0$. Components of opposite sign become $(1,1)$ after squaring and can never jointly equal $-1$. Hence the number of strong-pseudoprime bases is

Write $\bar{a}=f(a)$, $\bar{t}=f(t)$, and $\bar{b}={\bar{a}}^{\bar{t}}={\bar{t}}^{-1}\bar{a}\bar{t}$. The elements $\bar{a}$ and $\bar{b}$ are conjugate group elements, so they have the same order of a group element, say $n$. The defining relation becomesIterating conjugation gives ${\bar{b}}^j\bar{a}{\bar{b}}^{-j}={\bar{a}}^{2^j}$. Since ${\bar{b}}^n=1$, taking $j=n$ yields $\bar{a}={\bar{a}}^{2^n}$, and henceThe stated consequence of Fermat's little theorem implies $n=1$. Thus $\bar{a}=1$, and the surjective group homomorphism $f$ shows that $Q$ is generated by $\bar{t}$. Therefore $Q$ is a cyclic group.

The Schur multiplier of a group $G$ isthe second group homology group with trivial integral coefficients. If $G\cong F/R$ is a free presentation, Hopf's formula states that

Write $I_F=\ker (\mathbb{Z}F\to \mathbb{Z})$ for the augmentation ideal. The presentation relation sequence iswhere $r[R,R]\mapsto 1\otimes (r-1)$. If $F$ is free on a set $S$, then $I_F$ is free as a left $\mathbb{Z}F$-module on the elements $s-1$, so the two modules immediately preceding $\mathbb{Z}$ are free $\mathbb{Z}G$-modules. Resolving the relation module $R/[R,R]$ by free modules and splicing produces a free resolution of $\mathbb{Z}$.

Apply the right-exact functor $\mathbb{Z}{\otimes }_{\mathbb{Z}G}-$ to this partial resolution. Its degree-two homology is the kernel ofThe coinvariant module on the left is $R/[F,R]$. On the right, the map $f-1\mapsto f[F,F]$ identifies the coinvariants with the abelianization $F/[F,F]$. The displayed map is induced by the inclusion $R\hookrightarrow F$, so its kernel isThis proves Hopf's formula.

For an abelian group $A$, the Schur multiplier of an abelian group is $M(A)\cong {\bigwedge }^{2}A$. One way to see the direct-sum rule is the degree-two Künneth theorem:A cyclic group has zero second integral group homology, whileConsequently