The Symmetries of the $pi$-metric

Let V be an n-dimensional vector space over a finite field F_q. We consider on V the $\pi$-metric recently introduced by K. Feng, L. Xu and F. J. Hickernell. In this short note we give a complete description of the group of symmetries of V under the $\pi$-metric.

💡 Research Summary

The paper studies the symmetry group of the π‑metric, a distance function introduced by Feng, Xu and Hickernell for vectors over a finite field F_q. Given a partition π = (k₁,…,k_m) of the ambient dimension n, the vector space V = F_qⁿ is decomposed as a direct sum V = ⊕_{i=1}^m F_q^{k_i}. For a vector v = (v₁,…,v_m) the π‑weight ω_π(v) counts the number of non‑zero blocks v_i, and the π‑distance between u and v is d_π(u,v)=ω_π(u−v). When all k_i = 1 this reduces to the ordinary Hamming metric.

The authors first define a large subgroup M of symmetries consisting of independent bijections on each block: a map T = (T₁,…,T_m) with T_i : F_q^{k_i}→F_q^{k_i} a bijection. Since each T_i preserves the property “v_i ≠ 0”, the whole map preserves the π‑distance. Consequently M is isomorphic to the direct product ∏{i=1}^m B(F_q^{k_i}), where B(·) denotes the full permutation group on the underlying set; each B(F_q^{k_i}) is in turn isomorphic to the symmetric group S{q^{k_i}}.

Next, the authors consider permutations of the block indices. A permutation σ∈S_m is called admissible (σ∈S_π) if it only swaps blocks of equal size, i.e. σ(i)=j implies k_i = k_j. Such σ acts linearly on V by permuting the coordinates, and clearly preserves d_π. The set S_π is a subgroup of S_m.

The central result (Theorem 1) shows that every distance‑preserving bijection F : V→V can be uniquely written as a composition F = σ ∘ T with σ∈S_π and T∈M. The proof proceeds by first translating F so that F(0)=0, then using Lemma 1 to prove that F maps each one‑dimensional block subspace V_i (vectors that are zero except possibly in the i‑th block) onto a unique block V_j of the same dimension. This defines the admissible permutation σ_F by σ_F(i)=j. The map σ_F^{-1} ∘ F then fixes every V_i setwise, which forces it to belong to M. If F(0)≠0 a further translation by a vector in M reduces to the previous case. Uniqueness follows because S_π∩M={id}.

From this decomposition the full symmetry group is identified as a semidirect product \