Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I know that Mazur–Ulam theorem holds for normed linear spaces over $\mathbb{R}$. I wanted to know whether under some "weak" conditions on the map $f$, can we have Mazur-Ulam theorem for a vector space over ${\mathbb{F}_2}$?.

I apologize for being vague about the "weak" condition.

More generally, I am interested in characterizing the isometries of $\mathbb{F}_2 ^n$ with Hamming distance as the metric. Clearly permutation matrices and translations are isometries. But I wanted to know if there are isometries other than these?

Thank you,


share|cite|improve this question
I think there are no more. If I am not mistaken, an isometry of your metric space is the same as an automorphism of the hypercube graph. Preliminary google search gives a paper by Harary (2000) on the topic. I do not fully follow the details, but the paper does say that the order of the automorphism group of the hypercube is $2^n n!$. Here $2^n$ is the number of translations and $n!$ the number of permutations, which is checks out with your observation. – Srivatsan Nov 9 '11 at 12:16
Agree with Srivatsan that there are no more in $F_2^n$. I initially thought that in $F_q^n$ and the Hamming metric all you get in addition to the above are all the monomial matrices (those are the ones that usually qualify as isomorphisms in the context of linear codes). Then I realized that any permutation of the alphabet field $F_q$ gives rise to an isomorphism w.r.t. the Hamming metric in $F_q^n$, so for $q>2$ there are plenty of more. I would guess that you get the wreath product $S_q^n\rtimes S_n$ as the group of isometries in that case, but I need to think about a proof. – Jyrki Lahtonen Nov 9 '11 at 13:11
@Srivatsan: Thanks for the link and the answer :) – Isomorphism Nov 14 '11 at 5:41
@JyrkiLahtonen: I was thinking along similar lines. First of all, the idea seems similar, we can map vectors in $F_q ^n$ to $F_2^n$ such that non zero co-ordinates go to $1$ and $0$ goes to $0$. This map is an isometry. I was trying to show that somehow we can count all the isometries through this projections and some variants of these maps. – Isomorphism Nov 14 '11 at 5:41
@Isomorphism: That mapping is not injective, so cannot be an isometry? – Jyrki Lahtonen Nov 14 '11 at 17:01

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.