The extension theorem for the Lee and Euclidean weights over \(\mathbb{Z}/p^k \mathbb{Z}\) (Q1621576)

The authors show that the Lee and Euclidean weights have the extension property over \(\mathbb{Z}/p^k\mathbb{Z}\), that is that any isometry of the code with respect to the Lee or Euclidean weight extends to an isometry of the ambient space. The technique of proof involves expressing certain Fourier coefficients in terms of Bernoulli numbers and knowing the locations of zeros of Dirichlet \(L\)-functions.