nein, (a, b) ist hier nicht der größte gemeinsame Teiler.
Hier bedeutet (a, b) ein geordnetes Paar. https://de.wikipedia.org/wiki/Geordnetes_Paar
(a)
Zwei Zahlen haben ein gemeinsames Maß, wenn sie ganzzahlige Vielfache einer dritten Zahl sind. (Sinngemäß laut Quelle:
https://de.wikipedia.org/wiki/Kommensurabilit%C3%A4t_(Mathematik)
Diese Zahl, das gemeinsame Maß können wir c nennen
Warum sind es genau die Paare (a, b), deren Verhältnis rational ist?
Weil es für alle Zahlen a, b, deren Verhältnis rational ist, eine Zahl c sowie ganze Zahlen m, n so gibt, dass
a = mc und b = nc ist.
Beste Grüße
gorgar