Automorphisms of order 2p in binary self-dual extremal codes of length a multiple of 24

Martino Borello
2013
Article

Let C be a binary self-dual code with an automorphism g of order 2p, where p is an odd prime, such that gp is a fixed point free involution. If C is extremal of length a multiple of 24, all the involutions are fixed point free, except the Golay Code and eventually putative codes of length 120. Connecting module theoretical properties of a self-dual code C with coding theoretical ones of the subcode C(gp) which consists of the set of fixed points of gp, we prove that C is a projective F2g module if and only if a natural projection of C(gp) is a self-dual code. We then discuss easy-to-handle criteria to decide if C is projective or not. As an application, we consider in the last part extremal self-dual codes of length 120, proving that their automorphism group does not contain elements of order 38 and 58. © 1963-2012 IEEE.

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Martino Borello
2013
Article

Résumé

Source officielle

https://infoscience.epfl.ch/record/210933?ln=fr

À propos de ce résultat

Concepts associés (3)

Automorphisme

Un automorphisme est un isomorphisme d'un objet mathématique X dans lui-même. Le plus souvent, c'est une bijection de X dans X qui préserve la « structure » de X. On peut le voir comme une symétrie de X. Les automorphismes de X forment un groupe. La définition abstraite d'un automorphisme est la suivante : c'est un endomorphisme qui est en même temps un isomorphisme. Autrement dit, c'est un morphisme d'un objet X d'une catégorie donnée dans lui-même, qui est également un isomorphisme.

Automorphism group

In mathematics, the automorphism group of an object X is the group consisting of automorphisms of X under composition of morphisms. For example, if X is a finite-dimensional vector space, then the automorphism group of X is the group of invertible linear transformations from X to itself (the general linear group of X). If instead X is a group, then its automorphism group is the group consisting of all group automorphisms of X. Especially in geometric contexts, an automorphism group is also called a symmetry group.

Module projectif

En mathématiques, un module projectif est un module P (à gauche par exemple) sur un anneau A tel que pour tout morphisme surjectif f : N → M entre deux A-modules (à gauche) et pour tout morphisme g : P → M, il existe un morphisme h : P → N tel que g = fh, c'est-à-dire tel que le diagramme suivant commute : center Autrement dit : P est projectif si pour tout module N, tout morphisme de P vers un quotient de N se factorise par N.