Classical groups
Finite groups
Group schemes
Topological groups
Lie groups
Super-Lie groups
Higher groups
Cohomology and Extensions
Related concepts
For a prime number , the Prüfer -group is defined uniquely up to isomorphism as the -group where every element has exactly roots. It is a divisible abelian group which can be described in several ways, for example:
It is the discrete group that is Pontryagin dual to the compact topological group of p-adic integers (for more on this see as Pontryagin duality for torsion abelian groups).
It is , the colimit of the sequence of inclusions
As such, it is the initial algebra of the functor that pushes out along multiplication by .
The Prüfer -groups are the only infinite groups whose subgroups are totally ordered by inclusion. They are often useful as counterexamples in algebra; for example, a Prüfer group is an Artinian but not a Noetherian -module.
Last revised on May 22, 2024 at 23:07:54. See the history of this page for a list of all contributions to it.