Proendliche Vervollständigung

Im mathematischen Teilgebiet der Gruppentheorie ist die proendliche Vervollständigung eine Konstruktion, mit der die Informationen über alle endlichen Faktorgruppen einer Gruppe zusammengefasst werden können.