Les réseaux et sont équivalents
On montre que le réseau de Barnes-Wall de rang est équivalent au réseau à double congruence de Martinet. La preuve utilise la notion de voisinage de Kneser et des résultats de Koch et Venkov sur le défaut du voisinage (“Nachbardefekt”).