Prüfer Rank
In mathematics, especially in the area of algebra known as group theory, the Prüfer rank of a pro-p group measures the size of a group in terms of the ranks of its elementary abelian sections.. The rank is well behaved and helps to define analytic pro-p-groups. The term is named after Heinz Prüfer. Definition The Prüfer rank of pro-p-group G is ::\sup\ where d(H) is the rank of the abelian group :H/\Phi(H), where \Phi(H) is the Frattini subgroup of H. As the Frattini subgroup of H can be thought of as the group of non-generating elements of H, it can be seen that d(H) will be equal to the ''size of any minimal generating set'' of H. Properties Those profinite groups with finite Prüfer rank are more amenable to analysis. Specifically in the case of finitely generated pro-p groups, having finite Prüfer rank is equivalent to having an open normal subgroup that is powerful. In turn these are precisely the class of pro-p groups that are p-adic analytic - that is g ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of t ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Abstract Algebra
In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures. Algebraic structures include group (mathematics), groups, ring (mathematics), rings, field (mathematics), fields, module (mathematics), modules, vector spaces, lattice (order), lattices, and algebra over a field, algebras over a field. The term ''abstract algebra'' was coined in the early 20th century to distinguish this area of study from older parts of algebra, and more specifically from elementary algebra, the use of variable (mathematics), variables to represent numbers in computation and reasoning. Algebraic structures, with their associated homomorphisms, form category (mathematics), mathematical categories. Category theory is a formalism that allows a unified way for expressing properties and constructions that are similar for various structures. Universal algebra is a related subject that studies types of algebraic structures as single objects. For exampl ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Group Theory
In abstract algebra, group theory studies the algebraic structures known as group (mathematics), groups. The concept of a group is central to abstract algebra: other well-known algebraic structures, such as ring (mathematics), rings, field (mathematics), fields, and vector spaces, can all be seen as groups endowed with additional operation (mathematics), operations and axioms. Groups recur throughout mathematics, and the methods of group theory have influenced many parts of algebra. Linear algebraic groups and Lie groups are two branches of group theory that have experienced advances and have become subject areas in their own right. Various physical systems, such as crystals and the hydrogen atom, and Standard Model, three of the four known fundamental forces in the universe, may be modelled by symmetry groups. Thus group theory and the closely related representation theory have many important applications in physics, chemistry, and materials science. Group theory is also ce ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Pro-p Group
In mathematics, a pro-''p'' group (for some prime number ''p'') is a profinite group G such that for any open normal subgroup N\triangleleft G the quotient group G/N 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 \mathbb_p 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 r suc ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Elementary Abelian Group
In mathematics, specifically in group theory, an elementary abelian group (or elementary abelian ''p''-group) is an abelian group in which every nontrivial element has order ''p''. The number ''p'' must be prime, and the elementary abelian groups are a particular kind of ''p''-group. The case where ''p'' = 2, i.e., an elementary abelian 2-group, is sometimes called a Boolean group. Every elementary abelian ''p''-group is a vector space over the prime field with ''p'' elements, and conversely every such vector space is an elementary abelian group. By the classification of finitely generated abelian groups, or by the fact that every vector space has a basis, every finite elementary abelian group must be of the form (Z/''p''Z)''n'' for ''n'' a non-negative integer (sometimes called the group's ''rank''). Here, Z/''p''Z denotes the cyclic group of order ''p'' (or equivalently the integers mod ''p''), and the superscript notation means the ''n''-fold direct product of groups. In ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Section (group Theory)
In the mathematical fields of category theory and abstract algebra, a subquotient is a quotient object of a subobject. Subquotients are particularly important in abelian categories, and in group theory, where they are also known as sections, though this conflicts with a different meaning in category theory. In the literature about sporadic groups wordings like «H is involved in G» can be found with the apparent meaning of «H is a subquotient of G». A quotient of a subrepresentation of a representation (of, say, a group) might be called a subquotient representation; e.g., Harish-Chandra's subquotient theorem. p. 310 Examples Of the 26 sporadic groups, the 20 subquotients of the monster group are referred to as the "Happy Family", whereas the remaining 6 as "pariah groups". Order relation The relation ''subquotient of'' is an order relation. Proof of transitivity for groups Let H'/H'' be subquotient of H, furthermore H := G'/G'' be subquotient of G and \varphi \colon G' \ ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Heinz Prüfer
Ernst Paul Heinz Prüfer (10 November 1896 – 7 April 1934) was a German Jewish mathematician born in Wilhelmshaven. His major contributions were on abelian groups, graph theory, algebraic numbers, knot theory and Sturm–Liouville theory. In 1915 he began his University studies in Mathematics, Physics and Chemistry in Berlin. After that he started his Doctorate degree with Issai Schur as his advisor at Friedrich Wilhelm University, Berlin. In 1921 he obtained his Doctorate degree. His thesis was named ''Unendliche Abelsche Gruppen von Elementen endlicher Ordnung'' (Infinite abelian groups of elements of finite order). This thesis set the road for his contributions on abelian groups. In 1922 he worked with mathematician Paul Koebe in the University of Jena, and in 1923 he obtained tenure and was at this University until 1927. In that year he moved to Münster University where he worked until the end of his life. His final work was about projective geometry, but it was posth ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Pro-p-group
In mathematics, a pro-''p'' group (for some prime number ''p'') is a profinite group G such that for any open normal subgroup N\triangleleft G the quotient group G/N 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 \mathbb_p 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 r suc ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Rank Of An Abelian Group
In mathematics, the rank, Prüfer rank, or torsion-free rank of an abelian group ''A'' is the cardinality of a maximal linearly independent subset. The rank of ''A'' determines the size of the largest free abelian group contained in ''A''. If ''A'' is torsion-free then it embeds into a vector space over the rational numbers of dimension rank ''A''. For finitely generated abelian groups, rank is a strong invariant and every such group is determined up to isomorphism by its rank and torsion subgroup. Torsion-free abelian groups of rank 1 have been completely classified. However, the theory of abelian groups of higher rank is more involved. The term rank has a different meaning in the context of elementary abelian groups. Definition A subset of an abelian group ''A'' is linearly independent (over Z) if the only linear combination of these elements that is equal to zero is trivial: if : \sum_\alpha n_\alpha a_\alpha = 0, \quad n_\alpha\in\mathbb, where all but finitely many ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Frattini Subgroup
In mathematics, particularly in group theory, the Frattini subgroup \Phi(G) of a group is the intersection of all maximal subgroups of . For the case that has no maximal subgroups, for example the trivial group or a Prüfer group, it is defined by \Phi(G)=G. It is analogous to the Jacobson radical in the theory of rings, and intuitively can be thought of as the subgroup of "small elements" (see the "non-generator" characterization below). It is named after Giovanni Frattini, who defined the concept in a paper published in 1885. Some facts * \Phi(G) is equal to the set of all non-generators or non-generating elements of . A non-generating element of is an element that can always be removed from a generating set; that is, an element ''a'' of such that whenever is a generating set of containing ''a'', X \setminus \ is also a generating set of . * \Phi(G) is always a characteristic subgroup of ; in particular, it is always a normal subgroup of . * If is finite, then \Phi( ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Profinite Group
In mathematics, a profinite group is a topological group that is in a certain sense assembled from a system of finite groups. The idea of using a profinite group is to provide a "uniform", or "synoptic", view of an entire system of finite groups. Properties of the profinite group are generally speaking uniform properties of the system. For example, the profinite group is finitely generated (as a topological group) if and only if there exists d\in\N such that every group in the system can be generated by d elements. Many theorems about finite groups can be readily generalised to profinite groups; examples are Lagrange's theorem and the Sylow theorems. To construct a profinite group one needs a system of finite groups and group homomorphisms between them. Without loss of generality, these homomorphisms can be assumed to be surjective, in which case the finite groups will appear as quotient groups of the resulting profinite group; in a sense, these quotients approximate the profi ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Open Set
In mathematics, open sets are a generalization of open intervals in the real line. In a metric space (a set along with a distance defined between any two points), open sets are the sets that, with every point , contain all points that are sufficiently near to (that is, all points whose distance to is less than some value depending on ). More generally, one defines open sets as the members of a given collection of subsets of a given set, a collection that has the property of containing every union of its members, every finite intersection of its members, the empty set, and the whole set itself. A set in which such a collection is given is called a topological space, and the collection is called a topology. These conditions are very loose, and allow enormous flexibility in the choice of open sets. For example, ''every'' subset can be open (the discrete topology), or no set can be open except the space itself and the empty set (the indiscrete topology). In practice, howe ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |