Prüfer group

Prüfer group

In mathematics, specifically group theory, the Prüfer p-group or the p-quasicyclic group or p∞-group, Z("p"∞), for a prime number "p" is the unique torsion group in which every element has "p" "p"th roots.

*The Prüfer "p"-group may be represented as a subgroup of the circle group, U(1), as the set of "p""n"th roots of unity as "n" ranges over all non-negative integers:

:mathbf{Z}(p^infty)={exp(2pi i n/p^m) mid nin mathbf{Z}^+,,min mathbf{Z}^+};

*Alternatively, the Prüfer "p"-group may be seen as the Sylow p-subgroup of Q"/"Z, consisting of those elements whose order is a power of "p"::mathbf{Z}(p^infty) = mathbf{Z} [1/p] /mathbf{Z}

* There is a presentation (written additively):mathbf{Z}(p^infty) = langle x_1 , x_2 , ... | p x_1 = 0, p x_2 = x_1 , p x_3 = x_2 , ... angle.

*The Prüfer "p"-group is the unique infinite "p"-group which is locally cyclic (every finite set of elements generates a cyclic group).

*The Prüfer "p"-group is divisible.

*In the theory of locally compact topological groups the Prüfer "p"-group (endowed with the discrete topology) is the Pontryagin dual of the compact group of p-adic integers, and the group of "p"-adic integers is the Pontryagin dual of the Prüfer "p"-group [D. L. Armacost and W. L. Armacost, " [http://projecteuclid.org/Dienst/UI/1.0/Summarize/euclid.pjm/1102968274 On "p"-thetic groups] ", "Pacific J. Math.", 41, no. 2 (1972), 295–301] .

*The Prüfer "p"-groups for all primes "p" are the only infinite groups whose subgroups are totally ordered by inclusion. As there is no maximal subgroup of a Prüfer "p"-group, it is its own Frattini subgroup.

:0 subset mathbf{Z}/p subset mathbf{Z}/p^2 subset mathbf{Z}/p^3 subset cdots subset mathbf{Z}(p^infty)

:This sequence of inclusions expresses the Prüfer "p"-group as the direct limit of its finite subgroups.

* As a mathbf{Z}-module, the Prüfer "p"-group is Artinian, but not Noetherian, and likewise as a group, it is Artinian but not Noetherian. [Subgroups of an abelian group are abelian, and coincide with submodules as a mathbf{Z}-module.] It can thus be used as a counterexample against the idea that every Artinian module is Noetherian (whereas every Artinian "ring" is Noetherian).

ee also

* "p"-adic integers, which can be defined as the inverse limit of the finite subgroups of the Prüfer "p"-group.

References

*
*


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • 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 …   Wikipedia

  • Heinz Prüfer — Ernst Paul Heinz Prüfer (10 November 1896 7 April 1934) was an German mathematician, who worked on abelian groups, algebraic numbers, knot theory and Sturm Liouville theory. His advisor was Issai Schur. See also * Prüfer sequence (also known as… …   Wikipedia

  • P-group — In mathematics, given a prime number p , a p group is a periodic group in which each element has a power of p as its order. That is, for each element g of the group, there exists a nonnegative integer n such that g to the power pn is equal to the …   Wikipedia

  • p-group — Not to be confused with n group. In mathematics, given a prime number p, a p group is a periodic group in which each element has a power of p as its order: each element is of prime power order. That is, for each element g of the group, there… …   Wikipedia

  • Abelian root group — If G is an abelian group and P is a set of primes then G is an abelian P root group if every element in G has a p th root for every prime p in P ::gin G,pin P Rightarrow exists hin G, h^p=g;(with the product written multiplicatively)If the set of …   Wikipedia

  • Locally finite group — In mathematics, in the field of group theory, a locally finite group is a type of group that can be studied in ways analogous to a finite group. Sylow subgroups, Carter subgroups, and abelian subgroups of locally finite groups have been… …   Wikipedia

  • Periodic group — In group theory in mathematics, a periodic group or a torsion group is a group in which each element has finite order. All finite groups are periodic. The concept of a periodic group should not be confused with that of a cyclic group.The exponent …   Wikipedia

  • Groupe de Prüfer — En mathématiques, et plus particulièrement en théorie des groupes, on appelle p groupe de Prüfer, ou encore groupe p quasi cyclique[1], pour un nombre premier p donné, tout groupe isomorphe au groupe multiplicatif [2] formé par les racines comple …   Wikipédia en Français

  • Abelian group — For other uses, see Abelian (disambiguation). Abelian group is also an archaic name for the symplectic group Concepts in group theory category of groups subgroups, normal subgroups group homomorphisms, kernel, image, quotient direct product,… …   Wikipedia

  • Grupo de Prüfer — El 2 grupo de Prüfer. <gn: gn+12 = gn, g12 = e> En matemáticas, y en especial en teoría de grupos, el p grupo de Prüfer, grupo p cuasicíclico o el p∞ grupo, Z(p∞), para un número primo p es el único …   Wikipedia Español

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”