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.
automorphisms self-dual codes self-orthogonal codes