Эти загадочные копредставления

Как ни странно, но группы с приведенным выше циклическим графом не существует в природе. Копредставление {a,b | a⁸, b⁸, ab = ba^-1, a² = b²} благодаря скрытым соотношениям схлопывается до обычной Q_8. Фейл.