An Assmus-Mattson theorem for Z/sub 4/-codes
Kenichiro Tanabe · IEEE Transactions on Information Theory · 2000
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/sub 4/-codes by using the harmonic weight enumerator introduced by Bachoc. This theorem can find some 5-designs in the lifted Golay code over Z/sub 4/ which were discovered previously by other methods.