De type fini

[ Definition ]
On dit que \(G\) est de type fini si \(\exists X\) fini qui engendre \(G\).
En savoir plus