Profinitische Vervollständigung

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Der inverse Limes (Pro-Objekt) aller endlichen Quotienten einer diskreten Gruppe, eines Rings oder eines anderen algebraischen Objekts, versehen mit der Inverslimes-Topologie; das Resultat ist ein profinites (kompaktes, total diskontinuierliches, Hausdorffsches) topologisches Objekt, das die Struktur der endlichen Quotienten kodiert.