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.
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
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
In mathematics, specifically group theory, given a prime number p, a p-group is a group in which the order of every element is a power of p. That is, for each element g of a p-group G, there exists a nonnegative integer n such that the product of pn copies of g, and not fewer, is equal to the identity element. The orders of different elements may be different powers of p. Abelian p-groups are also called p-primary or simply primary. A finite group is a p-group if and only if its order (the number of its elements) is a power of p.
Explores the relationship between p-torsion and p-divisibility in group theory, highlighting implications of p-divisibility in exact sequences of abelian groups.
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 ...
2012
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 ...