In mathematics, in the field of group theory, especially in the study of p-groups and pro-p-groups, the concept of powerful p-groups plays an important role. They were introduced in , where a number of applications are given, including results on Schur multipliers. Powerful p-groups are used in the study of automorphisms of p-groups , the solution of the restricted Burnside problem , the classification of finite p-groups via the coclass conjectures , and provided an excellent method of understanding analytic pro-p-groups .
A finite p-group is called powerful if the commutator subgroup is contained in the subgroup for odd , or if is contained in the subgroup for .
Powerful p-groups have many properties similar to abelian groups, and thus provide a good basis for studying p-groups. Every finite p-group can be expressed as a section of a powerful p-group.
Powerful p-groups are also useful in the study of pro-p groups as it provides a simple means for characterising p-adic analytic groups (groups that are manifolds over the p-adic numbers): A finitely generated pro-p group is p-adic analytic if and only if it contains an open normal subgroup that is powerful: this is a special case of a deep result of Michel Lazard (1965).
Some properties similar to abelian p-groups are: if is a powerful p-group then:
The Frattini subgroup of has the property
for all That is, the group generated by th powers is precisely the set of th powers.
If then for all
The th entry of the lower central series of has the property for all
Every quotient group of a powerful p-group is powerful.
The Prüfer rank of is equal to the minimal number of generators of
Some less abelian-like properties are: if is a powerful p-group then:
is powerful.
Subgroups of are not necessarily powerful.
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Explore la relation entre p-torsion et p-divisibilité dans la théorie de groupe, mettant en évidence les implications de p-divisibilité dans les séquences exactes des groupes abeliens.
Après une introduction à la théorie des catégories, nous appliquerons la théorie générale au cas particulier des groupes, ce qui nous permettra de bien mettre en perspective des notions telles que quo
En mathématiques, et plus précisément en algèbre, un p-groupe, pour un nombre premier p donné, est un groupe (fini ou infini) dont tout élément a pour ordre une puissance de p. Les p-sous-groupes de Sylow d'un groupe fini sont un exemple important de p-groupes. Tout sous-groupe et tout quotient d'un p-groupe est un p-groupe. Réciproquement, si H est un p-sous-groupe normal d'un groupe G et si le quotient G/H est un p-groupe, alors G est un p-groupe. On peut tirer du point précédent qu'un produit semi-direct de deux p-groupes est un p-groupe.
Let k be an algebraically closed field of characteristic p, where p is a prime number or 0. Let G be a finite group and ppk(G) be the Grothendieck group of p-permutation kG-modules. If we tensor it with C, then Cppk becomes a C-linear biset functor. Recall ...
The aim of this paper is to construct an equivalent of the Dade group of a p-group for an arbitrary finite group G, whose elements are equivalences classes of endo-p-permutation modules. To achieve this goal we use the theory of relative projectivity with ...
Let G be a finite group and let R be a commutative ring. We analyse the (G,G)-bisets which stabilize an indecomposable RG-module. We prove that the minimal ones are unique up to equivalence. This result has the same flavor as the uniqueness of vertices and ...