X(a^{−1}z)