Konečně generovaná komutativní grupa