Presentation about subgroups