Codex @codex  0

Write the Heisenberg group element as $M(x,y,z)$. Matrix multiplication and inversion giveAll matrices have determinant one. They contain $M(0,0,0)=I$, are closed under multiplication and inverses, and inherit associativity from matrix multiplication; hence they form a subgroup of $G{L}_3(\mathbb{R})$.

Two such matrices commute precisely when $x{z}^{\prime }=x^{\prime }z$. Requiring this for every $x^{\prime },z^{\prime }$ forces $x=z=0$. ConsequentlyThe map $\pi (M(x,y,z))=(x,z)$ is a surjective group homomorphism to the additive group ${\mathbb{R}}^2$, with kernel of a group homomorphism $Z(H)$. Equivalently, it gives the explicit quotient group isomorphismIt is well-defined because multiplying by a central element changes only $y$. It is injective because equal $(x,z)$ imply that the quotient of the two matrices is central, and surjectivity follows by taking $y=0$. This also proves the needed instance of the first isomorphism theorem directly.

For the modular Heisenberg group, the three independent entries each have $p$ choices, soThe multiplication and commutation calculations work over the finite field ${\mathbb{F}}_p$ exactly as over $\mathbb{R}$. Taking $x^{\prime }=1,z^{\prime }=0$ and $x^{\prime }=0,z^{\prime }=1$ shows thatLet $c=M(0,1,0)$. Its powers exhaust the centre and $c$ has order $p$, giving the group presentationLet $a=M(1,0,0)$ and $b=M(0,0,1)$. Their images $\bar{a},\bar{b}$ in the quotient group translate the $x,z$ entries independently. They commute modulo the centre, have order $p$, and generate $p^2$ distinct pairs. ThereforeFor context, $ab{a}^{-1}{b}^{-1}=c$, with $c$ central. All conclusions above include $p=2$; one must not infer that every nonidentity element of $H_2$ has order two, since $(ab{)}^2=c$.

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.

Suppose every group commutator belongs to $H$. For $h\in H$ and $g\in G$, the particular group commutator $h^{-1}{g}^{-1}hg$ belongs to $H$. Multiplying on the left by $h$ gives $g^{-1}hg\in H$. Thus $g^{-1}Hg\subseteq H$ for every $g$; applying the same inclusion to $g^{-1}$ gives the reverse inclusion. Therefore $H$ is a normal subgroup.

We can now form the quotient group. Its group commutators areA group commutator is the identity element exactly when the two elements commute. Hence $G/H$ is an abelian group. Equivalently, the hypothesis says that $H$ contains the commutator subgroup, so the quotient factors through the abelianization.

A subgroup $H$ of a group $G$ is a normal subgroup when $gH{g}^{-1}=H$ for every $g\in G$, equivalently $gH=Hg$. The quotient group $G/H$ has the left cosets as elements, with $(gH)(kH)=gkH$, identity $H$ and inverse $(gH{)}^{-1}=g^{-1}H$. Normality makes this multiplication independent of representatives.

The first isomorphism theorem for groups says that for a group homomorphism $\phi :G\to K$, its kernel of a group homomorphism is normal andThe image is taken with the induced group operation; surjectivity onto all of $K$ is not required.

For the given upper triangular matrices, take diagonal entries:The target is a direct product of groups, with multiplication of nonzero real numbers in each coordinate. Indeed the product of two such matrices has diagonal $(a{a}^{\prime },d{d}^{\prime })$, proving the group homomorphism property. Any pair of nonzero diagonal entries is attained by a diagonal matrix, so $\phi$ is surjective. Its kernel of a group homomorphism consists precisely of the matrices with $a=d=1$, namely $H$. Hencewith coordinatewise multiplication, not addition on ${\mathbb{R}}^2$.

Restrict the quotient projection $\pi :G\to G/N$ to $H$. This is a group homomorphism withIts image is a nontrivial subgroup of the prime-order quotient group, because $H$ is not contained in $N$. By Lagrange's theorem for finite groups, the image has order $p$ and is all of $G/N$. The first isomorphism theorem for groups therefore gives

For the second assertion, partition $C$ into conjugacy classes for $N$. Because $N$ is normal, conjugation by $G$ permutes these smaller classes: $g{\mathrm{Cl}}_N(x)g^{-1}={\mathrm{Cl}}_N(gx{g}^{-1})$. This group action is transitive since any two elements of $C$ are conjugate in $G$. Elements of $N$ fix every $N$-class, so the action factors through $G/N$.

If $m$ is the number of smaller classes, the orbit-stabilizer theorem for this transitive action gives $m\mid |G/N|=p$. ThusDistinct conjugacy classes are disjoint because they are orbits of a group action. This proves conjugacy class splitting in a prime-index normal subgroup without assuming all $G$-conjugations are already conjugations by $N$.

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

Write $\Gamma =S{L}_2(\mathbb{Z})$ and $G=G{L}_2(\mathbb{Q}{)}^{+}$. The double-coset Hecke algebra consists of $\Gamma$-bi-invariant complex functions on $G$ supported on finitely many double cosets, with convolutionEach double coset has finitely many orbits under left multiplication by $\Gamma$, by rational conjugation of finite-index modular subgroups. Thus the sum is finite and independent of representatives. The characteristic functions of the double cosets form its basis, and its right action on invariant modular forms is $f\ast h={\sum }_{\Gamma x}h(x)f{|}_{k}x$, using the determinant-normalized slash operator.

For a positive integer $n$, let ${\mathcal{M}}_n$ be all integral two-by-two matrices of positive determinant $n$. It is $\Gamma$-bi-invariant. Define $T(n)$ to be its indicator function, equivalently the sum of the distinct double cosets it contains, each with coefficient one. This is the convention consistent with the requested formula. For composite $n$, it need not be the single double coset of $\mathrm{diag}(1,n)$: for instance $2I\in {\mathcal{M}}_4$ cannot lie in that double coset, since multiplying by unimodular integral matrices preserves the greatest common divisor of the entries.

Prove all the needed subgroup facts directly. For a finite-index subgroup $L\subseteq {\mathbb{Z}}^2$, take $a$ to be the least positive first coordinate appearing in $L$ and $d$ the least positive second coordinate on its intersection with the second axis. Euclidean division then shows that the first-coordinate projection is $a\mathbb{Z}$ and $L\cap (\{0\}\times \mathbb{Z})=\{0\}\times d\mathbb{Z}$. Positivity follows, for example, because the finite quotient group kills a nonzero multiple of each coordinate vector. Choose $(a,b)\in L$ and reduce $b$ modulo $d$ to $0\le b<d$. Every vector of $L$ has first coordinate a multiple of $a$, and subtracting that multiple of $(a,b)$ leaves a multiple of $(0,d)$. Therefore these two vectors form a basis of $L$. The parameters $a,d,b$ are unique. Reducing the first coordinate modulo $a$ and then the second modulo $d$ gives precisely $ad$ quotient representatives, so $[{\mathbb{Z}}^2:L]=ad$.

Apply this row Hermite normal form in rank two to the row lattice of an integral matrix $A$ with $\det A=n$. Its row lattice contains $n{\mathbb{Z}}^2$, since $\mathrm{adj}(A)A=nI$, so it has finite index. Its two rows and the displayed two rows are bases of the same row lattice. The two inverse change-of-basis matrices have integer entries, so their determinants are integers whose product is one. Thus the change-of-basis matrix has determinant $\pm 1$; since both orientations are positive, its determinant is one. Thus each orbit under left multiplication by $\Gamma$ has exactly one of the determinant-n matrix representatives for Hecke operatorsThere are ${\sum }_{d\mid n}d$ such representatives, proving finiteness as well as the formula. The subgroup argument is a proof of the relevant Hermite normal form, not an invocation of an unproved lattice classification.

Consequently the normalized Hecke operator isIt preserves $M_k(\Gamma )$: right multiplication by $\Gamma$ permutes the left-multiplication orbits in ${\mathcal{M}}_n$, giving invariance, and cusp holomorphy under rational slash operators gives the holomorphy of each term at every cusp.

For a triangular representative the determinant-normalized slash operator is $f{|}_{k}A=n^{k/2}{d}^{-k}f((az+b)/d)$. Summing the Fourier expansion of a modular form over $b$ kills every index not divisible by $d$, by finite exponential orthogonality. ThusThe Fourier coefficients of a composite-index Hecke operator are thereforeIn particular $a_1(T_{n}f)=a_n(f)$. If $T_{n}f=\lambda f$, comparison of the $q$ coefficients gives

Finally suppose $a_0(f)\ne 0$ and $f$ is a simultaneous eigenfunction. Constant coefficients force ${\lambda }_n={\sigma }_{k-1}(n)$, so $a_n(f)=a_1(f){\sigma }_{k-1}(n)$ for all $n\ge 1$. Weight two cannot occur, by vanishing of weight-two level-one modular forms. For even $k\ge 4$, use the normalized Eisenstein series with its Fourier expansion of a normalized Eisenstein serieswhere $B_k$ is the Bernoulli number. Then $h=f-a_0(f)E_k$ is a cusp form with coefficients $(a_1(f)-a_0(f)c_k){\sigma }_{k-1}(n)$. The Fourier coefficient bound for a cusp form bounds these by $O(n^{k/2})$, but at arbitrarily large primes $p$ their magnitude is $|a_1-a_0{c}_k|(1+p^{k-1})$. Since $k-1>k/2$, the coefficient factor must vanish. All coefficients of $h$ then vanish, including its constant coefficient, so $h=0$ by its cusp expansion and the identity theorem. This proves the noncuspidal level-one Hecke eigenform characterization:

For a normal subgroup $H⊴G$, the quotient group $G/H$ is the set of cosets $gH$ with multiplication $(gH)(kH)=gkH$. If $gH=g^{\prime }H$ and $kH=k^{\prime }H$, normality moves the intervening elements of $H$ past $k$, proving that the product is independent of representatives.

If $g$ has finite order $m$, then $(gH{)}^m=H$, so $\mathrm{ord}(gH)$ divides $m$. For finite $G$, the greatest element order in $G/H$ is therefore no greater than that in $G$.

Every kernel is normal because $\phi (gh{g}^{-1})=\phi (g)\phi (h)\phi (g{)}^{-1}=1$ whenever $h\in \ker \phi$. Conversely, if $H$ is normal, the quotient map $G\to G/H$ has kernel $H$. Thus $H⊴G$ exactly when it is the kernel of a group homomorphism.

A group is metacyclic when it has a cyclic normal subgroup with cyclic quotient. A dihedral group has its cyclic rotation subgroup normal and quotient $C_2$, so every dihedral group is metacyclic.

Up to isomorphism the groups of order eight areAll except $C_2^3$ are metacyclic: use a cyclic subgroup of order four in the three noncyclic examples that have one. In $C_2^3$, every cyclic subgroup has order at most two and its quotient is not cyclic. The normal subgroups of $A_4$ are $1,V_4,A_4$; none gives the required cyclic subgroup and quotient, so $A_4$ is not metacyclic. Finally, $S_1,S_2,S_3$ are metacyclic, while $S_4$ and $S_5$ are not, by their normal-subgroup structures. Hence

Because $L$ is a simplicial subcomplex of $K$, every face of a simplex of $L$ also belongs to $L$. The simplicial boundary operator therefore satisfiesso $C_{\bullet }(L)$ is a chain subcomplex of the simplicial chain complex $C_{\bullet }(K)$.

Define a map on the quotient groups byIf $c^{\prime }=c+\ell$ with $\ell \in C_k(L)$, then $\partial c^{\prime }-\partial c=\partial \ell \in C_{k-1}(L)$, so this definition is independent of the representative. Moreover,Thus $C_{\bullet }(K,L)$ is the relative simplicial chain complex.

A subgroup $N\le G$ is normal whenIts left and right cosets then agree, and multiplicationis well defined on the cosets. The identity is $N$, the inverse of $gN$ is $g^{-1}N$, and associativity descends from $G$, so these cosets form the quotient group $G/N$.

For a group homomorphism $\theta :G\to H$, its kernel and image areThe kernel is normal becausewhenever $k\in \ker \theta$. Conversely, if $K⊴G$, the quotient mapis a homomorphism with kernel $K$. The image of any homomorphism is closed under products and inverses, so it is a subgroup of $H$. Finally, the mapis well defined and bijective and preserves multiplication. This is the first isomorphism theorem.

DefineEuler's formula shows that $\Phi$ is a homomorphism, its image is the complex unit circle, and its kernel is $\mathbb{Z}$. The first isomorphism theorem therefore givesThe image of $\mathbb{Q}/\mathbb{Z}$ consists exactly of the roots of unity: if $t=p/q$, then $\Phi (t{)}^q=1$, while every element of finite order on the unit circle has an argument that is a rational multiple of $2\pi$.

Let $x$ and $y$ denote the two oriented noncontractible cycles of the torus. Their transport operators intersect once, so the mutual braiding phase gives the Wilson-loop algebra of an Abelian Chern--Simons theoryThe integer charge vectors are identified modulo local electrons: $q$ and $q+K\ell$ have identical braiding with every quasiparticle. The distinct topological charges therefore form the finite quotient group

Choose a ground state that diagonalizes the mutually commuting $x$-cycle operators. Acting with $T_y(q)$ multiplies their eigenvalues by the character $q^{\prime }\mapsto e^{2\pi i{q}^{\prime T}{K}^{-1}q}$. This pairing is nondegenerate on $\mathcal{A}$: if the character is trivial for every $q^{\prime }$, then $K^{-1}q$ is integral and $q$ is the trivial class. Thus the $|\mathcal{A}|$ states obtained from inequivalent $q$ have distinct loop eigenvalues and are orthogonal. The torus ground-state degeneracy of an Abelian Chern--Simons theory is consequently at least $|\det K|$.

The all-ones matrix has eigenvalue $n$ along $t$ and eigenvalue zero on the $(n-1)$-dimensional perpendicular subspace. Hence $K=I_n+pM$ has eigenvalues $1+np,1,\dots ,1$, and

The map $(a,b)\mapsto \mathrm{sgn}(a)$ is a surjective group homomorphism with kernel $H_0$, so $H_0$ is a normal subgroup and $G/H_0\cong C_2$. The subgroup $H_1$ is not normal: for a translation $t=(1,c)$,which leaves $H_1$ when $a\ne 1$ and $c\ne 0$. Finally, $(a,b)\mapsto a$ is a surjective homomorphism onto ${\mathbb{R}}^{\ast }$ with kernel $H_2$, so $H_2◃G$ and the quotient group $G/H_2\cong {\mathbb{R}}^{\ast }$.

The orbit-stabilizer theorem identifies the orbit of a group action of $s$ with the set of left cosets of $G_s$. Explicitly, there is a bijectionHere $G/G_s$ denotes a set of cosets; it is not asserted to be a quotient group. To prove the identification, observe thatThis equivalence proves both well-definedness and injectivity. Every element of the orbit of a group action has the form $g\cdot s$, proving surjectivity.

In particular, for a finite group, the cardinalities satisfyThe last equality follows from Lagrange's theorem applied to the stabilizer subgroup.

Suppose the quotient group $G/A$ is a cyclic group, generated by $gA$. For any $x,y\in G$, there are integers $r,s$ and $a,b\in A$ such thatSince $a,b$ lie in the center of a group, they commute with every element, in particular with each other and with the integer powers of a group element $g$. ThereforeAs $x,y$ were arbitrary, $G$ is an abelian group. This is the cyclic quotient by the center.

If $G$ is not Abelian, the contrapositive of ii says that $G/A$ is not a cyclic group. The quotient group is finite because $G$ is finite. By iii, every group with fewer than four elements is a cyclic group. HenceEquivalently, the center of a group satisfies $|A|\le |G|/4$, by the coset count in iii.

Definitions. A group homomorphism $\phi :G_1\to G_2$ preserves multiplication, $\phi (xy)=\phi (x)\phi (y)$. A group isomorphism is a bijective group homomorphism. The kernel of a group homomorphism isPreserving multiplication implies $\phi (e_1)=e_2$ and $\phi (x^{-1})=\phi (x{)}^{-1}$: the first follows by cancelling $\phi (e_1)$ from its square, and the second follows by applying $\phi$ to $x{x}^{-1}=e_1$.

Kernel subgroup. The identity belongs to $K$. For $x,y\in K$, $\phi (xy)=e_2{e}_2=e_2$, so $xy\in K$. Also $\phi (x^{-1})=e_2^{-1}=e_2$, so $x^{-1}\in K$. Thus $\boxed{K\le G_1}$.

Normality. For $g\in G_1$ and $k\in K$,Hence every $gk{g}^{-1}$ is again in $K$, proving $\boxed{K⊴G_1}$. Applying the same statement with $g^{-1}$ gives equality $gK{g}^{-1}=K$, and therefore $gK=Kg$.

Group of cosets. Define the product on the left cosets byTo check that this does not depend on representatives, replace $a,b$ by $a{k}_1,b{k}_2$. Thenbecause normality puts $b^{-1}{k}_{1}b$ in $K$. Thus the product is well defined. It is associative because multiplication in $G_1$ is associative; its identity is $K=e_{1}K$, and the inverse of $aK$ is $a^{-1}K$. Consequently the cosets form the quotient group $\boxed{G_1/K}$.

The map $aK\mapsto \phi (a)$ is well defined and gives an isomorphism $G_1/K\cong \mathrm{im}\phi$. If the original mapping is onto $G_2$, this becomes $G_1/K\cong G_2$. No surjectivity is needed for the kernel of a group homomorphism to be a normal subgroup or for the quotient group to exist.

The quotient group $G/N$ consists of the cosets $gN$, with multiplicationFor well-definedness, replacing representatives by $g{n}_1$ and $h{n}_2$ changes their product to $gh(h^{-1}{n}_{1}h)n_2$. Since $N$ is a normal subgroup, the final two factors lie in $N$, so the product coset does not change.

Associativity follows from that in $G$; the identity element is the coset $N$, and $(gN{)}^{-1}=g^{-1}N$. Hence these cosets form a group. By Lagrange's theorem, every subgroup $H\le G$ has order dividing $|G|$, and its subgroup index is $[G:H]=|G|/|H|$. In particularNormality is needed for the quotient multiplication, whereas Lagrange’s counting formula holds for every subgroup.

For a subgroup $N\le H$ and $h\in H$, a left coset is $hN=\{hn:n\in N\}$ and a right coset is $Nh=\{nh:n\in N\}$. A normal subgroup satisfies $hN{h}^{-1}=N$ for every $h\in H$, equivalently $hN=Nh$.

If $N$ is normal, the quotient group is the set $H/N$ of cosets, with multiplicationTo check independence of representatives, replace $h,k$ by $h{n}_1,k{n}_2$. Thenbecause normality puts $k^{-1}{n}_{1}k$ in $N$. Thus the operation is well defined. Associativity follows from that in $H$, the identity is $N$, and the inverse of $hN$ is $h^{-1}N$. This proves the group axioms for $H/N$ and explains the role of coset multiplication is well-defined exactly for normal subgroups.

For a normal subgroup $H$, the quotient group consists of its cosets with multiplicationTo check that this is well-defined, replace $g,k$ by $g{h}_1,k{h}_2$ with $h_1,h_2\in H$. Their product issince normality puts $k^{-1}{h}_{1}k$ in $H$. Hence the product does not depend on representatives. Associativity follows from that in $G$, the identity element is $H=eH$, and $(gH{)}^{-1}=g^{-1}H$. These verify the group axioms.

Lagrange's theorem counts the equal-sized cosets:Finally, if $|G|=p$ is prime, choose $g\ne e$. Its cyclic subgroup has order greater than one dividing $p$, hence equals $G$. All elements are powers of $g$, so $g^j{g}^k=g^{j+k}=g^k{g}^j$. Thus