# Prüfergruppe

In der Mathematik, speziell in der Gruppentheorie, nennt man für eine Primzahl p jede zur multiplikativen Gruppe
    $\mathbb {C} _{p^{\infty }}=\{\exp(2\pi \mathrm {i} n/p^{m})\mid n\in \mathbb {Z} ,m\in \mathbb {N} \}$
isomorphe Gruppe eine p-Prüfergruppe oder eine p-quasizyklische Gruppe. $\mathbb {C} _{p^{\infty }}$ besteht aus den komplexen Einheitswurzeln, deren Ordnung eine Potenz von p ist.
Es handelt sich um eine abelsche, abzählbare Gruppe.
Definitionsgemäß sind die p-Prüfergruppen untereinander isomorph, daher spricht man ohne nähere Präzisierung einfach von der p-Prüfergruppe. Man sagt, eine Gruppe G sei eine Prüfergruppe, wenn es eine Primzahl p gibt, so dass G eine p-Prüfergruppe ist. Die Prüfergruppen zu verschiedenen Primzahlen sind nicht isomorph.
Die Prüfergruppen sind zu Ehren des Mathematikers Heinz Prüfer benannt.

## Äquivalente Definitionen

Es seien p eine Primzahl und G eine Gruppe. Jede der folgenden fünf Eigenschaften ist äquivalent dazu, dass G eine p-Prüfergruppe ist, und jede dieser Eigenschaften kann daher als Definition der Prüfergruppen verwendet werden.
a) G ist isomorph zur Faktorgruppe $\mathbb {Z} [1/p]/\mathbb {Z}$, wobei $\mathbb {Z} [1/p]$ die von den rationalen Zahlen $n/p^{m}$ mit $n\in \mathbb {Z} ,m\in \mathbb {N}$ gebildete Untergruppe von $(\mathbb {Q} ,+)$ bezeichnet.
    Beweis: Der Homomorphismus $\mathbb {Z} [1/p]\rightarrow \mathbb {C} _{p^{\infty }}:q\mapsto \exp(2\pi iq)$ ist surjektiv und hat den Kern $\mathbb {Z}$.
b) G ist isomorph zur Faktorgruppe $F/R$, wobei F die freie abelsche Gruppe (das heißt der freie $\mathbb {Z}$-Modul) mit einer abzählbar unendlichen Basis $\{\ a_{0},a_{1},\ldots ,a_{n},\ldots \}$ und R die von $\{pa_{0},a_{0}-pa_{1},a_{1}-pa_{2},\ldots ,a_{n}-pa_{n+1},\ldots \}$ erzeugte Untergruppe von F ist.
c) G hat eine Präsentation
    $\langle x_{1},x_{2},\dots |x_{1}^{p}=1,x_{2}^{p}=x_{1},x_{3}^{p}=x_{2},\dots \rangle .$
    Beweis: Sei L eine freie (nichtabelsche) Gruppe über einer abzählbaren Basis $\{\ c_{0},c_{1},\ldots ,c_{n},\ldots \}$ und S der von $\{c_{0}^{p},c_{0}c_{1}^{-p},c_{1}c_{2}^{-p},\ldots ,c_{n}c_{n+1}^{-p},\ldots \}$ erzeugte Normalteiler. Für jede natürliche Zahl j sei $x_{j}$ das kanonische Bild von $c_{j}$ in $L/S$. Es ist klar, dass von je zwei der Elemente $x_{j}$ eines eine Potenz des anderen ist, das heißt die $x_{j}$ vertauschen miteinander. Da sie $L/S$ erzeugen, ist $L/S$ abelsch, mit anderen Worten, S enthält die Kommutatorgruppe K(L). Nach dem zweiten Isomorphiesatz ist $L/S$ daher isomorph zu $(L/K(L))/(S/K(L))$. Nun ist $L/K(L)$ eine freie, abelsche Gruppe (frei als abelsche Gruppe) mit den Bildern $\{\ d_{0},d_{1},\ldots ,d_{n},\ldots \}$ der Elemente $\{\ c_{0},c_{1},\ldots ,c_{n},\ldots \}$ als Basis in $L/K(L)$ und $S/K(L)$ wird von $\{d_{0}^{p},d_{0}d_{1}^{-p},d_{1}d_{2}^{-p},\ldots ,d_{n}d_{n+1}^{-p},\ldots \}$ erzeugt. Jetzt schließt man mittels b) weiter.
d) G hat ein Erzeugendensystem $\ (a_{n})_{n\in \mathbb {Z} }$ so dass $\ a_{0}\not =1$, $\ a_{0}^{p}=1$ und $\ a_{n+1}^{p}=a_{n}$ für alle $n\geq 0$.
e) G ist die Vereinigung einer aufsteigenden Folge $C_{0}\leq C_{1}\leq \ldots \leq C_{n}\leq \ldots$, wobei C$_n$ für jeden Index n eine zyklische Gruppe der Ordnung p$^n$ ist.

## Eigenschaften

* Jede echte Untergruppe einer Prüfergruppe ist zyklisch und insbesondere endlich. Die Prüfergruppe besitzt für jede Zahl n genau eine Untergruppe der Ordnung p$^n$. Die Menge der Untergruppen einer Prüfergruppe ist durch die Inklusion wohlgeordnet. Die Prüfergruppe ist also als $\mathbb {Z}$-Modul nicht noethersch.
* Eine unendliche, abelsche Gruppe ist genau dann eine Prüfergruppe, wenn sie isomorph zu jeder Faktorgruppe nach einer echten Untergruppe ist.
* Die Prüfergruppen sind teilbar. Ihre Bedeutung erschließt sich aus dem folgenden Satz:
    Jede teilbare, abelsche Gruppe ist isomorph zu einer (endlichen oder unendlichen) direkten Summe, in der jeder Summand eine Prüfergruppe oder isomorph zur additiven Gruppe der rationalen Zahlen ist.
    Beispielsweise ist die additive Gruppe $\mathbb {Q} /\mathbb {Z}$ die direkte Summe ihrer p-Sylowgruppen, die nichts anderes als die p-Prüfergruppen sind.