Lemma 6.6.
Assuming that:
X
,
Y
are
G
-valued random variables
Then
d
[
X
;
Y
]
=
0
if and only if
there is some (finite) subgroup
H
of
G
such that
X
and
Y
are uniform on cosets of
H
.