On the Residue Codes of Extremal Type II Z4-Codes of Lengths 32 and 40

In this paper, we determine the dimensions of the residue codes of extremal Type II Z4-codes for lengths 32 and 40. We demonstrate that every binary doubly even self-dual code of length 32 can be realized as the residue code of some extremal Type II Z4-code. It is also shown that there is a unique extremal Type II Z4-code of length 32 whose residue code has the smallest dimension 6 up to equivalence. As a consequence, many new extremal Type II Z4-codes of lengths 32 and 40 are constructed.Comment: 19 page

Complete Weight Enumerators of Generalized Doubly-Even Self-Dual Codes

For any q which is a power of 2 we describe a finite subgroup of the group of invertible complex q by q matrices under which the complete weight enumerators of generalized doubly-even self-dual codes over the field with q elements are invariant. An explicit description of the invariant ring and some applications to extremality of such codes are obtained in the case q=4

On triply even binary codes

A triply even code is a binary linear code in which the weight of every codeword is divisible by 8. We show how two doubly even codes of lengths m_1 and m_2 can be combined to make a triply even code of length m_1+m_2, and then prove that every maximal triply even code of length 48 can be obtained by combining two doubly even codes of length 24 in a certain way. Using this result, we show that there are exactly 10 maximal triply even codes of length 48 up to equivalence.Comment: 21 pages + appendix of 10 pages. Minor revisio

The Automorphism Group of an Extremal [72,36,16] Code does not contain elements of order 6

The existence of an extremal code of length 72 is a long-standing open problem. Let C be a putative extremal code of length 72 and suppose that C has an automorphism g of order 6. We show that C, as an F_2-module, is the direct sum of two modules, one easily determinable and the other one which has a very restrictive structure. We use this fact to do an exhaustive search and we do not find any code. This proves that the automorphism group of an extremal code of length 72 does not contain elements of order 6.Comment: 15 pages, 0 figures. A revised version of the paper is published on IEEE Transactions on Information Theor

Some new results on the self-dual [120,60,24] code

The existence of an extremal self-dual binary linear code of length 120 is a long-standing open problem. We continue the investigation of its automorphism group, proving that automorphisms of order 30 and 57 cannot occur. Supposing the involutions acting fixed point freely, we show that also automorphisms of order 8 cannot occur and the automorphism group is of order at most 120, with further restrictions. Finally, we present some necessary conditions for the existence of the code, based on shadow and design theory.Comment: 23 pages, 6 tables, to appear in Finite Fields and Their Application