finite generators