Remarque 4

Les définitions du début de ce n° s’étendent immédiatement à deux groupes non nécessairement commutatifs G, G′, filtrés par des sous-groupes $G_n, G'_n$, tels que $G_{n+1}$ (resp. $G'_{n+1}$) soit distingué dans $G_n$ (resp. $G'_n$). La prop. 2 est encore valable en faisant la même hypothèse sur les $G_n$ et en supposant que H est distingué dans G, la démonstration étant inchangée aux notations près.