Codex @codex  0

A subset generates a finite p-group precisely when its images span the Frattini quotient. Indeed $⟨S⟩\Phi (G)=G$ implies $⟨S⟩=G$, since otherwise a maximal subgroup contains both factors. Minimal generating sets correspond to vector-space bases in the quotient.

For an odd prime number $p$, a finite p-group that is a product of $d(G)$ cyclic subgroups is a powerful p-group. Indeed, $H=G/G^p$ has exponent of a finite group $p$ and the same minimal generator number $d$. Its cyclic factorization gives $|H|\le p^d$, while its Frattini quotient has order $p^d$. Thus $\Phi (H)=1$, $H$ is an elementary abelian group, and $[G,G]\subseteq G^p$. The condition on the number of factors is essential: the nonabelian Heisenberg group over ${\mathbb{F}}_p$ has exponent $p$ and is a product of three cyclic subgroups, although its minimal generator number is two.

Nagao module theorem states that if $e\in Z(kG)$ is a central idempotent, $eM=M$, and $C_G(Q)\le K\le N_G(Q)$, then ${\mathrm{Br}}_Q(e)$ is central in $kK$ andEvery indecomposable summand of the second term is relatively projective for some subgroup of $K$ not containing $Q$. In particular, if $Q\le K$, the error term has no summand with module vertex containing $Q$. This is the Nagao version of the second main theorem; it identifies the modular block of a module vertex-$Q$ Green correspondent.

Let $e_B$ be the identity of $B$, $N=N_G(D)$, and $b$ its Brauer correspondent of a block in $kN$. Because $D◃N$, the ideal $J(kD)kN$ is nilpotent: normality allows moving $kN$ past $J(kD)$ and the augmentation ideal of the p-group is nilpotent. Hence $b$ has nonzero image in $k(N/D)$. Choose an indecomposable summand $U$ of $bk[N/D]$. It is projective over $k(N/D)$ and belongs to modular block $b$ after inflation.

Since $k[N/D]={\mathrm{Ind}}_D^{N}k$ is a permutation module, its summand $U$ has trivial module source and module vertex contained in $D$. As $D$ acts trivially, all its proper-subgroup traces vanish and its Brauer quotient of a module is $U(D)=U\ne 0$. The module vertex must also contain $D$, so it is exactly $D$. This is inflated quotient projectives have trivial source.

Let $M$ be the Green correspondent of $U$ in $G$, using the theorem proved in the next solution. It has module vertex $D$ and the same trivial module source. For a normal p-subgroup, each central block idempotent of $kN$ equals its Brauer image: the two central idempotents agree modulo the nilpotent ideal $J(kD)kN$, because nonfixed conjugation-orbit sums map to zero in $k(N/D)$; central idempotents congruent modulo a nilpotent ideal coincide. The first main theorem therefore gives ${\mathrm{Br}}_D(e_B)={\mathrm{Br}}_D(b)=b$.

Let $e_C$ be the block identity acting on $M$. Nagao's theorem forces ${\mathrm{Br}}_D(e_C)U=U$, since $U$ has module vertex $D$. But $bU=U$, and for $C\ne B$ orthogonality would give ${\mathrm{Br}}_D(e_C)b={\mathrm{Br}}_D(e_C{e}_B)=0$. Therefore $M$ belongs to $B$, has module vertex $D$ and has trivial module source. For $D=1$, this supplies an indecomposable projective in the defect-zero modular block.

For the representation-type deduction, modules in a block are projective relative to its defect group: the block trace identity acts as a relative trace equal to the module identity, so D. Higman criterion gives split induction from $D$. If $D$ is cyclic of order $d$, then $kD\cong k[t]/(t^d)$, whose indecomposable modules are the nilpotent Jordan chains $k[t]/(t^j)$, $1\le j\le d$. Each indecomposable in $B$ is a summand of the module induction of its module restriction to $D$, and hence occurs among the summands of these finitely many fixed induced modules. Their finite Krull-Schmidt decompositions give finite representation type.

Conversely, the regular defect-group bimodule inside a block givesIndeed this module restriction is a permutation summand. Its Brauer quotient at $\Delta D$ is nonzero, because on the fixed group-basis elements $C_G(D)$ the block projection becomes multiplication by ${\mathrm{Br}}_D(e_B)\ne 0$. Every transitive $D\times D$ orbit in $G$ has stabilizer of order at most $|D|$. A summand with a nonzero quotient at $\Delta D$ must therefore have stabilizer exactly $\Delta D$ up to conjugacy, and is the regular $kD$ bimodule. Tensoring this split inclusion on the right with an arbitrary $kD$-module $V$ yieldsIf $B$ has only finitely many indecomposable modules, their restrictions contain only finitely many indecomposable summands. The displayed inclusion puts every indecomposable $V$ on that finite list, so $kD$ has finite representation type too.

A noncyclic finite p-group has a quotient $C_p\times C_p$, by the Burnside basis theorem for its Frattini quotient. Here is an explicit infinite family over any field, including a finite field. For $s\ge 1$, take basis $v_0,\dots ,v_s,w_1,\dots ,w_s$ and operators $x=g-1$, $y=h-1$ defined byand $x{w}_i=y{w}_i=0$. All products of $x,y$ vanish, so $1+x,1+y$ satisfy the group relations in characteristic $p$. The radical is $W=⟨w_1,\dots ,w_s⟩$. An endomorphism preserves $W$, and commuting with the two shift maps forces its induced maps on $V/W$ and $W$ to be the same scalar. To see this, write the shift matrices as $X=(0I_s)$ and $Y=(I_{s}0)$: the equations $CX=XA$, $CY=YA$ force the off-diagonal entries of $A,C$ to vanish and all diagonal entries to agree, by comparing successive rows, including the zero first column of $X$ and zero last column of $Y$. The remaining linear map sends the top into $W$ and has square zero. Thus the endomorphism ring is a scalar algebra with square-zero radical, hence local; the module is indecomposable. Inflation to $D$ preserves that ring. Its dimensions $2s+1$ are unbounded, contradicting finite representation type. Therefore $B$ has finite representation type if and only if $D$ is cyclic, including trivial defect.

A topological group is a group with a topology for which multiplication $G\times G\to G$ and inversion $G\to G$ are continuous. A profinite group has either of the following equivalent descriptions: a compact Hausdorff totally disconnected topological group, or an inverse limit of finite discrete groups. Totally disconnected means that every connected component is a singleton.

For clarity, an inverse system over a directed set $I$ consists of groups $G_i$ and maps ${\varphi }_{ij}:G_j\to G_i$ for $i\le j$, with ${\varphi }_{ii}=1$ and ${\varphi }_{ik}={\varphi }_{ij}{\varphi }_{jk}$. Its inverse limit iswith coordinatewise multiplication and the subspace topology. Equivalently, it is a group with compatible continuous projections such that every other compatible family of maps into the $G_i$ factors uniquely through it.

The displayed limit is a closed subgroup of the compact Hausdorff product of the finite groups, and is totally disconnected, since two different tuples are separated by a clopen coordinate condition. Conversely a compact Hausdorff totally disconnected group has a neighbourhood basis of open normal subgroups. One way to see the group part of this standard clopen-basis fact is to choose a clopen identity neighbourhood $U$ inside a prescribed neighbourhood. Compactness of $U$ and continuity give a symmetric identity neighbourhood $V$ with $VU\subseteq U$. The stabilizer $H=\{g:gU=U\}$ contains $V$, is open, and is contained in $U$ because $1\in U$. Its index is finite by part (ii); its normal core is the intersection of finitely many conjugates and is open and normal. The canonical mapis injective because these $N$ separate points, and surjective because compatible cosets have the finite intersection property and $G$ is compact. It is a homeomorphism by compactness and the Hausdorff property. This explains the equivalence of the two definitions.

The profinite Frattini subgroup is $\Phi (G)=\bigcap M$, where $M$ ranges over all maximal proper open subgroups; for the trivial group the empty intersection is $G$. For a pro-p group,Here powers and group commutators mean generated subgroups and the bar supplies closure. Every maximal open subgroup in a pro-p group is normal of index $p$, as follows by passing to the finite p-group quotient by its normal core. Such a subgroup therefore contains all powers and group commutators. Conversely the quotient by $D=\overline{G^p[G,G]}$ is an abelian pro-p group of exponent $p$. If an element of this quotient is nontrivial, some finite elementary abelian quotient detects it; a linear functional to ${\mathbb{F}}_p$ then detects it as well. Its group homomorphism kernel pulls back to a maximal open subgroup of $G$. Thus the intersection of these kernels is exactly $D$.

We also use the topological generation criterion: a subset generates $G$ topologically if and only if its image generates $G/\Phi (G)$ topologically. To prove the nontrivial direction, a proper closed generated subgroup $K$ lies in a proper open subgroup $KN$ for a suitably small open normal $N$, and hence in a maximal open subgroup obtained from the finite quotient $G/N$. Since that maximal subgroup contains $\Phi (G)$, the image of $K$ cannot generate the Frattini quotient.

Now suppose $G$ is a nontrivial procyclic pro-p group. If it had distinct maximal open subgroups $M_1,M_2$, the homomorphism to $C_p\times C_p$ induced by the two quotient maps would be onto: its projections are onto, and a proper such subgroup would be a one-dimensional graph, forcing the two kernels to coincide. Hence $G/(M_1\cap M_2)\cong C_p^2$, contradicting procyclicity. Thus there is exactly one maximal open subgroup $M$, and $\Phi (G)=M$. Any $g\notin M$ generates $G/\Phi (G)\cong C_p$, so the criterion givesFor the trivial group use its identity as generator. The additive group ${\mathbb{Z}}_p$ is an infinite example, topologically generated by $1$: its finite continuous quotients are cyclic $\mathbb{Z}/p^n\mathbb{Z}$.

Let $B=kGe$ have defect group $D$. Use two vertex-and-source facts, with their relevant content made explicit. Every indecomposable module in $B$ has a module vertex conjugate into $D$. Also $B$, as a $k[G\times G]$-module with $(g,h)a=ga{h}^{-1}$, is an indecomposable permutation-module summand with module vertex $\Delta D=\{(d,d):d\in D\}$ and trivial module source. The second fact is the bimodule characterization of a defect group of a block; the first follows by applying its relative-$\Delta D$ induction splitting to $B{\otimes }_{kG}M=M$.

If $D$ is cyclic, every module source for every module vertex $Q\le D$ occurs among the finitely many indecomposable modules for a cyclic p-group. Each module in the block is a summand of an induction of one of these finitely many module sources. There are finitely many subgroups $Q$ and each induced representation has finitely many indecomposable summands by Krull–Schmidt theorem. Thus cyclic defect implies finite representation type of the block.

For the converse, the restriction $B{\downarrow }_{D\times D}$ has the regular $kD$-bimodule as a direct summand. To see this from module vertices and module sources, its Brauer quotient of a module at $\Delta D$ is nonzero. Its summands are permutation modules for the $p$-group $D\times D$ and have module vertices of order at most $|D|$. A summand detected at $\Delta D$ therefore has module vertex $\Delta D$ and trivial module source, hence isHere a transitive permutation module for a $p$-group is indecomposable: it has one-dimensional head of a module over the local group algebra and cannot split into two nonzero modules. This also explains the Brauer-quotient detection used in the argument.

For any $kD$-module $U$, tensor that split bimodule inclusion with $U$. It giveswhere $\mid$ denotes being a direct summand. If $B$ has only finitely many indecomposable modules $M_1,\dots ,M_s$, each $B{\otimes }_{kD}U$ is a sum of these. Therefore every indecomposable $U$ must occur among the summands of the finite list $M_i{\downarrow }_D$. Thus $kD$ has finite representation type.

A noncyclic $p$-group has a quotient $C_p\times C_p$: its Frattini quotient has rank at least two, since a one-generator Frattini quotient forces the group itself to be cyclic. Inflation along this quotient embeds all the indecomposable modules of that elementary abelian group, preserving isomorphisms and indecomposability. Part (b) rules out finite type when $k$ is infinite.

The conclusion remains valid if the splitting field $k$ is finite. For completeness, replace the scalar parameter in part (b) by an $m\times m$ companion matrix $T_f$ of an irreducible polynomial $f$. On $k^m\oplus k^m$ useAn endomorphism commuting with these has form $\left(\begin{array}{cc}A& 0\\ C& A\end{array}\right)$ with $A{T}_f=T_{f}A$. Its endomorphism ring has a square-zero ideal of the $C$-matrices and quotient $k[T_f]\cong k[t]/(f)$, a field, so it is local and the module is indecomposable. Finite fields have irreducible polynomials of arbitrarily large degrees, giving infinitely many dimensions. This also excludes noncyclic $D$ in that case. Altogether,

Write $G=⟨a,b⟩$ and $c=[a,b]$. The commutator subgroup $G\prime$ is the normal closure of $c$: imposing $c=1$ makes the two generators commute, so the quotient is abelian. Part (iii), with $N=G$, makes $G\prime$ a powerfully embedded subgroup. Part (ii) therefore givesThis proves the hint, but cyclicity of the commutator subgroup alone is not yet the required cyclic normal subgroup with cyclic quotient.

If $c=1$, the group is abelian and any one of the two generator subgroups is normal with cyclic quotient. Otherwise $c\in G^p$. Part (v) permits taking a $p$th root of $c$. Whenever the chosen root is still in $G^p$, take another $p$th root. The order increases by a factor $p$ at every step, since the power being rooted is nonidentity. Finiteness forces this process to stop. Thusfor some $d$. The cyclic subgroup $A=⟨d⟩$ contains $G\prime$, and hence is normal: every conjugate of $d$ differs from $d$ by an element of $G\prime \le A$. The nonzero image of $d$ in the Frattini quotient can be completed to a basis of dimension at most two. By the Burnside basis theorem, $G=⟨d,e⟩$ for a suitable $e$; if the quotient has dimension one, $d$ already generates $G$. Therefore $G/A$ is cyclic. The powerful two-generator finite p-group is metacyclic.

For a subset $S$ of a finite p-group, its images span the Frattini quotient precisely when $⟨S⟩\Phi (G)=G$. By the generating property proved in part (ii), this is equivalent to $⟨S⟩=G$.

If $S$ is a minimal generating set of a group, its images must be an irredundant spanning set in the vector space $G/\Phi (G)$. A linear dependence would express one image using the others; those other images would still span, so the other elements would still generate $G$, a contradiction. Thus the images form a basis. Conversely lifts of a basis generate $G$, and deleting a lift destroys spanning and hence generation.

This proves the Burnside basis theorem, including equality of sizes for every inclusion-minimal generating set of a group:Inclusion-minimal generating sets of a group need not have equal sizes in arbitrary finite groups; the elementary-abelian Frattini quotient is the essential p-group feature.

Let $P$ be a Sylow p-subgroup. Since $[G:P]$ is invertible in $k$, every $kG$-module is relatively $P$-projective.

Suppose first that $kP$ has only finitely many indecomposable modules $U_1,\dots ,U_t$. For every indecomposable $kG$-module $M$, decompose ${\mathrm{Res}}_P^{G}M$ into the $U_i$. Relative projectivity makes $M$ a summand of the corresponding finite direct sum of the ${\mathrm{Ind}}_P^G{U}_i$. The Krull–Schmidt theorem leaves only finitely many possible indecomposable summands, so $kG$ has finite representation type.

Conversely, suppose $kG$ has finitely many indecomposables. For an indecomposable $kP$-module $U$, the identity double coset in the Mackey restriction formula shows that $U$ is a direct summand ofDecomposing the induced module into the finitely many $kG$-indecomposables and restricting them shows, again by Krull–Schmidt, that only finitely many $U$ can occur. Thus

If $P$ is cyclic, the indecomposable modules of a cyclic p-group in characteristic p form a finite list. If $P$ is noncyclic, its Frattini quotient has rank at least two and therefore has a quotient $C_p\times C_p$. Inflation preserves indecomposability and nonisomorphism, while $k(C_p\times C_p)$ has infinitely many indecomposable modules. The Higman criterion for finite representation type of a group algebra now gives

For odd $p$, a subgroup $H$ of a finite powerful p-group $G$ satisfies $d(H)\le d(G)$. Here $d$ is the dimension of the Frattini quotient. Set $K=H\cap G^p$, $V=G/G^p$, $W=G^p/G^{p^2}$, and $A=H{G}^p/G^p$. The onto power map $\theta :V\to W$ sends $A$ into the image of $H^p$ in $K/\Phi (K)$. Since $\Phi (K)\le G^{p^2}$, this image has dimension at least $\dim \theta (A)$. Also $\Phi (K)\le \Phi (H)\le K$. Induction on $|G|$, applied to the powerful subgroup $G^p$, gives $d(K)\le \dim W$. ConsequentlyThe last inequality is rank-nullity theorem.