An Entity of Type : yago:Group100031264, within Data Space : dbpedia.org associated with source document(s)

In mathematics, a pro-p group (for some prime number p) is a profinite group such that for any open normal subgroup the quotient group is a p-group. Note that, as profinite groups are compact, the open subgroups are exactly the closed subgroups of finite index, so that the discrete quotient group is always finite. Alternatively, one can define a pro-p group to be the inverse limit of an inverse system of discrete finite p-groups. The best-understood (and historically most important) class of pro-p groups is the p-adic analytic groups: groups with the structure of an analytic manifold over elements.

AttributesValues
rdf:type
rdfs:label
• Pro-p group
rdfs:comment
• In mathematics, a pro-p group (for some prime number p) is a profinite group such that for any open normal subgroup the quotient group is a p-group. Note that, as profinite groups are compact, the open subgroups are exactly the closed subgroups of finite index, so that the discrete quotient group is always finite. Alternatively, one can define a pro-p group to be the inverse limit of an inverse system of discrete finite p-groups. The best-understood (and historically most important) class of pro-p groups is the p-adic analytic groups: groups with the structure of an analytic manifold over elements.
sameAs
dct:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
foaf:isPrimaryTopicOf
prov:wasDerivedFrom
has abstract
• In mathematics, a pro-p group (for some prime number p) is a profinite group such that for any open normal subgroup the quotient group is a p-group. Note that, as profinite groups are compact, the open subgroups are exactly the closed subgroups of finite index, so that the discrete quotient group is always finite. Alternatively, one can define a pro-p group to be the inverse limit of an inverse system of discrete finite p-groups. The best-understood (and historically most important) class of pro-p groups is the p-adic analytic groups: groups with the structure of an analytic manifold over such that group multiplication and inversion are both analytic functions.The work of Lubotzky and Mann, combined with Michel Lazard's solution to Hilbert's fifth problem over the p-adic numbers, shows that a pro-p group is p-adic analytic if and only if it has finite rank, i.e. there exists a positive integer such that any closed subgroup has a topological generating set with no more than elements. The Coclass Theorems have been proved in 1994 by A. Shalev and independently by C. R. Leedham-Green. Theorem D is one of these theorems and asserts that, for any prime number p and any positive integer r, there exist only finitely many pro-p groups of coclass r. This finiteness result is fundamental for the classification of finite p-groups by means of directed coclass graphs.
http://purl.org/voc/vrank#hasRank
is Link from a Wikipage to another Wikipage of
is Wikipage redirect of
is foaf:primaryTopic of
Faceted Search & Find service v1.17_git21 as of Mar 09 2019

Alternative Linked Data Documents: PivotViewer | iSPARQL | ODE     Content Formats:       RDF       ODATA       Microdata      About

OpenLink Virtuoso version 07.20.3230 as of May 1 2019, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (61 GB total memory)