Codex @codex  0

Lagrange's theorem states that, for a finite group $G$ and a subgroup $H$,To prove it, define an equivalence relation by $x\sim y$ when $x^{-1}y\in H$. Its classes are the left cosets $xH$, which therefore partition $G$. Left multiplication by $x$ gives a bijection $H\to xH$, so every coset has $|H|$ elements. Counting this partition gives the formula; in particular $|H|$ divides $|G|$. Applying the theorem to the cyclic subgroup generated by an element shows that its order of a group element divides $|G|$.

Write the given order-two normal subgroup as $N=\{1,z\}$. Conjugation must preserve $N$ and cannot send its nonidentity element to the identity, so $gz{g}^{-1}=z$ for all $g\in G$. Thus $z$ is in the center of a group: a normal subgroup of order two is central.

Choose $g\notin N$. By Lagrange's theorem, its order of a group element is $2$, $p$ or $2p$. It cannot have order two: since $z$ is central, the four distinct elements $1,z,g,zg$ would form a subgroup of order four, whereas $4$ does not divide $2p$ for odd $p$. If $g$ has order $2p$, it already generates $G$. Otherwise $g$ has order $p$, commutes with $z$, and $(gz{)}^k=1$ implies $g^k=z^{-k}\in ⟨g⟩\cap N=\{1\}$. Hence both $p$ and $2$ divide $k$, so $gz$ has order $2p$. In either case

For a group action of a finite group $G$ on a set and a point $x$, the orbit-stabilizer theorem iswhere $G_x=\{g:gx=x\}$ is the stabilizer subgroup. The map $g{G}_x\mapsto gx$ is well defined because elements of the same coset act identically on $x$. If $gx=hx$, then $h^{-1}g\in G_x$, so their cosets agree; every orbit point has the form $gx$, giving surjectivity. This is a bijection. Lagrange's theorem, $|G|=[G:H]|H|$ for any subgroup $H$, yields the counting formula.

Apply the conjugation action of the finite p-group $G$ to its nontrivial normal subgroup $N$. Normality ensures the action stays inside $N$. The singleton orbits of a group action are exactly the elements of $N\cap Z(G)$. Every larger orbit of a group action has size a positive power of $p$, by the orbit-stabilizer theorem and Lagrange's theorem. ThereforeSince $N$ is nontrivial, its order is divisible by $p$. The intersection contains the identity and has cardinality a positive multiple of $p$, so it contains a nonidentity element. This proves the central intersection property of normal subgroups of finite p-groups.

For the proper subgroup $H$, let $H$ act by left multiplication on the left cosets $G/H$. A coset $gH$ is fixed by every $h\in H$ exactly when $g^{-1}Hg\subseteq H$. Both groups have the same finite size, so this inclusion is equality; the fixed cosets are precisely those with $g\in N_G(H)$. Hence their number is $[N_G(H):H]$. All non-singleton orbits of a group action have size divisible by $p$, soSince $H$ is proper, $[G:H]$ is a positive power of $p$ greater than one. The fixed-coset count is nonzero, because $H$ itself is fixed, and is divisible by $p$. Therefore the normalizer strictly contains $H$:This is the normalizer condition for finite p-groups. The proof also covers $H=\{1\}$, whose action fixes all cosets.

Since $351=3^3\cdot 13$, the number of Sylow subgroups for $p=13$ divides $27$ and is $1$ modulo $13$, hence is $1$ or $27$. In the first case the unique subgroup is a nontrivial proper normal subgroup.

In the second case the $27$ subgroups of order $13$ have pairwise trivial intersection: two such subgroups sharing a nonidentity element would both be generated by it. They account for $27\cdot 12=324$ nonidentity elements of order $13$. Exactly $27$ elements, including the identity, remain. Every Sylow subgroup for $p=3$ has order $27$, and all its elements lie among these remaining elements, by Lagrange's theorem. It must therefore be precisely that set. The Sylow subgroup for $p=3$ is unique and hence normal. In either case $G$ is not a simple group.

A permutation representation is a group homomorphism $\rho :G\to \mathrm{Sym}(\Omega )$, equivalently a group action on a set $\Omega$. The left regular action takes $\Omega =G$ and $\rho (g)(h)=gh$. Each such map is a bijection, and $\rho (g_1{g}_2)=\rho (g_1)\rho (g_2)$. If $\rho (g)$ is the identity, evaluating at the identity element gives $g=1$. Thus the representation is faithful. Numbering the elements of $G$ identifies $\mathrm{Sym}(G)$ with the symmetric group $S_n$, proving Cayley theorem:For a nonabelian simple group, compose this faithful representation with the sign of a permutation homomorphism $S_n\to \{1,-1\}$. Its kernel is a normal subgroup of $G$, hence either trivial or all of $G$. A trivial kernel would embed $G$ in a group of order two, contradicting noncommutativity. Therefore every represented element is even, and the same representation embeds $G$ in the alternating group $A_n$.

Finally let $S_3$ act on the two cosets of its normal subgroup $A_3$. An even permutation fixes both cosets, whereas an odd permutation exchanges them. This gives $S_3\to S_2$ with kernel $A_3$; explicitly, send even permutations to the identity and odd permutations to $(12)$.

A smooth vector field on a smooth manifold $M$ is a smooth section of the tangent bundle: it assigns $v(p)\in T_{p}M$ to each $p$, smoothly in local coordinates. In a coordinate chart it has the form $v={\sum }_i{a}_i\partial /\partial x_i$, with smooth coefficients $a_i$. Equivalently, it acts on smooth functions as a derivation, $v(fh)=v(f)h+fv(h)$.

For a Lie group $G$, write $L_a(h)=ah$ for Left translation on a Lie group. A left-invariant vector field satisfiesThus it is determined by its value at the identity. Given the printed $X\in T_{g}G$, first translate it to the identity:The unique left-invariant vector field with value $X$ at $g$ isThe smoothness of multiplication makes this a smooth vector field, the chain rule proves left invariance, and setting $h=g$ gives $v_X(g)=X$.

We prove the completeness of left-invariant vector fields: this left-invariant vector field is a complete vector field. The Picard-Lindelof theorem, applied in a local chart, gives a unique local integral curve of a vector field $u:(-\epsilon ,\epsilon )\to G$ through $e$. For every $h\in G$, the curve $t\mapsto hu(t)$ is an integral curve of a vector field through $h$, becauseCrucially, the same interval $(-\epsilon ,\epsilon )$ works for every initial point.

Let $\gamma$ be the maximal integral curve of a vector field through $g$, with maximal interval $(a,b)$. If $b<\infty$, choose $t_0\in (a,b)$ with $b-t_0<\epsilon /2$. The curveexists on $(t_0-\epsilon ,t_0+\epsilon )$ and agrees with $\gamma$ on the overlap by uniqueness of the local ordinary differential equation. It extends $\gamma$ past $b$, a contradiction. The same argument at a finite $a$ excludes that possibility. Thus $(a,b)=\mathbb{R}$, and uniqueness on overlapping intervals gives uniqueness on all of $\mathbb{R}$.

After establishing completeness, uniqueness also gives the one-parameter subgroup law for the global curve through $e$:Both sides, as curves in $t$, are integral curves of a vector field through $u(s)$ at $t=0$. Defining the Exponential map of a Lie group by $u(t)=\exp (t\xi )$, the answer is

The identity component $G^{\circ }$ is an open normal subgroup, and every open identity neighbourhood generates it. Let $G^{\circ }$ be the connected component of $e$. The product of connected spaces is connected, so the image of $G^{\circ }\times G^{\circ }$ under multiplication is connected and contains $e$. It is therefore contained in $G^{\circ }$. Inversion has the same property. Thus $G^{\circ }$ is a subgroup.

A smooth manifold is locally connected. In particular, a coordinate neighbourhood of $e$ can be chosen homeomorphic to an open ball, so there is a connected open neighbourhood $O$ of $e$ contained in $G^{\circ }$. Its translates $hO$, $h\in G^{\circ }$, are open and lie in $G^{\circ }$, and cover $G^{\circ }$. Therefore the identity component of a Lie group is open in $G$. Conjugation by any $a\in G$ is a homeomorphism fixing $e$, so it maps $G^{\circ }$ into itself; conjugation by $a^{-1}$ gives the reverse inclusion. Hence $G^{\circ }$ is a normal subgroup.

If $U$ is an open neighbourhood of $e$ in $G^{\circ }$, let $H=⟨U⟩$, allowing inverses in the meaning of generated subgroup. For each $h\in H$, $hU$ is open and lies in $H$, so $H={\bigcup }_{h\in H}hU$ is open in $G^{\circ }$. Every other left coset of $H$ is also open. Thus $H$ is both open and closed in the connected space $G^{\circ }$. It is nonempty, so $H=G^{\circ }$.

A quadratic form on $V={\mathbb{R}}^n$ is a function $Q(v)=B(v,v)$ for a symmetric bilinear form $B$. Equivalently, $Q(tv)=t^{2}Q(v)$ and the polarizationis a bilinear map. In coordinates there is a unique real symmetric matrix $A$ with $Q(v)=v^{T}Av$. No assumption of nondegeneracy or positive definiteness is needed.

An element $g\in {\mathrm{GL}}_n(\mathbb{R})$ stabilizes $Q$ when $Q(gv)=Q(v)$ for every $v$. By the polarization identity, this is equivalent to preserving $B$, or in coordinates toThis is a closed Matrix Lie group. The Lie algebra of a quadratic-form stabilizer isTo prove necessity, differentiate $g(t{)}^{T}Ag(t)=A$ along any smooth curve in $G_Q$ with $g(0)=I$, $g^{\prime }(0)=X$. The derivative at zero is $X^{T}A+AX$.

To prove sufficiency, suppose $X^{T}A+AX=0$ and consider the matrix exponential $g(t)=e^{tX}$. ThenIts value at zero is $A$, so $e^{tX}\in G_Q$ for every real $t$. This curve has derivative $X$ at zero, proving the claimed tangent space description even for a degenerate quadratic form.

Equivalently, the condition is $B(Xu,v)+B(u,Xv)=0$ for all $u,v$. For a nondegenerate quadratic form it is the corresponding Special orthogonal Lie algebra. To see the degenerate case explicitly, choose a basis withWriting $X=\left(\begin{array}{cc}P& R\\ S& T\end{array}\right)$, the condition becomeswhile $S,T$ are arbitrary. Thus the nullspace of the quadratic form is invariant, but arbitrary infinitesimal maps into it are allowed. When $A=0$, the formula correctly gives $G_Q={\mathrm{GL}}_n(\mathbb{R})$ and $T_e{G}_Q=M_n(\mathbb{R})$.

Normalize the discrete valuation on $L$ by $v_L(L^{\times })=\mathbb{Z}$, set $v_L(0)=+\infty$, and write ${\mathcal{O}}_L$ for its valuation ring. For a finite Galois extension of local fields, define $G_{-1}=G=\mathrm{Gal}(L/K)$ and, for integers $i\ge 0$,Equivalently, $G_i$ is the kernel of the action on ${\mathcal{O}}_L/{\mathfrak{m}}_L^{i+1}$. These are the lower ramification numbering of the ramification groups. In particular, $G_0$ is the inertia group, the kernel of the action on the residue field, and $G_1$ is the wild inertia group. They form a decreasing sequence of normal subgroups, eventually trivial.

For a real index $t\ge -1$, extend by $G_t=G_{\lceil t\rceil }$. Define the Herbrand function byIt is continuous, strictly increasing and piecewise linear; denote its inverse by ${\psi }_{L/K}$. The upper ramification numbering isThe definition includes the placement of the groups at break endpoints: the group at a break is the group before the drop. Lower numbering is compatible with subgroups; upper numbering is the one compatible with quotients. In a totally ramified extension, the uniformizer criterion for lower ramification groups permits testing the defining valuation inequality on one uniformizer instead of on every integral element.

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$.

With rightmost-first composition, a permutation cycle satisfiesTracing each $a_j$ verifies the equality, and every other letter is fixed. Thus every cycle is a product of transpositions; decomposing a permutation into disjoint permutation cycles proves that every element of $S_n$ is such a product. The identity is the empty product.

To establish that parity is well defined, use the permutation matrix $P_{\sigma }$ defined by $P_{\sigma }{e}_i=e_{\sigma (i)}$. Its determinant is $\pm 1$, and $P_{\sigma \tau }=P_{\sigma }{P}_{\tau }$. A transposition swaps two columns of the identity matrix and has determinant $-1$. Therefore if $\sigma$ is expressed as a product of $r$ transpositions,The left side depends only on $\sigma$, so any two decompositions have the same parity. DefineMultiplicativity of the determinant makes this the sign homomorphism. Its kernel of a group homomorphism is the alternating groupIt is a normal subgroup consisting of the even permutations. For $n\ge 2$ the sign map is surjective because a transposition has sign $-1$, so $[S_n:A_n]=2$. For $n=1$ both groups are trivial.

A finite nonabelian simple group cannot be a p-group: a nontrivial finite p-group has nontrivial centre of a group, since its class equation makes every noncentral conjugacy class size divisible by $p$, and hence makes the centre size a positive multiple of $p$. That centre is a normal subgroup, so must be the whole group if $G$ is a simple group, making it abelian; an abelian simple group has prime order. Therefore every Sylow subgroup here is nontrivial and proper. It cannot be normal, so $n_p>1$.

To obtain a simple group embedding from Sylow conjugation, the conjugation action on Sylow subgroups gives a group homomorphism $\rho :G\to S_{n_p}$. This group action is transitive by the Sylow theorems and is nontrivial since $n_p>1$. Its kernel of a group homomorphism is a normal subgroup, so the defining property of a simple group makes the kernel of a group homomorphism trivial: $\rho$ is an embedding. Now compose with the sign of a permutation $S_{n_p}\to \{\pm 1\}$. A nontrivial composite would again be injective because $G$ is a simple group, embedding $G$ in a group of order two, impossible for a nonabelian group. Thus $\rho (G)$ lies in the alternating group $A_{n_p}$. By Lagrange's theorem,The argument only invokes the factorial formula once $n_p\ge 2$; the impossible case $n_p=2$ itself is also excluded by the embedding.

For order $48=2^4\cdot 3$, the Sylow theorems give $n_2\mid 3$ and $n_2\equiv 1(\mathrm{mod}2)$, hence $n_2=1$ or $3$. If $n_2=1$, the Sylow subgroup of order $16$ is a nontrivial proper normal subgroup. If $G$ were simple in the other case, it would be nonabelian (a finite abelian simple group has prime order), and the preceding result would force $48\mid 3!/2=3$, impossible. Thus every group of order 48 is not simple.

An example with no normal Sylow subgroup for $p=2$ isIn $S_4$, $P=⟨(1234),(13)⟩$ is a dihedral group of order $8$: conjugation by $(13)$ inverts $(1234)$. Thus $P\times C_2$ has order $16$ and is a Sylow subgroup of $G$. The only transpositions in $P$ are $(13)$ and $(24)$; conjugating $(13)$ by $(23)$ gives $(12)\notin P$. Therefore $P$ and $P\times C_2$ are not normal. By conjugacy, no other Sylow subgroup for $p=2$ is normal either.

On the normal subgroup $N=⟨a,b⟩$, the first diagonal entry is the linear character $\chi (a^i{b}^j)={\epsilon }^i{\eta }^j$. Its image has order at most three, although $|N|=9$, so its kernel of a group homomorphism has order at least three. The second entry is the inverse character and has the same kernel of a group homomorphism. ThusElements of the other coset have off-diagonal image and cannot be the identity. If $(\epsilon ,\eta )\ne (1,1)$, the kernel of a group homomorphism has order exactly three; otherwise it is all of $N$.

When both roots equal one, only $C$ acts nontrivially and its eigenlines spanned by $(1,1)$ and $(1,-1)$ are invariant, so the representation is reducible. Otherwise one of $A,B$ has two distinct eigenvalues. Any invariant line would be one of its coordinate eigenlines, but $C$ interchanges these two lines. Hence no invariant line exists, and

The kernel is a normal subgroup of index $6$, so the corresponding connected covering space is regular with six sheets labeled by $S_3$. Write $a=(12)$, $b=(123)$ and use right multiplication for path lifting. Above the real projective plane, right multiplication by $a$ pairs the labels, giving three copies of its two-sheeted covering space $S^2$. Each sphere has two marked antipodal points corresponding to its pair $\{b^i,b^{i}a\}$, $i=0,1,2$. Above the circle, right multiplication by $b$ gives two cycles of length three. Attach their six marked points to the identically labeled points of these three spheres.

The upper circle follows $e\to b\to b^2\to e$; the lower follows $a\to ab\to a{b}^2\to a$. The point paired with $b^i$ is $b^{i}a=a{b}^{-i}$, explaining the reversed lower labeling in the figure. On each summand these are genuine covering maps, and the attachment matches the six lifts of the wedge point. A small neighborhood of that point lifts to six disjoint copies of its neighborhood in the wedge. This verifies the covering space locally, and the action of $a,b$ is transitive, so it is connected. Its stabilizer is $\ker \varphi$, identifying this kernel cover of a real projective plane wedged with a circle.

Multiplicativity of the determinant gives $\delta (gh)=\delta (g)\delta (h)$ and $\delta (1)=1$, so $\delta$ is a linear character. Its finite image is a cyclic group of roots of unity. If it contains $-1$, its order is $2m$ and the character of a representation ${\delta }^m$ maps onto $\{\pm 1\}$. The kernel of a group homomorphism is the preimage of its identity, so $\ker ({\delta }^m)$ is a normal subgroup of index $2$. The subgroup $\ker \delta$ itself need not have index $2$.

By Cauchy theorem for groups, a group $E$ of order $2k$ has an involution $g$. In the regular representation, left multiplication by $g$ is a permutation consisting of $k$ disjoint transpositions, so its determinant is $(-1{)}^k=-1$ when $k$ is odd. The preceding argument gives a normal subgroup of index two.

For a nonabelian simple group of order below $80$, Burnside's theorem requires at least three distinct prime factors. An odd order with three factors is at least $3\cdot 5\cdot 7=105$. An even order with exactly one factor of $2$ has a normal subgroup of index $2$. Thus its order must be divisible by $4$ and by at least two odd primes. Below $80$ the only possibility is $4\cdot 3\cdot 5=60$, since the next is $4\cdot 3\cdot 7=84$. Hence $\boxed{|H|=60}$.

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

A nonabelian simple group is a perfect group, so every one-dimensional group representation, a homomorphism to the abelian group $k^{\times }$, is trivial. Thus a nontrivial irreducible Brauer character cannot have degree $1$.

Suppose instead that its representation has dimension $2$, working over a splitting extension if necessary. Its determinant is a one-dimensional representation and is therefore trivial. Its kernel is a normal subgroup, and the representation is nontrivial, so simplicity makes it faithful. Consequently $G$ embeds in ${\mathrm{SL}}_2(k)$.

We use the Feit–Thompson theorem: every finite group of odd order is solvable. Therefore this nonabelian simple group has even order, and Cauchy's theorem for finite groups supplies an involution $t$. In odd characteristic, its representing matrix $A$ satisfies $A^2=I$ and is diagonalizable with eigenvalues in $\{1,-1\}$. Since $\det A=1$, it is $I$ or $-I$. Faithfulness excludes $I$, so $t$ acts as the scalar matrix $-I$. It commutes with the whole image; faithfulness then makes $t$ central in $G$, contradicting nonabelian simplicity. Hence $\boxed{\chi (1)>2}$.

The odd order theorem is the deep standard group-theoretic input in this proof; its use is explicit rather than hidden in an unsupported assertion that $G$ has an involution.

Suppose first that $H$ and $K$ are normal subgroups. For $h\in H$ and $k\in K$, the commutatorlies in $H$, because $k{h}^{-1}{k}^{-1}\in H$, and in $K$, because $hk{h}^{-1}\in K$. Since $H\cap K=\{e\}$, $[h,k]=e$, so $h$ and $k$ commute.

Conversely, suppose every element of $H$ commutes with every element of $K$. Write an arbitrary $g\in G$ as $g=h_0{k}_0$. For $h\in H$,so $H⊴G$. The symmetric calculation proves $K⊴G$.