Grupul terminal

Un grup profinit este un grup topologic care este limita proiectivă a unui sistem de grupuri finite , echipat cu o topologie discretă ( este o mulțime preordonată ). $G_{i}$ $i\în eu$ $eu$

Exemple

Grupul aditiv al inelului de numere p-adice întregi.
- Fiecare grup analitic compact pe un câmp de numere -adice $p$ [ clarifica ] (de exemplu ). $SL_{n}(\mathbb {Z} _{p})$

Proprietăți

Grupurile profinite sunt rezidual finite .