# Equivalence of subgroups

From Groupprops

## Definition

Suppose and are groups, with a subgroup of and a subgroup of . An **equivalence of subgroups** between the group-subgroup pairs and is an isomorphism of groups such that the restriction of to defines an isomorphism from to .