This HTML5 document contains 49 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n8https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
dbphttp://dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Pro-p_group
rdf:type
yago:WikicatTopologicalGroups yago:Group100031264 yago:Abstraction100002137
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.
dcterms:subject
dbc:P-groups dbc:Properties_of_groups dbc:Infinite_group_theory dbc:Topological_groups
dbo:wikiPageID
1842075
dbo:wikiPageRevisionID
979061193
dbo:wikiPageWikiLink
dbc:P-groups dbr:P-group dbc:Topological_groups dbr:Quotient_group dbr:P-adic_number dbr:Residual_property_(mathematics) dbr:Inverse_system dbr:Michel_Lazard dbr:Hilbert's_fifth_problem dbr:Index_of_a_subgroup dbr:Compact_space dbr:Inverse_limit dbr:Matrix_(mathematics) dbr:Descendant_tree_(group_theory) dbr:Profinite_group dbc:Infinite_group_theory dbr:Open_set dbr:Mathematics dbc:Properties_of_groups dbr:Manifold dbr:Prime_number dbr:Discrete_space dbr:Prüfer_rank dbr:Cambridge_University_Press dbr:Alexander_Lubotzky dbr:Closed_set dbr:Identity_matrix dbr:Normal_subgroup
owl:sameAs
n8:4u5RF freebase:m.06067q yago-res:Pro-p_group wikidata:Q7246615
dbp:wikiPageUsesTemplate
dbt:Algebra-stub dbt:Citation
dbo: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. More generally it was shown that a finitely generated profinite group is a compact p-adic Lie group if and only if it has an open subgroup that is a uniformly powerful pro-p-group. 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.
prov:wasDerivedFrom
wikipedia-en:Pro-p_group?oldid=979061193&ns=0
dbo:wikiPageLength
3786
foaf:isPrimaryTopicOf
wikipedia-en:Pro-p_group