Equilateral dimension of the Heisenberg group $\fH^n$

RESUMO

For every $n\geqslant1$, the equilateral dimension of the Heisenberg group $\fH^n=\C^n\times\R$ with the Korányi metric is $2n+2$.