An Assmus-Mattson theorem for Z(4)-codes
The Assmus-Mattson theorem is a method to find designs in linear codes over a finite field. The purpose of this paper is to give an analog of this theorem for Z(4)-codes by using the harmonic weight enumerator introduced by Bachoc. This theorem can End some 5-designs in the lifted Golay code over Z(4) which were discovered previously by other methods.
assmus-mattson theorem z(4)-codes lifted golay code over z(4)