groupe commutatif fini