Simplişıl Profinite Grubun Tamamlanışı ve Eşhomoloji

Özet

Simplişıl grup kategorisinden simplişıl pro-p grup kategorisine olan p-taınlanış fanktörünü inceleyeceğiz. Artin-Mazur'un elde ettiği yöntemle elde edilen Zeeman kıyas teoremini kullanarak tamlanış ve faybreyşının bir sonucu ispatlanır. Bundan dolayı [8]'de ifade edilen ana theoremin ispatı verilir.