subfield of group theory about groups given by presentations whose defining relations have small overlaps with each other