The Automorphism Group of a Binary Self-Dual Doubly Even [72, 36, 16] Code is Solvable

In this correspondence, we prove that the automorphism group of a putative binary self-dual doubly even [72,36,16] code is solvable. Moreover, its order is 5,7,10,14,56, or a divisor of 72

[1]  George W. Polites,et al.  An introduction to the theory of groups , 1968 .

[2]  W. Knapp,et al.  Codes with prescribed permutation group , 1980 .

[3]  Anton Betten,et al.  Codierungstheorie : Konstruktion und Anwendung linearer Codes , 1998 .

[4]  Sheridan K. Houghten,et al.  The extended quadratic residue code is the only (48, 24, 12) self-dual doubly-even code , 2003, IEEE Trans. Inf. Theory.

[5]  V. Pless.  On the uniqueness of the Golay codes , 1968 .

[6]  Vera Pless.  23 Does Not Divide the Order of the Group of a (72, 36, 16) Doubly Even Code , 1982, IEEE Trans. Inf. Theory.

[7]  Gabriel Navarro,et al.  Characters and blocks of finite groups , 1998 .

[8]  Elwyn R. Berlekamp,et al.  Coding Theory and the Mathieu Groups , 1971, Inf. Control..

[9]  Peter Landrock,et al.  The Projective Indecomposable Modules of SL(2, pn) , 1983 .

[10]  N. J. A. Sloane.  Is there a (72, 36) d = 16 self-dual code? (Corresp.) , 1973, IEEE Trans. Inf. Theory.

[11]  John J. Cannon,et al.  The Magma Algebra System I: The User Language , 1997, J. Symb. Comput..

[12]  Wolfgang Willems,et al.  A note on self-dual group codes , 2002, IEEE Trans. Inf. Theory.

[13]  John H. Conway,et al.  On primes dividing the group order of a doubly-even (72, 36, 16) code and the group order of a quaternary (24, 12, 10) code , 1982, Discret. Math..

[14]  Radinka Dontcheva,et al.  Binary self-dual codes with automorphisms of composite order , 2004, IEEE Transactions on Information Theory.

[15]  Stefka Bouyuklieva.  On the automorphism group of a doubly-even (72,36,16) code , 2004, IEEE Transactions on Information Theory.

[16]  H. Mattson,et al.  New 5-designs , 1969 .

[17]  V. Yorgov.  On the automorphism Group of a putative code , 2006, IEEE Transactions on Information Theory.

[18]  W. Cary Huffman,et al.  A [72, 36, 16] doubly even code does not have an automorphism of order 11 , 1987, IEEE Trans. Inf. Theory.

[19]  Vera Pless,et al.  17 Does Not Divide the Order of the Group of a (72, 36, 16) Doubly Even Code , 1982, IEEE Trans. Inf. Theory.

[20]  O. Antoine,et al.  Theory of Error-correcting Codes , 2022 .

[21]  Richard E. Blahut.  The Gleason-Prange theorem , 1991, IEEE Trans. Inf. Theory.

[22]  Eric M. Rains,et al.  Shadow Bounds for Self-Dual Codes , 1998, IEEE Trans. Inf. Theory.

[23]  Michio Suzuki,et al.  Finite Groups II , 1986 .

[24]  Stefka Bouyuklieva.  On the Automorphisms of Order 2 with Fixed Points for the Extremal Self-Dual Codes of Length 24"m , 2002, Des. Codes Cryptogr..