Als kombinatorische Gruppentheorie wird in der Mathematik die Untersuchung von Gruppen mittels durch Erzeugern und Relationen gegebenen Präsentierungen bezeichnet.