Jelaskan Objek aljabar dari Limit invers

Pemahaman terkait limit invers dimulai dengan definisi sistem invers (atau sistem proyektif) dari grup dan homomorfisme. Misalkan (, ≤) adalah poset terarah atau  (tidak semua penulis memerlukan  untuk diarahkan). Misalkan  adalah keluarga dari kelompok dan misalkan diperoleh keluarga homomorfisme  untuk semua  (perhatikan urutannya), dengan sifat berikut: