"finite group" Deutsche bedeutung