Skończenie generowana grupa przemienna