Kommutative Ringtheorie/Ideal-adische Topologie eines Rings/Aufgabe

Aus Wikiversity

Es sei ein kommutativer Ring und ein Ideal. Zeigen Sie, dass durch

Umgebungsbasen definiert werden. Zeigen Sie außerdem, dass die auf induzierte Topologie genau dann hausdorffsch ist, wenn .