Bài tập 1, § 3

Một giả mêtric $f$ trên một nhóm $G$ (được viết theo phép nhân) được gọi là bất biến trái (tương ứng bất biến phải) nếu $f(xz, yz) = f(x, y)$ [tương ứng $f(xz, yz) = f(x, y)$] với mọi $x, y, z$ trong $G$.