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

S. Bouyuklieva, E.A. O'Brien, W. Willems
2006 IEEE Transactions on Information Theory  
We prove that the automorphism group of a putative binary self-dual doublyeven [72,36, 16] code is solvable. Moreover, its order is 5, 7, 10, 14, 56, or a divisor of 72.
doi:10.1109/tit.2006.880048 fatcat:tsfz7u4rerairoqedz4ym4qmgu