Finite group Category of finite groups The category of finite groups is a category where an object is a finite group and a morphism is a group homomorphism. group It is a full subcategory of Category of groups. develop | en | sembr