Kommutative Gruppe/Filtration von Untergruppen/Komplettierung/Definition

Aus Wikiversity
Komplettierung einer kommutativen Gruppe

Es sei eine kommutative Gruppe und , , eine absteigende Familie von Untergruppen. Dann heißt

die Komplettierung von .