Let G be a group with a given operation. If H is a subset of G that forms a group with the same operation, then H is a subgroup of G. For example, {1, i,−1,−i} forms a subgroup of the group of all non-zero complex numbers with multiplication. See Lagrange’s theorem, Sylow’s theorems.