Self-dual \(\mathbb Z_4\)-codes and Hadamard matrices (Q1348130)

Let \(C \subset \mathbb Z_4^n\) be a code. The Euclidean weight of a word \(c\in C\) is given by \(w(c) := n_1(c) +4n_2(c)\), where \(n_1(c)\) is the number of 1s and 3s in \(c\) and \(n_2(c)\) is the number of 0s and 2s in \(c\). A Type I code is a self-dual code that contains a codeword whose Euclidean weight is not divisible by eight. A self-dual code is extremal if the minimum Euclidean weight is \(8[\frac{n}{24}]+8\). The goal is to construct extremal Type I codes by first constructing Type I codes over \(\mathbb Z_4\) using Hadamard matrices. (Recall that a Hadamard matrix \(H\) is an \(n\times n\) matrix with entries \(\pm 1\) such that \(HH^{\text{tr}} = nI_n\).) Using a result of \textit{J. H. Conway} and \textit{N. J. A. Sloane} [J. Comb. Theory, Ser. A 62, 30-45 (1993; Zbl 0763.94018)], the author is successful in constructing an extremal Type I code of length 40 and minimum Euclidean weight 16. This code corresponds to a 40-dimensional extremal odd unimodular lattice with minimum norm 4.