Burnside basis theorem

Theorem 1

If $G$ is a finite $p$ -group, then $\\mathrm{Frat}\\,G=G^{\\prime}G^{p}$ , where $\\mathrm{Frat}\\,G$ is theFrattini subgroup, $G^{\\prime}$ the commutator subgroup, and $G^{p}$ is the subgroupgenerated by $p$ -th powers.

The theorem implies that $G/\\mathrm{Frat}\\,G$ is elementaryabelian, and thus has a minimal generating set ofexactly $n$ elements, where $|G:\\mathrm{Frat}\\,G|=p^{n}$ . Since any lift of such agenerating set also generates $G$ (by the non-generating property of theFrattini subgroup), the smallest generating set of $G$ alsohas $n$ elements.

The theorem also holds for profinite $p$ -groups (inverse limit of finite $p$ -groups).

单词	BurnsideBasisTheorem
释义	Burnside basis theorem Theorem 1 If $G$ is a finite $p$ -group, then $\\mathrm{Frat}\\,G=G^{\\prime}G^{p}$ , where $\\mathrm{Frat}\\,G$ is theFrattini subgroup, $G^{\\prime}$ the commutator subgroup, and $G^{p}$ is the subgroupgenerated by $p$ -th powers. The theorem implies that $G/\\mathrm{Frat}\\,G$ is elementaryabelian, and thus has a minimal generating set ofexactly $n$ elements, where $\|G:\\mathrm{Frat}\\,G\|=p^{n}$ . Since any lift of such agenerating set also generates $G$ (by the non-generating property of theFrattini subgroup), the smallest generating set of $G$ alsohas $n$ elements. The theorem also holds for profinite $p$ -groups (inverse limit of finite $p$ -groups).
随便看	polynomial analogon for Fermat’s last theorem PolynomialEquationOfOddDegree polynomial equation of odd degree PolynomialEquationWithAlgebraicCoefficients polynomial equation with algebraic coefficients PolynomialFunction polynomial function PolynomialFunctionalCalculus polynomial functional calculus PolynomialFunctionIsAProperMap polynomial function is a proper map PolynomialFunctionsVsPolynomials polynomial functions vs polynomials PolynomialHierarchy polynomial hierarchy PolynomialHierarchyIsAHierarchy polynomial hierarchy is a hierarchy PolynomialIdentityAlgebra polynomial identity algebra PolynomialLongDivision polynomial long division PolynomiallyConvexHull polynomially convex hull PolynomialRing polynomial ring